package jhupllib

  1. Overview
  2. Docs

Parameters

module M : Monad

Signature

type 'a m = 'a M.m
val return : 'a -> 'a m
val (>>=) : 'a m -> ('a -> 'b m) -> 'b m
val sequence : 'a m Batteries.Enum.t -> 'a Batteries.Enum.t m
val mapM : ('a -> 'b m) -> 'a Batteries.Enum.t -> 'b Batteries.Enum.t m
val lift1 : ('a -> 'b) -> 'a m -> 'b m