BatEnum.WithMonad
Monadic operations on Enumerations containing monadic elements
This module will let you use sequence and fold_monad functions over enumerations.
module Mon : BatInterfaces.Monad
type 'a m = 'a Mon.m
Type of the monadic elements.
sequence e
evaluates each monadic elements (of type 'a m
) contained in the enumeration e
to get a monadic enumeration of 'a
elements, of type 'a BatEnum.t m
.