Module Selective.Select_from_monad

Parameters

Signature

type 'a t = 'a Monad.t

The type held by the Selective.

val select : ('a, 'b) Preface_core.Shims.Either.t t -> ('a -> 'b) t -> 'b t

select e f apply f if e is Left. It allow to skip effect using Right.