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

Stdlib.Seq extensions.

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

Seq traversal.

type r

Abstract effect representation for Seq.

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

Seq injection.

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

Seq projection.

class 'D monad_plus : object ... end

Base Seq interpreter dictionary.

val monad_plus : 'D monad_plus as 'D

Default monad_plus dictionary.