package deriving

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `Deriving_Functor.MonadFunctor`

Parameters

module M : Deriving_monad.Monad

Signature

type 'a f = 'a M.m

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