Safe Haskell	None
Language	Haskell2010

ErrorCode

Synopsis

class HasErrorCode a where
- errorCode :: a -> ErrorCode
newtype ErrorCode = ErrorCode Natural

Documentation

class HasErrorCode a where Source #

Assigns an error-code to data-constructors (values) of error types. Note, when implementing this method you're only supposed to look at the outermost constructor (whnf) of the a value to decide for the error-code.

Methods

errorCode :: a -> ErrorCode Source #

Instances

Instances details

HasErrorCode FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods errorCode :: FreeVariableError -> ErrorCode Source #
HasErrorCode UnliftingError Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods errorCode :: UnliftingError -> ErrorCode Source #
HasErrorCode ParseError Source #
Instance details Defined in PlutusCore.Error Methods errorCode :: ParseError -> ErrorCode Source #
HasErrorCode CekUserError Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods errorCode :: CekUserError -> ErrorCode Source #
HasErrorCode ( MachineError err) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods errorCode :: MachineError err -> ErrorCode Source #
HasErrorCode ( UniqueError _a) Source #
Instance details Defined in PlutusCore.Error Methods errorCode :: UniqueError _a -> ErrorCode Source #
( HasErrorCode user, HasErrorCode internal) => HasErrorCode ( EvaluationError user internal) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods errorCode :: EvaluationError user internal -> ErrorCode Source #
HasErrorCode err => HasErrorCode ( ErrorWithCause err t) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods errorCode :: ErrorWithCause err t -> ErrorCode Source #
HasErrorCode ( TypeErrorExt _a _b) Source #
Instance details Defined in PlutusIR.Error Methods errorCode :: TypeErrorExt _a _b -> ErrorCode Source #
HasErrorCode ( Error _a _b _c) Source #
Instance details Defined in PlutusCore.Error Methods errorCode :: Error _a _b _c -> ErrorCode Source #
HasErrorCode ( Error _a _b _c) Source #
Instance details Defined in PlutusIR.Error Methods errorCode :: Error _a _b _c -> ErrorCode Source #
HasErrorCode ( TypeError _a _b _c _d) Source #
Instance details Defined in PlutusCore.Error Methods errorCode :: TypeError _a _b _c _d -> ErrorCode Source #
HasErrorCode ( NormCheckError _a _b _c _d _e) Source #
Instance details Defined in PlutusCore.Error Methods errorCode :: NormCheckError _a _b _c _d _e -> ErrorCode Source #

newtype ErrorCode Source #

A wrapper to Natural so as to override the pretty instance of Natural with zero padding

Constructors

ErrorCode Natural

Instances

Instances details

Enum ErrorCode Source #
Instance details Defined in ErrorCode Methods succ :: ErrorCode -> ErrorCode Source # pred :: ErrorCode -> ErrorCode Source # toEnum :: Int -> ErrorCode Source # fromEnum :: ErrorCode -> Int Source # enumFrom :: ErrorCode -> [ ErrorCode ] Source # enumFromThen :: ErrorCode -> ErrorCode -> [ ErrorCode ] Source # enumFromTo :: ErrorCode -> ErrorCode -> [ ErrorCode ] Source # enumFromThenTo :: ErrorCode -> ErrorCode -> ErrorCode -> [ ErrorCode ] Source #
Eq ErrorCode Source #
Instance details Defined in ErrorCode Methods (==) :: ErrorCode -> ErrorCode -> Bool Source # (/=) :: ErrorCode -> ErrorCode -> Bool Source #
Ord ErrorCode Source #
Instance details Defined in ErrorCode Methods compare :: ErrorCode -> ErrorCode -> Ordering Source # (<) :: ErrorCode -> ErrorCode -> Bool Source # (<=) :: ErrorCode -> ErrorCode -> Bool Source # (>) :: ErrorCode -> ErrorCode -> Bool Source # (>=) :: ErrorCode -> ErrorCode -> Bool Source # max :: ErrorCode -> ErrorCode -> ErrorCode Source # min :: ErrorCode -> ErrorCode -> ErrorCode Source #
Pretty ErrorCode Source #
Instance details Defined in ErrorCode Methods pretty :: ErrorCode -> Doc ann Source # prettyList :: [ ErrorCode ] -> Doc ann Source #