Up – Package index » deriving » Library deriving.runtime » Deriving_Functor » MonadFunctor

Module `Deriving_Functor.MonadFunctor`

Parameters

module M : Deriving_monad.Monad

type 'a f = 'a M.m

val map : ('a -> 'b) -> 'a f -> 'b f