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>;
}