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

An abstraction for accessing instance variables or properties of objects.

type 'a t

Represents an updatable instance variable or property of an object.

val make : (unit -> 'a) -> ('a -> unit) -> 'a t

make get set specifies a property from get and set.

val get : (< .. > as 'o -> 'a t) -> 'o -> 'a

get prop_of obj gets the property.

val set : (< .. > as 'o -> 'a t) -> 'a -> 'o -> 'o

set prop_of v obj functionally updates the property.

val map : (< .. > as 'o -> 'a t) -> ('a -> 'a) -> 'o -> 'o

map prop_of fn obj functionally updates the property.