Skip to content

SemiCoproduct

2 exports Added in v0.24.0 Source

Other

getSemigroup

Added in v0.24.0 Source

Signature

declare function getSemigroup<F extends TypeLambda>(
  F: SemiCoproduct<F>,
): <R, O, E, A>() => Semigroup<Kind<F, R, O, E, A>>;

Type Class

SemiCoproduct interface

Added in v0.24.0 Source

Signature

interface SemiCoproduct<F extends TypeLambda> extends Invariant<F> {
  readonly coproduct: <R1, O1, E1, A, R2, O2, E2, B>(
    self: Kind<F, R1, O1, E1, A>,
    that: Kind<F, R2, O2, E2, B>,
  ) => Kind<F, R1 & R2, O1 | O2, E1 | E2, A | B>;
  readonly coproductMany: <R, O, E, A>(
    self: Kind<F, R, O, E, A>,
    collection: Iterable<Kind<F, R, O, E, A>>,
  ) => Kind<F, R, O, E, A>;
}