preface.make
Selective.Select_from_monad
preface
preface.core
preface.laws
preface.qcheck
preface.specs
preface.stdlib
module Monad : Preface_specs.Monad.CORE
type 'a t = 'a Monad.t
The type held by the Selective.
Selective
inline
include Preface_specs.Indexed_selective.WITH_SELECT with type ('a, _) t := 'a t
val select : ('a, 'b) Either.t t -> ('a -> 'b) t -> 'b t
select e f apply f if e is Left. It allow to skip effect using Right.
select e f
f
e
Left
Right