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

Identity monad.

type r

Abstract effect representation for Identity.

val to_rea : 'a -> (r, 'e, 'a) s

Identity injection.

val of_rea : (r, 'e, 'a) s -> 'a

Identity projection.

class 'D monad : object ... end

Base Identity interpreter dictionary.

val monad : (r, 'D) monad' as 'D

Default monad dictionary.