package rea

You can search for identifiers within the package.

in-package search v0.2.0

package rea

rea
- CHANGES
- LICENSE
- README
- Library rea
  - Rea
    
    map'
    
    map'of
    
    functr'
    
    pure'
    
    pure'of
    
    pointed'
    
    pointed'of
    
    pair'
    
    pair'of
    
    product'
    
    product'of
    
    applicative'
    
    applicative'of
    
    branch'
    
    branch'of
    
    selective'
    
    selective'of
    
    bind'
    
    bind'of
    
    monad'
    
    monad'of
    
    monad'd
    
    zero'
    
    zero'of
    
    alt'
    
    alt'of
    
    plus'
    
    plus'of
    
    fail'
    
    fail'of
    
    tryin'
    
    tryin'of
    
    errors'
    
    errors'of
    
    par'
    
    par'of
    
    suspend'
    
    suspend'of
    
    spawn'
    
    spawn'of
    
    sync'
    
    sync'of
    
    async'
    
    async'of
    
    par'd
    
    Memo
    
    Mut
    
    Prop
    
    StdRea
    
    List
    
    monad_plus
    
    Option
    
    monad_plus
    
    Result
    
    monad_errors
    
    Seq
    
    monad_plus
    
    Constant
    
    functr
    
    product
    
    applicative
    
    Identity
    
    monad
    
    Tailrec
    
    sync
    
    async
    
    Traverse
- Sources
  - rea
    
    Combinators.ml
    
    Constant.ml
    
    Derived.ml
    
    Identity.ml
    
    Memo.ml
    
    Mut.ml
    
    Projections.ml
    
    Prop.ml
    
    Rea.ml
    
    Signatures.ml
    
    StdRea.ml
    
    Tailrec.ml
    
    Traverse.ml
    
    Util.ml
    
    rea__.ml

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

Module `StdRea.Result`Source

Stdlib.Result extensions.

Sourcetype r

Abstract effect representation for Result.

Sourceval to_rea : ('a, 'e) Result.t -> (r, 'e, 'a) s

Result injection.

Sourceval of_rea : (r, 'e, 'a) s -> ('a, 'e) Result.t

Result projection.

Sourceclass 'D monad_errors : object ... end

Base Result interpreter dictionary.

Sourceval monad_errors : 'D monad_errors as 'D

Default monad_errors dictionary.

package rea

Module StdRea.ResultSource

Module `StdRea.Result`Source