package tezos-protocol-demo-counter

  1. Overview
  2. Docs
package tezos-protocol-demo-counter
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a t = 'a list =
  1. | []
  2. | :: of 'a * 'a list
val nil : 'a list
val nil_e : ('a list, 'trace) Pervasives.result
val nil_s : 'a list Lwt.t
val nil_es : ('a list, 'trace) Pervasives.result Lwt.t
val cons : 'a -> 'a list -> 'a list
val is_empty : 'a list -> bool
val hd : 'a list -> 'a option
val tl : 'a list -> 'a list option
val nth : 'a list -> int -> 'a option
val nth_opt : 'a list -> int -> 'a option
val last : 'a -> 'a list -> 'a
val last_opt : 'a list -> 'a option
val find : ('a -> bool) -> 'a list -> 'a option
val find_opt : ('a -> bool) -> 'a list -> 'a option
val find_map : ('a -> 'b option) -> 'a list -> 'b option
val mem : equal:('a -> 'a -> bool) -> 'a -> 'a list -> bool
val assoc : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> 'b option
val assoc_opt : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> 'b option
val assq : 'a -> ('a * 'b) list -> 'b option
val assq_opt : 'a -> ('a * 'b) list -> 'b option
val mem_assoc : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> bool
val mem_assq : 'a -> ('a * 'b) list -> bool
val remove_assoc : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> ('a * 'b) list
val remove_assq : 'a -> ('a * 'b) list -> ('a * 'b) list
val init : when_negative_length:'trace -> int -> (int -> 'a) -> ('a list, 'trace) Pervasives.result
val length : 'a list -> int
val rev : 'a list -> 'a list
val concat : 'a list list -> 'a list
val append : 'a list -> 'a list -> 'a list
val rev_append : 'a list -> 'a list -> 'a list
val flatten : 'a list list -> 'a list
val combine : when_different_lengths:'trace -> 'a list -> 'b list -> (('a * 'b) list, 'trace) Pervasives.result
val rev_combine : when_different_lengths:'trace -> 'a list -> 'b list -> (('a * 'b) list, 'trace) Pervasives.result
val split : ('a * 'b) list -> 'a list * 'b list
val iter2 : when_different_lengths:'trace -> ('a -> 'b -> unit) -> 'a list -> 'b list -> (unit, 'trace) Pervasives.result
val map2 : when_different_lengths:'trace -> ('a -> 'b -> 'c) -> 'a list -> 'b list -> ('c list, 'trace) Pervasives.result
val rev_map2 : when_different_lengths:'trace -> ('a -> 'b -> 'c) -> 'a list -> 'b list -> ('c list, 'trace) Pervasives.result
val fold_left2 : when_different_lengths:'trace -> ('a -> 'b -> 'c -> 'a) -> 'a -> 'b list -> 'c list -> ('a, 'trace) Pervasives.result
val for_all2 : when_different_lengths:'trace -> ('a -> 'b -> bool) -> 'a list -> 'b list -> (bool, 'trace) Pervasives.result
val exists2 : when_different_lengths:'trace -> ('a -> 'b -> bool) -> 'a list -> 'b list -> (bool, 'trace) Pervasives.result
val init_e : when_negative_length:'trace -> int -> (int -> ('a, 'trace) Pervasives.result) -> ('a list, 'trace) Pervasives.result
val init_s : when_negative_length:'trace -> int -> (int -> 'a Lwt.t) -> ('a list, 'trace) Pervasives.result Lwt.t
val init_es : when_negative_length:'trace -> int -> (int -> ('a, 'trace) Pervasives.result Lwt.t) -> ('a list, 'trace) Pervasives.result Lwt.t
val init_p : when_negative_length:'trace -> int -> (int -> 'a Lwt.t) -> ('a list, 'trace) Pervasives.result Lwt.t
val find_e : ('a -> (bool, 'trace) Pervasives.result) -> 'a list -> ('a option, 'trace) Pervasives.result
val find_s : ('a -> bool Lwt.t) -> 'a list -> 'a option Lwt.t
val find_es : ('a -> (bool, 'trace) Pervasives.result Lwt.t) -> 'a list -> ('a option, 'trace) Pervasives.result Lwt.t
val find_map_e : ('a -> ('b option, 'trace) Pervasives.result) -> 'a list -> ('b option, 'trace) Pervasives.result
val find_map_s : ('a -> 'b option Lwt.t) -> 'a list -> 'b option Lwt.t
val find_map_es : ('a -> ('b option, 'trace) Pervasives.result Lwt.t) -> 'a list -> ('b option, 'trace) Pervasives.result Lwt.t
val filter : ('a -> bool) -> 'a list -> 'a list
val filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val find_all : ('a -> bool) -> 'a list -> 'a list
val rev_filter : ('a -> bool) -> 'a list -> 'a list
val rev_filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val rev_filter_some : 'a option list -> 'a list
val filter_some : 'a option list -> 'a list
val rev_filter_ok : ('a, 'b) Pervasives.result list -> 'a list
val filter_ok : ('a, 'b) Pervasives.result list -> 'a list
val rev_filter_error : ('a, 'b) Pervasives.result list -> 'b list
val filter_error : ('a, 'b) Pervasives.result list -> 'b list
val rev_filter_left : ('a, 'b) Either.t list -> 'a list
val filter_left : ('a, 'b) Either.t list -> 'a list
val rev_filter_right : ('a, 'b) Either.t list -> 'b list
val filter_right : ('a, 'b) Either.t list -> 'b list
val rev_filter_e : ('a -> (bool, 'trace) Pervasives.result) -> 'a list -> ('a list, 'trace) Pervasives.result
val filter_e : ('a -> (bool, 'trace) Pervasives.result) -> 'a list -> ('a list, 'trace) Pervasives.result
val rev_filter_s : ('a -> bool Lwt.t) -> 'a list -> 'a list Lwt.t
val filter_s : ('a -> bool Lwt.t) -> 'a list -> 'a list Lwt.t
val rev_filter_es : ('a -> (bool, 'trace) Pervasives.result Lwt.t) -> 'a list -> ('a list, 'trace) Pervasives.result Lwt.t
val filter_es : ('a -> (bool, 'trace) Pervasives.result Lwt.t) -> 'a list -> ('a list, 'trace) Pervasives.result Lwt.t
val rev_filteri_e : (int -> 'a -> (bool, 'trace) Pervasives.result) -> 'a list -> ('a list, 'trace) Pervasives.result
val filteri_e : (int -> 'a -> (bool, 'trace) Pervasives.result) -> 'a list -> ('a list, 'trace) Pervasives.result
val rev_filteri_s : (int -> 'a -> bool Lwt.t) -> 'a list -> 'a list Lwt.t
val filteri_s : (int -> 'a -> bool Lwt.t) -> 'a list -> 'a list Lwt.t
val rev_filteri_es : (int -> 'a -> (bool, 'trace) Pervasives.result Lwt.t) -> 'a list -> ('a list, 'trace) Pervasives.result Lwt.t
val filteri_es : (int -> 'a -> (bool, 'trace) Pervasives.result Lwt.t) -> 'a list -> ('a list, 'trace) Pervasives.result Lwt.t
val rev_partition : ('a -> bool) -> 'a list -> 'a list * 'a list
val partition : ('a -> bool) -> 'a list -> 'a list * 'a list
val rev_partition_map : ('a -> ('b, 'c) Either.t) -> 'a list -> 'b list * 'c list
val partition_map : ('a -> ('b, 'c) Either.t) -> 'a list -> 'b list * 'c list
val rev_partition_result : ('a, 'b) Pervasives.result list -> 'a list * 'b list
val partition_result : ('a, 'b) Pervasives.result list -> 'a list * 'b list
val rev_partition_either : ('a, 'b) Either.t list -> 'a list * 'b list
val partition_either : ('a, 'b) Either.t list -> 'a list * 'b list
val rev_partition_e : ('a -> (bool, 'trace) Pervasives.result) -> 'a list -> ('a list * 'a list, 'trace) Pervasives.result
val partition_e : ('a -> (bool, 'trace) Pervasives.result) -> 'a list -> ('a list * 'a list, 'trace) Pervasives.result
val rev_partition_s : ('a -> bool Lwt.t) -> 'a list -> ('a list * 'a list) Lwt.t
val partition_s : ('a -> bool Lwt.t) -> 'a list -> ('a list * 'a list) Lwt.t
val rev_partition_es : ('a -> (bool, 'trace) Pervasives.result Lwt.t) -> 'a list -> ('a list * 'a list, 'trace) Pervasives.result Lwt.t
val partition_es : ('a -> (bool, 'trace) Pervasives.result Lwt.t) -> 'a list -> ('a list * 'a list, 'trace) Pervasives.result Lwt.t
val partition_p : ('a -> bool Lwt.t) -> 'a list -> ('a list * 'a list) Lwt.t
val rev_partition_map_e : ('a -> (('b, 'c) Either.t, 'trace) Pervasives.result) -> 'a list -> ('b list * 'c list, 'trace) Pervasives.result
val partition_map_e : ('a -> (('b, 'c) Either.t, 'trace) Pervasives.result) -> 'a list -> ('b list * 'c list, 'trace) Pervasives.result
val rev_partition_map_s : ('a -> ('b, 'c) Either.t Lwt.t) -> 'a list -> ('b list * 'c list) Lwt.t
val partition_map_s : ('a -> ('b, 'c) Either.t Lwt.t) -> 'a list -> ('b list * 'c list) Lwt.t
val rev_partition_map_es : ('a -> (('b, 'c) Either.t, 'trace) Pervasives.result Lwt.t) -> 'a list -> ('b list * 'c list, 'trace) Pervasives.result Lwt.t
val partition_map_es : ('a -> (('b, 'c) Either.t, 'trace) Pervasives.result Lwt.t) -> 'a list -> ('b list * 'c list, 'trace) Pervasives.result Lwt.t
val iter : ('a -> unit) -> 'a list -> unit
val iter_e : ('a -> (unit, 'trace) Pervasives.result) -> 'a list -> (unit, 'trace) Pervasives.result
val iter_s : ('a -> unit Lwt.t) -> 'a list -> unit Lwt.t
val iter_es : ('a -> (unit, 'trace) Pervasives.result Lwt.t) -> 'a list -> (unit, 'trace) Pervasives.result Lwt.t
val iter_p : ('a -> unit Lwt.t) -> 'a list -> unit Lwt.t
val iteri : (int -> 'a -> unit) -> 'a list -> unit
val iteri_e : (int -> 'a -> (unit, 'trace) Pervasives.result) -> 'a list -> (unit, 'trace) Pervasives.result
val iteri_s : (int -> 'a -> unit Lwt.t) -> 'a list -> unit Lwt.t
val iteri_es : (int -> 'a -> (unit, 'trace) Pervasives.result Lwt.t) -> 'a list -> (unit, 'trace) Pervasives.result Lwt.t
val iteri_p : (int -> 'a -> unit Lwt.t) -> 'a list -> unit Lwt.t
val map : ('a -> 'b) -> 'a list -> 'b list
val map_e : ('a -> ('b, 'trace) Pervasives.result) -> 'a list -> ('b list, 'trace) Pervasives.result
val map_s : ('a -> 'b Lwt.t) -> 'a list -> 'b list Lwt.t
val map_es : ('a -> ('b, 'trace) Pervasives.result Lwt.t) -> 'a list -> ('b list, 'trace) Pervasives.result Lwt.t
val map_p : ('a -> 'b Lwt.t) -> 'a list -> 'b list Lwt.t
val mapi : (int -> 'a -> 'b) -> 'a list -> 'b list
val mapi_e : (int -> 'a -> ('b, 'trace) Pervasives.result) -> 'a list -> ('b list, 'trace) Pervasives.result
val mapi_s : (int -> 'a -> 'b Lwt.t) -> 'a list -> 'b list Lwt.t
val mapi_es : (int -> 'a -> ('b, 'trace) Pervasives.result Lwt.t) -> 'a list -> ('b list, 'trace) Pervasives.result Lwt.t
val mapi_p : (int -> 'a -> 'b Lwt.t) -> 'a list -> 'b list Lwt.t
val rev_map : ('a -> 'b) -> 'a list -> 'b list
val rev_mapi : (int -> 'a -> 'b) -> 'a list -> 'b list
val rev_map_e : ('a -> ('b, 'trace) Pervasives.result) -> 'a list -> ('b list, 'trace) Pervasives.result
val rev_map_s : ('a -> 'b Lwt.t) -> 'a list -> 'b list Lwt.t
val rev_map_es : ('a -> ('b, 'trace) Pervasives.result Lwt.t) -> 'a list -> ('b list, 'trace) Pervasives.result Lwt.t
val rev_map_p : ('a -> 'b Lwt.t) -> 'a list -> 'b list Lwt.t
val rev_mapi_e : (int -> 'a -> ('b, 'trace) Pervasives.result) -> 'a list -> ('b list, 'trace) Pervasives.result
val rev_mapi_s : (int -> 'a -> 'b Lwt.t) -> 'a list -> 'b list Lwt.t
val rev_mapi_es : (int -> 'a -> ('b, 'trace) Pervasives.result Lwt.t) -> 'a list -> ('b list, 'trace) Pervasives.result Lwt.t
val rev_mapi_p : (int -> 'a -> 'b Lwt.t) -> 'a list -> 'b list Lwt.t
val rev_filter_map : ('a -> 'b option) -> 'a list -> 'b list
val rev_filter_map_e : ('a -> ('b option, 'trace) Pervasives.result) -> 'a list -> ('b list, 'trace) Pervasives.result
val filter_map_e : ('a -> ('b option, 'trace) Pervasives.result) -> 'a list -> ('b list, 'trace) Pervasives.result
val rev_filter_map_s : ('a -> 'b option Lwt.t) -> 'a list -> 'b list Lwt.t
val filter_map : ('a -> 'b option) -> 'a list -> 'b list
val filter_map_s : ('a -> 'b option Lwt.t) -> 'a list -> 'b list Lwt.t
val rev_filter_map_es : ('a -> ('b option, 'trace) Pervasives.result Lwt.t) -> 'a list -> ('b list, 'trace) Pervasives.result Lwt.t
val filter_map_es : ('a -> ('b option, 'trace) Pervasives.result Lwt.t) -> 'a list -> ('b list, 'trace) Pervasives.result Lwt.t
val filter_map_p : ('a -> 'b option Lwt.t) -> 'a list -> 'b list Lwt.t
val concat_map : ('a -> 'b list) -> 'a list -> 'b list
val concat_map_s : ('a -> 'b list Lwt.t) -> 'a list -> 'b list Lwt.t
val concat_map_e : ('a -> ('b list, 'error) Pervasives.result) -> 'a list -> ('b list, 'error) Pervasives.result
val concat_map_es : ('a -> ('b list, 'error) Pervasives.result Lwt.t) -> 'a list -> ('b list, 'error) Pervasives.result Lwt.t
val concat_map_p : ('a -> 'b list Lwt.t) -> 'a list -> 'b list Lwt.t
val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b list -> 'a
val fold_left_e : ('a -> 'b -> ('a, 'trace) Pervasives.result) -> 'a -> 'b list -> ('a, 'trace) Pervasives.result
val fold_left_s : ('a -> 'b -> 'a Lwt.t) -> 'a -> 'b list -> 'a Lwt.t
val fold_left_es : ('a -> 'b -> ('a, 'trace) Pervasives.result Lwt.t) -> 'a -> 'b list -> ('a, 'trace) Pervasives.result Lwt.t
val fold_left_map : ('a -> 'b -> 'a * 'c) -> 'a -> 'b list -> 'a * 'c list
val fold_left_map_e : ('a -> 'b -> ('a * 'c, 'trace) Pervasives.result) -> 'a -> 'b list -> ('a * 'c list, 'trace) Pervasives.result
val fold_left_map_s : ('a -> 'b -> ('a * 'c) Lwt.t) -> 'a -> 'b list -> ('a * 'c list) Lwt.t
val fold_left_map_es : ('a -> 'b -> ('a * 'c, 'trace) Pervasives.result Lwt.t) -> 'a -> 'b list -> ('a * 'c list, 'trace) Pervasives.result Lwt.t
val fold_left_i : (int -> 'a -> 'b -> 'a) -> 'a -> 'b list -> 'a
val fold_left_i_e : (int -> 'a -> 'b -> ('a, 'trace) Pervasives.result) -> 'a -> 'b list -> ('a, 'trace) Pervasives.result
val fold_left_i_s : (int -> 'a -> 'b -> 'a Lwt.t) -> 'a -> 'b list -> 'a Lwt.t
val fold_left_i_es : (int -> 'a -> 'b -> ('a, 'trace) Pervasives.result Lwt.t) -> 'a -> 'b list -> ('a, 'trace) Pervasives.result Lwt.t
val iter2_e : when_different_lengths:'trace -> ('a -> 'b -> (unit, 'trace) Pervasives.result) -> 'a list -> 'b list -> (unit, 'trace) Pervasives.result
val iter2_s : when_different_lengths:'trace -> ('a -> 'b -> unit Lwt.t) -> 'a list -> 'b list -> (unit, 'trace) Pervasives.result Lwt.t
val iter2_es : when_different_lengths:'trace -> ('a -> 'b -> (unit, 'trace) Pervasives.result Lwt.t) -> 'a list -> 'b list -> (unit, 'trace) Pervasives.result Lwt.t
val map2_e : when_different_lengths:'trace -> ('a -> 'b -> ('c, 'trace) Pervasives.result) -> 'a list -> 'b list -> ('c list, 'trace) Pervasives.result
val map2_s : when_different_lengths:'trace -> ('a -> 'b -> 'c Lwt.t) -> 'a list -> 'b list -> ('c list, 'trace) Pervasives.result Lwt.t
val map2_es : when_different_lengths:'trace -> ('a -> 'b -> ('c, 'trace) Pervasives.result Lwt.t) -> 'a list -> 'b list -> ('c list, 'trace) Pervasives.result Lwt.t
val rev_map2_e : when_different_lengths:'trace -> ('a -> 'b -> ('c, 'trace) Pervasives.result) -> 'a list -> 'b list -> ('c list, 'trace) Pervasives.result
val rev_map2_s : when_different_lengths:'trace -> ('a -> 'b -> 'c Lwt.t) -> 'a list -> 'b list -> ('c list, 'trace) Pervasives.result Lwt.t
val rev_map2_es : when_different_lengths:'trace -> ('a -> 'b -> ('c, 'trace) Pervasives.result Lwt.t) -> 'a list -> 'b list -> ('c list, 'trace) Pervasives.result Lwt.t
val fold_left2_e : when_different_lengths:'trace -> ('a -> 'b -> 'c -> ('a, 'trace) Pervasives.result) -> 'a -> 'b list -> 'c list -> ('a, 'trace) Pervasives.result
val fold_left2_s : when_different_lengths:'trace -> ('a -> 'b -> 'c -> 'a Lwt.t) -> 'a -> 'b list -> 'c list -> ('a, 'trace) Pervasives.result Lwt.t
val fold_left2_es : when_different_lengths:'trace -> ('a -> 'b -> 'c -> ('a, 'trace) Pervasives.result Lwt.t) -> 'a -> 'b list -> 'c list -> ('a, 'trace) Pervasives.result Lwt.t
val for_all : ('a -> bool) -> 'a list -> bool
val for_all_e : ('a -> (bool, 'trace) Pervasives.result) -> 'a list -> (bool, 'trace) Pervasives.result
val for_all_s : ('a -> bool Lwt.t) -> 'a list -> bool Lwt.t
val for_all_es : ('a -> (bool, 'trace) Pervasives.result Lwt.t) -> 'a list -> (bool, 'trace) Pervasives.result Lwt.t
val for_all_p : ('a -> bool Lwt.t) -> 'a list -> bool Lwt.t
val exists : ('a -> bool) -> 'a list -> bool
val exists_e : ('a -> (bool, 'trace) Pervasives.result) -> 'a list -> (bool, 'trace) Pervasives.result
val exists_s : ('a -> bool Lwt.t) -> 'a list -> bool Lwt.t
val exists_es : ('a -> (bool, 'trace) Pervasives.result Lwt.t) -> 'a list -> (bool, 'trace) Pervasives.result Lwt.t
val exists_p : ('a -> bool Lwt.t) -> 'a list -> bool Lwt.t
val for_all2_e : when_different_lengths:'trace -> ('a -> 'b -> (bool, 'trace) Pervasives.result) -> 'a list -> 'b list -> (bool, 'trace) Pervasives.result
val for_all2_s : when_different_lengths:'trace -> ('a -> 'b -> bool Lwt.t) -> 'a list -> 'b list -> (bool, 'trace) Pervasives.result Lwt.t
val for_all2_es : when_different_lengths:'trace -> ('a -> 'b -> (bool, 'trace) Pervasives.result Lwt.t) -> 'a list -> 'b list -> (bool, 'trace) Pervasives.result Lwt.t
val exists2_e : when_different_lengths:'trace -> ('a -> 'b -> (bool, 'trace) Pervasives.result) -> 'a list -> 'b list -> (bool, 'trace) Pervasives.result
val exists2_s : when_different_lengths:'trace -> ('a -> 'b -> bool Lwt.t) -> 'a list -> 'b list -> (bool, 'trace) Pervasives.result Lwt.t
val exists2_es : when_different_lengths:'trace -> ('a -> 'b -> (bool, 'trace) Pervasives.result Lwt.t) -> 'a list -> 'b list -> (bool, 'trace) Pervasives.result Lwt.t
val combine_drop : 'a list -> 'b list -> ('a * 'b) list
val combine_with_leftovers : 'a list -> 'b list -> ('a * 'b) list * ('a list, 'b list) Either.t option
val product : 'a list -> 'b list -> ('a * 'b) list
val compare : ('a -> 'a -> int) -> 'a list -> 'a list -> int
val compare_lengths : 'a list -> 'b list -> int
val compare_length_with : 'a list -> int -> int
val equal : ('a -> 'a -> bool) -> 'a list -> 'a list -> bool
val sort : ('a -> 'a -> int) -> 'a list -> 'a list
val stable_sort : ('a -> 'a -> int) -> 'a list -> 'a list
val fast_sort : ('a -> 'a -> int) -> 'a list -> 'a list
val sort_uniq : ('a -> 'a -> int) -> 'a list -> 'a list
val to_seq : 'a list -> 'a Seq.t
val of_seq : 'a Seq.t -> 'a list
val init_ep : when_negative_length:'error -> int -> (int -> ('a, 'error Error_monad.trace) Pervasives.result Lwt.t) -> ('a list, 'error Error_monad.trace) Pervasives.result Lwt.t
val filter_ep : ('a -> (bool, 'error Error_monad.trace) Pervasives.result Lwt.t) -> 'a list -> ('a list, 'error Error_monad.trace) Pervasives.result Lwt.t
val partition_ep : ('a -> (bool, 'error Error_monad.trace) Pervasives.result Lwt.t) -> 'a list -> ('a list * 'a list, 'error Error_monad.trace) Pervasives.result Lwt.t
val partition_map_ep : ('a -> (('b, 'c) Either.t, 'error Error_monad.trace) Pervasives.result Lwt.t) -> 'a list -> ('b list * 'c list, 'error Error_monad.trace) Pervasives.result Lwt.t
val iter_ep : ('a -> (unit, 'error Error_monad.trace) Pervasives.result Lwt.t) -> 'a list -> (unit, 'error Error_monad.trace) Pervasives.result Lwt.t
val iteri_ep : (int -> 'a -> (unit, 'error Error_monad.trace) Pervasives.result Lwt.t) -> 'a list -> (unit, 'error Error_monad.trace) Pervasives.result Lwt.t
val map_ep : ('a -> ('b, 'error Error_monad.trace) Pervasives.result Lwt.t) -> 'a list -> ('b list, 'error Error_monad.trace) Pervasives.result Lwt.t
val mapi_ep : (int -> 'a -> ('b, 'error Error_monad.trace) Pervasives.result Lwt.t) -> 'a list -> ('b list, 'error Error_monad.trace) Pervasives.result Lwt.t
val rev_map_ep : ('a -> ('b, 'error Error_monad.trace) Pervasives.result Lwt.t) -> 'a list -> ('b list, 'error Error_monad.trace) Pervasives.result Lwt.t
val rev_mapi_ep : (int -> 'a -> ('b, 'error Error_monad.trace) Pervasives.result Lwt.t) -> 'a list -> ('b list, 'error Error_monad.trace) Pervasives.result Lwt.t
val filter_map_ep : ('a -> ('b option, 'error Error_monad.trace) Pervasives.result Lwt.t) -> 'a list -> ('b list, 'error Error_monad.trace) Pervasives.result Lwt.t
val concat_map_ep : ('a -> ('b list, 'error Error_monad.trace) Pervasives.result Lwt.t) -> 'a list -> ('b list, 'error Error_monad.trace) Pervasives.result Lwt.t
val for_all_ep : ('a -> (bool, 'error Error_monad.trace) Pervasives.result Lwt.t) -> 'a list -> (bool, 'error Error_monad.trace) Pervasives.result Lwt.t
val exists_ep : ('a -> (bool, 'error Error_monad.trace) Pervasives.result Lwt.t) -> 'a list -> (bool, 'error Error_monad.trace) Pervasives.result Lwt.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