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 `Rea.Tailrec`Source

A self tail recursive interpreter usable with Js_of_ocaml.

Sourcetype r

Abstract higher-kinded effect representation type constructor.

Sourceclass 'D sync : object ... end

Base synchronous interpreter dictionary.

Sourceval sync : 'D sync as 'D

Default sync dictionary.

Sourceval run : ('D sync as 'D) -> (r, 'e, 'a, 'D) er -> ('e, 'a) res

run d sync executes the sync effect with the given interpreter d and returns its result.

Sourceclass 'D async : object ... end

Base asynchronous interpreter dictionary.

Sourceval async : 'D async as 'D

Default async dictionary.

Sourceval spawn : 'D -> (r, nothing, unit, 'D) er -> unit

spawn d async queues the async effect for execution using the given interpreter d.

package rea

Module Rea.TailrecSource

Module `Rea.Tailrec`Source