package tezos-error-monad

  1. Overview
  2. Docs
type error

for substitution

type 'error trace
type tztrace = error trace
type 'a tzresult = ('a, tztrace) result
val classify_errors : tztrace -> error_category
val pp_print_error : Format.formatter -> error trace -> unit
val pp_print_error_first : Format.formatter -> error trace -> unit

Pretty prints a trace as the message of its first error

val trace_encoding : error trace Data_encoding.t
val result_encoding : 'a Data_encoding.t -> 'a tzresult Data_encoding.t

A serializer for result of a given type