Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	None
Language	Haskell2010

GeniusYield.TxBuilder.Errors

Description

Synopsis

data PlutusToCardanoError
- = DeserialiseRawBytesError {
  - ptceTag ∷ Text
  }
- | StakePtrAddressUnsupported Address
- | UnknownPlutusToCardanoError {
  - ptceTag ∷ Text
  }
data GYConversionError
- = GYNotPubKeyAddress !GYAddress
- | GYNotScriptAddress !GYAddress
- | GYInvalidPlutusValue !GYFromPlutusValueError !Value
- | GYInvalidPlutusAsset !GYFromPlutusValueError
- | GYInvalidAddressText !Text
- | GYEraSummariesToSlotConfigError !Text
- | GYLedgerToCardanoError !PlutusToCardanoError
- | GYInvalidAssetClass !Text
- | GYInvalidSlot !Integer
data GYQueryUTxOError
- = GYNoUtxosAtAddress ![GYAddress]
- | GYNoUtxoAtRef !GYTxOutRef
data GYQueryDatumError
- = GYNoDatumForHash !GYDatumHash
- | GYInvalidDatum !GYDatum
- | GYNoDatumHash !GYUTxO
data GYTxMonadException ∷ Type where
- GYConversionException ∷ GYConversionError → GYTxMonadException
- GYQueryUTxOException ∷ GYQueryUTxOError → GYTxMonadException
- GYNoSuitableCollateralException ∷ {..} → GYTxMonadException
- GYSlotOverflowException ∷ {..} → GYTxMonadException
- GYTimeUnderflowException ∷ SystemStart → GYTime → GYTxMonadException
- GYQueryDatumException ∷ GYQueryDatumError → GYTxMonadException
- GYApplicationException ∷ (Exception e, IsGYApiError e) ⇒ e → GYTxMonadException
throwAppError ∷ (IsGYApiError e, Exception e, MonadError GYTxMonadException m) ⇒ e → m a

Documentation

data PlutusToCardanoError #

PlutusToCardanoError is raised when using Plutus to Cardano API type conversion functions from plutus-ledger. It is a focused version of Ledger.Tx.CardanoAPI.ToCardanoError.

Constructors

DeserialiseRawBytesError	Deserialization failed; tag indicates the type being deserialized.
Fields ptceTag ∷ Text
StakePtrAddressUnsupported Address	Raised when trying to convert a stake ptr plutus address.
UnknownPlutusToCardanoError	Wildcard unhandled constructors; shouldn't happen usually.
Fields ptceTag ∷ Text

Instances

Instances details

Show PlutusToCardanoError #
Instance details Defined in GeniusYield.Types.Ledger Methods showsPrec ∷ Int → PlutusToCardanoError → ShowS # show ∷ PlutusToCardanoError → String # showList ∷ [PlutusToCardanoError] → ShowS #

data GYConversionError #

GYConversionErrors may be raised during type conversions.

Constructors

GYNotPubKeyAddress !GYAddress	An address was expected to contain a pub key hash, but it did not.
GYNotScriptAddress !GYAddress	An address was expected to contain a script hash, but it did not.
GYInvalidPlutusValue !GYFromPlutusValueError !Value	Raised during Plutus Value to `GYValue` conversion.
GYInvalidPlutusAsset !GYFromPlutusValueError	Raised during Plutus asset to GY asset conversion.
GYInvalidAddressText !Text	Raised when trying to parse `Text` into `GYAddress`.
GYEraSummariesToSlotConfigError !Text	Raised when trying to convert EraHistory to GYSlotConfig.
GYLedgerToCardanoError !PlutusToCardanoError	Errors raised during plutus-ledger -> cardano api type conversion.
GYInvalidAssetClass !Text	Errors raised by "GeniusYield.Types.Value.parseAssetClassCore" and similar.
GYInvalidSlot !Integer	Errors caused by "GeniusYield.Types.Slot.slotFromInteger" resulting in `Nothing`.

Instances

Instances details

Show GYConversionError #
Instance details Defined in GeniusYield.TxBuilder.Errors Methods showsPrec ∷ Int → GYConversionError → ShowS # show ∷ GYConversionError → String # showList ∷ [GYConversionError] → ShowS #

data GYQueryUTxOError #

GYQueryUTxOErrors may be raised during utxo related queries.

Constructors

GYNoUtxosAtAddress ![GYAddress]	An address was queried for one or more UTxOs but none were found.
GYNoUtxoAtRef !GYTxOutRef	No UTxO exists at given ref.

Instances

Instances details

Show GYQueryUTxOError #
Instance details Defined in GeniusYield.TxBuilder.Errors Methods showsPrec ∷ Int → GYQueryUTxOError → ShowS # show ∷ GYQueryUTxOError → String # showList ∷ [GYQueryUTxOError] → ShowS #

data GYQueryDatumError #

GYQueryDatumError may be raised during fetching and parsing datums.

Constructors

GYNoDatumForHash !GYDatumHash	No datum found for given hash.
GYInvalidDatum !GYDatum	Datum parsing failed.
GYNoDatumHash !GYUTxO	No datum hash at utxo.

Instances

Instances details

Show GYQueryDatumError #
Instance details Defined in GeniusYield.TxBuilder.Errors Methods showsPrec ∷ Int → GYQueryDatumError → ShowS # show ∷ GYQueryDatumError → String # showList ∷ [GYQueryDatumError] → ShowS #

data GYTxMonadException ∷ Type where #

Exceptions raised within the GYTxMonad computation.

This includes exceptions raised within the contract itself. It does not include:

Exceptions that may be raised by the provider.
Exceptions raised during transaction building/balancing.
Other wildcard exceptions raised within IO.

Constructors

GYConversionException ∷ GYConversionError → GYTxMonadException	Errors encountered during type conversions.
GYQueryUTxOException ∷ GYQueryUTxOError → GYTxMonadException	Errors encountered during utxo related queries.
GYNoSuitableCollateralException	Raised when no suitable collateral of at least `tmeMinLovelace` amount is found at `tmeAddress`.
Fields ∷ { tmeMinLovelace ∷ Natural , tmeAddress ∷ GYAddress } → GYTxMonadException
GYSlotOverflowException	Raised if `tmeSlot` value overflows when advancing it by `tmeAdvanceAmount`.
Fields ∷ { tmeSlot ∷ GYSlot , tmeAdvanceAmount ∷ Natural } → GYTxMonadException
GYTimeUnderflowException ∷ SystemStart → GYTime → GYTxMonadException	Raised during time -> slot conversion, if given timestamp is before known system start.
GYQueryDatumException ∷ GYQueryDatumError → GYTxMonadException	Raised during fetching/parsing datums.
GYApplicationException ∷ (Exception e, IsGYApiError e) ⇒ e → GYTxMonadException	Wildcard user application specific errors. This is the "plug-in" point where an application using the GY framework, can raise its own protocol specific errors within `GYTxMonad`.

Instances

Instances details

Show GYTxMonadException #
Instance details Defined in GeniusYield.TxBuilder.Errors Methods showsPrec ∷ Int → GYTxMonadException → ShowS # show ∷ GYTxMonadException → String # showList ∷ [GYTxMonadException] → ShowS #
Exception GYTxMonadException #
Instance details Defined in GeniusYield.TxBuilder.Errors Methods toException ∷ GYTxMonadException → SomeException # fromException ∷ SomeException → Maybe GYTxMonadException # displayException ∷ GYTxMonadException → String #
MonadError GYTxMonadException GYTxQueryMonadNode #
Instance details Defined in GeniusYield.TxBuilder.NodeQuery Methods throwError ∷ GYTxMonadException → GYTxQueryMonadNode a # catchError ∷ GYTxQueryMonadNode a → (GYTxMonadException → GYTxQueryMonadNode a) → GYTxQueryMonadNode a #
MonadError GYTxMonadException GYTxMonadRun #
Instance details Defined in GeniusYield.TxBuilder.Run Methods throwError ∷ GYTxMonadException → GYTxMonadRun a # catchError ∷ GYTxMonadRun a → (GYTxMonadException → GYTxMonadRun a) → GYTxMonadRun a #
MonadError GYTxMonadException GYTxMonadNode #
Instance details Defined in GeniusYield.TxBuilder.Node Methods throwError ∷ GYTxMonadException → GYTxMonadNode a # catchError ∷ GYTxMonadNode a → (GYTxMonadException → GYTxMonadNode a) → GYTxMonadNode a #
GYTxMonad m ⇒ GYTxMonad (ExceptT GYTxMonadException m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods ownAddresses ∷ ExceptT GYTxMonadException m [GYAddress] # availableUTxOs ∷ ExceptT GYTxMonadException m GYUTxOs # someUTxO ∷ PlutusVersion → ExceptT GYTxMonadException m GYTxOutRef # randSeed ∷ ExceptT GYTxMonadException m Int #
GYTxQueryMonad m ⇒ GYTxQueryMonad (ExceptT GYTxMonadException m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods networkId ∷ ExceptT GYTxMonadException m GYNetworkId # lookupDatum ∷ GYDatumHash → ExceptT GYTxMonadException m (Maybe GYDatum) # utxoAtTxOutRef ∷ GYTxOutRef → ExceptT GYTxMonadException m (Maybe GYUTxO) # utxosAtTxOutRefs ∷ [GYTxOutRef] → ExceptT GYTxMonadException m GYUTxOs # utxosAtAddress ∷ GYAddress → ExceptT GYTxMonadException m GYUTxOs # utxosAtAddresses ∷ [GYAddress] → ExceptT GYTxMonadException m GYUTxOs # utxoRefsAtAddress ∷ GYAddress → ExceptT GYTxMonadException m [GYTxOutRef] # slotConfig ∷ ExceptT GYTxMonadException m GYSlotConfig # currentSlot ∷ ExceptT GYTxMonadException m GYSlot # logMsg ∷ GYLogNamespace → GYLogSeverity → String → ExceptT GYTxMonadException m () #

throwAppError ∷ (IsGYApiError e, Exception e, MonadError GYTxMonadException m) ⇒ e → m a #

Throw an application specific exception (GYApplicationException) within GYTxMonad.