Applicative.ts overview

Since v0.24.0

Exports Grouped by Category

• type class
  • Applicative (interface)
• utils
  • getMonoid

type class

Applicative (interface)

Signature

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

Source

Since v0.24.0

utils

getMonoid

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 const getMonoid: <F extends TypeLambda>(
  F: Applicative<F>
) => <A, R, O, E>(M: Monoid<A>) => Monoid<Kind<F, R, O, E, A>>

Source

Since v0.24.0