package tezos-lwt-result-stdlib

  1. Overview
  2. Docs
package tezos-lwt-result-stdlib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Bare_structs.Seq_esSource

include Bare_sigs.Seq_es.S with type ('a, 'e) seq_e_t := ('a, 'e) Seq_e.t and type 'a seq_s_t := 'a Seq_s.t
Sourcetype (+'a, 'e) node =
  1. | Nil
  2. | Cons of 'a * ('a, 'e) t

This is similar to Seq.S.t but the suspended node is a promised result.

Similarly to Seq_e, sequences of this module can be interrupted by an error. In this case, traversal has fully applied to the successful prefix before the returned promise evaluates to Error _.

Sourceand ('a, 'e) t = unit -> (('a, 'e) node, 'e) Stdlib.result Lwt.t
Sourceval empty : ('a, 'e) t
Sourceval nil : ('a, 'e) node
Sourceval cons : 'a -> ('a, 'e) t -> ('a, 'e) t
Sourceval cons_s : 'a Lwt.t -> ('a, 'e) t -> ('a, 'e) t
Sourceval cons_e : ('a, 'e) Stdlib.result -> ('a, 'e) t -> ('a, 'e) t
Sourceval cons_es : ('a, 'e) Stdlib.result Lwt.t -> ('a, 'e) t -> ('a, 'e) t
Sourceval append : ('a, 'e) t -> ('a, 'e) t -> ('a, 'e) t
Sourceval return : 'a -> ('a, 'e) t
Sourceval return_e : ('a, 'e) Stdlib.result -> ('a, 'e) t
Sourceval return_s : 'a Lwt.t -> ('a, 'e) t
Sourceval return_es : ('a, 'e) Stdlib.result Lwt.t -> ('a, 'e) t
Sourceval interrupted : 'e -> ('a, 'e) t
Sourceval interrupted_s : 'e Lwt.t -> ('a, 'e) t
Sourceval first : ('a, 'e) t -> ('a, 'e) Stdlib.result option Lwt.t
Sourceval fold_left : ('a -> 'b -> 'a) -> 'a -> ('b, 'e) t -> ('a, 'e) Stdlib.result Lwt.t
Sourceval fold_left_e : ('a -> 'b -> ('a, 'e) Stdlib.result) -> 'a -> ('b, 'e) t -> ('a, 'e) Stdlib.result Lwt.t
Sourceval fold_left_e_discriminated : ('a -> 'b -> ('a, 'f) Stdlib.result) -> 'a -> ('b, 'e) t -> ('a, ('e, 'f) Stdlib.Either.t) Stdlib.result Lwt.t
Sourceval fold_left_s : ('a -> 'b -> 'a Lwt.t) -> 'a -> ('b, 'e) t -> ('a, 'e) Stdlib.result Lwt.t
Sourceval fold_left_es : ('a -> 'b -> ('a, 'e) Stdlib.result Lwt.t) -> 'a -> ('b, 'e) t -> ('a, 'e) Stdlib.result Lwt.t
Sourceval fold_left_es_discriminated : ('a -> 'b -> ('a, 'f) Stdlib.result Lwt.t) -> 'a -> ('b, 'e) t -> ('a, ('e, 'f) Stdlib.Either.t) Stdlib.result Lwt.t
Sourceval iter : ('a -> unit) -> ('a, 'e) t -> (unit, 'e) Stdlib.result Lwt.t
Sourceval iter_e : ('a -> (unit, 'e) Stdlib.result) -> ('a, 'e) t -> (unit, 'e) Stdlib.result Lwt.t
Sourceval iter_e_discriminated : ('a -> (unit, 'f) Stdlib.result) -> ('a, 'e) t -> (unit, ('e, 'f) Stdlib.Either.t) Stdlib.result Lwt.t
Sourceval iter_s : ('a -> unit Lwt.t) -> ('a, 'e) t -> (unit, 'e) Stdlib.result Lwt.t
Sourceval iter_es : ('a -> (unit, 'e) Stdlib.result Lwt.t) -> ('a, 'e) t -> (unit, 'e) Stdlib.result Lwt.t
Sourceval iter_es_discriminated : ('a -> (unit, 'f) Stdlib.result Lwt.t) -> ('a, 'e) t -> (unit, ('e, 'f) Stdlib.Either.t) Stdlib.result Lwt.t
Sourceval map : ('a -> 'b) -> ('a, 'e) t -> ('b, 'e) t
Sourceval map_e : ('a -> ('b, 'e) Stdlib.result) -> ('a, 'e) t -> ('b, 'e) t
Sourceval map_s : ('a -> 'b Lwt.t) -> ('a, 'e) t -> ('b, 'e) t
Sourceval map_es : ('a -> ('b, 'e) Stdlib.result Lwt.t) -> ('a, 'e) t -> ('b, 'e) t
Sourceval map_error : ('e -> 'f) -> ('a, 'e) t -> ('a, 'f) t
Sourceval map_error_s : ('e -> 'f Lwt.t) -> ('a, 'e) t -> ('a, 'f) t
Sourceval filter : ('a -> bool) -> ('a, 'e) t -> ('a, 'e) t
Sourceval filter_e : ('a -> (bool, 'e) Stdlib.result) -> ('a, 'e) t -> ('a, 'e) t
Sourceval filter_s : ('a -> bool Lwt.t) -> ('a, 'e) t -> ('a, 'e) t
Sourceval filter_es : ('a -> (bool, 'e) Stdlib.result Lwt.t) -> ('a, 'e) t -> ('a, 'e) t
Sourceval filter_map : ('a -> 'b option) -> ('a, 'e) t -> ('b, 'e) t
Sourceval filter_map_e : ('a -> ('b option, 'e) Stdlib.result) -> ('a, 'e) t -> ('b, 'e) t
Sourceval filter_map_s : ('a -> 'b option Lwt.t) -> ('a, 'e) t -> ('b, 'e) t
Sourceval filter_map_es : ('a -> ('b option, 'e) Stdlib.result Lwt.t) -> ('a, 'e) t -> ('b, 'e) t
Sourceval unfold : ('b -> ('a * 'b) option) -> 'b -> ('a, 'e) t
Sourceval unfold_s : ('b -> ('a * 'b) option Lwt.t) -> 'b -> ('a, 'e) t
Sourceval unfold_e : ('b -> (('a * 'b) option, 'e) Stdlib.result) -> 'b -> ('a, 'e) t
Sourceval unfold_es : ('b -> (('a * 'b) option, 'e) Stdlib.result Lwt.t) -> 'b -> ('a, 'e) t
Sourceval of_seq : 'a Stdlib.Seq.t -> ('a, 'e) t
Sourceval of_seq_s : 'a Lwt.t Stdlib.Seq.t -> ('a, 'e) t
Sourceval of_seqs : 'a Seq_s.t -> ('a, 'e) t
Sourceval of_seq_e : ('a, 'e) Stdlib.result Stdlib.Seq.t -> ('a, 'e) t
Sourceval of_seqe : ('a, 'e) Seq_e.t -> ('a, 'e) t
Sourceval of_seq_es : ('a, 'e) Stdlib.result Lwt.t Stdlib.Seq.t -> ('a, 'e) t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct