Functor Deriving_Functor.MonadFunctor
module MonadFunctor : functor (M : Deriving_monad.Monad) ->
Functorwith type 'a f = 'a M.m
Parameters :
M | : | Deriving_monad.Monad |
type 'a f
val map :
('a -> 'b) ->
'a f -> 'b f
Warning: Reason support is experimental. We are looking for beta-tester and contributors.
module MonadFunctor : functor (M : Deriving_monad.Monad) ->
Functorwith type 'a f = 'a M.m
Parameters :
M | : | Deriving_monad.Monad |
type 'a f
val map :
('a -> 'b) ->
'a f -> 'b f