Make (u.613e6f208dc920f3d1b88ee44d94c891.caqti.1.5.0.doc.caqti.Caqti

Parameters

module X : FUTURE

Signature

Sourcetype ('a, 'err) t = unit -> ('a, 'err) node X.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 X.future

Source

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

Source

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

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

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

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