Seq (rea.Rea.StdRea.Seq)

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

Seq traversal.

type r

Abstract effect representation for Seq.

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

Seq injection.

val of_rea : (r, 'e, 'a) s -> 'a Stdlib.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.