Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Alonzo

Contents

Orphan instances

Synopsis

type Alonzo = AlonzoEra
data AlonzoEra
data AlonzoTxOut era
data MaryValue
pattern AlonzoTxBody ∷ Set TxIn → Set TxIn → StrictSeq (TxOut AlonzoEra) → StrictSeq (TxCert AlonzoEra) → Withdrawals → Coin → ValidityInterval → StrictMaybe (Update AlonzoEra) → Set (KeyHash 'Witness) → MultiAsset → StrictMaybe ScriptIntegrityHash → StrictMaybe TxAuxDataHash → StrictMaybe Network → TxBody AlonzoEra
data AlonzoScript era
data AlonzoTxAuxData era

Documentation

type Alonzo = AlonzoEra Source #

Deprecated: In favor of AlonzoEra

data AlonzoEra Source #

The Alonzo era

Instances

Instances details

AllegraEraScript AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods mkTimeStart ∷ SlotNo → NativeScript AlonzoEra Source # getTimeStart ∷ NativeScript AlonzoEra → Maybe SlotNo Source # mkTimeExpire ∷ SlotNo → NativeScript AlonzoEra Source # getTimeExpire ∷ NativeScript AlonzoEra → Maybe SlotNo Source #
AllegraEraTxAuxData AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (StrictSeq (Timelock AlonzoEra)) Source #
AllegraEraTxBody AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods vldtTxBodyL ∷ Lens' (TxBody AlonzoEra) ValidityInterval Source #
AlonzoEraPParams AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods hkdCoinsPerUTxOWordL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ExactEra AlonzoEra AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f CoinPerWord) Source # hkdCostModelsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f CostModels) Source # hkdPricesL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Prices) Source # hkdMaxTxExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f ExUnits) Source # hkdMaxBlockExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f ExUnits) Source # hkdMaxValSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Natural) Source # hkdCollateralPercentageL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Natural) Source # hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Natural) Source #
EraPlutusContext AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo Associated Types type ContextError AlonzoEra = (r ∷ Type) Source # data TxInfoResult AlonzoEra Source # Methods mkSupportedLanguage ∷ Language → Maybe (SupportedLanguage AlonzoEra) Source # mkTxInfoResult ∷ LedgerTxInfo AlonzoEra → TxInfoResult AlonzoEra Source # lookupTxInfoResult ∷ ∀ (l ∷ Language). EraPlutusTxInfo l AlonzoEra ⇒ SLanguage l → TxInfoResult AlonzoEra → Either (ContextError AlonzoEra) (PlutusTxInfo l) Source # mkPlutusWithContext ∷ PlutusScript AlonzoEra → ScriptHash → PlutusPurpose AsIxItem AlonzoEra → LedgerTxInfo AlonzoEra → TxInfoResult AlonzoEra → (Data AlonzoEra, ExUnits) → CostModel → Either (ContextError AlonzoEra) PlutusWithContext Source #
AlonzoEraScript AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types data PlutusScript AlonzoEra Source # type PlutusPurpose f AlonzoEra = (r ∷ Type) Source # Methods eraMaxLanguage ∷ Language Source # toPlutusScript ∷ Script AlonzoEra → Maybe (PlutusScript AlonzoEra) Source # fromPlutusScript ∷ PlutusScript AlonzoEra → Script AlonzoEra Source # mkPlutusScript ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → Maybe (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 # mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f AlonzoEra Source # toRewardingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 RewardAccount) Source # upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra AlonzoEra) → PlutusPurpose AsIx AlonzoEra Source #
AlonzoEraTx AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods isValidTxL ∷ Lens' (Tx AlonzoEra) IsValid Source #
AlonzoEraTxAuxData AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Language (NonEmpty PlutusBinary)) Source #
AlonzoEraTxBody AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods collateralInputsTxBodyL ∷ Lens' (TxBody AlonzoEra) (Set TxIn) Source # reqSignerHashesTxBodyL ∷ Lens' (TxBody AlonzoEra) (Set (KeyHash 'Witness)) Source # scriptIntegrityHashTxBodyL ∷ Lens' (TxBody AlonzoEra) (StrictMaybe ScriptIntegrityHash) Source # networkIdTxBodyL ∷ Lens' (TxBody AlonzoEra) (StrictMaybe Network) Source # redeemerPointer ∷ TxBody AlonzoEra → PlutusPurpose AsItem AlonzoEra → StrictMaybe (PlutusPurpose AsIx AlonzoEra) Source # redeemerPointerInverse ∷ TxBody AlonzoEra → PlutusPurpose AsIx AlonzoEra → StrictMaybe (PlutusPurpose AsIxItem AlonzoEra) Source #
AlonzoEraTxOut AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods dataHashTxOutL ∷ Lens' (TxOut AlonzoEra) (StrictMaybe DataHash) Source # datumTxOutF ∷ SimpleGetter (TxOut AlonzoEra) (Datum AlonzoEra) Source #
EraScript AlonzoEra ⇒ 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 ∷ UTxO AlonzoEra → TxBody AlonzoEra → Set DataHash Source # getSpendingDatum ∷ UTxO AlonzoEra → Tx AlonzoEra → PlutusPurpose AsItem AlonzoEra → Maybe (Data AlonzoEra) Source #
EraScript AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types type Script AlonzoEra = (r ∷ Type) Source # type NativeScript AlonzoEra = (r ∷ Type) Source # 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 #
EraSegWits AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq.Internal Associated Types type TxSeq AlonzoEra = (r ∷ Type) Source # Methods fromTxSeq ∷ TxSeq AlonzoEra → StrictSeq (Tx AlonzoEra) Source # toTxSeq ∷ StrictSeq (Tx AlonzoEra) → TxSeq AlonzoEra Source # hashTxSeq ∷ TxSeq AlonzoEra → Hash HASH EraIndependentBlockBody Source # numSegComponents ∷ Word64 Source #
EraTx AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Associated Types type Tx AlonzoEra = (r ∷ Type) Source # type TxUpgradeError AlonzoEra Source # Methods mkBasicTx ∷ TxBody AlonzoEra → Tx AlonzoEra Source # bodyTxL ∷ Lens' (Tx AlonzoEra) (TxBody AlonzoEra) Source # witsTxL ∷ Lens' (Tx AlonzoEra) (TxWits AlonzoEra) Source # auxDataTxL ∷ Lens' (Tx AlonzoEra) (StrictMaybe (TxAuxData AlonzoEra)) Source # sizeTxF ∷ SimpleGetter (Tx AlonzoEra) Integer Source # wireSizeTxF ∷ SimpleGetter (Tx AlonzoEra) Word32 Source # sizeTxForFeeCalculation ∷ Tx AlonzoEra → Integer Source # validateNativeScript ∷ Tx AlonzoEra → NativeScript AlonzoEra → Bool Source # getMinFeeTx ∷ PParams AlonzoEra → Tx AlonzoEra → Int → Coin Source # upgradeTx ∷ Tx (PreviousEra AlonzoEra) → Either (TxUpgradeError AlonzoEra) (Tx AlonzoEra) Source #
EraTxAuxData AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type TxAuxData AlonzoEra = (r ∷ Type) Source # Methods mkBasicTxAuxData ∷ TxAuxData AlonzoEra Source # metadataTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Word64 Metadatum) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra AlonzoEra) → TxAuxData AlonzoEra Source # validateTxAuxData ∷ ProtVer → TxAuxData AlonzoEra → Bool Source #
EraTxBody AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Associated Types data TxBody AlonzoEra Source # type TxBodyUpgradeError AlonzoEra Source # Methods mkBasicTxBody ∷ TxBody AlonzoEra Source # inputsTxBodyL ∷ Lens' (TxBody AlonzoEra) (Set TxIn) Source # outputsTxBodyL ∷ Lens' (TxBody AlonzoEra) (StrictSeq (TxOut AlonzoEra)) Source # feeTxBodyL ∷ Lens' (TxBody AlonzoEra) Coin Source # withdrawalsTxBodyL ∷ Lens' (TxBody AlonzoEra) Withdrawals Source # auxDataHashTxBodyL ∷ Lens' (TxBody AlonzoEra) (StrictMaybe TxAuxDataHash) Source # spendableInputsTxBodyF ∷ SimpleGetter (TxBody AlonzoEra) (Set TxIn) Source # allInputsTxBodyF ∷ SimpleGetter (TxBody AlonzoEra) (Set TxIn) Source # certsTxBodyL ∷ Lens' (TxBody AlonzoEra) (StrictSeq (TxCert AlonzoEra)) Source # getTotalDepositsTxBody ∷ PParams AlonzoEra → (KeyHash 'StakePool → Bool) → TxBody AlonzoEra → Coin Source # getTotalRefundsTxBody ∷ PParams AlonzoEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody AlonzoEra → Coin Source # getGenesisKeyHashCountTxBody ∷ TxBody AlonzoEra → Int Source # upgradeTxBody ∷ TxBody (PreviousEra AlonzoEra) → Either (TxBodyUpgradeError AlonzoEra) (TxBody AlonzoEra) Source #
EraTxOut AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Associated Types type TxOut AlonzoEra = (r ∷ Type) Source # 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 #
EraScript AlonzoEra ⇒ EraTxWits AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Associated Types type TxWits AlonzoEra = (r ∷ Type) Source # 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 # upgradeTxWits ∷ TxWits (PreviousEra AlonzoEra) → TxWits AlonzoEra Source #
Era AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era Associated Types type PreviousEra AlonzoEra = (r ∷ Type) Source # type ProtVerLow AlonzoEra ∷ Nat Source # type ProtVerHigh AlonzoEra ∷ Nat Source # Methods eraName ∷ String Source #
EraPParams AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Associated Types type PParamsHKD f AlonzoEra = (r ∷ Type) Source # type UpgradePParams f AlonzoEra Source # type DowngradePParams f AlonzoEra Source # Methods applyPPUpdates ∷ PParams AlonzoEra → PParamsUpdate AlonzoEra → PParams AlonzoEra Source # emptyPParamsIdentity ∷ PParamsHKD Identity AlonzoEra Source # emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe AlonzoEra Source # upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative 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 # hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Coin) Source # hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f 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 # hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Coin) Source # hkdPoolDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f 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, ProtVerAtMost AlonzoEra 6) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f UnitInterval) Source # ppDG ∷ SimpleGetter (PParams AlonzoEra) UnitInterval Source # hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost AlonzoEra 6) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Nonce) Source # hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost AlonzoEra 8) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f ProtVer) Source # ppProtocolVersionL ∷ Lens' (PParams AlonzoEra) ProtVer Source # ppuProtocolVersionL ∷ Lens' (PParamsUpdate AlonzoEra) (StrictMaybe ProtVer) Source # hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost AlonzoEra 4) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Coin) Source # hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Coin) Source # eraPParams ∷ [PParam AlonzoEra] Source #
EraTxCert AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxCert Associated Types type TxCert AlonzoEra = (r ∷ Type) Source # type TxCertUpgradeError AlonzoEra Source # 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 ∷ PoolParams → TxCert AlonzoEra Source # getRegPoolTxCert ∷ TxCert AlonzoEra → Maybe PoolParams 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) → (Credential 'DRepRole → Maybe Coin) → f (TxCert AlonzoEra) → Coin Source #
EraGenesis AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Associated Types type Genesis AlonzoEra Source #
EraCertState AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.State.CertState Associated Types type CertState AlonzoEra = (r ∷ Type) Source # 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 AlonzoEra → Coin Source # certsTotalRefundsTxBody ∷ PParams AlonzoEra → CertState AlonzoEra → TxBody AlonzoEra → Coin Source #
EraGov AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Associated Types type GovState AlonzoEra = (r ∷ Type) Source # 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 = (r ∷ Type) Source # 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 → UMap → Stake Source #
EraUTxO AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.UTxO Associated Types type ScriptsNeeded AlonzoEra = (r ∷ Type) Source # Methods consumed ∷ PParams AlonzoEra → CertState AlonzoEra → UTxO AlonzoEra → TxBody AlonzoEra → Value AlonzoEra Source # getConsumedValue ∷ PParams AlonzoEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO AlonzoEra → TxBody AlonzoEra → Value AlonzoEra Source # getProducedValue ∷ PParams AlonzoEra → (KeyHash 'StakePool → Bool) → TxBody AlonzoEra → Value AlonzoEra Source # getScriptsProvided ∷ UTxO AlonzoEra → Tx AlonzoEra → ScriptsProvided AlonzoEra Source # getScriptsNeeded ∷ UTxO AlonzoEra → TxBody AlonzoEra → ScriptsNeeded AlonzoEra Source # getScriptsHashesNeeded ∷ ScriptsNeeded AlonzoEra → Set ScriptHash Source # getWitsVKeyNeeded ∷ CertState AlonzoEra → UTxO AlonzoEra → TxBody AlonzoEra → Set (KeyHash 'Witness) Source # getMinFeeTxUtxo ∷ PParams AlonzoEra → Tx AlonzoEra → UTxO AlonzoEra → Coin Source #
MaryEraTxBody AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods mintTxBodyL ∷ Lens' (TxBody AlonzoEra) MultiAsset Source # mintedTxBodyF ∷ SimpleGetter (TxBody AlonzoEra) (Set PolicyID) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody AlonzoEra) (Value AlonzoEra) Source #
ApplyTx AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo Methods applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv AlonzoEra → MempoolState AlonzoEra → Tx AlonzoEra → Either (ApplyTxError AlonzoEra) (MempoolState AlonzoEra, Validated (Tx AlonzoEra)) Source #
ApplyBlock AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo Methods applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState AlonzoEra → Block BHeaderView AlonzoEra → (NewEpochState AlonzoEra, [PredicateFailure (EraRule "BBODY" AlonzoEra)], [Event (EraRule "BBODY" AlonzoEra)]) Source # applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState AlonzoEra → SlotNo → (NewEpochState AlonzoEra, [Event (EraRule "TICK" AlonzoEra)]) Source #
ShelleyEraScript AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts 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 #
EraTransition AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Associated Types data TransitionConfig AlonzoEra Source # Methods mkTransitionConfig ∷ TranslationContext AlonzoEra → TransitionConfig (PreviousEra AlonzoEra) → TransitionConfig AlonzoEra Source # injectIntoTestState ∷ TransitionConfig AlonzoEra → NewEpochState AlonzoEra → 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 #
ShelleyEraTxBody AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody AlonzoEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody AlonzoEra) (StrictMaybe (Update AlonzoEra)) Source #
ShelleyEraTxCert AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxCert Methods mkRegTxCert ∷ StakeCredential → TxCert AlonzoEra Source # getRegTxCert ∷ TxCert AlonzoEra → Maybe StakeCredential Source # mkUnRegTxCert ∷ StakeCredential → TxCert AlonzoEra Source # getUnRegTxCert ∷ TxCert AlonzoEra → Maybe StakeCredential Source # mkDelegStakeTxCert ∷ StakeCredential → KeyHash 'StakePool → TxCert AlonzoEra Source # getDelegStakeTxCert ∷ TxCert AlonzoEra → Maybe (StakeCredential, 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 → PlutusPurpose AsIxItem AlonzoEra → Either (ContextError AlonzoEra) (PlutusScriptPurpose 'PlutusV1) Source # toPlutusTxInfo ∷ proxy 'PlutusV1 → LedgerTxInfo AlonzoEra → Either (ContextError AlonzoEra) (PlutusTxInfo 'PlutusV1) Source # toPlutusArgs ∷ proxy 'PlutusV1 → ProtVer → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem AlonzoEra → Maybe (Data AlonzoEra) → Data AlonzoEra → Either (ContextError AlonzoEra) (PlutusArgs 'PlutusV1) Source #
TranslateEra AlonzoEra Tx Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra Tx Source # Methods translateEra ∷ TranslationContext AlonzoEra → Tx (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra Tx) (Tx AlonzoEra) Source #
TranslateEra AlonzoEra PParams Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra PParams Source # Methods translateEra ∷ TranslationContext AlonzoEra → PParams (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra PParams) (PParams AlonzoEra) Source #
TranslateEra AlonzoEra CommitteeState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra CommitteeState Source # Methods translateEra ∷ TranslationContext AlonzoEra → CommitteeState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra CommitteeState) (CommitteeState AlonzoEra) Source #
TranslateEra AlonzoEra DState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra DState Source # Methods translateEra ∷ TranslationContext AlonzoEra → DState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra DState) (DState AlonzoEra) Source #
TranslateEra AlonzoEra PState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra PState Source # Methods translateEra ∷ TranslationContext AlonzoEra → PState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra PState) (PState AlonzoEra) Source #
TranslateEra AlonzoEra FuturePParams Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra FuturePParams Source # Methods translateEra ∷ TranslationContext AlonzoEra → FuturePParams (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra FuturePParams) (FuturePParams AlonzoEra) Source #
TranslateEra AlonzoEra UTxO Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra UTxO Source # Methods translateEra ∷ TranslationContext AlonzoEra → UTxO (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra UTxO) (UTxO AlonzoEra) Source #
TranslateEra AlonzoEra ShelleyGovState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra ShelleyGovState Source # Methods translateEra ∷ TranslationContext AlonzoEra → ShelleyGovState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra ShelleyGovState) (ShelleyGovState AlonzoEra) Source #
TranslateEra AlonzoEra EpochState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra EpochState Source # Methods translateEra ∷ TranslationContext AlonzoEra → EpochState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra EpochState) (EpochState AlonzoEra) Source #
TranslateEra AlonzoEra LedgerState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra LedgerState Source # Methods translateEra ∷ TranslationContext AlonzoEra → LedgerState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra LedgerState) (LedgerState AlonzoEra) Source #
TranslateEra AlonzoEra NewEpochState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra NewEpochState Source # Methods translateEra ∷ TranslationContext AlonzoEra → NewEpochState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra NewEpochState) (NewEpochState AlonzoEra) Source #
TranslateEra AlonzoEra UTxOState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra UTxOState Source # Methods translateEra ∷ TranslationContext AlonzoEra → UTxOState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra UTxOState) (UTxOState AlonzoEra) Source #
TranslateEra AlonzoEra ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra ProposedPPUpdates Source # Methods translateEra ∷ TranslationContext AlonzoEra → ProposedPPUpdates (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra ProposedPPUpdates) (ProposedPPUpdates AlonzoEra) Source #
TranslateEra AlonzoEra ShelleyCertState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra ShelleyCertState Source # Methods translateEra ∷ TranslationContext AlonzoEra → ShelleyCertState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra ShelleyCertState) (ShelleyCertState AlonzoEra) Source #
TranslateEra AlonzoEra ShelleyInstantStake Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra ShelleyInstantStake Source # Methods translateEra ∷ TranslationContext AlonzoEra → ShelleyInstantStake (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra ShelleyInstantStake) (ShelleyInstantStake AlonzoEra) Source #
InjectRuleFailure "BBODY" AllegraUtxoPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #
InjectRuleFailure "BBODY" AlonzoBbodyPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ AlonzoBbodyPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #
InjectRuleFailure "BBODY" AlonzoUtxoPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #
InjectRuleFailure "BBODY" AlonzoUtxosPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #
InjectRuleFailure "BBODY" AlonzoUtxowPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #
InjectRuleFailure "BBODY" ShelleyDelegPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyDelegsPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #
InjectRuleFailure "BBODY" ShelleyDelplPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyDelplPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyLedgerPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyLedgersPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #
InjectRuleFailure "BBODY" ShelleyPoolPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #
InjectRuleFailure "BBODY" ShelleyPpupPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyUtxoPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods injectFailure ∷ ShelleyUtxowPredFailure AlonzoEra → EraRuleFailure "BBODY" 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 Defined in Cardano.Ledger.Alonzo.Rules.Delegs Methods injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "DELEGS" AlonzoEra Source #
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delegs Methods injectFailure ∷ ShelleyDelegsPredFailure AlonzoEra → EraRuleFailure "DELEGS" AlonzoEra Source #
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delegs Methods injectFailure ∷ ShelleyDelplPredFailure AlonzoEra → EraRuleFailure "DELEGS" AlonzoEra Source #
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delegs Methods injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "DELEGS" AlonzoEra Source #
InjectRuleFailure "DELPL" ShelleyDelegPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delpl Methods injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "DELPL" AlonzoEra Source #
InjectRuleFailure "DELPL" ShelleyDelplPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delpl Methods injectFailure ∷ ShelleyDelplPredFailure AlonzoEra → EraRuleFailure "DELPL" AlonzoEra Source #
InjectRuleFailure "DELPL" ShelleyPoolPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delpl Methods injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "DELPL" AlonzoEra Source #
InjectRuleFailure "LEDGER" AllegraUtxoPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #
InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #
InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #
InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ ShelleyDelegsPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ ShelleyDelplPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ ShelleyLedgerPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ ShelleyUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger Methods injectFailure ∷ ShelleyUtxowPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #
InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #
InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #
InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #
InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegsPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyDelplPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgerPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxowPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #
InjectRuleFailure "POOL" ShelleyPoolPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Pool 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 Defined in Cardano.Ledger.Alonzo.Rules.Utxo Methods injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #
InjectRuleFailure "UTXO" AlonzoUtxoPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo Methods injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #
InjectRuleFailure "UTXO" AlonzoUtxosPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo Methods injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #
InjectRuleFailure "UTXO" ShelleyPpupPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo Methods injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo 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 Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #
InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #
InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #
InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ ShelleyUtxoPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #
FromJSON (TransitionConfig AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig AlonzoEra) Source # parseJSONList ∷ Value → Parser [TransitionConfig AlonzoEra] Source # omittedField ∷ Maybe (TransitionConfig AlonzoEra) Source #
ToJSON (TransitionConfig AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Methods toJSON ∷ TransitionConfig AlonzoEra → Value Source # toEncoding ∷ TransitionConfig AlonzoEra → Encoding Source # toJSONList ∷ [TransitionConfig AlonzoEra] → Value Source # toEncodingList ∷ [TransitionConfig AlonzoEra] → Encoding Source # omitField ∷ TransitionConfig AlonzoEra → Bool Source #
Generic (PlutusScript AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types type Rep (PlutusScript AlonzoEra) ∷ Type → Type # Methods from ∷ PlutusScript AlonzoEra → Rep (PlutusScript AlonzoEra) x # to ∷ Rep (PlutusScript AlonzoEra) x → PlutusScript AlonzoEra #
Generic (TxBody AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Associated Types type Rep (TxBody AlonzoEra) ∷ Type → Type # Methods from ∷ TxBody AlonzoEra → Rep (TxBody AlonzoEra) x # to ∷ Rep (TxBody AlonzoEra) x → TxBody AlonzoEra #
Generic (TransitionConfig AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Associated Types type Rep (TransitionConfig AlonzoEra) ∷ Type → Type # Methods from ∷ TransitionConfig AlonzoEra → Rep (TransitionConfig AlonzoEra) x # to ∷ Rep (TransitionConfig AlonzoEra) x → TransitionConfig AlonzoEra #
Show (PlutusScript AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods showsPrec ∷ Int → PlutusScript AlonzoEra → ShowS # show ∷ PlutusScript AlonzoEra → String # showList ∷ [PlutusScript AlonzoEra] → ShowS #
Show (TxBody AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods showsPrec ∷ Int → TxBody AlonzoEra → ShowS # show ∷ TxBody AlonzoEra → String # showList ∷ [TxBody AlonzoEra] → ShowS #
Show (TransitionConfig AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Methods showsPrec ∷ Int → TransitionConfig AlonzoEra → ShowS # show ∷ TransitionConfig AlonzoEra → String # showList ∷ [TransitionConfig AlonzoEra] → ShowS #
ToCBOR (TxBody AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods toCBOR ∷ TxBody AlonzoEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody AlonzoEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody AlonzoEra] → Size Source #
DecCBOR (TxBody AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods decCBOR ∷ Decoder s (TxBody AlonzoEra) Source # dropCBOR ∷ Proxy (TxBody AlonzoEra) → Decoder s () Source # label ∷ Proxy (TxBody AlonzoEra) → Text Source #
EncCBOR (TxBody AlonzoEra) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods encCBOR ∷ TxBody AlonzoEra → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (TxBody AlonzoEra) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxBody AlonzoEra] → Size Source #
SafeToHash (PlutusScript AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods originalBytes ∷ PlutusScript AlonzoEra → ByteString Source # originalBytesSize ∷ PlutusScript AlonzoEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → PlutusScript AlonzoEra → SafeHash i Source #
SafeToHash (TxBody AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods originalBytes ∷ TxBody AlonzoEra → ByteString Source # originalBytesSize ∷ TxBody AlonzoEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → TxBody AlonzoEra → SafeHash i Source #
EqRaw (TxBody AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods eqRaw ∷ TxBody AlonzoEra → TxBody AlonzoEra → Bool Source #
Memoized (TxBody AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Associated Types type RawType (TxBody AlonzoEra) = (r ∷ Type) Source # Methods getMemoBytes ∷ TxBody AlonzoEra → MemoBytes (RawType (TxBody AlonzoEra)) wrapMemoBytes ∷ MemoBytes (RawType (TxBody AlonzoEra)) → TxBody AlonzoEra
NFData (PlutusScript AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods rnf ∷ PlutusScript AlonzoEra → () #
NFData (TxBody AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods rnf ∷ TxBody AlonzoEra → () #
Eq (PlutusScript AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods (==) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool # (/=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #
Eq (TxBody AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods (==) ∷ TxBody AlonzoEra → TxBody AlonzoEra → Bool # (/=) ∷ TxBody AlonzoEra → TxBody AlonzoEra → Bool #
Eq (TransitionConfig AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Methods (==) ∷ TransitionConfig AlonzoEra → TransitionConfig AlonzoEra → Bool # (/=) ∷ TransitionConfig AlonzoEra → TransitionConfig AlonzoEra → Bool #
Ord (PlutusScript AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts 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 `TxOut`s
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods typeName ∷ String Source # packedByteCount ∷ PlutusScript AlonzoEra → Int Source # packM ∷ PlutusScript AlonzoEra → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (PlutusScript AlonzoEra) Source #
NoThunks (PlutusScript AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods noThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PlutusScript AlonzoEra) → String Source #
NoThunks (TxBody AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods noThunks ∷ Context → TxBody AlonzoEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxBody AlonzoEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxBody AlonzoEra) → String Source #
NoThunks (TransitionConfig AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Methods noThunks ∷ Context → TransitionConfig AlonzoEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig AlonzoEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig AlonzoEra) → String Source #
HashAnnotated (TxBody AlonzoEra) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods hashAnnotated ∷ TxBody 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 (Either (ContextError AlonzoEra) (PlutusTxInfo 'PlutusV1))
newtype PlutusScript AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)
type NativeScript AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type NativeScript AlonzoEra = Timelock AlonzoEra
type Script AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Script AlonzoEra = AlonzoScript AlonzoEra
type Tx AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Tx AlonzoEra = AlonzoTx AlonzoEra
type TxAuxData AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEra
newtype TxBody AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody newtype TxBody AlonzoEra = MkAlonzoTxBody (MemoBytes AlonzoTxBodyRaw)
type TxBodyUpgradeError AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type TxBodyUpgradeError AlonzoEra = AlonzoTxBodyUpgradeError
type TxOut AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type TxOut AlonzoEra = AlonzoTxOut AlonzoEra
type TxSeq AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq.Internal type TxSeq AlonzoEra = AlonzoTxSeq AlonzoEra
type TxUpgradeError AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx type TxUpgradeError 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 PreviousEra AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type PreviousEra AlonzoEra = MaryEra
type ProtVerHigh AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type ProtVerHigh AlonzoEra = 6
type ProtVerLow AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type ProtVerLow AlonzoEra = 5
type TranslationContext AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationContext AlonzoEra = AlonzoGenesis
type TxCert AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCert AlonzoEra = ShelleyTxCert AlonzoEra
type TxCertUpgradeError AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxCert type TxCertUpgradeError AlonzoEra = Void
type Genesis AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Genesis type Genesis AlonzoEra = AlonzoGenesis
type CertState AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.State.CertState type CertState AlonzoEra = ShelleyCertState AlonzoEra
type GovState AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams 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
data TransitionConfig AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition data TransitionConfig AlonzoEra = AlonzoTransitionConfig { atcAlonzoGenesis ∷ !AlonzoGenesis atcMaryTransitionConfig ∷ !(TransitionConfig MaryEra) }
type PlutusPurpose f AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEra
type EraRule "BBODY" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "BBODY" AlonzoEra = AlonzoBBODY AlonzoEra
type EraRule "DELEG" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "DELEG" AlonzoEra = ShelleyDELEG AlonzoEra
type EraRule "DELEGS" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "DELEGS" AlonzoEra = ShelleyDELEGS AlonzoEra
type EraRule "DELPL" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "DELPL" AlonzoEra = ShelleyDELPL AlonzoEra
type EraRule "EPOCH" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "EPOCH" AlonzoEra = ShelleyEPOCH AlonzoEra
type EraRule "LEDGER" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "LEDGER" AlonzoEra = AlonzoLEDGER AlonzoEra
type EraRule "LEDGERS" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "LEDGERS" AlonzoEra = ShelleyLEDGERS AlonzoEra
type EraRule "MIR" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "MIR" AlonzoEra = ShelleyMIR AlonzoEra
type EraRule "NEWEPOCH" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "NEWEPOCH" AlonzoEra = ShelleyNEWEPOCH AlonzoEra
type EraRule "NEWPP" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "NEWPP" AlonzoEra = ShelleyNEWPP AlonzoEra
type EraRule "POOL" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "POOL" AlonzoEra = ShelleyPOOL AlonzoEra
type EraRule "POOLREAP" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "POOLREAP" AlonzoEra = ShelleyPOOLREAP AlonzoEra
type EraRule "PPUP" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "PPUP" AlonzoEra = ShelleyPPUP AlonzoEra
type EraRule "RUPD" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "RUPD" AlonzoEra = ShelleyRUPD AlonzoEra
type EraRule "SNAP" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "SNAP" AlonzoEra = ShelleySNAP AlonzoEra
type EraRule "TICK" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "TICK" AlonzoEra = ShelleyTICK AlonzoEra
type EraRule "TICKF" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "TICKF" AlonzoEra = ShelleyTICKF AlonzoEra
type EraRule "UPEC" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "UPEC" AlonzoEra = ShelleyUPEC AlonzoEra
type EraRule "UTXO" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "UTXO" AlonzoEra = AlonzoUTXO AlonzoEra
type EraRule "UTXOS" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "UTXOS" AlonzoEra = AlonzoUTXOS AlonzoEra
type EraRule "UTXOW" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Era type EraRule "UTXOW" AlonzoEra = AlonzoUTXOW AlonzoEra
type EraRuleEvent "LEDGER" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules type EraRuleEvent "LEDGER" AlonzoEra = ShelleyLedgerEvent 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 Defined in Cardano.Ledger.Alonzo.Rules.Bbody 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 Defined in Cardano.Ledger.Alonzo.Rules.Delegs type EraRuleFailure "DELEGS" AlonzoEra = ShelleyDelegsPredFailure AlonzoEra
type EraRuleFailure "DELPL" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Delpl type EraRuleFailure "DELPL" AlonzoEra = ShelleyDelplPredFailure AlonzoEra
type EraRuleFailure "LEDGER" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type EraRuleFailure "LEDGER" AlonzoEra = ShelleyLedgerPredFailure AlonzoEra
type EraRuleFailure "LEDGERS" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledgers type EraRuleFailure "LEDGERS" AlonzoEra = ShelleyLedgersPredFailure AlonzoEra
type EraRuleFailure "POOL" AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Pool 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 Defined in Cardano.Ledger.Alonzo.Rules.Utxo 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 Defined in Cardano.Ledger.Alonzo.Rules.Utxow type EraRuleFailure "UTXOW" AlonzoEra = AlonzoUtxowPredFailure AlonzoEra
type DowngradePParams f AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams type DowngradePParams f AlonzoEra = DowngradeAlonzoPParams f
type PParamsHKD f AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams type PParamsHKD f AlonzoEra = AlonzoPParams f AlonzoEra
type UpgradePParams f AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams type UpgradePParams f AlonzoEra = UpgradeAlonzoPParams f
type TranslationError AlonzoEra Tx Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra Tx = DecoderError
type TranslationError AlonzoEra PParams Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra PParams = Void
type TranslationError AlonzoEra CommitteeState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra CommitteeState = Void
type TranslationError AlonzoEra DState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra DState = Void
type TranslationError AlonzoEra PState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra PState = Void
type TranslationError AlonzoEra FuturePParams Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra FuturePParams = Void
type TranslationError AlonzoEra UTxO Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra UTxO = Void
type TranslationError AlonzoEra ShelleyGovState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyGovState = Void
type TranslationError AlonzoEra EpochState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra EpochState = Void
type TranslationError AlonzoEra LedgerState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra LedgerState = Void
type TranslationError AlonzoEra NewEpochState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra NewEpochState = Void
type TranslationError AlonzoEra UTxOState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra UTxOState = Void
type TranslationError AlonzoEra ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ProposedPPUpdates = Void
type TranslationError AlonzoEra ShelleyCertState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyCertState = Void
type TranslationError AlonzoEra ShelleyInstantStake Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyInstantStake = Void
type Rep (PlutusScript AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)
type Rep (TxBody AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type Rep (TxBody AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.14.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxBodyRaw))))
type Rep (TransitionConfig AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.14.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 AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type RawType (TxBody AlonzoEra) = AlonzoTxBodyRaw

data AlonzoTxOut era Source #

Instances

Instances details

(Era era, Val (Value era)) ⇒ ToJSON (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut 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 #
Generic (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Associated Types type Rep (AlonzoTxOut era) ∷ Type → Type # 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 Defined in Cardano.Ledger.Alonzo.TxOut Methods showsPrec ∷ Int → AlonzoTxOut era → ShowS # show ∷ AlonzoTxOut era → String # showList ∷ [AlonzoTxOut era] → ShowS #
(Era era, Val (Value era)) ⇒ FromCBOR (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods fromCBOR ∷ Decoder s (AlonzoTxOut era) Source # label ∷ Proxy (AlonzoTxOut era) → Text Source #
(Era era, Val (Value era)) ⇒ ToCBOR (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods toCBOR ∷ AlonzoTxOut era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxOut era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxOut era] → Size Source #
(Era era, Val (Value era)) ⇒ DecCBOR (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut 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 Defined in Cardano.Ledger.Alonzo.TxOut Associated Types type Share (AlonzoTxOut era) Source # 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 Defined in Cardano.Ledger.Alonzo.TxOut Methods encCBOR ∷ AlonzoTxOut era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxOut era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxOut era] → Size Source #
NFData (AlonzoTxOut era) Source #	Already in NF
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods rnf ∷ AlonzoTxOut era → () #
(Eq (Value era), Compactible (Value era)) ⇒ Eq (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods (==) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool # (/=) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool #
(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 Defined in Cardano.Ledger.Alonzo.TxOut Methods typeName ∷ String Source # packedByteCount ∷ AlonzoTxOut era → Int Source # packM ∷ AlonzoTxOut era → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (AlonzoTxOut era) Source #
NoThunks (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods noThunks ∷ Context → AlonzoTxOut era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTxOut era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTxOut era) → String Source #
type Rep (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type Rep (AlonzoTxOut era) = D1 ('MetaData "AlonzoTxOut" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.14.0.0-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash)))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DataHash32)))))
type Share (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type Share (AlonzoTxOut era) = Interns (Credential 'Staking)

data MaryValue Source #

The Value representing MultiAssets

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 #
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 ∷ Type → Type # 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 #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy MaryValue → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MaryValue] → Size Source #
Compactible MaryValue
Instance details Defined in Cardano.Ledger.Mary.Value Associated Types data CompactForm MaryValue Source # 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 → () #
Eq MaryValue
Instance details Defined in Cardano.Ledger.Mary.Value Methods (==) ∷ MaryValue → MaryValue → Bool # (/=) ∷ MaryValue → MaryValue → Bool #
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 #
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 #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CompactForm MaryValue) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CompactForm MaryValue] → Size Source #
NFData (CompactForm MaryValue)
Instance details Defined in Cardano.Ledger.Mary.Value Methods rnf ∷ CompactForm MaryValue → () #
Eq (CompactForm MaryValue)
Instance details Defined in Cardano.Ledger.Mary.Value Methods (==) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool # (/=) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #
MemPack (CompactForm MaryValue)
Instance details Defined in Cardano.Ledger.Mary.Value Methods typeName ∷ String Source # packedByteCount ∷ CompactForm MaryValue → Int Source # packM ∷ CompactForm MaryValue → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack 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 #
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.9.0.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)))
newtype CompactForm MaryValue
Instance details Defined in Cardano.Ledger.Mary.Value newtype CompactForm MaryValue = CompactValue CompactValue

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

data AlonzoScript era Source #

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

Instances

Instances details

AlonzoEraScript era ⇒ ToJSON (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts 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 #
Generic (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types type Rep (AlonzoScript era) ∷ Type → Type # 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 Defined in Cardano.Ledger.Alonzo.Scripts Methods showsPrec ∷ Int → AlonzoScript era → ShowS # show ∷ AlonzoScript era → String # showList ∷ [AlonzoScript era] → ShowS #
AlonzoEraScript era ⇒ ToCBOR (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts 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 (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods decCBOR ∷ Decoder s (AlonzoScript era) Source # dropCBOR ∷ Proxy (AlonzoScript era) → Decoder s () Source # label ∷ Proxy (AlonzoScript era) → Text Source #
AlonzoEraScript era ⇒ EncCBOR (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods encCBOR ∷ AlonzoScript era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoScript era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoScript era] → Size Source #
SafeToHash (PlutusScript era) ⇒ SafeToHash (AlonzoScript era) Source #	Both constructors know their original bytes
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods originalBytes ∷ AlonzoScript era → ByteString Source # originalBytesSize ∷ AlonzoScript era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → AlonzoScript era → SafeHash i Source #
Eq (PlutusScript era) ⇒ EqRaw (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods eqRaw ∷ AlonzoScript era → AlonzoScript era → Bool Source #
NFData (PlutusScript era) ⇒ NFData (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods rnf ∷ AlonzoScript era → () #
Eq (PlutusScript era) ⇒ Eq (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods (==) ∷ AlonzoScript era → AlonzoScript era → Bool # (/=) ∷ AlonzoScript era → AlonzoScript era → Bool #
(Era era, MemPack (PlutusScript era)) ⇒ MemPack (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods typeName ∷ String Source # packedByteCount ∷ AlonzoScript era → Int Source # packM ∷ AlonzoScript era → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (AlonzoScript era) Source #
(Era era, NoThunks (PlutusScript era)) ⇒ NoThunks (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts 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 Defined in Cardano.Ledger.Alonzo.Scripts type Rep (AlonzoScript era) = D1 ('MetaData "AlonzoScript" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.14.0.0-inplace" 'False) (C1 ('MetaCons "TimelockScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Timelock era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusScript era))))

data AlonzoTxAuxData era Source #

Instances

Instances details

Generic (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type Rep (AlonzoTxAuxData era) ∷ Type → Type # Methods from ∷ AlonzoTxAuxData era → Rep (AlonzoTxAuxData era) x # to ∷ Rep (AlonzoTxAuxData era) x → AlonzoTxAuxData era #
Show (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods showsPrec ∷ Int → AlonzoTxAuxData era → ShowS # show ∷ AlonzoTxAuxData era → String # showList ∷ [AlonzoTxAuxData era] → ShowS #
Typeable era ⇒ ToCBOR (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData 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 (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods decCBOR ∷ Decoder s (AlonzoTxAuxData era) Source # dropCBOR ∷ Proxy (AlonzoTxAuxData era) → Decoder s () Source # label ∷ Proxy (AlonzoTxAuxData era) → Text Source #
Era era ⇒ EncCBOR (AlonzoTxAuxData era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods encCBOR ∷ AlonzoTxAuxData era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxAuxData era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxAuxData era] → Size Source #
SafeToHash (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods originalBytes ∷ AlonzoTxAuxData era → ByteString Source # originalBytesSize ∷ AlonzoTxAuxData era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → AlonzoTxAuxData era → SafeHash i Source #
EqRaw (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods eqRaw ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #
Memoized (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type RawType (AlonzoTxAuxData era) = (r ∷ Type) Source # Methods getMemoBytes ∷ AlonzoTxAuxData era → MemoBytes (RawType (AlonzoTxAuxData era)) wrapMemoBytes ∷ MemoBytes (RawType (AlonzoTxAuxData era)) → AlonzoTxAuxData era
NFData (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods rnf ∷ AlonzoTxAuxData era → () #
Eq (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods (==) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool # (/=) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool #
NoThunks (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData 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 Defined in Cardano.Ledger.Alonzo.TxAuxData Methods hashAnnotated ∷ AlonzoTxAuxData era → SafeHash EraIndependentTxAuxData Source #
type Rep (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.14.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxAuxDataRaw era)))))
type RawType (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type RawType (AlonzoTxAuxData era) = AlonzoTxAuxDataRaw era

Orphan instances

ApplyTx AlonzoEra Source #
Instance details Methods applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv AlonzoEra → MempoolState AlonzoEra → Tx AlonzoEra → Either (ApplyTxError AlonzoEra) (MempoolState AlonzoEra, Validated (Tx AlonzoEra)) Source #
ApplyBlock AlonzoEra Source #
Instance details Methods applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState AlonzoEra → Block BHeaderView AlonzoEra → (NewEpochState AlonzoEra, [PredicateFailure (EraRule "BBODY" AlonzoEra)], [Event (EraRule "BBODY" AlonzoEra)]) Source # applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState AlonzoEra → SlotNo → (NewEpochState AlonzoEra, [Event (EraRule "TICK" AlonzoEra)]) Source #