package caqti

  1. Overview
  2. Docs

Parameters

module X : FUTURE

Signature

type ('a, 'err) t = unit -> ('a, 'err) node X.future
and ('a, 'err) node =
  1. | Nil
  2. | Error of 'err
  3. | Cons of 'a * ('a, 'err) t
val fold : f:('a -> 'state -> 'state) -> ('a, 'err) t -> 'state -> ('state, 'err) Stdlib.result X.future
val fold_s : f:('a -> 'state -> ('state, 'err) Stdlib.result X.future) -> ('a, 'clog) t -> 'state -> ('state, [> `Congested of 'clog ] as 'err) Stdlib.result X.future
val iter_s : f:('a -> (unit, 'err) Stdlib.result X.future) -> ('a, 'clog) t -> (unit, [> `Congested of 'clog ] as 'err) Stdlib.result X.future
val to_rev_list : ('a, 'err) t -> ('a list, 'err) Stdlib.result X.future
val to_list : ('a, 'err) t -> ('a list, 'err) Stdlib.result X.future
val of_list : 'a list -> ('a, 'err) t