Skip to content
Effect 4.0 is here. One ecosystem. Zero dependencies.

Coproduct

2 exports Added in v0.24.0 Source

Other

getMonoid

Added in v0.24.0 Source

Signature

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

Type Class

Coproduct interface

Added in v0.24.0 Source

Signature

interface Coproduct<F extends TypeLambda> extends SemiCoproduct<F> {
  readonly coproductAll: <R, O, E, A>(collection: Iterable<Kind<F, R, O, E, A>>) => Kind<F, R, O, E, A>;
  readonly zero: <A>() => Kind<F, unknown, never, never, A>;
}