Module Option.Traversable

Parameters

Signature

type 'a t = 'a option
and 'a applicative_t = 'a A.t
include Interface.FUNCTOR with type 'a t := 'a t
type 'a t
val map : ('a -> 'b) -> 'a t -> 'b t
include Interface.FOLDABLE with type 'a t := 'a t
type 'a t
val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
val fold_right : ('b -> 'a -> 'a) -> 'a -> 'b t -> 'a
module Fold_Map : functor (M : Interface.MONOID) -> sig ... end
module Fold_Map_Any : functor (M : Interface.MONOID_ANY) -> sig ... end
module Fold_Map_Plus : functor (P : Interface.PLUS) -> sig ... end
val traverse : ('a, 'b A.t) Bastet__Function.Semigroupoid.t -> 'a option -> 'b option A.t
val sequence : 'a A.t option -> 'a option A.t