Variable parameterizedLaws`Const`

parameterizedLaws: {
    Alternative: BuildParameterized<AlternativeTypeLambda>;
    Applicative: BuildParameterized<ApplicativeTypeLambda>;
    Bicovariant: BuildParameterized<BicovariantTypeLambda>;
    Contravariant: BuildParameterized<ContravariantTypeLambda>;
    Covariant: BuildParameterized<CovariantTypeLambda>;
    Filterable: BuildParameterized<FilterableTypeLambda>;
    FlatMap: BuildParameterized<FlatMapTypeLambda>;
    Foldable: BuildParameterized<FoldableTypeLambda>;
    Invariant: BuildParameterized<InvariantTypeLambda>;
    Monad: BuildParameterized<MonadTypeLambda>;
    RightFoldable: BuildParameterized<RightFoldableTypeLambda>;
    SemiAlternative: BuildParameterized<SemiAlternativeTypeLambda>;
    Traversable: BuildParameterized<TraversableTypeLambda>;
} = ...

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

Type Declaration

ReadonlyAlternative: BuildParameterized<AlternativeTypeLambda>
ReadonlyApplicative: BuildParameterized<ApplicativeTypeLambda>
ReadonlyBicovariant: BuildParameterized<BicovariantTypeLambda>
ReadonlyContravariant: BuildParameterized<ContravariantTypeLambda>
ReadonlyCovariant: BuildParameterized<CovariantTypeLambda>
ReadonlyFilterable: BuildParameterized<FilterableTypeLambda>
ReadonlyFlatMap: BuildParameterized<FlatMapTypeLambda>
ReadonlyFoldable: BuildParameterized<FoldableTypeLambda>
ReadonlyInvariant: BuildParameterized<InvariantTypeLambda>
ReadonlyMonad: BuildParameterized<MonadTypeLambda>
ReadonlyRightFoldable: BuildParameterized<RightFoldableTypeLambda>
ReadonlySemiAlternative: BuildParameterized<SemiAlternativeTypeLambda>
ReadonlyTraversable: BuildParameterized<TraversableTypeLambda>

Variable parameterizedLaws`Const`

Type Declaration

`Readonly`Alternative: BuildParameterized<AlternativeTypeLambda>

`Readonly`Applicative: BuildParameterized<ApplicativeTypeLambda>

`Readonly`Bicovariant: BuildParameterized<BicovariantTypeLambda>

`Readonly`Contravariant: BuildParameterized<ContravariantTypeLambda>

`Readonly`Covariant: BuildParameterized<CovariantTypeLambda>

`Readonly`Filterable: BuildParameterized<FilterableTypeLambda>

`Readonly`FlatMap: BuildParameterized<FlatMapTypeLambda>

`Readonly`Foldable: BuildParameterized<FoldableTypeLambda>

`Readonly`Invariant: BuildParameterized<InvariantTypeLambda>

`Readonly`Monad: BuildParameterized<MonadTypeLambda>

`Readonly`RightFoldable: BuildParameterized<RightFoldableTypeLambda>

`Readonly`SemiAlternative: BuildParameterized<SemiAlternativeTypeLambda>

`Readonly`Traversable: BuildParameterized<TraversableTypeLambda>

Settings

Variable parameterizedLawsConst

Type Declaration

ReadonlyAlternative: BuildParameterized<AlternativeTypeLambda>

ReadonlyApplicative: BuildParameterized<ApplicativeTypeLambda>

ReadonlyBicovariant: BuildParameterized<BicovariantTypeLambda>

ReadonlyContravariant: BuildParameterized<ContravariantTypeLambda>

ReadonlyCovariant: BuildParameterized<CovariantTypeLambda>

ReadonlyFilterable: BuildParameterized<FilterableTypeLambda>

ReadonlyFlatMap: BuildParameterized<FlatMapTypeLambda>

ReadonlyFoldable: BuildParameterized<FoldableTypeLambda>

ReadonlyInvariant: BuildParameterized<InvariantTypeLambda>

ReadonlyMonad: BuildParameterized<MonadTypeLambda>

ReadonlyRightFoldable: BuildParameterized<RightFoldableTypeLambda>

ReadonlySemiAlternative: BuildParameterized<SemiAlternativeTypeLambda>

ReadonlyTraversable: BuildParameterized<TraversableTypeLambda>

Settings

Variable parameterizedLaws`Const`

`Readonly`Alternative: BuildParameterized<AlternativeTypeLambda>

`Readonly`Applicative: BuildParameterized<ApplicativeTypeLambda>

`Readonly`Bicovariant: BuildParameterized<BicovariantTypeLambda>

`Readonly`Contravariant: BuildParameterized<ContravariantTypeLambda>

`Readonly`Covariant: BuildParameterized<CovariantTypeLambda>

`Readonly`Filterable: BuildParameterized<FilterableTypeLambda>

`Readonly`FlatMap: BuildParameterized<FlatMapTypeLambda>

`Readonly`Foldable: BuildParameterized<FoldableTypeLambda>

`Readonly`Invariant: BuildParameterized<InvariantTypeLambda>

`Readonly`Monad: BuildParameterized<MonadTypeLambda>

`Readonly`RightFoldable: BuildParameterized<RightFoldableTypeLambda>

`Readonly`SemiAlternative: BuildParameterized<SemiAlternativeTypeLambda>

`Readonly`Traversable: BuildParameterized<TraversableTypeLambda>