package tezos-error-monad

  1. Overview
  2. Docs
type error_category = [
  1. | `Branch
    (*

    Errors that may not happen in another context

    *)
  2. | `Temporary
    (*

    Errors that may not happen in a later context

    *)
  3. | `Permanent
    (*

    Errors that will happen no matter the context

    *)
]

Categories of error

val string_of_category : [< `Branch | `Permanent | `Temporary ] -> string
val combine_category : [< `Branch | `Permanent | `Temporary ] -> [< `Branch | `Permanent | `Temporary ] -> [> `Branch | `Permanent | `Temporary ]
module type PREFIX = sig ... end
module type CORE = sig ... end
module type EXT = sig ... end
module type WITH_WRAPPED = sig ... end
module type TRACE = sig ... end
module type MONAD = sig ... end
module type MONAD_EXT = sig ... end