Interface ParameterizedLambdas`Internal`

Use module augmentation to add entries here for a new typeclasses. Used to map from typeclass name to the typeclass type lambda.

interface ParameterizedLambdas {
    Alternative: AlternativeTypeLambda;
    Applicative: ApplicativeTypeLambda;
    Bicovariant: BicovariantTypeLambda;
    Contravariant: ContravariantTypeLambda;
    Covariant: CovariantTypeLambda;
    Invariant: InvariantTypeLambda;
    Monad: MonadTypeLambda;
    SemiAlternative: SemiAlternativeTypeLambda;
    Traversable: TraversableTypeLambda;
}

Index

Properties

Alternative Applicative Bicovariant Contravariant Covariant Invariant Monad SemiAlternative Traversable

Properties

Alternative

Alternative: AlternativeTypeLambda

Applicative

Applicative: ApplicativeTypeLambda

Bicovariant

Bicovariant: BicovariantTypeLambda

Contravariant

Contravariant: ContravariantTypeLambda

Covariant

Covariant: CovariantTypeLambda

Invariant

Invariant: InvariantTypeLambda

Monad

Monad: MonadTypeLambda

SemiAlternative

SemiAlternative: SemiAlternativeTypeLambda

Traversable

Traversable: TraversableTypeLambda