Skip to content

Applicative

2 exports Added in v0.24.0 Source

Other

getMonoid

Added in v0.24.0 Source

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

- combine is provided by semiApplicative.getSemigroup. - empty is F.of(M.empty)

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

Added in v0.24.0 Source

Signature

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