package rea

You can search for identifiers within the package.

in-package search v0.2.0

rea
- Rea
  - Constant
    
    applicative
    
    functr
    
    product
  - Identity
    
    monad
  - Memo
  - Mut
  - Prop
  - StdRea
    
    List
    
    monad_plus
    
    Option
    
    monad_plus
    
    Result
    
    monad_errors
    
    Seq
    
    monad_plus
  - Tailrec
    
    async
    
    sync
  - Traverse
  - alt'
  - alt'of
  - applicative'
  - applicative'of
  - async'
  - async'of
  - bind'
  - bind'of
  - branch'
  - branch'of
  - errors'
  - errors'of
  - fail'
  - fail'of
  - functr'
  - map'
  - map'of
  - monad'
  - monad'd
  - monad'of
  - pair'
  - pair'of
  - par'
  - par'd
  - par'of
  - plus'
  - plus'of
  - pointed'
  - pointed'of
  - product'
  - product'of
  - pure'
  - pure'of
  - selective'
  - selective'of
  - spawn'
  - spawn'of
  - suspend'
  - suspend'of
  - sync'
  - sync'of
  - tryin'
  - tryin'of
  - zero'
  - zero'of

Legend:
Library
Module
Module type
Parameter
Class
Class type

Memoized lazy computation for asynchronous programming.

type ('R, 'e, 'a) t

Represents a memoized lazy computation.

val create : 
  ('R,
    'f,
    'a,
    < ('R, 'D) monad'
    ; ('R, 'D) errors'
    ; ('R, 'D) suspend'.. > as 'D)
    er ->
  ('R, 'e, ('R, 'f, 'a) t, 'D) er

create eaE effect returns a memoized lazy computation.

val eval : 
  ('R, 'e, 'a) t ->
  ('R,
    'e,
    'a,
    < ('R, 'D) monad'
    ; ('R, 'D) errors'
    ; ('R, 'D) suspend'.. > as 'D)
    er

eval eaM effect executes the effect and memoizes its result or produces the memoized result.