Functor (beluga.Support.Functor)

module type FUNCTOR = sig ... end

Module type for abstract datatypes with a mapping function.

module Make (M : Monad.MONAD) : FUNCTOR with type 'a t = 'a M.t

Functor building an implementation of FUNCTOR over a monad.