effect-ts-laws
    Preparing search index...

    Variable concreteLawsConst

    concreteLaws: {
        Bounded: BuildConcrete<BoundedTypeLambda>;
        Equivalence: BuildConcrete<EquivalenceTypeLambda>;
        Monoid: BuildConcrete<MonoidTypeLambda>;
        Order: BuildConcrete<OrderTypeLambda>;
        Semigroup: BuildConcrete<SemigroupTypeLambda>;
    } = ...

    Maps typeclass name to its laws, for typeclasses of concrete types.

    Type declaration