package batteries

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module BatEnum.MonadSource

The BatEnum Monad

This module provides everything needed for writing and executing computations in the BatEnum Monad.

Sourcetype 'a m = 'a t

The type of the BatEnum monad's elements, thus BatEnum.t.

Sourceval return : 'a -> 'a m

This function puts a single value in the BatEnum monad, that is to say it creates an enumeration containing a single element.

Sourceval bind : 'a m -> ('a -> 'b m) -> 'b m

bind m f takes the result of the monadic computation m, puts the f function in the monadic context passing it the result of m and then returning a monadic result.

OCaml

Innovation. Community. Security.