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