arrow-core-data / arrow.typeclasses / Selective

Selective

interface Selective<F> : Applicative<F>

Functions

andS open fun <A> Kind<F, Boolean>.andS(f: Kind<F, Boolean>): Kind<F, Boolean>
branch open fun <A, B, C> Kind<F, Either<A, B>>.branch(fl: Kind<F, (A) -> C>, fr: Kind<F, (B) -> C>): Kind<F, C>
ifS open fun <A> Kind<F, Boolean>.ifS(fl: Kind<F, A>, fr: Kind<F, A>): Kind<F, A>
orS open fun <A> Kind<F, Boolean>.orS(f: Kind<F, Boolean>): Kind<F, Boolean>
select abstract fun <A, B> Kind<F, Either<A, B>>.select(f: Kind<F, (A) -> B>): Kind<F, B>
whenS open fun <A> Kind<F, Boolean>.whenS(x: Kind<F, () -> Unit>): Kind<F, Unit>

Inheritors

Monad interface Monad<F> : Selective<F>

Type Class Hierarchy

Do you like Arrow?

Arrow Org
<