Selective.WITH_PURE_AND_SELECT
Standard requirement including pure and select.
pure
select
type 'a t
The type held by the Selective.
Selective
inline
include Indexed_selective.WITH_PURE_AND_SELECT with type ('a, _) t := 'a t
val select : ('a, 'b) Stdlib.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
val pure : 'a -> 'a t
Create a new t.
t