package jhupllib

  1. Overview
  2. Docs
package jhupllib
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module contains an interface for monads.

module type Monad = sig ... end
module type MonadPlus = sig ... end
module type Utils = sig ... end
module type MonadWithUtils = sig ... end
module type MonadPlusWithUtils = sig ... end
module MakeUtils (M : Monad) : Utils with type 'a m = 'a M.m