arrow-ui-data / arrow.ui / Sum

Sum

@higherkind data class Sum<F, G, V> : SumOf<F, G, V>, SumKindedJ<F, G, V>

Types

Side sealed class Side

Constructors

<init> Sum(left: Kind<F, V>, right: Kind<G, V>, side: Side = Side.Left)

Properties

left val left: Kind<F, V>
right val right: Kind<G, V>
side val side: Side

Functions

changeSide fun changeSide(side: Side): Sum<F, G, V>
coflatmap fun <A> coflatmap(CF: Comonad<F>, CG: Comonad<G>, f: (Sum<F, G, V>) -> A): Sum<F, G, A>
extract fun extract(CF: Comonad<F>, CG: Comonad<G>): V
map fun <A> map(FF: Functor<F>, FG: Functor<G>, f: (V) -> A): Sum<F, G, A>

Companion Object Functions

left fun <F, G, V> left(ls: Kind<F, V>, rs: Kind<G, V>): Sum<F, G, V>
right fun <F, G, V> right(ls: Kind<F, V>, rs: Kind<G, V>): Sum<F, G, V>

Do you like Arrow?

Arrow Org
<