package tezos-error-monad

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package tezos-error-monad

tezos-error-monad
- Tezos_error_monad
  - Core_maker
    
    Make
    
    Prefix
    
    Wrapped_error_monad
  - Error_monad
    
    TzTrace
    
    Wrapped_error_monad
  - Monad_ext_maker
    
    Make
    
    Error
    
    Monad
    
    Trace
  - Monad_maker
    
    Make
    
    Trace
  - Sig
    
    CORE
    
    EXT
    
    MONAD
    
    MONAD_EXT
    
    PREFIX
    
    TRACE
    
    WITH_WRAPPED
    
    Wrapped_error_monad
  - TzCore
    
    Wrapped_error_monad
  - TzLwtreslib
    
    Hashtbl
    
    Make
    
    H
    
    Legacy
    
    MakeSeeded
    
    H
    
    Legacy
    
    Make_es
    
    H
    
    S
    
    Legacy
    
    S_ES
    
    SeededS
    
    Legacy
    
    List
    
    Map
    
    Make
    
    Legacy
    
    Ord
    
    S
    
    Legacy
    
    Monad
    
    Option
    
    Result
    
    Seq
    
    Seq_e
    
    Seq_es
    
    Seq_s
    
    Set
    
    Make
    
    Legacy
    
    Ord
    
    S
    
    Legacy
    
    WithExceptions
    
    List
    
    Option
    
    Result
  - TzMonad
  - TzTrace

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Error : sig ... end

module Trace : Sig.TRACE

module Monad : Sig.MONAD with type 'error trace := 'error Trace.trace

Signature

type tztrace = Error.error Trace.trace

type 'a tzresult = ('a, tztrace) result

val classify_errors : tztrace -> Sig.error_category

val pp_print_error : Format.formatter -> Error.error Trace.trace -> unit

val pp_print_error_first : Format.formatter -> Error.error Trace.trace -> unit

Pretty prints a trace as the message of its first error

val trace_encoding : Error.error Trace.trace Data_encoding.t

val result_encoding : 'a Data_encoding.t -> 'a tzresult Data_encoding.t

A serializer for result of a given type