Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type ('x, 'a) result = 'a tree option
type ('x, 'a) result_exn = 'a tree
include Monad.S
with type ('x, 'a) result := ('x, 'a) result
and type ('x, 'a) result_exn := ('x, 'a) result_exn
include Monad.BASE
with type ('x, 'a) result := ('x, 'a) result
with type ('x, 'a) result_exn := ('x, 'a) result_exn
val unit : 'a -> ('x, 'a) m
val run_exn : ('x, 'a) m -> ('x, 'a) result_exn
val zero : unit -> ('x, 'a) m
val guard : bool -> ('x, unit) m