Skip to main content Link Search Menu Expand Document (external link)

Applicative overview

Added in v0.24.0


Table of contents


type class

Applicative (interface)

Signature

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

Added in v0.24.0

utils

getMonoid

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

  • combine is provided by {@link semiApplicative.getSemigroup}.
  • empty is F.of(M.empty)

Signature

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

Added in v0.24.0