package tezos-lwt-result-stdlib

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

Any monad that we can use to produce transformers, we can also use to produce traversors. Thus, SEQMON1TRANSFORMERS includes SEQMON1TRAVERSORS and all the functors producing transformer also produce traversors.

val iter : ('a -> unit Lwt.t) -> 'a t -> unit Lwt.t
val fold_left : ('a -> 'b -> 'a Lwt.t) -> 'a -> 'b t -> 'a Lwt.t
val iteri : (int -> 'a -> unit Lwt.t) -> 'a t -> unit Lwt.t
val fold_lefti : ('b -> int -> 'a -> 'b Lwt.t) -> 'b -> 'a t -> 'b Lwt.t
val for_all : ('a -> bool Lwt.t) -> 'a t -> bool Lwt.t
val exists : ('a -> bool Lwt.t) -> 'a t -> bool Lwt.t
val find : ('a -> bool Lwt.t) -> 'a t -> 'a option Lwt.t
val find_map : ('a -> 'b option Lwt.t) -> 'a t -> 'b option Lwt.t
val iter2 : ('a -> 'b -> unit Lwt.t) -> 'a t -> 'b t -> unit Lwt.t
val fold_left2 : ('a -> 'b -> 'c -> 'a Lwt.t) -> 'a -> 'b t -> 'c t -> 'a Lwt.t
val for_all2 : ('a -> 'b -> bool Lwt.t) -> 'a t -> 'b t -> bool Lwt.t
val exists2 : ('a -> 'b -> bool Lwt.t) -> 'a t -> 'b t -> bool Lwt.t
val init : int -> (int -> 'a Lwt.t) -> 'a t
val unfold : ('b -> ('a * 'b) option Lwt.t) -> 'b -> 'a t
val forever : (unit -> 'a Lwt.t) -> 'a t
val iterate : ('a -> 'a Lwt.t) -> 'a -> 'a t
val map : ('a -> 'b Lwt.t) -> 'a t -> 'b t
val mapi : (int -> 'a -> 'b Lwt.t) -> 'a t -> 'b t
val filter : ('a -> bool Lwt.t) -> 'a t -> 'a t
val filter_map : ('a -> 'b option Lwt.t) -> 'a t -> 'b t
val scan : ('b -> 'a -> 'b Lwt.t) -> 'b -> 'a t -> 'b t
val take_while : ('a -> bool Lwt.t) -> 'a t -> 'a t
val drop_while : ('a -> bool Lwt.t) -> 'a t -> 'a t
val group : ('a -> 'a -> bool Lwt.t) -> 'a t -> 'a t t
val map2 : ('a -> 'b -> 'c Lwt.t) -> 'a t -> 'b t -> 'c t
val map_product : ('a -> 'b -> 'c Lwt.t) -> 'a t -> 'b t -> 'c t
val partition_map : ('a -> ('b, 'c) Either.t Lwt.t) -> 'a t -> 'b t * 'c t
val partition : ('a -> bool Lwt.t) -> 'a t -> 'a t * 'a t