Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Contract.Error

Description

Error codes to be used in plutus scripts.

Define a new type and instantiate ToErrorCode for error cases you want to use in scripts.

data MyError = CaseA | CaseB deriving Show

instance ToErrorCode MyError where
  toErrorCode = case
    CaseA -> CA
    CaseB -> CB

In plutus-tx, you can then use template haskell to inline the error codes using the '$(errorCode ..)' splice.

validator = traceError $(errorCode CaseA)

This example will have your validator fail with user error CA, which you can match for using 'toErrorCode CaseA' in Haskell.

Synopsis

Documentation

Types which are used to describe errors as short error codes in scripts.

Methods

Get the short error code used in a script for given type.

Instances details

ToErrorCode CommitError Source #
Instance details Defined in Hydra.Contract.CommitError Methods toErrorCode :: CommitError -> Text Source #
ToErrorCode HeadError Source #
Instance details Defined in Hydra.Contract.HeadError Methods toErrorCode :: HeadError -> Text Source #
ToErrorCode HeadTokensError Source #
Instance details Defined in Hydra.Contract.HeadTokensError Methods toErrorCode :: HeadTokensError -> Text Source #
ToErrorCode InitialError Source #
Instance details Defined in Hydra.Contract.InitialError Methods toErrorCode :: InitialError -> Text Source #
ToErrorCode UtilError Source #
Instance details Defined in Hydra.Contract.Util Methods toErrorCode :: UtilError -> Text Source #

Get the string literal from given error e. Use this with template haskell splices, e.g. $(errorCode MyError)