Documentation

Associated Types

newtype PlutusScript AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)
type PlutusPurpose f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEra

Methods

eraMaxLanguage ∷ Language Source #

toPlutusScript ∷ Script AlonzoEra → Maybe (PlutusScript AlonzoEra) Source #

fromPlutusScript ∷ PlutusScript AlonzoEra → Script AlonzoEra Source #

mkPlutusScript ∷ ∀ (l ∷ Language) m. (PlutusLanguage l, MonadFail m) ⇒ Plutus l → m (PlutusScript AlonzoEra) Source #

withPlutusScript ∷ PlutusScript AlonzoEra → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g AlonzoEra → PlutusPurpose f AlonzoEra Source #

mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f AlonzoEra Source #

toSpendingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 TxIn) Source #

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f AlonzoEra Source #

toMintingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 PolicyID) Source #

mkCertifyingPurpose ∷ f Word32 (TxCert AlonzoEra) → PlutusPurpose f AlonzoEra Source #

toCertifyingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 (TxCert AlonzoEra)) Source #

mkWithdrawingPurpose ∷ f Word32 AccountAddress → PlutusPurpose f AlonzoEra Source #

toWithdrawingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 AccountAddress) Source #

mkRewardingPurpose ∷ f Word32 AccountAddress → PlutusPurpose f AlonzoEra Source #

toRewardingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 AccountAddress) Source #

upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra AlonzoEra) → PlutusPurpose AsIx AlonzoEra Source #

AlonzoEraTx AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

isPhase2ValidTxL ∷ Lens' (Tx 'TopTx AlonzoEra) IsPhase2Valid Source #

isValidTxL ∷ Lens' (Tx 'TopTx AlonzoEra) IsPhase2Valid Source #

StAnnTxCache AlonzoEra ~ Map ScriptHash (SupportedPlutusRunnable AlonzoEra) ⇒ AlonzoEraTxAuxData AlonzoEra Source #

Instance details

Methods

plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Language (NonEmpty PlutusBinary)) Source #

AlonzoEraTxBody AlonzoEra Source #

Instance details

Methods

collateralInputsTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) (Set TxIn) Source #

reqSignerHashesTxBodyL ∷ ∀ (l ∷ TxLevel). AtMostEra "Conway" AlonzoEra ⇒ Lens' (TxBody l AlonzoEra) (Set (KeyHash 'Guard)) Source #

reqSignerHashesTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Set (KeyHash 'Guard)) Source #

scriptIntegrityHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictMaybe ScriptIntegrityHash) Source #

networkIdTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictMaybe Network) Source #

redeemerPointer ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → PlutusPurpose AsItem AlonzoEra → StrictMaybe (PlutusPurpose AsIx AlonzoEra) Source #

redeemerPointerInverse ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → PlutusPurpose AsIx AlonzoEra → StrictMaybe (PlutusPurpose AsIxItem AlonzoEra) Source #

AlonzoEraTxOut AlonzoEra Source #

Instance details

Methods

dataHashTxOutL ∷ Lens' (TxOut AlonzoEra) (StrictMaybe DataHash) Source #

datumTxOutF ∷ SimpleGetter (TxOut AlonzoEra) (Datum AlonzoEra) Source #

AlonzoEraTxWits AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

datsTxWitsL ∷ Lens' (TxWits AlonzoEra) (TxDats AlonzoEra) Source #

rdmrsTxWitsL ∷ Lens' (TxWits AlonzoEra) (Redeemers AlonzoEra) Source #

AlonzoEraUTxO AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

Methods

getSupplementalDataHashes ∷ ∀ (l ∷ TxLevel). UTxO AlonzoEra → TxBody l AlonzoEra → Set DataHash Source #

getSpendingDatum ∷ ∀ (l ∷ TxLevel). UTxO AlonzoEra → Tx l AlonzoEra → PlutusPurpose AsItem AlonzoEra → Maybe (Data AlonzoEra) Source #

scriptsProvidedStAnnTx ∷ ∀ (l ∷ TxLevel). StAnnTx l AlonzoEra → ScriptsProvided AlonzoEra Source #

scriptsNeededStAnnTx ∷ ∀ (l ∷ TxLevel). StAnnTx l AlonzoEra → ScriptsNeeded AlonzoEra Source #

plutusScriptsWithContextStAnnTx ∷ ∀ (l ∷ TxLevel). StAnnTx l AlonzoEra → Either (NonEmpty (CollectError AlonzoEra)) [PlutusWithContext] Source #

plutusLanguagesUsedStAnnTx ∷ ∀ (l ∷ TxLevel). StAnnTx l AlonzoEra → Set Language Source #

EraBlockBody AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Associated Types

type BlockBody AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.BlockBody.Internal type BlockBody AlonzoEra = AlonzoBlockBody AlonzoEra

Methods

mkBasicBlockBody ∷ BlockBody AlonzoEra Source #

txSeqBlockBodyL ∷ Lens' (BlockBody AlonzoEra) (StrictSeq (Tx 'TopTx AlonzoEra)) Source #

hashBlockBody ∷ BlockBody AlonzoEra → Hash HASH EraIndependentBlockBody Source #

blockBodySize ∷ ProtVer → BlockBody AlonzoEra → Int Source #

EraScript AlonzoEra Source #

Instance details

Associated Types

type Script AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Script AlonzoEra = AlonzoScript AlonzoEra
type NativeScript AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type NativeScript AlonzoEra = Timelock AlonzoEra

Methods

upgradeScript ∷ Script (PreviousEra AlonzoEra) → Script AlonzoEra Source #

scriptPrefixTag ∷ Script AlonzoEra → ByteString Source #

getNativeScript ∷ Script AlonzoEra → Maybe (NativeScript AlonzoEra) Source #

fromNativeScript ∷ NativeScript AlonzoEra → Script AlonzoEra Source #

EraTx AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

newtype Tx l AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Tx newtype Tx l AlonzoEra = MkAlonzoTx { unAlonzoTx ∷ AlonzoTx l AlonzoEra }
type StAnnTx l AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Tx type StAnnTx l AlonzoEra = AlonzoStAnnTx l AlonzoEra
type StAnnTxCache AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Tx type StAnnTxCache AlonzoEra = Map ScriptHash (SupportedPlutusRunnable AlonzoEra)

Methods

txStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l AlonzoEra) (Tx l AlonzoEra) Source #

cacheStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l AlonzoEra) (StAnnTxCache AlonzoEra) Source #

mkBasicTx ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → Tx l AlonzoEra Source #

bodyTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l AlonzoEra) (TxBody l AlonzoEra) Source #

witsTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l AlonzoEra) (TxWits AlonzoEra) Source #

auxDataTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l AlonzoEra) (StrictMaybe (TxAuxData AlonzoEra)) Source #

sizeTxF ∷ ∀ (l ∷ TxLevel). HasCallStack ⇒ SimpleGetter (Tx l AlonzoEra) Word32 Source #

sizeTxForFeeCalculation ∷ ∀ (l ∷ TxLevel). (HasCallStack, SafeToHash (TxWits AlonzoEra), Typeable l) ⇒ Tx l AlonzoEra → Word32 Source #

validateNativeScript ∷ ∀ (l ∷ TxLevel). Tx l AlonzoEra → NativeScript AlonzoEra → Bool Source #

getMinFeeTx ∷ ∀ (l ∷ TxLevel). PParams AlonzoEra → Tx l AlonzoEra → Int → Coin Source #

StAnnTxCache AlonzoEra ~ Map ScriptHash (SupportedPlutusRunnable AlonzoEra) ⇒ EraTxAuxData AlonzoEra Source #

Instance details

Associated Types

type TxAuxData AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEra

Methods

mkBasicTxAuxData ∷ TxAuxData AlonzoEra Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Word64 Metadatum) Source #

validateTxAuxData ∷ StAnnTxCache AlonzoEra → ProtVer → TxAuxData AlonzoEra → Bool Source #

EraTxBody AlonzoEra Source #

Instance details

Associated Types

newtype TxBody l AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody newtype TxBody l AlonzoEra = MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l AlonzoEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictSeq (TxOut AlonzoEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx AlonzoEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictSeq (TxCert AlonzoEra)) Source #

getTotalDepositsTxBody ∷ PParams AlonzoEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx AlonzoEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams AlonzoEra → (Credential 'Staking → Maybe Coin) → TxBody l AlonzoEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx AlonzoEra → Int Source #

EraTxOut AlonzoEra Source #

Instance details

Associated Types

type TxOut AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type TxOut AlonzoEra = AlonzoTxOut AlonzoEra

Methods

mkBasicTxOut ∷ Addr → Value AlonzoEra → TxOut AlonzoEra Source #

upgradeTxOut ∷ TxOut (PreviousEra AlonzoEra) → TxOut AlonzoEra Source #

valueTxOutL ∷ Lens' (TxOut AlonzoEra) (Value AlonzoEra) Source #

compactValueTxOutL ∷ Lens' (TxOut AlonzoEra) (CompactForm (Value AlonzoEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut AlonzoEra) (Either (Value AlonzoEra) (CompactForm (Value AlonzoEra))) Source #

addrTxOutL ∷ Lens' (TxOut AlonzoEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut AlonzoEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut AlonzoEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams AlonzoEra → Sized (TxOut AlonzoEra) → Coin Source #

getMinCoinTxOut ∷ PParams AlonzoEra → TxOut AlonzoEra → Coin Source #

EraTxWits AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type TxWits AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type TxWits AlonzoEra = AlonzoTxWits AlonzoEra

Methods

mkBasicTxWits ∷ TxWits AlonzoEra Source #

addrTxWitsL ∷ Lens' (TxWits AlonzoEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits AlonzoEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits AlonzoEra) (Map ScriptHash (Script AlonzoEra)) Source #

EraPParams AlonzoEra Source #

Instance details

Associated Types

type PParamsHKD f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type PParamsHKD f AlonzoEra = AlonzoPParams f AlonzoEra
type UpgradePParams f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type UpgradePParams f AlonzoEra = UpgradeAlonzoPParams f
type DowngradePParams f AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type DowngradePParams f AlonzoEra = DowngradeAlonzoPParams f

Methods

applyPPUpdates ∷ PParams AlonzoEra → PParamsUpdate AlonzoEra → PParams AlonzoEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity AlonzoEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe AlonzoEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe AlonzoEra Source #

upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, HKDSemialign f, EraPParams (PreviousEra AlonzoEra)) ⇒ UpgradePParams f AlonzoEra → PParamsHKD f (PreviousEra AlonzoEra) → PParamsHKD f AlonzoEra Source #

downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra AlonzoEra)) ⇒ DowngradePParams f AlonzoEra → PParamsHKD f AlonzoEra → PParamsHKD f (PreviousEra AlonzoEra) Source #

hkdTxFeePerByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f CoinPerByte) Source #

hkdTxFeeFixedCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Word16) Source #

hkdKeyDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

hkdPoolDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Word16) Source #

hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f UnitInterval) Source #

ppDG ∷ SimpleGetter (PParams AlonzoEra) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Babbage" AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f ProtVer) Source #

ppProtocolVersionL ∷ Lens' (PParams AlonzoEra) ProtVer Source #

ppuProtocolVersionL ∷ Lens' (PParamsUpdate AlonzoEra) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueCompactL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Mary" AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

hkdMinPoolCostCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

ppMaxPledgeLeverageG ∷ SimpleGetter (PParams AlonzoEra) MaxPledgeLeverage Source #

ppMinPoolMarginG ∷ SimpleGetter (PParams AlonzoEra) UnitInterval Source #

eraPParams ∷ [PParam AlonzoEra] Source #

EraTxCert AlonzoEra Source #

Instance details

Associated Types

type TxCert AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCert AlonzoEra = ShelleyTxCert AlonzoEra
type TxCertUpgradeError AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCertUpgradeError AlonzoEra = Void

Methods

upgradeTxCert ∷ TxCert (PreviousEra AlonzoEra) → Either (TxCertUpgradeError AlonzoEra) (TxCert AlonzoEra) Source #

getVKeyWitnessTxCert ∷ TxCert AlonzoEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert AlonzoEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams AlonzoEra → TxCert AlonzoEra Source #

getRegPoolTxCert ∷ TxCert AlonzoEra → Maybe (StakePoolParams AlonzoEra) Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert AlonzoEra Source #

getRetirePoolTxCert ∷ TxCert AlonzoEra → Maybe (KeyHash 'StakePool, EpochNo) Source #

lookupRegStakeTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking) Source #

lookupUnRegStakeTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking) Source #

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams AlonzoEra → (KeyHash 'StakePool → Bool) → f (TxCert AlonzoEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams AlonzoEra → (Credential 'Staking → Maybe Coin) → f (TxCert AlonzoEra) → Coin Source #

EraTxLevel AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

Associated Types

type STxLevel l AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Era type STxLevel l AlonzoEra = STxTopLevel l AlonzoEra

EraGenesis AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Associated Types

type Genesis AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Genesis type Genesis AlonzoEra = AlonzoGenesis

EraAccounts AlonzoEra Source #

Instance details

Associated Types

type AccountState AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.State.Account type AccountState AlonzoEra = ShelleyAccountState AlonzoEra
type Accounts AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.State.Account type Accounts AlonzoEra = ShelleyAccounts AlonzoEra

Methods

addAccountState ∷ Credential 'Staking → AccountState AlonzoEra → Accounts AlonzoEra → Accounts AlonzoEra Source #

accountsMapL ∷ Lens' (Accounts AlonzoEra) (Map (Credential 'Staking) (AccountState AlonzoEra)) Source #

balanceAccountStateL ∷ Lens' (AccountState AlonzoEra) (CompactForm Coin) Source #

depositAccountStateL ∷ Lens' (AccountState AlonzoEra) (CompactForm Coin) Source #

stakePoolDelegationAccountStateL ∷ Lens' (AccountState AlonzoEra) (Maybe (KeyHash 'StakePool)) Source #

unregisterAccount ∷ Credential 'Staking → Accounts AlonzoEra → (Maybe (AccountState AlonzoEra), Accounts AlonzoEra) Source #

EraCertState AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.State.CertState

Associated Types

type CertState AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.State.CertState type CertState AlonzoEra = ShelleyCertState AlonzoEra

Methods

certDStateL ∷ Lens' (CertState AlonzoEra) (DState AlonzoEra) Source #

certPStateL ∷ Lens' (CertState AlonzoEra) (PState AlonzoEra) Source #

obligationCertState ∷ CertState AlonzoEra → Obligations Source #

certsTotalDepositsTxBody ∷ PParams AlonzoEra → CertState AlonzoEra → TxBody 'TopTx AlonzoEra → Coin Source #

certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody AlonzoEra ⇒ PParams AlonzoEra → Accounts AlonzoEra → TxBody t AlonzoEra → Coin Source #

EraGov AlonzoEra Source #

Instance details

Associated Types

type GovState AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.PParams type GovState AlonzoEra = ShelleyGovState AlonzoEra

Methods

emptyGovState ∷ GovState AlonzoEra Source #

curPParamsGovStateL ∷ Lens' (GovState AlonzoEra) (PParams AlonzoEra) Source #

prevPParamsGovStateL ∷ Lens' (GovState AlonzoEra) (PParams AlonzoEra) Source #

futurePParamsGovStateL ∷ Lens' (GovState AlonzoEra) (FuturePParams AlonzoEra) Source #

obligationGovState ∷ GovState AlonzoEra → Obligations Source #

EraStake AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.State.Stake

Associated Types

type InstantStake AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.State.Stake type InstantStake AlonzoEra = ShelleyInstantStake AlonzoEra

Methods

instantStakeCredentialsL ∷ Lens' (InstantStake AlonzoEra) (Map (Credential 'Staking) (CompactForm Coin)) Source #

addInstantStake ∷ UTxO AlonzoEra → InstantStake AlonzoEra → InstantStake AlonzoEra Source #

deleteInstantStake ∷ UTxO AlonzoEra → InstantStake AlonzoEra → InstantStake AlonzoEra Source #

resolveInstantStake ∷ InstantStake AlonzoEra → Accounts AlonzoEra → ActiveStake Source #

EraUTxO AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

Associated Types

type ScriptsNeeded AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.UTxO type ScriptsNeeded AlonzoEra = AlonzoScriptsNeeded AlonzoEra

Methods

getConsumedValue ∷ ∀ (t ∷ TxLevel). PParams AlonzoEra → (Credential 'Staking → Maybe Coin) → UTxO AlonzoEra → TxBody t AlonzoEra → Value AlonzoEra Source #

getProducedValue ∷ PParams AlonzoEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx AlonzoEra → Value AlonzoEra Source #

getScriptsProvided ∷ ∀ (t ∷ TxLevel). UTxO AlonzoEra → Tx t AlonzoEra → ScriptsProvided AlonzoEra Source #

getScriptsNeeded ∷ ∀ (t ∷ TxLevel). UTxO AlonzoEra → TxBody t AlonzoEra → ScriptsNeeded AlonzoEra Source #

getScriptsHashesNeeded ∷ ScriptsNeeded AlonzoEra → Set ScriptHash Source #

getWitsVKeyNeeded ∷ ∀ (t ∷ TxLevel). CertState AlonzoEra → UTxO AlonzoEra → TxBody t AlonzoEra → Set (KeyHash 'Witness) Source #

getMinFeeTxUtxo ∷ ∀ (t ∷ TxLevel). PParams AlonzoEra → Tx t AlonzoEra → UTxO AlonzoEra → Coin Source #

Era AlonzoEra

Instance details

Associated Types

type EraName AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName AlonzoEra = "Alonzo"
type PreviousEra AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra AlonzoEra = MaryEra
type ProtVerLow AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow AlonzoEra = 5
type ProtVerHigh AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh AlonzoEra = 6

Methods

eraName ∷ String Source #

MaryEraTxBody AlonzoEra Source #

Instance details

Methods

mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) MultiAsset Source #

mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Set PolicyID) Source #

mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Value AlonzoEra) Source #

EraForecast AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Forecast

Associated Types

type Forecast t AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Forecast type Forecast t AlonzoEra = ShelleyForecast t AlonzoEra

Methods

mkForecast ∷ ∀ (t ∷ Timeline). NewEpochState AlonzoEra → Forecast t AlonzoEra Source #

poolDistrForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t AlonzoEra) PoolDistr Source #

maxBlockHeaderSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t AlonzoEra) Word16 Source #

maxBlockBodySizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t AlonzoEra) Word32 Source #

protocolVersionForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t AlonzoEra) ProtVer Source #

ShelleyEraForecast AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Forecast

Methods

genDelegsForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t AlonzoEra) GenDelegs Source #

decentralizationForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t AlonzoEra) UnitInterval Source #

extraEntropyForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t AlonzoEra) Nonce Source #

ApplyTx AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Associated Types

newtype ApplyTxError AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo newtype ApplyTxError AlonzoEra = AlonzoApplyTxError (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))

Methods

mkStAnnTx ∷ EpochInfo (Either Text) → SystemStart → PParams AlonzoEra → UTxO AlonzoEra → StAnnTxCache AlonzoEra → Tx 'TopTx AlonzoEra → StAnnTx 'TopTx AlonzoEra Source #

internalApplyTxWithValidation ∷ ValidationPolicy → Globals → MempoolEnv AlonzoEra → MempoolState AlonzoEra → Tx 'TopTx AlonzoEra → Either (ApplyTxError AlonzoEra) (MempoolState AlonzoEra, ValidatedTx AlonzoEra) Source #

internalReapplyValidatedTx ∷ Globals → MempoolEnv AlonzoEra → MempoolState AlonzoEra → ValidatedTx AlonzoEra → Either (ApplyTxError AlonzoEra) (MempoolState AlonzoEra) Source #

applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv AlonzoEra → MempoolState AlonzoEra → StAnnTx 'TopTx AlonzoEra → Either (ApplyTxError AlonzoEra) (MempoolState AlonzoEra, Validated (Tx 'TopTx AlonzoEra)) Source #

ApplyTick AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState AlonzoEra → SlotNo → (NewEpochState AlonzoEra, [Event (EraRule "TICK" AlonzoEra)]) Source #

ShelleyEraScript AlonzoEra Source #

Instance details

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript AlonzoEra Source #

getRequireSignature ∷ NativeScript AlonzoEra → Maybe (KeyHash 'Witness) Source #

mkRequireAllOf ∷ StrictSeq (NativeScript AlonzoEra) → NativeScript AlonzoEra Source #

getRequireAllOf ∷ NativeScript AlonzoEra → Maybe (StrictSeq (NativeScript AlonzoEra)) Source #

mkRequireAnyOf ∷ StrictSeq (NativeScript AlonzoEra) → NativeScript AlonzoEra Source #

getRequireAnyOf ∷ NativeScript AlonzoEra → Maybe (StrictSeq (NativeScript AlonzoEra)) Source #

mkRequireMOf ∷ Int → StrictSeq (NativeScript AlonzoEra) → NativeScript AlonzoEra Source #

getRequireMOf ∷ NativeScript AlonzoEra → Maybe (Int, StrictSeq (NativeScript AlonzoEra)) Source #

ShelleyEraAccounts AlonzoEra Source #

Instance details

Methods

mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState AlonzoEra Source #

accountsPtrsMapL ∷ Lens' (Accounts AlonzoEra) (Map Ptr (Credential 'Staking))

accountsPtrsMapG ∷ SimpleGetter (Accounts AlonzoEra) (Map Ptr (Credential 'Staking)) Source #

ptrAccountStateG ∷ SimpleGetter (AccountState AlonzoEra) Ptr Source #

EraTransition AlonzoEra Source #

Instance details

Associated Types

data TransitionConfig AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Transition data TransitionConfig AlonzoEra = AlonzoTransitionConfig { atcAlonzoGenesis ∷ !AlonzoGenesis atcMaryTransitionConfig ∷ !(TransitionConfig MaryEra) }

Methods

mkTransitionConfig ∷ TranslationContext AlonzoEra → TransitionConfig (PreviousEra AlonzoEra) → TransitionConfig AlonzoEra Source #

injectIntoTestState ∷ (HasCallStack, MonadST m, MonadThrow m) ⇒ HasFS m h → TransitionConfig AlonzoEra → NewEpochState AlonzoEra → m (NewEpochState AlonzoEra) Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig AlonzoEra) (TransitionConfig (PreviousEra AlonzoEra)) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig AlonzoEra) (TranslationContext AlonzoEra) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig AlonzoEra) ShelleyGenesis Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig AlonzoEra) (PParams AlonzoEra) Source #

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig AlonzoEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig AlonzoEra)

ShelleyEraTxBody AlonzoEra Source #

Instance details

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) (StrictMaybe (Update AlonzoEra)) Source #

ShelleyEraTxCert AlonzoEra Source #

Instance details

Methods

mkRegTxCert ∷ Credential 'Staking → TxCert AlonzoEra Source #

getRegTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking) Source #

mkUnRegTxCert ∷ Credential 'Staking → TxCert AlonzoEra Source #

getUnRegTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking) Source #

mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert AlonzoEra Source #

getDelegStakeTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking, KeyHash 'StakePool) Source #

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert AlonzoEra Source #

getGenesisDelegTxCert ∷ TxCert AlonzoEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert AlonzoEra Source #

getMirTxCert ∷ TxCert AlonzoEra → Maybe MIRCert Source #

EraPlutusTxInfo 'PlutusV1 AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

Methods

toPlutusTxCert ∷ proxy 'PlutusV1 → ProtVer → TxCert AlonzoEra → Either (ContextError AlonzoEra) (PlutusTxCert 'PlutusV1) Source #

toPlutusScriptPurpose ∷ proxy 'PlutusV1 → ProtVer → PlutusPurposeScriptHashArg 'PlutusV1 → PlutusPurpose AsIxItem AlonzoEra → Either (ContextError AlonzoEra) (PlutusScriptPurpose 'PlutusV1) Source #

toPlutusTxInfo ∷ proxy 'PlutusV1 → LedgerTxInfo AlonzoEra → PlutusTxInfoResult 'PlutusV1 AlonzoEra Source #

toPlutusArgs ∷ proxy 'PlutusV1 → LedgerTxInfo AlonzoEra → ScriptHash → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem AlonzoEra → Data AlonzoEra → Either (ContextError AlonzoEra) (PlutusArgs 'PlutusV1) Source #

toPlutusTxInInfo ∷ proxy 'PlutusV1 → UTxO AlonzoEra → TxIn → Either (ContextError AlonzoEra) (PlutusTxInInfo AlonzoEra 'PlutusV1) Source #

toPlutusRedeemerPointer ∷ ∀ proxy (t ∷ TxLevel). proxy 'PlutusV1 → ProtVer → TxBody t AlonzoEra → Map (PlutusPurpose AsIx AlonzoEra) ScriptHash → (PlutusPurpose AsIx AlonzoEra, (Data AlonzoEra, ExUnits)) → Either (ContextError AlonzoEra) (PlutusRedeemerPointer 'PlutusV1) Source #

toPlutusTxOut ∷ proxy 'PlutusV1 → TxOutSource → TxOut AlonzoEra → Either (ContextError AlonzoEra) (PlutusTxOut 'PlutusV1) Source #

TranslateEra AlonzoEra PParams Source #

Instance details

Associated Types

type TranslationError AlonzoEra PParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra PParams = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → PParams (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra PParams) (PParams AlonzoEra) Source #

TranslateEra AlonzoEra CommitteeState Source #

Instance details

Associated Types

type TranslationError AlonzoEra CommitteeState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra CommitteeState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → CommitteeState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra CommitteeState) (CommitteeState AlonzoEra) Source #

TranslateEra AlonzoEra DState Source #

Instance details

Associated Types

type TranslationError AlonzoEra DState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra DState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → DState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra DState) (DState AlonzoEra) Source #

TranslateEra AlonzoEra PState Source #

Instance details

Associated Types

type TranslationError AlonzoEra PState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra PState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → PState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra PState) (PState AlonzoEra) Source #

TranslateEra AlonzoEra FuturePParams Source #

Instance details

Associated Types

type TranslationError AlonzoEra FuturePParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra FuturePParams = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → FuturePParams (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra FuturePParams) (FuturePParams AlonzoEra) Source #

TranslateEra AlonzoEra SnapShots Source #

Instance details

Associated Types

type TranslationError AlonzoEra SnapShots
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra SnapShots = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → SnapShots (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra SnapShots) (SnapShots AlonzoEra) Source #

TranslateEra AlonzoEra UTxO Source #

Instance details

Associated Types

type TranslationError AlonzoEra UTxO
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra UTxO = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → UTxO (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra UTxO) (UTxO AlonzoEra) Source #

TranslateEra AlonzoEra ShelleyGovState Source #

Instance details

Associated Types

type TranslationError AlonzoEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyGovState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → ShelleyGovState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra ShelleyGovState) (ShelleyGovState AlonzoEra) Source #

TranslateEra AlonzoEra EpochState Source #

Instance details

Associated Types

type TranslationError AlonzoEra EpochState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra EpochState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → EpochState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra EpochState) (EpochState AlonzoEra) Source #

TranslateEra AlonzoEra LedgerState Source #

Instance details

Associated Types

type TranslationError AlonzoEra LedgerState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra LedgerState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → LedgerState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra LedgerState) (LedgerState AlonzoEra) Source #

TranslateEra AlonzoEra NewEpochState Source #

Instance details

Associated Types

type TranslationError AlonzoEra NewEpochState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra NewEpochState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → NewEpochState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra NewEpochState) (NewEpochState AlonzoEra) Source #

TranslateEra AlonzoEra UTxOState Source #

Instance details

TranslateEra AlonzoEra ProposedPPUpdates Source #

Associated Types

type TranslationError AlonzoEra UTxOState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra UTxOState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → UTxOState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra UTxOState) (UTxOState AlonzoEra) Source #

Instance details

Associated Types

type TranslationError AlonzoEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ProposedPPUpdates = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → ProposedPPUpdates (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra ProposedPPUpdates) (ProposedPPUpdates AlonzoEra) Source #

TranslateEra AlonzoEra ShelleyAccounts Source #

Instance details

Associated Types

type TranslationError AlonzoEra ShelleyAccounts
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyAccounts = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → ShelleyAccounts (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra ShelleyAccounts) (ShelleyAccounts AlonzoEra) Source #

TranslateEra AlonzoEra ShelleyCertState Source #

Instance details

TranslateEra AlonzoEra ShelleyInstantStake Source #

Associated Types

type TranslationError AlonzoEra ShelleyCertState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyCertState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → ShelleyCertState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra ShelleyCertState) (ShelleyCertState AlonzoEra) Source #

Instance details

Associated Types

type TranslationError AlonzoEra ShelleyInstantStake
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyInstantStake = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → ShelleyInstantStake (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra ShelleyInstantStake) (ShelleyInstantStake AlonzoEra) Source #

HasEraTxLevel AlonzoTxBodyRaw AlonzoEra Source #

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). AlonzoTxBodyRaw l AlonzoEra → STxLevel l AlonzoEra Source #

HasEraTxLevel Tx AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l AlonzoEra → STxLevel l AlonzoEra Source #

HasEraTxLevel TxBody AlonzoEra Source #

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → STxLevel l AlonzoEra Source #

EraBlockHeader h AlonzoEra ⇒ ApplyBlock h AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

wrapBlockSignal ∷ Block h AlonzoEra → Signal (EraRule "BBODY" AlonzoEra) Source #

applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState AlonzoEra → Block h AlonzoEra → (NewEpochState AlonzoEra, [PredicateFailure (EraRule "BBODY" AlonzoEra)], [Event (EraRule "BBODY" AlonzoEra)]) Source #

InjectRuleEvent "POOL" PoolEvent AlonzoEra Source #

Instance details

Methods

injectEvent ∷ PoolEvent AlonzoEra → EraRuleEvent "POOL" AlonzoEra Source #

InjectRuleFailure "BBODY" AllegraUtxoPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AlonzoBbodyPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" AlonzoUtxosPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" AlonzoUtxowPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyBbodyPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyDelegPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyDelplPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyLedgersPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyPoolPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyPpupPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "DELEG" AccountAlreadyRegistered AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

Methods

injectFailure ∷ AccountAlreadyRegistered AlonzoEra → EraRuleFailure "DELEG" AlonzoEra Source #

InjectRuleFailure "DELEG" ShelleyDelegPredFailure AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

Methods

injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "DELEG" AlonzoEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "DELEGS" AlonzoEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure AlonzoEra → EraRuleFailure "DELEGS" AlonzoEra Source #

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure AlonzoEra → EraRuleFailure "DELEGS" AlonzoEra Source #

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "DELEGS" AlonzoEra Source #

InjectRuleFailure "DELPL" ShelleyDelegPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "DELPL" AlonzoEra Source #

InjectRuleFailure "DELPL" ShelleyDelplPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure AlonzoEra → EraRuleFailure "DELPL" AlonzoEra Source #

InjectRuleFailure "DELPL" ShelleyPoolPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "DELPL" AlonzoEra Source #

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" AccountAlreadyRegistered AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AccountAlreadyRegistered AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelegsPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyDelplPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyLedgerPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyLedgersPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "POOL" ShelleyPoolPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "POOL" AlonzoEra Source #

InjectRuleFailure "PPUP" ShelleyPpupPredFailure AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

Methods

injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "PPUP" AlonzoEra Source #

InjectRuleFailure "UTXO" AllegraUtxoPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #

InjectRuleFailure "UTXO" ShelleyPpupPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXOS" AlonzoEra Source #

InjectRuleFailure "UTXOS" ShelleyPpupPredFailure AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "UTXOS" AlonzoEra Source #

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure AlonzoEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

TranslateEra AlonzoEra (Tx 'TopTx) Source #

Instance details

Associated Types

type TranslationError AlonzoEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext AlonzoEra → Tx 'TopTx (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra (Tx 'TopTx)) (Tx 'TopTx AlonzoEra) Source #

Typeable l ⇒ DecCBOR (Annotator (AlonzoTxBodyRaw l AlonzoEra)) Source #

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (AlonzoTxBodyRaw l AlonzoEra)) Source #

dropCBOR ∷ Proxy (Annotator (AlonzoTxBodyRaw l AlonzoEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (AlonzoTxBodyRaw l AlonzoEra)) → Text Source #

(DecCBOR (Annotator h), Typeable h) ⇒ DecCBOR (Annotator (Block h AlonzoEra)) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Block

Methods

decCBOR ∷ Decoder s (Annotator (Block h AlonzoEra)) Source #

dropCBOR ∷ Proxy (Annotator (Block h AlonzoEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Block h AlonzoEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l AlonzoEra)) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx l AlonzoEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l AlonzoEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l AlonzoEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l AlonzoEra)) Source #

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l AlonzoEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l AlonzoEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l AlonzoEra)) → Text Source #

DecCBOR (ApplyTxError AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

decCBOR ∷ Decoder s (ApplyTxError AlonzoEra) Source #

dropCBOR ∷ Proxy (ApplyTxError AlonzoEra) → Decoder s () Source #

label ∷ Proxy (ApplyTxError AlonzoEra) → Text Source #

EncCBOR (ApplyTxError AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

encCBOR ∷ ApplyTxError AlonzoEra → Encoding Source #

SafeToHash (PlutusScript AlonzoEra) Source #

Instance details

Methods

originalBytes ∷ PlutusScript AlonzoEra → ByteString Source #

originalBytesSize ∷ PlutusScript AlonzoEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → PlutusScript AlonzoEra → SafeHash i Source #

NFData (PlutusScript AlonzoEra) Source #

Instance details

Methods

rnf ∷ PlutusScript AlonzoEra → () #

Semigroup (ApplyTxError AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

(<>) ∷ ApplyTxError AlonzoEra → ApplyTxError AlonzoEra → ApplyTxError AlonzoEra #

sconcat ∷ NonEmpty (ApplyTxError AlonzoEra) → ApplyTxError AlonzoEra #

stimes ∷ Integral b ⇒ b → ApplyTxError AlonzoEra → ApplyTxError AlonzoEra #

Generic (PlutusScript AlonzoEra) Source #

Instance details

Associated Types

type Rep (PlutusScript AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)

Methods

from ∷ PlutusScript AlonzoEra → Rep (PlutusScript AlonzoEra) x #

to ∷ Rep (PlutusScript AlonzoEra) x → PlutusScript AlonzoEra #

Generic (ApplyTxError AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Associated Types

type Rep (ApplyTxError AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo type Rep (ApplyTxError AlonzoEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))

Methods

from ∷ ApplyTxError AlonzoEra → Rep (ApplyTxError AlonzoEra) x #

to ∷ Rep (ApplyTxError AlonzoEra) x → ApplyTxError AlonzoEra #

Generic (TransitionConfig AlonzoEra) Source #

Instance details

Associated Types

type Rep (TransitionConfig AlonzoEra)

Instance details

type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.17.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "atcAlonzoGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AlonzoGenesis) :*: S1 ('MetaSel ('Just "atcMaryTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig MaryEra))))

Methods

from ∷ TransitionConfig AlonzoEra → Rep (TransitionConfig AlonzoEra) x #

to ∷ Rep (TransitionConfig AlonzoEra) x → TransitionConfig AlonzoEra #

Show (PlutusScript AlonzoEra) Source #

Instance details

Methods

showsPrec ∷ Int → PlutusScript AlonzoEra → ShowS #

show ∷ PlutusScript AlonzoEra → String #

showList ∷ [PlutusScript AlonzoEra] → ShowS #

Show (ApplyTxError AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

showsPrec ∷ Int → ApplyTxError AlonzoEra → ShowS #

show ∷ ApplyTxError AlonzoEra → String #

showList ∷ [ApplyTxError AlonzoEra] → ShowS #

Show (TransitionConfig AlonzoEra) Source #

Instance details

Methods

showsPrec ∷ Int → TransitionConfig AlonzoEra → ShowS #

show ∷ TransitionConfig AlonzoEra → String #

showList ∷ [TransitionConfig AlonzoEra] → ShowS #

Eq (PlutusScript AlonzoEra) Source #

Instance details

Methods

(==) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(/=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

Eq (ApplyTxError AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

(==) ∷ ApplyTxError AlonzoEra → ApplyTxError AlonzoEra → Bool #

(/=) ∷ ApplyTxError AlonzoEra → ApplyTxError AlonzoEra → Bool #

Eq (TransitionConfig AlonzoEra) Source #

Instance details

Methods

(==) ∷ TransitionConfig AlonzoEra → TransitionConfig AlonzoEra → Bool #

(/=) ∷ TransitionConfig AlonzoEra → TransitionConfig AlonzoEra → Bool #

Ord (PlutusScript AlonzoEra) Source #

Instance details

Methods

compare ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Ordering #

(<) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(<=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(>) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(>=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

max ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #

min ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #

MemPack (PlutusScript AlonzoEra) Source #

It might seem that this instance unnecessarily utilizes a zero Tag, but it is needed for forward compatibility with plutus scripts from future eras.

That being said, currently this instance is not used at all, since reference scripts where introduced in Babbage era and MemPack for now is only used for TxOuts

Instance details

Methods

packedByteCount ∷ PlutusScript AlonzoEra → Int Source #

packM ∷ PlutusScript AlonzoEra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (PlutusScript AlonzoEra) Source #

NoThunks (PlutusScript AlonzoEra) Source #

Instance details

Methods

noThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PlutusScript AlonzoEra) → String Source #

NoThunks (TransitionConfig AlonzoEra) Source #

Instance details

Methods

noThunks ∷ Context → TransitionConfig AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig AlonzoEra) → String Source #

(EncCBOR h, Typeable h) ⇒ ToCBOR (Block h AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Block

Methods

toCBOR ∷ Block h AlonzoEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Block h AlonzoEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Block h AlonzoEra] → Size Source #

Typeable l ⇒ ToCBOR (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toCBOR ∷ Tx l AlonzoEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx l AlonzoEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx l AlonzoEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l AlonzoEra) Source #

Instance details

Methods

toCBOR ∷ TxBody l AlonzoEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l AlonzoEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l AlonzoEra] → Size Source #

Typeable l ⇒ DecCBOR (AlonzoTxBodyRaw l AlonzoEra) Source #

Instance details

Methods

decCBOR ∷ Decoder s (AlonzoTxBodyRaw l AlonzoEra) Source #

dropCBOR ∷ Proxy (AlonzoTxBodyRaw l AlonzoEra) → Decoder s () Source #

label ∷ Proxy (AlonzoTxBodyRaw l AlonzoEra) → Text Source #

EncCBOR (AlonzoTxBodyRaw l AlonzoEra) Source #

Instance details

Methods

encCBOR ∷ AlonzoTxBodyRaw l AlonzoEra → Encoding Source #

EncCBOR h ⇒ EncCBOR (Block h AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Block

Methods

encCBOR ∷ Block h AlonzoEra → Encoding Source #

EncCBOR (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBOR ∷ Tx l AlonzoEra → Encoding Source #

EncCBOR (TxBody l AlonzoEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ TxBody l AlonzoEra → Encoding Source #

SafeToHash (TxBody l AlonzoEra) Source #

Instance details

Methods

originalBytes ∷ TxBody l AlonzoEra → ByteString Source #

originalBytesSize ∷ TxBody l AlonzoEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l AlonzoEra → SafeHash i Source #

EqRaw (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

eqRaw ∷ Tx l AlonzoEra → Tx l AlonzoEra → Bool Source #

EqRaw (TxBody l AlonzoEra) Source #

Instance details

Methods

eqRaw ∷ TxBody l AlonzoEra → TxBody l AlonzoEra → Bool Source #

Memoized (TxBody l AlonzoEra) Source #

Instance details

Associated Types

type RawType (TxBody l AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra

Methods

getMemoBytes ∷ TxBody l AlonzoEra → MemoBytes (RawType (TxBody l AlonzoEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l AlonzoEra)) → TxBody l AlonzoEra

NFData (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnf ∷ Tx l AlonzoEra → () #

NFData (TxBody l AlonzoEra) Source #

Instance details

Methods

rnf ∷ TxBody l AlonzoEra → () #

Generic (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

type Rep (Tx l AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Rep (Tx l AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l AlonzoEra))))

Methods

from ∷ Tx l AlonzoEra → Rep (Tx l AlonzoEra) x #

to ∷ Rep (Tx l AlonzoEra) x → Tx l AlonzoEra #

Generic (TxBody l AlonzoEra) Source #

Instance details

Associated Types

type Rep (TxBody l AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))

Methods

from ∷ TxBody l AlonzoEra → Rep (TxBody l AlonzoEra) x #

to ∷ Rep (TxBody l AlonzoEra) x → TxBody l AlonzoEra #

Show (AlonzoTxBodyRaw l AlonzoEra) Source #

Instance details

Methods

showsPrec ∷ Int → AlonzoTxBodyRaw l AlonzoEra → ShowS #

show ∷ AlonzoTxBodyRaw l AlonzoEra → String #

showList ∷ [AlonzoTxBodyRaw l AlonzoEra] → ShowS #

Show (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

showsPrec ∷ Int → Tx l AlonzoEra → ShowS #

show ∷ Tx l AlonzoEra → String #

showList ∷ [Tx l AlonzoEra] → ShowS #

Show (TxBody l AlonzoEra) Source #

Instance details

Methods

showsPrec ∷ Int → TxBody l AlonzoEra → ShowS #

show ∷ TxBody l AlonzoEra → String #

showList ∷ [TxBody l AlonzoEra] → ShowS #

Eq (AlonzoTxBodyRaw l AlonzoEra) Source #

Instance details

Methods

(==) ∷ AlonzoTxBodyRaw l AlonzoEra → AlonzoTxBodyRaw l AlonzoEra → Bool #

(/=) ∷ AlonzoTxBodyRaw l AlonzoEra → AlonzoTxBodyRaw l AlonzoEra → Bool #

Eq (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

(==) ∷ Tx l AlonzoEra → Tx l AlonzoEra → Bool #

(/=) ∷ Tx l AlonzoEra → Tx l AlonzoEra → Bool #

Eq (TxBody l AlonzoEra) Source #

Instance details

Methods

(==) ∷ TxBody l AlonzoEra → TxBody l AlonzoEra → Bool #

(/=) ∷ TxBody l AlonzoEra → TxBody l AlonzoEra → Bool #

Typeable l ⇒ NoThunks (AlonzoTxBodyRaw l AlonzoEra) Source #

Instance details

Methods

noThunks ∷ Context → AlonzoTxBodyRaw l AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoTxBodyRaw l AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoTxBodyRaw l AlonzoEra) → String Source #

Typeable l ⇒ NoThunks (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

noThunks ∷ Context → Tx l AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx l AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx l AlonzoEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l AlonzoEra) Source #

Instance details

Methods

noThunks ∷ Context → TxBody l AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l AlonzoEra) → String Source #

HashAnnotated (TxBody l AlonzoEra) EraIndependentTxBody Source #

Instance details

Methods

hashAnnotated ∷ TxBody l AlonzoEra → SafeHash EraIndependentTxBody Source #

type ContextError AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

type ContextError AlonzoEra = AlonzoContextError AlonzoEra

newtype TxInfoResult AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

newtype TxInfoResult AlonzoEra = AlonzoTxInfoResult (PlutusTxInfoResult 'PlutusV1 AlonzoEra)

newtype PlutusScript AlonzoEra Source #

Instance details

newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)

type BlockBody AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

type BlockBody AlonzoEra = AlonzoBlockBody AlonzoEra

type NativeScript AlonzoEra Source #

Instance details

type NativeScript AlonzoEra = Timelock AlonzoEra

type Script AlonzoEra Source #

Instance details

type Script AlonzoEra = AlonzoScript AlonzoEra

type StAnnTxCache AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type StAnnTxCache AlonzoEra = Map ScriptHash (SupportedPlutusRunnable AlonzoEra)

type TxAuxData AlonzoEra Source #

Instance details

type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEra

type TxOut AlonzoEra Source #

Instance details

type TxOut AlonzoEra = AlonzoTxOut AlonzoEra

type TxWits AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type TxWits AlonzoEra = AlonzoTxWits AlonzoEra

type Value AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type Value AlonzoEra = MaryValue

type TranslationContext AlonzoEra Source #

Instance details

type TranslationContext AlonzoEra = AlonzoGenesis

type TxCert AlonzoEra Source #

Instance details

type TxCert AlonzoEra = ShelleyTxCert AlonzoEra

type TxCertUpgradeError AlonzoEra Source #

Instance details

type TxCertUpgradeError AlonzoEra = Void

type Genesis AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

type Genesis AlonzoEra = AlonzoGenesis

type AccountState AlonzoEra Source #

Instance details

type AccountState AlonzoEra = ShelleyAccountState AlonzoEra

type Accounts AlonzoEra Source #

Instance details

type Accounts AlonzoEra = ShelleyAccounts AlonzoEra

type CertState AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.State.CertState

type CertState AlonzoEra = ShelleyCertState AlonzoEra

type GovState AlonzoEra Source #

Instance details

type GovState AlonzoEra = ShelleyGovState AlonzoEra

type InstantStake AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.State.Stake

type InstantStake AlonzoEra = ShelleyInstantStake AlonzoEra

type ScriptsNeeded AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

type ScriptsNeeded AlonzoEra = AlonzoScriptsNeeded AlonzoEra

type EraName AlonzoEra

Instance details

type EraName AlonzoEra = "Alonzo"

type PreviousEra AlonzoEra

Instance details

type PreviousEra AlonzoEra = MaryEra

type ProtVerHigh AlonzoEra

Instance details

type ProtVerHigh AlonzoEra = 6

type ProtVerLow AlonzoEra

Instance details

type ProtVerLow AlonzoEra = 5

newtype ApplyTxError AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo

newtype ApplyTxError AlonzoEra = AlonzoApplyTxError (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))

data TransitionConfig AlonzoEra Source #

Instance details

data TransitionConfig AlonzoEra = AlonzoTransitionConfig {

atcAlonzoGenesis ∷ !AlonzoGenesis
atcMaryTransitionConfig ∷ !(TransitionConfig MaryEra)

}

type PlutusPurpose f AlonzoEra Source #

Instance details

type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEra

type StAnnTx l AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type StAnnTx l AlonzoEra = AlonzoStAnnTx l AlonzoEra

newtype Tx l AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

newtype Tx l AlonzoEra = MkAlonzoTx {

unAlonzoTx ∷ AlonzoTx l AlonzoEra

}

newtype TxBody l AlonzoEra Source #

Instance details

newtype TxBody l AlonzoEra = MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))

type EraRule "BBODY" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "BBODY" AlonzoEra = BBODY AlonzoEra

type EraRule "DELEG" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEG" AlonzoEra = DELEG AlonzoEra

type EraRule "DELEGS" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEGS" AlonzoEra = DELEGS AlonzoEra

type EraRule "DELPL" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELPL" AlonzoEra = DELPL AlonzoEra

type EraRule "EPOCH" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "EPOCH" AlonzoEra = EPOCH AlonzoEra

type EraRule "LEDGER" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGER" AlonzoEra = LEDGER AlonzoEra

type EraRule "LEDGERS" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGERS" AlonzoEra = LEDGERS AlonzoEra

type EraRule "MIR" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "MIR" AlonzoEra = MIR AlonzoEra

type EraRule "NEWEPOCH" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWEPOCH" AlonzoEra = NEWEPOCH AlonzoEra

type EraRule "NEWPP" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWPP" AlonzoEra = NEWPP AlonzoEra

type EraRule "POOL" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOL" AlonzoEra = POOL AlonzoEra

type EraRule "POOLREAP" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOLREAP" AlonzoEra = POOLREAP AlonzoEra

type EraRule "PPUP" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "PPUP" AlonzoEra = PPUP AlonzoEra

type EraRule "RUPD" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "RUPD" AlonzoEra = RUPD AlonzoEra

type EraRule "SNAP" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "SNAP" AlonzoEra = SNAP AlonzoEra

type EraRule "TICK" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICK" AlonzoEra = TICK AlonzoEra

type EraRule "TICKF" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICKF" AlonzoEra = TICKF AlonzoEra

type EraRule "UPEC" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UPEC" AlonzoEra = UPEC AlonzoEra

type EraRule "UTXO" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXO" AlonzoEra = UTXO AlonzoEra

type EraRule "UTXOS" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOS" AlonzoEra = UTXOS AlonzoEra

type EraRule "UTXOW" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOW" AlonzoEra = UTXOW AlonzoEra

type EraRuleEvent "LEDGER" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleEvent "LEDGER" AlonzoEra = ShelleyLedgerEvent AlonzoEra

type EraRuleEvent "POOL" AlonzoEra Source #

Instance details

type EraRuleEvent "POOL" AlonzoEra = PoolEvent AlonzoEra

type EraRuleEvent "PPUP" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleEvent "PPUP" AlonzoEra = PpupEvent AlonzoEra

type EraRuleEvent "TICK" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleEvent "TICK" AlonzoEra = ShelleyTickEvent AlonzoEra

type EraRuleFailure "BBODY" AlonzoEra Source #

Instance details

type EraRuleFailure "BBODY" AlonzoEra = AlonzoBbodyPredFailure AlonzoEra

type EraRuleFailure "DELEG" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

type EraRuleFailure "DELEG" AlonzoEra = ShelleyDelegPredFailure AlonzoEra

type EraRuleFailure "DELEGS" AlonzoEra Source #

Instance details

type EraRuleFailure "DELEGS" AlonzoEra = ShelleyDelegsPredFailure AlonzoEra

type EraRuleFailure "DELPL" AlonzoEra Source #

Instance details

type EraRuleFailure "DELPL" AlonzoEra = ShelleyDelplPredFailure AlonzoEra

type EraRuleFailure "LEDGER" AlonzoEra Source #

Instance details

type EraRuleFailure "LEDGER" AlonzoEra = ShelleyLedgerPredFailure AlonzoEra

type EraRuleFailure "LEDGERS" AlonzoEra Source #

Instance details

type EraRuleFailure "LEDGERS" AlonzoEra = ShelleyLedgersPredFailure AlonzoEra

type EraRuleFailure "POOL" AlonzoEra Source #

Instance details

type EraRuleFailure "POOL" AlonzoEra = ShelleyPoolPredFailure AlonzoEra

type EraRuleFailure "PPUP" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleFailure "PPUP" AlonzoEra = ShelleyPpupPredFailure AlonzoEra

type EraRuleFailure "UTXO" AlonzoEra Source #

Instance details

type EraRuleFailure "UTXO" AlonzoEra = AlonzoUtxoPredFailure AlonzoEra

type EraRuleFailure "UTXOS" AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type EraRuleFailure "UTXOS" AlonzoEra = AlonzoUtxosPredFailure AlonzoEra

type EraRuleFailure "UTXOW" AlonzoEra Source #

Instance details

type EraRuleFailure "UTXOW" AlonzoEra = AlonzoUtxowPredFailure AlonzoEra

type DowngradePParams f AlonzoEra Source #

Instance details

type DowngradePParams f AlonzoEra = DowngradeAlonzoPParams f

type PParamsHKD f AlonzoEra Source #

Instance details

type PParamsHKD f AlonzoEra = AlonzoPParams f AlonzoEra

type UpgradePParams f AlonzoEra Source #

Instance details

type UpgradePParams f AlonzoEra = UpgradeAlonzoPParams f

type TranslationError AlonzoEra PParams Source #

Instance details

type TranslationError AlonzoEra PParams = Void

type TranslationError AlonzoEra CommitteeState Source #

Instance details

type TranslationError AlonzoEra CommitteeState = Void

type TranslationError AlonzoEra DState Source #

Instance details

type TranslationError AlonzoEra DState = Void

type TranslationError AlonzoEra PState Source #

Instance details

type TranslationError AlonzoEra PState = Void

type TranslationError AlonzoEra FuturePParams Source #

Instance details

type TranslationError AlonzoEra FuturePParams = Void

type TranslationError AlonzoEra SnapShots Source #

Instance details

type TranslationError AlonzoEra SnapShots = Void

type TranslationError AlonzoEra UTxO Source #

Instance details

type TranslationError AlonzoEra UTxO = Void

type TranslationError AlonzoEra ShelleyGovState Source #

Instance details

type TranslationError AlonzoEra ShelleyGovState = Void

type TranslationError AlonzoEra EpochState Source #

Instance details

type TranslationError AlonzoEra EpochState = Void

type TranslationError AlonzoEra LedgerState Source #

Instance details

type TranslationError AlonzoEra LedgerState = Void

type TranslationError AlonzoEra NewEpochState Source #

Instance details

type TranslationError AlonzoEra NewEpochState = Void

type TranslationError AlonzoEra UTxOState Source #

Instance details

type TranslationError AlonzoEra UTxOState = Void

type TranslationError AlonzoEra ProposedPPUpdates Source #

Instance details

type TranslationError AlonzoEra ProposedPPUpdates = Void

type TranslationError AlonzoEra ShelleyAccounts Source #

Instance details

type TranslationError AlonzoEra ShelleyAccounts = Void

type TranslationError AlonzoEra ShelleyCertState Source #

Instance details

type TranslationError AlonzoEra ShelleyCertState = Void

type TranslationError AlonzoEra ShelleyInstantStake Source #

Instance details

type TranslationError AlonzoEra ShelleyInstantStake = Void

type STxLevel l AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Era

type STxLevel l AlonzoEra = STxTopLevel l AlonzoEra

type Forecast t AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Forecast

type Forecast t AlonzoEra = ShelleyForecast t AlonzoEra

type TranslationError AlonzoEra (Tx 'TopTx) Source #

Instance details

type TranslationError AlonzoEra (Tx 'TopTx) = DecoderError

type Rep (PlutusScript AlonzoEra) Source #

Instance details

type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)

type Rep (ApplyTxError AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo

type Rep (ApplyTxError AlonzoEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))

type Rep (TransitionConfig AlonzoEra) Source #

Instance details

type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.17.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "atcAlonzoGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AlonzoGenesis) :*: S1 ('MetaSel ('Just "atcMaryTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig MaryEra))))

type RawType (TxBody l AlonzoEra) Source #

Instance details

type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra

type Rep (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep (Tx l AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l AlonzoEra))))

type Rep (TxBody l AlonzoEra) Source #

Instance details

type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))

data AlonzoTxOut era Source #

Instances

Instances details

(Era era, Val (Value era)) ⇒ ToJSON (AlonzoTxOut era) Source #

Instance details

Methods

toJSON ∷ AlonzoTxOut era → Value Source #

toEncoding ∷ AlonzoTxOut era → Encoding Source #

toJSONList ∷ [AlonzoTxOut era] → Value Source #

toEncodingList ∷ [AlonzoTxOut era] → Encoding Source #

omitField ∷ AlonzoTxOut era → Bool Source #

(Era era, Val (Value era)) ⇒ DecCBOR (AlonzoTxOut era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (AlonzoTxOut era) Source #

dropCBOR ∷ Proxy (AlonzoTxOut era) → Decoder s () Source #

label ∷ Proxy (AlonzoTxOut era) → Text Source #

(Era era, Val (Value era), MemPack (CompactForm (Value era))) ⇒ DecShareCBOR (AlonzoTxOut era) Source #

Instance details

Associated Types

type Share (AlonzoTxOut era)
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type Share (AlonzoTxOut era) = Interns (Credential 'Staking)

Methods

getShare ∷ AlonzoTxOut era → Share (AlonzoTxOut era) Source #

decShareCBOR ∷ Share (AlonzoTxOut era) → Decoder s (AlonzoTxOut era) Source #

decSharePlusCBOR ∷ StateT (Share (AlonzoTxOut era)) (Decoder s) (AlonzoTxOut era) Source #

(Era era, Val (Value era)) ⇒ EncCBOR (AlonzoTxOut era) Source #

Instance details

Methods

encCBOR ∷ AlonzoTxOut era → Encoding Source #

NFData (AlonzoTxOut era) Source #

Already in NF

Instance details

Methods

rnf ∷ AlonzoTxOut era → () #

Generic (AlonzoTxOut era) Source #

Instance details

Associated Types

type Rep (AlonzoTxOut era)

Instance details

Methods

from ∷ AlonzoTxOut era → Rep (AlonzoTxOut era) x #

to ∷ Rep (AlonzoTxOut era) x → AlonzoTxOut era #

(Era era, Val (Value era)) ⇒ Show (AlonzoTxOut era) Source #

Instance details

Methods

showsPrec ∷ Int → AlonzoTxOut era → ShowS #

show ∷ AlonzoTxOut era → String #

showList ∷ [AlonzoTxOut era] → ShowS #

(Eq (Value era), Compactible (Value era)) ⇒ Eq (AlonzoTxOut era) Source #

Instance details

Methods

(==) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool #

(/=) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool #

(Ord (Value era), Compactible (Value era)) ⇒ Ord (AlonzoTxOut era) Source #

Instance details

Methods

compare ∷ AlonzoTxOut era → AlonzoTxOut era → Ordering #

(<) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool #

(<=) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool #

(>) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool #

(>=) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool #

max ∷ AlonzoTxOut era → AlonzoTxOut era → AlonzoTxOut era #

min ∷ AlonzoTxOut era → AlonzoTxOut era → AlonzoTxOut era #

(Era era, MemPack (CompactForm (Value era))) ⇒ MemPack (AlonzoTxOut era) Source #

This instance is backwards compatible in binary representation with TxOut instances for all previous era

Instance details

Methods

packedByteCount ∷ AlonzoTxOut era → Int Source #

packM ∷ AlonzoTxOut era → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (AlonzoTxOut era) Source #

NoThunks (AlonzoTxOut era) Source #

Instance details

Methods

noThunks ∷ Context → AlonzoTxOut era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoTxOut era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoTxOut era) → String Source #

type Share (AlonzoTxOut era) Source #

type Rep (AlonzoTxOut era) Source #

Instance details

ToKeyValuePairs MaryValue

data MaryValue Source #

The Value representing MultiAssets

Note that the Ord instance isn't semantically meaningful and is used only to satisfy constraints on Haskell containers such as Set and Map. Do not use it for any purpose that would directly affect chain behavior.

Instances

Instances details

ToJSON MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

toJSON ∷ MaryValue → Value Source #

toEncoding ∷ MaryValue → Encoding Source #

toJSONList ∷ [MaryValue] → Value Source #

toEncodingList ∷ [MaryValue] → Encoding Source #

omitField ∷ MaryValue → Bool Source #

DecCBOR MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

decCBOR ∷ Decoder s MaryValue Source #

dropCBOR ∷ Proxy MaryValue → Decoder s () Source #

label ∷ Proxy MaryValue → Text Source #

EncCBOR MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

encCBOR ∷ MaryValue → Encoding Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ MaryValue → [kv] Source #

Compactible MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Associated Types

newtype CompactForm MaryValue
Instance details Defined in Cardano.Ledger.Mary.Value newtype CompactForm MaryValue = CompactValue CompactValue

Methods

toCompact ∷ MaryValue → Maybe (CompactForm MaryValue) Source #

fromCompact ∷ CompactForm MaryValue → MaryValue Source #

Val MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

zero ∷ MaryValue Source #

(<+>) ∷ MaryValue → MaryValue → MaryValue Source #

(<×>) ∷ Integral i ⇒ i → MaryValue → MaryValue Source #

(<->) ∷ MaryValue → MaryValue → MaryValue Source #

isZero ∷ MaryValue → Bool Source #

coin ∷ MaryValue → Coin Source #

modifyCoin ∷ (Coin → Coin) → MaryValue → MaryValue Source #

size ∷ MaryValue → Integer Source #

pointwise ∷ (Integer → Integer → Bool) → MaryValue → MaryValue → Bool Source #

isAdaOnly ∷ MaryValue → Bool Source #

isAdaOnlyCompact ∷ CompactForm MaryValue → Bool Source #

coinCompact ∷ CompactForm MaryValue → CompactForm Coin Source #

injectCompact ∷ CompactForm Coin → CompactForm MaryValue Source #

modifyCompactCoin ∷ (CompactForm Coin → CompactForm Coin) → CompactForm MaryValue → CompactForm MaryValue Source #

NFData MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnf ∷ MaryValue → () #

Monoid MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

mempty ∷ MaryValue #

mappend ∷ MaryValue → MaryValue → MaryValue #

mconcat ∷ [MaryValue] → MaryValue #

Semigroup MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(<>) ∷ MaryValue → MaryValue → MaryValue #

sconcat ∷ NonEmpty MaryValue → MaryValue #

stimes ∷ Integral b ⇒ b → MaryValue → MaryValue #

Generic MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Associated Types

type Rep MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

type Rep MaryValue = D1 ('MetaData "MaryValue" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.11.1.0-inplace" 'False) (C1 ('MetaCons "MaryValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MultiAsset)))

Methods

from ∷ MaryValue → Rep MaryValue x #

to ∷ Rep MaryValue x → MaryValue #

Show MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

showsPrec ∷ Int → MaryValue → ShowS #

show ∷ MaryValue → String #

showList ∷ [MaryValue] → ShowS #

Eq MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(==) ∷ MaryValue → MaryValue → Bool #

(/=) ∷ MaryValue → MaryValue → Bool #

Ord MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

compare ∷ MaryValue → MaryValue → Ordering #

(<) ∷ MaryValue → MaryValue → Bool #

(<=) ∷ MaryValue → MaryValue → Bool #

(>) ∷ MaryValue → MaryValue → Bool #

(>=) ∷ MaryValue → MaryValue → Bool #

max ∷ MaryValue → MaryValue → MaryValue #

min ∷ MaryValue → MaryValue → MaryValue #

Abelian MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Group MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

invert ∷ MaryValue → MaryValue Source #

(~~) ∷ MaryValue → MaryValue → MaryValue Source #

pow ∷ Integral x ⇒ MaryValue → x → MaryValue Source #

NoThunks MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

noThunks ∷ Context → MaryValue → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → MaryValue → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy MaryValue → String Source #

Inject Coin MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

inject ∷ Coin → MaryValue Source #

DecCBOR (CompactForm MaryValue)

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

decCBOR ∷ Decoder s (CompactForm MaryValue) Source #

dropCBOR ∷ Proxy (CompactForm MaryValue) → Decoder s () Source #

label ∷ Proxy (CompactForm MaryValue) → Text Source #

EncCBOR (CompactForm MaryValue)

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

encCBOR ∷ CompactForm MaryValue → Encoding Source #

NFData (CompactForm MaryValue)

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnf ∷ CompactForm MaryValue → () #

Show (CompactForm MaryValue)

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

showsPrec ∷ Int → CompactForm MaryValue → ShowS #

show ∷ CompactForm MaryValue → String #

showList ∷ [CompactForm MaryValue] → ShowS #

Eq (CompactForm MaryValue)

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(==) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #

(/=) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #

Ord (CompactForm MaryValue)

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

compare ∷ CompactForm MaryValue → CompactForm MaryValue → Ordering #

(<) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #

(<=) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #

(>) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #

(>=) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #

max ∷ CompactForm MaryValue → CompactForm MaryValue → CompactForm MaryValue #

min ∷ CompactForm MaryValue → CompactForm MaryValue → CompactForm MaryValue #

MemPack (CompactForm MaryValue)

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

packedByteCount ∷ CompactForm MaryValue → Int Source #

packM ∷ CompactForm MaryValue → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (CompactForm MaryValue) Source #

NoThunks (CompactForm MaryValue)

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

noThunks ∷ Context → CompactForm MaryValue → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CompactForm MaryValue → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CompactForm MaryValue) → String Source #

newtype CompactForm MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

newtype CompactForm MaryValue = CompactValue CompactValue

type Rep MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

type Rep MaryValue = D1 ('MetaData "MaryValue" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.11.1.0-inplace" 'False) (C1 ('MetaCons "MaryValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MultiAsset)))

pattern AlonzoTxBody ∷ Set TxIn → Set TxIn → StrictSeq (TxOut AlonzoEra) → StrictSeq (TxCert AlonzoEra) → Withdrawals → Coin → ValidityInterval → StrictMaybe (Update AlonzoEra) → Set (KeyHash 'Guard) → MultiAsset → StrictMaybe ScriptIntegrityHash → StrictMaybe TxAuxDataHash → StrictMaybe Network → TxBody 'TopTx AlonzoEra Source #

data AlonzoScript era Source #

Scripts in the Alonzo Era, Either a native script or a Plutus script.

Instances

Instances details

(AlonzoEraScript era, DecCBOR (Annotator (AlonzoScript era))) ⇒ FromJSON (AlonzoScript era) Source #

Instance details

Methods

parseJSON ∷ Value → Parser (AlonzoScript era) Source #

parseJSONList ∷ Value → Parser [AlonzoScript era] Source #

omittedField ∷ Maybe (AlonzoScript era) Source #

AlonzoEraScript era ⇒ ToJSON (AlonzoScript era) Source #

Instance details

Methods

toJSON ∷ AlonzoScript era → Value Source #

toEncoding ∷ AlonzoScript era → Encoding Source #

toJSONList ∷ [AlonzoScript era] → Value Source #

toEncodingList ∷ [AlonzoScript era] → Encoding Source #

omitField ∷ AlonzoScript era → Bool Source #

AlonzoEraScript era ⇒ ToCBOR (AlonzoScript era) Source #

Instance details

Methods

toCBOR ∷ AlonzoScript era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoScript era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoScript era] → Size Source #

AlonzoEraScript era ⇒ DecCBOR (Annotator (AlonzoScript era)) Source #

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (AlonzoScript era)) Source #

dropCBOR ∷ Proxy (Annotator (AlonzoScript era)) → Decoder s () Source #

label ∷ Proxy (Annotator (AlonzoScript era)) → Text Source #

AlonzoEraScript era ⇒ EncCBOR (AlonzoScript era) Source #

Instance details

Methods

encCBOR ∷ AlonzoScript era → Encoding Source #

(SafeToHash (PlutusScript era), SafeToHash (NativeScript era)) ⇒ SafeToHash (AlonzoScript era) Source #

Both constructors know their original bytes

Instance details

Methods

originalBytes ∷ AlonzoScript era → ByteString Source #

originalBytesSize ∷ AlonzoScript era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → AlonzoScript era → SafeHash i Source #

(Eq (PlutusScript era), EqRaw (NativeScript era)) ⇒ EqRaw (AlonzoScript era) Source #

Instance details

Methods

eqRaw ∷ AlonzoScript era → AlonzoScript era → Bool Source #

(NFData (PlutusScript era), NFData (NativeScript era)) ⇒ NFData (AlonzoScript era) Source #

Instance details

Methods

rnf ∷ AlonzoScript era → () #

Generic (AlonzoScript era) Source #

Instance details

Associated Types

type Rep (AlonzoScript era)

Instance details

type Rep (AlonzoScript era) = D1 ('MetaData "AlonzoScript" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.17.0.0-inplace" 'False) (C1 ('MetaCons "NativeScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NativeScript era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusScript era))))

Methods

from ∷ AlonzoScript era → Rep (AlonzoScript era) x #

to ∷ Rep (AlonzoScript era) x → AlonzoScript era #

(AlonzoEraScript era, Script era ~ AlonzoScript era) ⇒ Show (AlonzoScript era) Source #

Instance details

Methods

showsPrec ∷ Int → AlonzoScript era → ShowS #

show ∷ AlonzoScript era → String #

showList ∷ [AlonzoScript era] → ShowS #

(Eq (PlutusScript era), Eq (NativeScript era)) ⇒ Eq (AlonzoScript era) Source #

Instance details

Methods

(==) ∷ AlonzoScript era → AlonzoScript era → Bool #

(/=) ∷ AlonzoScript era → AlonzoScript era → Bool #

(Ord (PlutusScript era), Ord (NativeScript era)) ⇒ Ord (AlonzoScript era) Source #

Instance details

Methods

compare ∷ AlonzoScript era → AlonzoScript era → Ordering #

(<) ∷ AlonzoScript era → AlonzoScript era → Bool #

(<=) ∷ AlonzoScript era → AlonzoScript era → Bool #

(>) ∷ AlonzoScript era → AlonzoScript era → Bool #

(>=) ∷ AlonzoScript era → AlonzoScript era → Bool #

max ∷ AlonzoScript era → AlonzoScript era → AlonzoScript era #

min ∷ AlonzoScript era → AlonzoScript era → AlonzoScript era #

(Era era, MemPack (PlutusScript era), MemPack (NativeScript era)) ⇒ MemPack (AlonzoScript era) Source #

Instance details

Methods

packedByteCount ∷ AlonzoScript era → Int Source #

packM ∷ AlonzoScript era → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (AlonzoScript era) Source #

(Era era, NoThunks (PlutusScript era), NoThunks (NativeScript era)) ⇒ NoThunks (AlonzoScript era) Source #

Instance details

Methods

noThunks ∷ Context → AlonzoScript era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoScript era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoScript era) → String Source #

type Rep (AlonzoScript era) Source #

Instance details

type Rep (AlonzoScript era) = D1 ('MetaData "AlonzoScript" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.17.0.0-inplace" 'False) (C1 ('MetaCons "NativeScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NativeScript era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusScript era))))

data AlonzoTxAuxData era Source #

Instances

Instances details

(AlonzoEraScript era, FromJSON (NativeScript era)) ⇒ FromJSON (AlonzoTxAuxData era) Source #

Instance details

Methods

parseJSON ∷ Value → Parser (AlonzoTxAuxData era) Source #

parseJSONList ∷ Value → Parser [AlonzoTxAuxData era] Source #

omittedField ∷ Maybe (AlonzoTxAuxData era) Source #

(AlonzoEraScript era, ToJSON (NativeScript era)) ⇒ ToJSON (AlonzoTxAuxData era) Source #

Instance details

Methods

toJSON ∷ AlonzoTxAuxData era → Value Source #

toEncoding ∷ AlonzoTxAuxData era → Encoding Source #

toJSONList ∷ [AlonzoTxAuxData era] → Value Source #

toEncodingList ∷ [AlonzoTxAuxData era] → Encoding Source #

omitField ∷ AlonzoTxAuxData era → Bool Source #

Typeable era ⇒ ToCBOR (AlonzoTxAuxData era) Source #

Instance details

Methods

toCBOR ∷ AlonzoTxAuxData era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxAuxData era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxAuxData era] → Size Source #

(Era era, DecCBOR (Annotator (NativeScript era)), Typeable (NativeScript era)) ⇒ DecCBOR (Annotator (AlonzoTxAuxData era)) Source #

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (AlonzoTxAuxData era)) Source #

dropCBOR ∷ Proxy (Annotator (AlonzoTxAuxData era)) → Decoder s () Source #

label ∷ Proxy (Annotator (AlonzoTxAuxData era)) → Text Source #

Era era ⇒ EncCBOR (AlonzoTxAuxData era) Source #

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ AlonzoTxAuxData era → Encoding Source #

SafeToHash (AlonzoTxAuxData era) Source #

Instance details

Methods

originalBytes ∷ AlonzoTxAuxData era → ByteString Source #

originalBytesSize ∷ AlonzoTxAuxData era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → AlonzoTxAuxData era → SafeHash i Source #

Eq (NativeScript era) ⇒ EqRaw (AlonzoTxAuxData era) Source #

Instance details

Methods

eqRaw ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #

Memoized (AlonzoTxAuxData era) Source #

Instance details

Associated Types

type RawType (AlonzoTxAuxData era)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type RawType (AlonzoTxAuxData era) = AlonzoTxAuxDataRaw era

Methods

getMemoBytes ∷ AlonzoTxAuxData era → MemoBytes (RawType (AlonzoTxAuxData era))

wrapMemoBytes ∷ MemoBytes (RawType (AlonzoTxAuxData era)) → AlonzoTxAuxData era

NFData (NativeScript era) ⇒ NFData (AlonzoTxAuxData era) Source #

Instance details

Methods

rnf ∷ AlonzoTxAuxData era → () #

Generic (AlonzoTxAuxData era) Source #

Instance details

Associated Types

type Rep (AlonzoTxAuxData era)

Instance details

type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxAuxDataRaw era)))))

Methods

from ∷ AlonzoTxAuxData era → Rep (AlonzoTxAuxData era) x #

to ∷ Rep (AlonzoTxAuxData era) x → AlonzoTxAuxData era #

Show (NativeScript era) ⇒ Show (AlonzoTxAuxData era) Source #

Instance details

Methods

showsPrec ∷ Int → AlonzoTxAuxData era → ShowS #

show ∷ AlonzoTxAuxData era → String #

showList ∷ [AlonzoTxAuxData era] → ShowS #

Eq (NativeScript era) ⇒ Eq (AlonzoTxAuxData era) Source #

Instance details

Methods

(==) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool #

(/=) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool #

NoThunks (AlonzoTxAuxData era) Source #

Instance details

Methods

noThunks ∷ Context → AlonzoTxAuxData era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoTxAuxData era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoTxAuxData era) → String Source #

HashAnnotated (AlonzoTxAuxData era) EraIndependentTxAuxData Source #

Instance details

Methods

hashAnnotated ∷ AlonzoTxAuxData era → SafeHash EraIndependentTxAuxData Source #

type RawType (AlonzoTxAuxData era) Source #

Instance details

type RawType (AlonzoTxAuxData era) = AlonzoTxAuxDataRaw era

type Rep (AlonzoTxAuxData era) Source #

Instance details

type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxAuxDataRaw era)))))

data family Tx (l ∷ TxLevel) era Source #

Instances

Instances details

HasEraTxLevel Tx AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l AllegraEra → STxLevel l AllegraEra Source #

HasEraTxLevel Tx AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l AlonzoEra → STxLevel l AlonzoEra Source #

HasEraTxLevel Tx MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l MaryEra → STxLevel l MaryEra Source #

HasEraTxLevel Tx ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l ShelleyEra → STxLevel l ShelleyEra Source #

TranslateEra AllegraEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext AllegraEra → Tx 'TopTx (PreviousEra AllegraEra) → Except (TranslationError AllegraEra (Tx 'TopTx)) (Tx 'TopTx AllegraEra) Source #

TranslateEra AlonzoEra (Tx 'TopTx) Source #

Instance details

Associated Types

type TranslationError AlonzoEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext AlonzoEra → Tx 'TopTx (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra (Tx 'TopTx)) (Tx 'TopTx AlonzoEra) Source #

TranslateEra MaryEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError MaryEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext MaryEra → Tx 'TopTx (PreviousEra MaryEra) → Except (TranslationError MaryEra (Tx 'TopTx)) (Tx 'TopTx MaryEra) Source #

EraTx era ⇒ HasOKey TxId (Tx l era)

Instance details

Defined in Cardano.Ledger.Core

Methods

toOKey ∷ Tx l era → TxId Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l AlonzoEra)) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx l AlonzoEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l AlonzoEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l AlonzoEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l ShelleyEra))

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l ShelleyEra)) → Text Source #

Typeable t ⇒ DecCBOR (Annotator (Tx t AllegraEra))

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx t AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx t AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx t AllegraEra)) → Text Source #

Typeable t ⇒ DecCBOR (Annotator (Tx t MaryEra))

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx t MaryEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx t MaryEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx t MaryEra)) → Text Source #

Typeable l ⇒ ToCBOR (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toCBOR ∷ Tx l AlonzoEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx l AlonzoEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx l AlonzoEra] → Size Source #

Typeable l ⇒ ToCBOR (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toCBOR ∷ Tx l ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx l ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx l ShelleyEra] → Size Source #

Typeable t ⇒ ToCBOR (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toCBOR ∷ Tx t AllegraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (Tx t AllegraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [Tx t AllegraEra] → Size Source #

Typeable t ⇒ ToCBOR (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toCBOR ∷ Tx t MaryEra → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (Tx t MaryEra) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [Tx t MaryEra] → Size Source #

EncCBOR (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBOR ∷ Tx l AlonzoEra → Encoding Source #

EncCBOR (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBOR ∷ Tx l ShelleyEra → Encoding Source #

EncCBOR (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

encCBOR ∷ Tx t AllegraEra → Encoding Source #

EncCBOR (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

encCBOR ∷ Tx t MaryEra → Encoding Source #

EqRaw (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

eqRaw ∷ Tx l AlonzoEra → Tx l AlonzoEra → Bool Source #

EqRaw (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

eqRaw ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool Source #

EqRaw (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

eqRaw ∷ Tx t AllegraEra → Tx t AllegraEra → Bool Source #

EqRaw (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

eqRaw ∷ Tx t MaryEra → Tx t MaryEra → Bool Source #

NFData (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnf ∷ Tx l AlonzoEra → () #

NFData (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnf ∷ Tx l ShelleyEra → () #

NFData (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

rnf ∷ Tx t AllegraEra → () #

NFData (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

rnf ∷ Tx t MaryEra → () #

Generic (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

type Rep (Tx l AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Rep (Tx l AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l AlonzoEra))))

Methods

from ∷ Tx l AlonzoEra → Rep (Tx l AlonzoEra) x #

to ∷ Rep (Tx l AlonzoEra) x → Tx l AlonzoEra #

Generic (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type Rep (Tx l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))

Methods

from ∷ Tx l ShelleyEra → Rep (Tx l ShelleyEra) x #

to ∷ Rep (Tx l ShelleyEra) x → Tx l ShelleyEra #

Generic (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Associated Types

type Rep (Tx t AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.Tx type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.10.1.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))

Methods

from ∷ Tx t AllegraEra → Rep (Tx t AllegraEra) x #

to ∷ Rep (Tx t AllegraEra) x → Tx t AllegraEra #

Generic (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Associated Types

type Rep (Tx t MaryEra)
Instance details Defined in Cardano.Ledger.Mary.Tx type Rep (Tx t MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.11.1.0-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t MaryEra))))

Methods

from ∷ Tx t MaryEra → Rep (Tx t MaryEra) x #

to ∷ Rep (Tx t MaryEra) x → Tx t MaryEra #

Show (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

showsPrec ∷ Int → Tx l AlonzoEra → ShowS #

show ∷ Tx l AlonzoEra → String #

showList ∷ [Tx l AlonzoEra] → ShowS #

Show (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

showsPrec ∷ Int → Tx l ShelleyEra → ShowS #

show ∷ Tx l ShelleyEra → String #

showList ∷ [Tx l ShelleyEra] → ShowS #

Show (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

showsPrec ∷ Int → Tx t AllegraEra → ShowS #

show ∷ Tx t AllegraEra → String #

showList ∷ [Tx t AllegraEra] → ShowS #

Show (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

showsPrec ∷ Int → Tx t MaryEra → ShowS #

show ∷ Tx t MaryEra → String #

showList ∷ [Tx t MaryEra] → ShowS #

Eq (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

(==) ∷ Tx l AlonzoEra → Tx l AlonzoEra → Bool #

(/=) ∷ Tx l AlonzoEra → Tx l AlonzoEra → Bool #

Eq (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

(==) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

(/=) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

Eq (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

(==) ∷ Tx t AllegraEra → Tx t AllegraEra → Bool #

(/=) ∷ Tx t AllegraEra → Tx t AllegraEra → Bool #

Eq (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

(==) ∷ Tx t MaryEra → Tx t MaryEra → Bool #

(/=) ∷ Tx t MaryEra → Tx t MaryEra → Bool #

Typeable l ⇒ NoThunks (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

noThunks ∷ Context → Tx l AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx l AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx l AlonzoEra) → String Source #

Typeable l ⇒ NoThunks (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

noThunks ∷ Context → Tx l ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx l ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx l ShelleyEra) → String Source #

Typeable t ⇒ NoThunks (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

noThunks ∷ Context → Tx t AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx t AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx t AllegraEra) → String Source #

Typeable t ⇒ NoThunks (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

noThunks ∷ Context → Tx t MaryEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx t MaryEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx t MaryEra) → String Source #

newtype Tx l AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

newtype Tx l AlonzoEra = MkAlonzoTx {

unAlonzoTx ∷ AlonzoTx l AlonzoEra

}

newtype Tx l ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {

unShelleyTx ∷ ShelleyTx l ShelleyEra

}

newtype Tx t AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

newtype Tx t AllegraEra = MkAllegraTx {

unAllegraTx ∷ ShelleyTx t AllegraEra

}

newtype Tx t MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

newtype Tx t MaryEra = MkMaryTx {

unMaryTx ∷ ShelleyTx t MaryEra

}

type TranslationError AllegraEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra (Tx 'TopTx) = DecoderError

type TranslationError AlonzoEra (Tx 'TopTx) Source #

Instance details

type TranslationError AlonzoEra (Tx 'TopTx) = DecoderError

type TranslationError MaryEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra (Tx 'TopTx) = DecoderError

type Rep (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep (Tx l AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l AlonzoEra))))

type Rep (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))

type Rep (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.10.1.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))

type Rep (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

type Rep (Tx t MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.11.1.0-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t MaryEra))))

data family ApplyTxError era Source #

Instances

Instances details

DecCBOR (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

decCBOR ∷ Decoder s (ApplyTxError AllegraEra) Source #

dropCBOR ∷ Proxy (ApplyTxError AllegraEra) → Decoder s () Source #

label ∷ Proxy (ApplyTxError AllegraEra) → Text Source #

DecCBOR (ApplyTxError AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

decCBOR ∷ Decoder s (ApplyTxError AlonzoEra) Source #

dropCBOR ∷ Proxy (ApplyTxError AlonzoEra) → Decoder s () Source #

label ∷ Proxy (ApplyTxError AlonzoEra) → Text Source #

DecCBOR (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

decCBOR ∷ Decoder s (ApplyTxError MaryEra) Source #

dropCBOR ∷ Proxy (ApplyTxError MaryEra) → Decoder s () Source #

label ∷ Proxy (ApplyTxError MaryEra) → Text Source #

DecCBOR (ApplyTxError ShelleyEra)

Instance details

Methods

decCBOR ∷ Decoder s (ApplyTxError ShelleyEra) Source #

dropCBOR ∷ Proxy (ApplyTxError ShelleyEra) → Decoder s () Source #

label ∷ Proxy (ApplyTxError ShelleyEra) → Text Source #

EncCBOR (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

encCBOR ∷ ApplyTxError AllegraEra → Encoding Source #

EncCBOR (ApplyTxError AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

encCBOR ∷ ApplyTxError AlonzoEra → Encoding Source #

EncCBOR (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

encCBOR ∷ ApplyTxError MaryEra → Encoding Source #

EncCBOR (ApplyTxError ShelleyEra)

Instance details

Methods

encCBOR ∷ ApplyTxError ShelleyEra → Encoding Source #

Semigroup (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

(<>) ∷ ApplyTxError AllegraEra → ApplyTxError AllegraEra → ApplyTxError AllegraEra #

sconcat ∷ NonEmpty (ApplyTxError AllegraEra) → ApplyTxError AllegraEra #

stimes ∷ Integral b ⇒ b → ApplyTxError AllegraEra → ApplyTxError AllegraEra #

Semigroup (ApplyTxError AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

(<>) ∷ ApplyTxError AlonzoEra → ApplyTxError AlonzoEra → ApplyTxError AlonzoEra #

sconcat ∷ NonEmpty (ApplyTxError AlonzoEra) → ApplyTxError AlonzoEra #

stimes ∷ Integral b ⇒ b → ApplyTxError AlonzoEra → ApplyTxError AlonzoEra #

Semigroup (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

(<>) ∷ ApplyTxError MaryEra → ApplyTxError MaryEra → ApplyTxError MaryEra #

sconcat ∷ NonEmpty (ApplyTxError MaryEra) → ApplyTxError MaryEra #

stimes ∷ Integral b ⇒ b → ApplyTxError MaryEra → ApplyTxError MaryEra #

Semigroup (ApplyTxError ShelleyEra)

Instance details

Methods

(<>) ∷ ApplyTxError ShelleyEra → ApplyTxError ShelleyEra → ApplyTxError ShelleyEra #

sconcat ∷ NonEmpty (ApplyTxError ShelleyEra) → ApplyTxError ShelleyEra #

stimes ∷ Integral b ⇒ b → ApplyTxError ShelleyEra → ApplyTxError ShelleyEra #

Generic (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Associated Types

type Rep (ApplyTxError AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra type Rep (ApplyTxError AllegraEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AllegraEra))

Methods

from ∷ ApplyTxError AllegraEra → Rep (ApplyTxError AllegraEra) x #

to ∷ Rep (ApplyTxError AllegraEra) x → ApplyTxError AllegraEra #

Generic (ApplyTxError AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Associated Types

type Rep (ApplyTxError AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo type Rep (ApplyTxError AlonzoEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))

Methods

from ∷ ApplyTxError AlonzoEra → Rep (ApplyTxError AlonzoEra) x #

to ∷ Rep (ApplyTxError AlonzoEra) x → ApplyTxError AlonzoEra #

Generic (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Associated Types

type Rep (ApplyTxError MaryEra)
Instance details Defined in Cardano.Ledger.Mary type Rep (ApplyTxError MaryEra) = Rep (NonEmpty (ShelleyLedgerPredFailure MaryEra))

Methods

from ∷ ApplyTxError MaryEra → Rep (ApplyTxError MaryEra) x #

to ∷ Rep (ApplyTxError MaryEra) x → ApplyTxError MaryEra #

Generic (ApplyTxError ShelleyEra)

Instance details

Associated Types

type Rep (ApplyTxError ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool type Rep (ApplyTxError ShelleyEra) = Rep (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

Methods

from ∷ ApplyTxError ShelleyEra → Rep (ApplyTxError ShelleyEra) x #

to ∷ Rep (ApplyTxError ShelleyEra) x → ApplyTxError ShelleyEra #

Show (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

showsPrec ∷ Int → ApplyTxError AllegraEra → ShowS #

show ∷ ApplyTxError AllegraEra → String #

showList ∷ [ApplyTxError AllegraEra] → ShowS #

Show (ApplyTxError AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

showsPrec ∷ Int → ApplyTxError AlonzoEra → ShowS #

show ∷ ApplyTxError AlonzoEra → String #

showList ∷ [ApplyTxError AlonzoEra] → ShowS #

Show (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

showsPrec ∷ Int → ApplyTxError MaryEra → ShowS #

show ∷ ApplyTxError MaryEra → String #

showList ∷ [ApplyTxError MaryEra] → ShowS #

Show (ApplyTxError ShelleyEra)

Instance details

Methods

showsPrec ∷ Int → ApplyTxError ShelleyEra → ShowS #

show ∷ ApplyTxError ShelleyEra → String #

showList ∷ [ApplyTxError ShelleyEra] → ShowS #

Eq (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

(==) ∷ ApplyTxError AllegraEra → ApplyTxError AllegraEra → Bool #

(/=) ∷ ApplyTxError AllegraEra → ApplyTxError AllegraEra → Bool #

Eq (ApplyTxError AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

(==) ∷ ApplyTxError AlonzoEra → ApplyTxError AlonzoEra → Bool #

(/=) ∷ ApplyTxError AlonzoEra → ApplyTxError AlonzoEra → Bool #

Eq (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

(==) ∷ ApplyTxError MaryEra → ApplyTxError MaryEra → Bool #

(/=) ∷ ApplyTxError MaryEra → ApplyTxError MaryEra → Bool #

Eq (ApplyTxError ShelleyEra)

Instance details

Methods

(==) ∷ ApplyTxError ShelleyEra → ApplyTxError ShelleyEra → Bool #

(/=) ∷ ApplyTxError ShelleyEra → ApplyTxError ShelleyEra → Bool #

newtype ApplyTxError AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra

newtype ApplyTxError AllegraEra = AllegraApplyTxError (NonEmpty (ShelleyLedgerPredFailure AllegraEra))

newtype ApplyTxError AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo

newtype ApplyTxError AlonzoEra = AlonzoApplyTxError (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))

newtype ApplyTxError MaryEra

Instance details

Defined in Cardano.Ledger.Mary

newtype ApplyTxError MaryEra = MaryApplyTxError (NonEmpty (ShelleyLedgerPredFailure MaryEra))

newtype ApplyTxError ShelleyEra

Instance details

newtype ApplyTxError ShelleyEra = ShelleyApplyTxError (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

type Rep (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

type Rep (ApplyTxError AllegraEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AllegraEra))

type Rep (ApplyTxError AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo

type Rep (ApplyTxError AlonzoEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))

type Rep (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

type Rep (ApplyTxError MaryEra) = Rep (NonEmpty (ShelleyLedgerPredFailure MaryEra))

type Rep (ApplyTxError ShelleyEra)

Instance details