package monadlib

You can search for identifiers within the package.

in-package search v0.2.0

monadlib
- Library monadlib
  - Applicative
    
    Base
    
    Applicative
    
    Make
    
    Transform
  - LazyList
  - Monad
    
    Monoid
    
    BasePlus
    
    BaseLazyPlus
    
    Monad
    
    MonadPlus
    
    LazyPlus
    
    Make
    
    MakePlus
    
    MakeLazyPlus
    
    LazyM
    
    List
    
    LazyListM
    
    Option
    
    Continuation
    
    Reader
    
    Writer
    
    State
    
    Error
    
    BaseCollectionM
    
    Stream
    
    StreamC
    
    LazyT
    
    ListT
    
    OptionT
    
    StateT
    
    WriterT
    
    CollectionOpt
    
    CollectionWriter
    
    CollectionState
    
    MakeStream
    
    MakeStreamC
  - TagTree
    
    Tree
    
    Make

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type `Monad.BaseLazyPlus`

LazyPlus is another base module useful when the monad is a lazy data structure. We then allow the plus operation to be non-strict in its second argument, which makes it possible to use functions such as Monad.lsum lazily. This is what you want for lazy lists.

include BatInterfaces.Monad

type 'a m

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

val return : 'a -> 'a m

val zero : unit -> 'a m

val lplus : 'a m -> 'a m Lazy.t -> 'a m

val null : 'a m -> bool

null x implies that x is zero. If you do not want to or cannot answer whether a given x is zero, then null x should be false.

package monadlib

Module type Monad.BaseLazyPlus

Module type `Monad.BaseLazyPlus`