Safe Haskell	None
Language	Haskell2010

Plutus.Contract.Error

Synopsis

data ContractError
- = WalletContractError WalletAPIError
- | ChainIndexContractError Text ChainIndexResponse
- | ConstraintResolutionContractError MkTxError
- | ToCardanoConvertContractError ToCardanoError
- | ResumableContractError MatchingError
- | CCheckpointContractError CheckpointError
- | EndpointDecodeContractError {
  - eeEndpointDescription :: EndpointDescription
  - eeEndpointValue :: EndpointValue Value
  - eeErrorMessage :: Text
  }
- | OtherContractError Text
class AsContractError r where
- _ContractError :: Prism' r ContractError
- _WalletContractError :: Prism' r WalletAPIError
- _ChainIndexContractError :: Prism' r (Text, ChainIndexResponse)
- _ConstraintResolutionContractError :: Prism' r MkTxError
- _ToCardanoConvertContractError :: Prism' r ToCardanoError
- _ResumableContractError :: Prism' r MatchingError
- _CCheckpointContractError :: Prism' r CheckpointError
- _EndpointDecodeContractError :: Prism' r (EndpointDescription, EndpointValue Value, Text)
- _OtherContractError :: Prism' r Text
newtype MatchingError = WrongVariantError {
- unWrongVariantError :: Text
}
class AsMatchingError r where
- _MatchingError :: Prism' r MatchingError
- _WrongVariantError :: Prism' r Text
newtype AssertionError = GenericAssertion {
- unAssertionError :: Text
}
class AsAssertionError r where
- _AssertionError :: Prism' r AssertionError
- _GenericAssertion :: Prism' r Text

Documentation

data ContractError Source #

Constructors

WalletContractError WalletAPIError
ChainIndexContractError Text ChainIndexResponse
ConstraintResolutionContractError MkTxError
ToCardanoConvertContractError ToCardanoError
ResumableContractError MatchingError
CCheckpointContractError CheckpointError
EndpointDecodeContractError
Fields eeEndpointDescription :: EndpointDescription The endpoint description which the decoding error occurred from eeEndpointValue :: EndpointValue Value The endpoint value that was used as an endpoint parameter eeErrorMessage :: Text JSON decoding error message
OtherContractError Text

Instances

Instances details

Eq ContractError Source #
Instance details Defined in Plutus.Contract.Error Methods (==) :: ContractError -> ContractError -> Bool Source # (/=) :: ContractError -> ContractError -> Bool Source #
Show ContractError Source #
Instance details Defined in Plutus.Contract.Error Methods showsPrec :: Int -> ContractError -> ShowS Source # show :: ContractError -> String Source # showList :: [ContractError] -> ShowS Source #
IsString ContractError Source #
Instance details Defined in Plutus.Contract.Error Methods fromString :: String -> ContractError Source #
Generic ContractError Source #
Instance details Defined in Plutus.Contract.Error Associated Types type Rep ContractError :: Type -> Type Source # Methods from :: ContractError -> Rep ContractError x Source # to :: Rep ContractError x -> ContractError Source #
FromJSON ContractError Source #
Instance details Defined in Plutus.Contract.Error Methods parseJSON :: Value -> Parser ContractError parseJSONList :: Value -> Parser [ContractError]
ToJSON ContractError Source #
Instance details Defined in Plutus.Contract.Error Methods toJSON :: ContractError -> Value toEncoding :: ContractError -> Encoding toJSONList :: [ContractError] -> Value toEncodingList :: [ContractError] -> Encoding
Pretty ContractError Source #
Instance details Defined in Plutus.Contract.Error Methods pretty :: ContractError -> Doc ann prettyList :: [ContractError] -> Doc ann
AsCheckpointError ContractError Source #
Instance details Defined in Plutus.Contract.Error Methods _CheckpointError :: Prism' ContractError CheckpointError Source # _JSONDecodeError :: Prism' ContractError Text Source #
AsContractError ContractError Source #
Instance details Defined in Plutus.Contract.Error Methods _ContractError :: Prism' ContractError ContractError Source # _WalletContractError :: Prism' ContractError WalletAPIError Source # _ChainIndexContractError :: Prism' ContractError (Text, ChainIndexResponse) Source # _ConstraintResolutionContractError :: Prism' ContractError MkTxError Source # _ToCardanoConvertContractError :: Prism' ContractError ToCardanoError Source # _ResumableContractError :: Prism' ContractError MatchingError Source # _CCheckpointContractError :: Prism' ContractError CheckpointError Source # _EndpointDecodeContractError :: Prism' ContractError (EndpointDescription, EndpointValue Value, Text) Source # _OtherContractError :: Prism' ContractError Text Source #
type Rep ContractError Source #
Instance details Defined in Plutus.Contract.Error type Rep ContractError = D1 ('MetaData "ContractError" "Plutus.Contract.Error" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'False) (((C1 ('MetaCons "WalletContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WalletAPIError)) :+: C1 ('MetaCons "ChainIndexContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainIndexResponse))) :+: (C1 ('MetaCons "ConstraintResolutionContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MkTxError)) :+: C1 ('MetaCons "ToCardanoConvertContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ToCardanoError)))) :+: ((C1 ('MetaCons "ResumableContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MatchingError)) :+: C1 ('MetaCons "CCheckpointContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CheckpointError))) :+: (C1 ('MetaCons "EndpointDecodeContractError" 'PrefixI 'True) (S1 ('MetaSel ('Just "eeEndpointDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EndpointDescription) :: (S1 ('MetaSel ('Just "eeEndpointValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EndpointValue Value)) :*: S1 ('MetaSel ('Just "eeErrorMessage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: C1 ('MetaCons "OtherContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

class AsContractError r where Source #

Minimal complete definition

_ContractError

Methods

_ContractError :: Prism' r ContractError Source #

_WalletContractError :: Prism' r WalletAPIError Source #

_ChainIndexContractError :: Prism' r (Text, ChainIndexResponse) Source #

_ConstraintResolutionContractError :: Prism' r MkTxError Source #

_ToCardanoConvertContractError :: Prism' r ToCardanoError Source #

_ResumableContractError :: Prism' r MatchingError Source #

_CCheckpointContractError :: Prism' r CheckpointError Source #

_EndpointDecodeContractError :: Prism' r (EndpointDescription, EndpointValue Value, Text) Source #

_OtherContractError :: Prism' r Text Source #

Instances

Instances details

AsContractError Text Source #	This lets people use `Text` as their error type.
Instance details Defined in Plutus.Contract.Error Methods _ContractError :: Prism' Text ContractError Source # _WalletContractError :: Prism' Text WalletAPIError Source # _ChainIndexContractError :: Prism' Text (Text, ChainIndexResponse) Source # _ConstraintResolutionContractError :: Prism' Text MkTxError Source # _ToCardanoConvertContractError :: Prism' Text ToCardanoError Source # _ResumableContractError :: Prism' Text MatchingError Source # _CCheckpointContractError :: Prism' Text CheckpointError Source # _EndpointDecodeContractError :: Prism' Text (EndpointDescription, EndpointValue Value, Text) Source # _OtherContractError :: Prism' Text Text Source #
AsContractError ContractError Source #
Instance details Defined in Plutus.Contract.Error Methods _ContractError :: Prism' ContractError ContractError Source # _WalletContractError :: Prism' ContractError WalletAPIError Source # _ChainIndexContractError :: Prism' ContractError (Text, ChainIndexResponse) Source # _ConstraintResolutionContractError :: Prism' ContractError MkTxError Source # _ToCardanoConvertContractError :: Prism' ContractError ToCardanoError Source # _ResumableContractError :: Prism' ContractError MatchingError Source # _CCheckpointContractError :: Prism' ContractError CheckpointError Source # _EndpointDecodeContractError :: Prism' ContractError (EndpointDescription, EndpointValue Value, Text) Source # _OtherContractError :: Prism' ContractError Text Source #
AsContractError SMContractError Source #
Instance details Defined in Plutus.Contract.StateMachine Methods _ContractError :: Prism' SMContractError ContractError Source # _WalletContractError :: Prism' SMContractError WalletAPIError Source # _ChainIndexContractError :: Prism' SMContractError (Text, ChainIndexResponse) Source # _ConstraintResolutionContractError :: Prism' SMContractError MkTxError Source # _ToCardanoConvertContractError :: Prism' SMContractError ToCardanoError Source # _ResumableContractError :: Prism' SMContractError MatchingError Source # _CCheckpointContractError :: Prism' SMContractError CheckpointError Source # _EndpointDecodeContractError :: Prism' SMContractError (EndpointDescription, EndpointValue Value, Text) Source # _OtherContractError :: Prism' SMContractError Text Source #

newtype MatchingError Source #

An error

Constructors

WrongVariantError
Fields unWrongVariantError :: Text

Instances

Instances details

Eq MatchingError Source #
Instance details Defined in Plutus.Contract.Error Methods (==) :: MatchingError -> MatchingError -> Bool Source # (/=) :: MatchingError -> MatchingError -> Bool Source #
Ord MatchingError Source #
Instance details Defined in Plutus.Contract.Error Methods compare :: MatchingError -> MatchingError -> Ordering Source # (<) :: MatchingError -> MatchingError -> Bool Source # (<=) :: MatchingError -> MatchingError -> Bool Source # (>) :: MatchingError -> MatchingError -> Bool Source # (>=) :: MatchingError -> MatchingError -> Bool Source # max :: MatchingError -> MatchingError -> MatchingError Source # min :: MatchingError -> MatchingError -> MatchingError Source #
Show MatchingError Source #
Instance details Defined in Plutus.Contract.Error Methods showsPrec :: Int -> MatchingError -> ShowS Source # show :: MatchingError -> String Source # showList :: [MatchingError] -> ShowS Source #
Generic MatchingError Source #
Instance details Defined in Plutus.Contract.Error Associated Types type Rep MatchingError :: Type -> Type Source # Methods from :: MatchingError -> Rep MatchingError x Source # to :: Rep MatchingError x -> MatchingError Source #
FromJSON MatchingError Source #
Instance details Defined in Plutus.Contract.Error Methods parseJSON :: Value -> Parser MatchingError parseJSONList :: Value -> Parser [MatchingError]
ToJSON MatchingError Source #
Instance details Defined in Plutus.Contract.Error Methods toJSON :: MatchingError -> Value toEncoding :: MatchingError -> Encoding toJSONList :: [MatchingError] -> Value toEncodingList :: [MatchingError] -> Encoding
Pretty MatchingError Source #
Instance details Defined in Plutus.Contract.Error Methods pretty :: MatchingError -> Doc ann prettyList :: [MatchingError] -> Doc ann
AsMatchingError MatchingError Source #
Instance details Defined in Plutus.Contract.Error Methods _MatchingError :: Prism' MatchingError MatchingError Source # _WrongVariantError :: Prism' MatchingError Text Source #
type Rep MatchingError Source #
Instance details Defined in Plutus.Contract.Error type Rep MatchingError = D1 ('MetaData "MatchingError" "Plutus.Contract.Error" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'True) (C1 ('MetaCons "WrongVariantError" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWrongVariantError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

class AsMatchingError r where Source #

Minimal complete definition

_MatchingError

Methods

_MatchingError :: Prism' r MatchingError Source #

_WrongVariantError :: Prism' r Text Source #

Instances

Instances details

AsMatchingError MatchingError Source #
Instance details Defined in Plutus.Contract.Error Methods _MatchingError :: Prism' MatchingError MatchingError Source # _WrongVariantError :: Prism' MatchingError Text Source #

newtype AssertionError Source #

An error emitted when an Assertion fails.

Constructors

GenericAssertion
Fields unAssertionError :: Text

Instances

Instances details

Eq AssertionError Source #
Instance details Defined in Plutus.Contract.Error Methods (==) :: AssertionError -> AssertionError -> Bool Source # (/=) :: AssertionError -> AssertionError -> Bool Source #
Show AssertionError Source #
Instance details Defined in Plutus.Contract.Error Methods showsPrec :: Int -> AssertionError -> ShowS Source # show :: AssertionError -> String Source # showList :: [AssertionError] -> ShowS Source #
Generic AssertionError Source #
Instance details Defined in Plutus.Contract.Error Associated Types type Rep AssertionError :: Type -> Type Source # Methods from :: AssertionError -> Rep AssertionError x Source # to :: Rep AssertionError x -> AssertionError Source #
FromJSON AssertionError Source #
Instance details Defined in Plutus.Contract.Error Methods parseJSON :: Value -> Parser AssertionError parseJSONList :: Value -> Parser [AssertionError]
ToJSON AssertionError Source #
Instance details Defined in Plutus.Contract.Error Methods toJSON :: AssertionError -> Value toEncoding :: AssertionError -> Encoding toJSONList :: [AssertionError] -> Value toEncodingList :: [AssertionError] -> Encoding
Pretty AssertionError Source #
Instance details Defined in Plutus.Contract.Error Methods pretty :: AssertionError -> Doc ann prettyList :: [AssertionError] -> Doc ann
AsAssertionError AssertionError Source #
Instance details Defined in Plutus.Contract.Error Methods _AssertionError :: Prism' AssertionError AssertionError Source # _GenericAssertion :: Prism' AssertionError Text Source #
type Rep AssertionError Source #
Instance details Defined in Plutus.Contract.Error type Rep AssertionError = D1 ('MetaData "AssertionError" "Plutus.Contract.Error" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'True) (C1 ('MetaCons "GenericAssertion" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAssertionError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

class AsAssertionError r where Source #

Minimal complete definition

_AssertionError

Methods

_AssertionError :: Prism' r AssertionError Source #

_GenericAssertion :: Prism' r Text Source #

Instances

Instances details

AsAssertionError Text Source #	This lets people use `Text` as their error type.
Instance details Defined in Plutus.Contract.Error Methods _AssertionError :: Prism' Text AssertionError Source # _GenericAssertion :: Prism' Text Text Source #
AsAssertionError AssertionError Source #
Instance details Defined in Plutus.Contract.Error Methods _AssertionError :: Prism' AssertionError AssertionError Source # _GenericAssertion :: Prism' AssertionError Text Source #
AsAssertionError (TraceError e) Source #
Instance details Defined in Plutus.Contract.Trace Methods _AssertionError :: Prism' (TraceError e) AssertionError Source # _GenericAssertion :: Prism' (TraceError e) Text Source #