package jhupllib

  1. Overview
  2. Docs

Module Jhupllib_monad_utils.MakeSource

Parameters

module M : Batteries.Interfaces.Monad

Signature

Sourcetype 'a m = 'a M.m
Sourceval sequence : 'a m Batteries.Enum.t -> 'a Batteries.Enum.t m
Sourceval mapM : ('a -> 'b m) -> 'a Batteries.Enum.t -> 'b Batteries.Enum.t m