package rea

  1. Overview
  2. Docs
package rea
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module StdRea.SeqSource

Stdlib.Seq extensions.

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

Seq traversal.

Sourcetype r

Abstract effect representation for Seq.

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

Seq injection.

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

Seq projection.

Sourceclass 'D monad_plus : object ... end

Base Seq interpreter dictionary.

Sourceval monad_plus : 'D monad_plus as 'D

Default monad_plus dictionary.