Applicative overview

Added in v0.24.0

Table of contents

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

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