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

Coproduct overview

Added in v0.24.0


Table of contents


type class

Coproduct (interface)

Signature

export interface Coproduct<F extends TypeLambda> extends SemiCoproduct<F> {
  readonly zero: <A>() => Kind<F, unknown, never, never, A>

  readonly coproductAll: <R, O, E, A>(collection: Iterable<Kind<F, R, O, E, A>>) => Kind<F, R, O, E, A>
}

Added in v0.24.0

utils

getMonoid

Signature

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

Added in v0.24.0