stdune
Stdune.Monad
Monad signatures
module type Basic = sig ... end
module type S = sig ... end
module type List = sig ... end
module type Option = sig ... end
module type Result = sig ... end
module Make (M : Basic) : S with type 'a t := 'a M.t
module Id : S with type 'a t = 'a
module List (M : S) : List with type 'a t := 'a M.t
module Option (M : S) : Option with type 'a t := 'a M.t
module Result (M : S) : Result with type 'a t := 'a M.t