package rea

You can search for identifiers within the package.

in-package search v0.2.0

rea
- 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 `StdRea.List`Source

TODO

val map_er : 
  ('a -> ('R, 'e, 'b, ['R, 'D] applicative' as 'D) er) ->
  'a List.t ->
  ('R, 'e, 'b List.t, 'D) er

TODO

val map_eq_er : 
  ('a -> ('R, 'e, 'a, ['R, 'D] applicative' as 'D) er) ->
  'a List.t ->
  ('R, 'e, 'a List.t, 'D) er

TODO

Sourcetype r

TODO

Sourceval to_rea : 'a List.t -> (r, 'e, 'a) s

TODO

Sourceval of_rea : (r, 'e, 'a) s -> 'a List.t

TODO

Sourceclass 'D monad_plus : object ... end

TODO

Sourceval monad_plus : 'D monad_plus as 'D

TODO