package tezos-error-monad

  1. Overview
  2. Docs

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 result_encoding : 'a Data_encoding.t -> 'a tzresult Data_encoding.t

A serializer for result of a given type