package tezos-error-monad

You can search for identifiers within the package.

in-package search v0.2.0

tezos-error-monad
- Tezos_error_monad
  - Core_maker
    
    Make
    
    Category
    
    Prefix
    
    Wrapped_error_monad
  - Error_classification
  - Error_monad
    
    Legacy_monad_globals
    
    Lwt_result_syntax
    
    Lwt_syntax
    
    Result_syntax
    
    TzTrace
    
    Wrapped_error_monad
  - Monad_maker
    
    Make
    
    Error
    
    Legacy_monad_globals
    
    Lwt_result_syntax
    
    Lwt_syntax
    
    Result_syntax
    
    Trace
    
    S
    
    Legacy_monad_globals
    
    Lwt_result_syntax
    
    Lwt_syntax
    
    Result_syntax
  - Sig
    
    CORE
    
    ERROR_CATEGORY
    
    MONAD_EXTENSION
    
    Legacy_monad_globals
    
    PREFIX
    
    TRACE
    
    WITH_WRAPPED
    
    Wrapped_error_monad
  - TzCore
    
    Wrapped_error_monad
  - TzLwtreslib
    
    Hashtbl
    
    Make
    
    MakeSeeded
    
    Make_es
    
    S
    
    S_ES
    
    SeededS
    
    List
    
    Map
    
    Make
    
    S
    
    Monad
    
    Lwt_option_syntax
    
    Lwt_result_syntax
    
    Lwt_syntax
    
    Lwt_traced_result_syntax
    
    Option_syntax
    
    Result_syntax
    
    Traced_result_syntax
    
    Option
    
    Result
    
    Seq
    
    E
    
    ES
    
    S
    
    Seq_e
    
    E
    
    ES
    
    S
    
    Seq_es
    
    E
    
    ES
    
    S
    
    Seq_s
    
    E
    
    ES
    
    S
    
    Set
    
    Make
    
    S
    
    Unit
    
    WithExceptions
    
    List
    
    Option
    
    Result
  - TzMonad
    
    Legacy_monad_globals
    
    Lwt_result_syntax
    
    Lwt_syntax
    
    Result_syntax
  - TzTrace

Legend:
Library
Module
Module type
Parameter
Class
Class type

val iter : ('a -> unit Lwt.t) -> ('a, 'e) t -> (unit, 'e) Stdlib.result Lwt.t

val fold_left : 
  ('a -> 'b -> 'a Lwt.t) ->
  'a ->
  ('b, 'e) t ->
  ('a, 'e) Stdlib.result Lwt.t

val iteri : 
  (int -> 'a -> unit Lwt.t) ->
  ('a, 'e) t ->
  (unit, 'e) Stdlib.result Lwt.t

val fold_lefti : 
  ('b -> int -> 'a -> 'b Lwt.t) ->
  'b ->
  ('a, 'e) t ->
  ('b, 'e) Stdlib.result Lwt.t

val for_all : 
  ('a -> bool Lwt.t) ->
  ('a, 'e) t ->
  (bool, 'e) Stdlib.result Lwt.t

val exists : ('a -> bool Lwt.t) -> ('a, 'e) t -> (bool, 'e) Stdlib.result Lwt.t

val find : 
  ('a -> bool Lwt.t) ->
  ('a, 'e) t ->
  ('a option, 'e) Stdlib.result Lwt.t

val find_map : 
  ('a -> 'b option Lwt.t) ->
  ('a, 'e) t ->
  ('b option, 'e) Stdlib.result Lwt.t

val iter2 : 
  ('a -> 'b -> unit Lwt.t) ->
  ('a, 'e) t ->
  ('b, 'e) t ->
  (unit, 'e) Stdlib.result Lwt.t

val fold_left2 : 
  ('a -> 'b -> 'c -> 'a Lwt.t) ->
  'a ->
  ('b, 'e) t ->
  ('c, 'e) t ->
  ('a, 'e) Stdlib.result Lwt.t

val for_all2 : 
  ('a -> 'b -> bool Lwt.t) ->
  ('a, 'e) t ->
  ('b, 'e) t ->
  (bool, 'e) Stdlib.result Lwt.t

val exists2 : 
  ('a -> 'b -> bool Lwt.t) ->
  ('a, 'e) t ->
  ('b, 'e) t ->
  (bool, 'e) Stdlib.result Lwt.t