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.Prop`Source

An abstraction for accessing instance variables or properties of objects.

Sourcetype 'a t

Represents an updatable instance variable or property of an object.

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

make get set specifies a property from get and set.

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

get prop_of obj gets the property.

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

set prop_of v obj functionally updates the property.

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

map prop_of fn obj functionally updates the property.

package rea

Module Rea.PropSource

Module `Rea.Prop`Source