package tezos-protocol-environment-structs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val (>>?) : ('a, 'b) result -> ('a -> ('c, 'b) result) -> ('c, 'b) result
val (>>=?) : ('a, 'b) result Lwt.t -> ('a -> ('c, 'b) result Lwt.t) -> ('c, 'b) result Lwt.t
val ok_nil : ('a list, 'b) result
val return_nil : ('a list, 'b) result Lwt.t
val return : 'a -> ('a, 'b) Result.result Lwt.t
val ok_unit : (unit, 'a) result
val return_unit : (unit, 'a) result Lwt.t
val map : ('a -> ('b, 'c) result) -> 'a list -> ('b list, 'c) result
val mapi : (int -> 'a -> ('b, 'c) result) -> 'a list -> ('b list, 'c) result
val map_s : ('a -> ('b, 'c) result Lwt.t) -> 'a list -> ('b list, 'c) Result.result Lwt.t
val mapi_s : (int -> 'a -> ('b, 'c) result Lwt.t) -> 'a list -> ('b list, 'c) Result.result Lwt.t
val rev_map_append_s : 'a list -> ('b -> ('a, 'c) result Lwt.t) -> 'b list -> ('a list, 'c) Result.result Lwt.t
val rev_map_s : ('a -> ('b, 'c) result Lwt.t) -> 'a list -> ('b list, 'c) Result.result Lwt.t
val map_p : ('a -> ('b, 'c list) result Lwt.t) -> 'a list -> ('b list, 'c list) Result.result Lwt.t
val mapi_p : (int -> 'a -> ('b, 'c list) result Lwt.t) -> 'a list -> ('b list, 'c list) Result.result Lwt.t
val map2_s : ('a -> 'b -> ('c, 'd) result Lwt.t) -> 'a list -> 'b list -> ('c list, 'd) Result.result Lwt.t
val mapi2_s : (int -> 'a -> 'b -> ('c, 'd) result Lwt.t) -> 'a list -> 'b list -> ('c list, 'd) Result.result Lwt.t
val map2 : ('a -> 'b -> ('c, 'd) result) -> 'a list -> 'b list -> ('c list, 'd) result
val mapi2 : (int -> 'a -> 'b -> ('c, 'd) result) -> 'a list -> 'b list -> ('c list, 'd) result
val filter_map_s : ('a -> ('b option, 'c) result Lwt.t) -> 'a list -> ('b list, 'c) Result.result Lwt.t
val filter_map_p : ('a -> ('b option, 'c) result Lwt.t) -> 'a list -> ('b list, 'c) Result.result Lwt.t
val filter : ('a -> (bool, 'b) result) -> 'a list -> ('a list, 'b) result
val filter_s : ('a -> (bool, 'b) result Lwt.t) -> 'a list -> ('a list, 'b) Result.result Lwt.t
val filter_p : ('a -> (bool, 'b) result Lwt.t) -> 'a list -> ('a list, 'b) Result.result Lwt.t
val iter : ('a -> (unit, 'b) result) -> 'a list -> (unit, 'b) result
val iter_s : ('a -> (unit, 'b) result Lwt.t) -> 'a list -> (unit, 'b) result Lwt.t
val iter_p : ('a -> (unit, 'b list) result Lwt.t) -> 'a list -> (unit, 'b list) Result.result Lwt.t
val iteri_p : (int -> 'a -> (unit, 'b list) result Lwt.t) -> 'a list -> (unit, 'b list) Result.result Lwt.t
val iter2_p : ('a -> 'b -> (unit, 'c list) result Lwt.t) -> 'a list -> 'b list -> (unit, 'c list) Result.result Lwt.t
val iteri2_p : (int -> 'a -> 'b -> (unit, 'c list) result Lwt.t) -> 'a list -> 'b list -> (unit, 'c list) Result.result Lwt.t
val fold_left_s : ('a -> 'b -> ('a, 'c) result Lwt.t) -> 'a -> 'b list -> ('a, 'c) Result.result Lwt.t
val fold_right_s : ('a -> 'b -> ('b, 'c) Result.result Lwt.t) -> 'a list -> 'b -> ('b, 'c) Result.result Lwt.t