Module OlmiOptionSource

Sourcemodule Requirement : sig ... end
include sig ... end
Sourcetype 'a t = 'a Requirement.t
Sourceval return : 'a -> 'a t
Sourceval join : 'a t t -> 'a t
Sourceval bind : 'a t -> ('a -> 'b t) -> 'b t
Sourceval fmap : ('a -> 'b) -> 'a t -> 'b t
Sourceval (<*>) : ('a -> 'b) t -> 'a t -> 'b t
Sourceval (<$>) : ('a -> 'b) -> 'a t -> 'b t
Sourceval (<$) : 'a -> 'b t -> 'a t
Sourceval (*>) : 'a t -> 'b t -> 'b t
Sourceval (<*) : 'a t -> 'b t -> 'a t
Sourceval (<**>) : 'a t -> ('a -> 'b) t -> 'b t
Sourceval (>>=) : 'a t -> ('a -> 'b t) -> 'b t
Sourceval (>|=) : 'a t -> ('a -> 'b) -> 'b t
Sourceval (<=<) : ('b -> 'c t) -> ('a -> 'b t) -> 'a -> 'c t
Sourceval (>=>) : ('a -> 'b t) -> ('b -> 'c t) -> 'a -> 'c t
Sourceval (=<<) : ('a -> 'b t) -> 'a t -> 'b t
Sourceval (>>) : 'a t -> 'b t -> 'b t
Sourceval liftM : ('a -> 'b) -> 'a t -> 'b t
Sourceval liftM2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
Sourceval liftM3 : ('a -> 'b -> 'c -> 'd) -> 'a t -> 'b t -> 'c t -> 'd t
Sourceval liftM4 : ('a -> 'b -> 'c -> 'd -> 'e) -> 'a t -> 'b t -> 'c t -> 'd t -> 'e t
Sourceval liftM5 : ('a -> 'b -> 'c -> 'd -> 'e -> 'f) -> 'a t -> 'b t -> 'c t -> 'd t -> 'e t -> 'f t
Sourceval void : 'a t -> unit t