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

Mutable ref cells for asynchronous programming.

Operations on mutable ref cells are atomic such that when an update of a ref cell is in progress other operations on the ref cell will suspend.

type 'v t

Represents a mutable ref cell for asynchronous programming.

val create : 'v -> 'v t

create value creates a new mutable ref cell with given value.

val read : 
  'v t ->
  ('R, 'e, 'v, < ('R, 'D) pointed' ; ('R, 'D) suspend'.. > as 'D) er

read mut effect returns the current value of the mutable ref cell.

val mutate : 
  'v op'1 ->
  'v t ->
  ('R, 'e, unit, < ('R, 'D) pointed' ; ('R, 'D) suspend'.. > as 'D) er

mutate fn mut effect updates the mutable ref cell with the given synchronous function.

val modify : 
  ('v -> 'v * 'a) ->
  'v t ->
  ('R, 'e, 'a, < ('R, 'D) pointed' ; ('R, 'D) suspend'.. > as 'D) er

modify fn mut effect updates the mutable ref cell with the given synchronous function.

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

try_mutate ef mut effect updates the mutable ref cell with the given asynchronous effect.

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

try_modify ef mut effect updates the mutable ref cell with the given asynchronous effect.