Stream (p.caqti.1.3.0.doc.caqti.blocking.Caqti

Sourcetype ('a, 'err) t = unit -> ('a, 'err) node future

Sourceand ('a, 'err) node =

| Nil
| Error of 'err
| Cons of 'a * ('a, 'err) t

val fold : 
  f:('a -> 'state -> 'state) ->
  ('a, 'err) t ->
  'state ->
  ('state, 'err) result future

Source

val fold_s : 
  f:('a -> 'state -> ('state, 'err) result future) ->
  ('a, 'clog) t ->
  'state ->
  ('state, [> `Congested of 'clog ] as 'err) result future

Source

val iter_s : 
  f:('a -> (unit, 'err) result future) ->
  ('a, 'clog) t ->
  (unit, [> `Congested of 'clog ] as 'err) result future

Sourceval to_rev_list : ('a, 'err) t -> ('a list, 'err) result future

Sourceval to_list : ('a, 'err) t -> ('a list, 'err) result future

Sourceval of_list : 'a list -> ('a, 'err) t