Monad_exts.To_mappable
Converts a monad to a mappable over M.map
.
At time of writing, M
satisfies the mappable interface in its own right; this functor mainly exists as insurance in case the two interfaces ever diverge.
include Mappable_types.Generic
with type ('a, 'phantom) t := 'a M.t
and type 'a elt := 'a
Generic
refers to the container type as 'a t
, and the element type as 'a elt
; substitute t
/elt
(arity-0) or 'a t
/'a
(arity-1) accordingly below.
include Generic_types.Generic
with type ('a, 'phantom) t := 'a M.t
with type 'a elt := 'a