Skip to content
Effect 4.0 is here. One ecosystem. Zero dependencies.

Applicative

2 exports Since v0.24.0 Source

Other

Since v0.24.0

Lift a Monoid into F, combining the inner values using the provided Monoid:

Signature

declare function getMonoid<F extends TypeLambda>(F: Applicative<F>): <A, R, O, E>(M: Monoid<A>) => Monoid<Kind<F, R, O, E, A>>

Type Class

Applicative

interface
Since v0.24.0

Signature

interface Applicative<F extends TypeLambda> extends SemiApplicative<F>, Product<F> {}