Variable concreteLawsConst

concreteLaws: {
    Bounded: (<A>(given: ConcreteGiven<BoundedTypeLambda, A>) => LawSet);
    Equivalence: (<A>(__namedParameters: ConcreteGiven<EquivalenceTypeLambda, A>) => LawSet);
    Monoid: (<A>(given: ConcreteGiven<MonoidTypeLambda, A>) => LawSet);
    Order: (<A>(__namedParameters: ConcreteGiven<OrderTypeLambda, A>) => LawSet);
    Semigroup: (<A>(__namedParameters: ConcreteGiven<SemigroupTypeLambda, A>) => LawSet);
} = ...

Map of typeclass name to their laws, for typeclasses of concrete types.

Type declaration

Settings

Member Visibility