Cardano.Provider

data ServiceError

Constructors

• ServiceBlockfrostError BlockfrostError
• ServiceOtherError String

Instances

• Eq ServiceError
• Generic ServiceError _
• Show ServiceError

data GetTxMetadataError

Constructors

• GetTxMetadataTxNotFoundError
• GetTxMetadataMetadataEmptyOrMissingError
• GetTxMetadataClientError ClientError

Instances

• Eq GetTxMetadataError
• Show GetTxMetadataError

data ClientError

Constructors

• ClientHttpError Error

  Affjax error

• ClientHttpResponseError StatusCode ServiceError

  Server responded with HTTP status code outside of 200-299

• ClientDecodeJsonError String JsonDecodeError

  Failed to decode the response

• ClientEncodingError String

  Failed to encode the request

• ClientOtherError String

  Any other error

Instances

• Eq ClientError
• Show ClientError

newtype BlockfrostError

Constructors

• BlockfrostError { error :: String, message :: String, statusCode :: Int }

Instances

• Eq BlockfrostError
• Newtype BlockfrostError _
• Generic BlockfrostError _
• Show BlockfrostError
• DecodeAeson BlockfrostError

pprintServiceError :: ServiceError -> String

pprintClientError :: ClientError -> String

newtype TxEvaluationResult

Constructors

• TxEvaluationResult (Map RedeemerPointer ExecutionUnits)

Instances

• Newtype TxEvaluationResult _
• Generic TxEvaluationResult _
• Show TxEvaluationResult

newtype TxEvaluationR

Constructors

• TxEvaluationR (Either TxEvaluationFailure TxEvaluationResult)

Instances

• Newtype TxEvaluationR _
• Generic TxEvaluationR _
• Show TxEvaluationR

data TxEvaluationFailure

Constructors

• UnparsedError String
• AdditionalUtxoOverlap (Array OgmiosTxOutRef)
• ScriptFailures (Map RedeemerPointer (Array ScriptFailure))

Instances

• Generic TxEvaluationFailure _
• Show TxEvaluationFailure

data ScriptFailure

Reason a script failed.

Constructors

• ExtraRedeemers (Array RedeemerPointer)
• MissingRequiredDatums { missing :: Array OgmiosDatum, provided :: Maybe (Array OgmiosDatum) }
• MissingRequiredScripts { missing :: Array RedeemerPointer, resolved :: Maybe (Map RedeemerPointer ScriptHash) }
• ValidatorFailed { error :: String, traces :: Array String }
• UnknownInputReferencedByRedeemer (Array OgmiosTxIn)
• NonScriptInputReferencedByRedeemer OgmiosTxIn
• NoCostModelForLanguage (Array String)
• InternalLedgerTypeConversionError String
• IllFormedExecutionBudget (Maybe ExecutionUnits)

Instances

• Generic ScriptFailure _
• Show ScriptFailure

type RedeemerPointer = { redeemerIndex :: UInt, redeemerTag :: RedeemerTag }

type OgmiosTxOutRef = { index :: UInt, txId :: String }

type OgmiosTxOut = { address :: OgmiosAddress, datum :: Maybe String, datumHash :: Maybe String, script :: Maybe ScriptRef, value :: Value }

type OgmiosTxIn = { index :: Int, txId :: OgmiosTxId }

type OgmiosTxId = String

type OgmiosScript = String

type OgmiosDatum = String

type OgmiosAddress = Bech32String

type ExecutionUnits = { memory :: BigNum, steps :: BigNum }

showRedeemerPointer :: RedeemerPointer -> String

type Provider = { doesTxExist :: TransactionHash -> AffE Boolean, evaluateTx :: Transaction -> Map OgmiosTxOutRef OgmiosTxOut -> Aff TxEvaluationR, getChainTip :: AffE Tip, getCurrentEpoch :: Aff BigNum, getDatumByHash :: DataHash -> AffE (Maybe PlutusData), getEraSummaries :: AffE EraSummaries, getOutputAddressesByTxHash :: TransactionHash -> AffE (Array Address), getPoolIds :: AffE (Array PoolPubKeyHash), getPubKeyHashDelegationsAndRewards :: NetworkId -> StakePubKeyHash -> AffE (Maybe DelegationsAndRewards), getScriptByHash :: ScriptHash -> AffE (Maybe ScriptRef), getTxAuxiliaryData :: TransactionHash -> Aff (Either GetTxMetadataError AuxiliaryData), getUtxoByOref :: TransactionInput -> AffE (Maybe TransactionOutput), getValidatorHashDelegationsAndRewards :: NetworkId -> ScriptHash -> AffE (Maybe DelegationsAndRewards), submitTx :: Transaction -> AffE TransactionHash, utxosAt :: Address -> AffE UtxoMap }

type AffE (a :: Type) = Aff (Either ClientError a)