plutus-use-cases-1.1.0.0: Collection of smart contracts to develop the plutus/wallet interface
Safe HaskellNone
LanguageHaskell2010

Plutus.Contracts.ErrorHandling

Synopsis

Documentation

type Schema = (Endpoint "throwError" () .\/ Endpoint "catchError" ()) .\/ Endpoint "catchContractError" () Source #

data MyError Source #

MyError has a constructor for each type of error that our contract can throw. The MyContractError constructor wraps a ContractError.

Constructors

Error1 Text 
Error2 
MyContractError ContractError 

Instances

Instances details
Show MyError Source # 
Instance details

Defined in Plutus.Contracts.ErrorHandling

Methods

showsPrec :: Int -> MyError -> ShowS Source #

show :: MyError -> String Source #

showList :: [MyError] -> ShowS Source #

Generic MyError Source # 
Instance details

Defined in Plutus.Contracts.ErrorHandling

Associated Types

type Rep MyError :: Type -> Type Source #

Methods

from :: MyError -> Rep MyError x Source #

to :: Rep MyError x -> MyError Source #

ToJSON MyError Source # 
Instance details

Defined in Plutus.Contracts.ErrorHandling

Methods

toJSON :: MyError -> Value Source #

toEncoding :: MyError -> Encoding Source #

toJSONList :: [MyError] -> Value Source #

toEncodingList :: [MyError] -> Encoding Source #

FromJSON MyError Source # 
Instance details

Defined in Plutus.Contracts.ErrorHandling

Methods

parseJSON :: Value -> Parser MyError Source #

parseJSONList :: Value -> Parser [MyError] Source #

AsContractError MyError Source # 
Instance details

Defined in Plutus.Contracts.ErrorHandling

Methods

_ContractError :: Prism' MyError ContractError Source #

_WalletContractError :: Prism' MyError WalletAPIError Source #

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

_EmulatorAssertionContractError :: Prism' MyError AssertionError Source #

_ConstraintResolutionContractError :: Prism' MyError MkTxError Source #

_TxConstraintResolutionContractError :: Prism' MyError MkTxError Source #

_TxToCardanoConvertContractError :: Prism' MyError ToCardanoError Source #

_ResumableContractError :: Prism' MyError MatchingError Source #

_CCheckpointContractError :: Prism' MyError CheckpointError Source #

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

_OtherContractError :: Prism' MyError Text Source #

AsMyError MyError Source # 
Instance details

Defined in Plutus.Contracts.ErrorHandling

Methods

_MyError :: Prism' MyError MyError Source #

_Error1 :: Prism' MyError Text Source #

_Error2 :: Prism' MyError () Source #

_MyContractError :: Prism' MyError ContractError Source #

type Rep MyError Source # 
Instance details

Defined in Plutus.Contracts.ErrorHandling

type Rep MyError = D1 ('MetaData "MyError" "Plutus.Contracts.ErrorHandling" "plutus-use-cases-1.1.0.0-9kk4ZO09YVFKU77qwQaRsf" 'False) (C1 ('MetaCons "Error1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "Error2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MyContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContractError))))

class AsMyError r where Source #

Minimal complete definition

_MyError

Methods

_MyError :: Prism' r MyError Source #

_Error1 :: Prism' r Text Source #

_Error2 :: Prism' r () Source #

_MyContractError :: Prism' r ContractError Source #

Instances

Instances details
AsMyError MyError Source # 
Instance details

Defined in Plutus.Contracts.ErrorHandling

Methods

_MyError :: Prism' MyError MyError Source #

_Error1 :: Prism' MyError Text Source #

_Error2 :: Prism' MyError () Source #

_MyContractError :: Prism' MyError ContractError Source #

contract :: (AsMyError e, AsContractError e) => SlotConfig -> Contract w Schema e () Source #