Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Alonzo

Contents

Orphan instances

Synopsis

type Alonzo = AlonzoEra
data AlonzoEra
data AlonzoTxOut era
data MaryValue
data AlonzoTxBody era
data AlonzoScript era
data AlonzoTxAuxData era
reapplyAlonzoTx ∷ ∀ era m. (ApplyTx era, MonadError (ApplyTxError era) m) ⇒ Globals → MempoolEnv era → MempoolState era → Validated (Tx era) → m (MempoolState 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.Internal 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 # Methods mkPlutusWithContext ∷ PlutusScript AlonzoEra → ScriptHash → PlutusPurpose AsIxItem AlonzoEra → LedgerTxInfo 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.Internal 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 # 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.Internal Associated Types type TxBody AlonzoEra = (r ∷ Type) 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 #
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 #
EraUTxO AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.UTxO Associated Types type ScriptsNeeded AlonzoEra = (r ∷ Type) Source # Methods 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.Internal Methods mintTxBodyL ∷ Lens' (TxBody AlonzoEra) MultiAsset Source # mintValueTxBodyF ∷ SimpleGetter (TxBody AlonzoEra) (Value AlonzoEra) Source # mintedTxBodyF ∷ SimpleGetter (TxBody AlonzoEra) (Set PolicyID) Source #
ApplyTx AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo Methods applyTxOpts ∷ ∀ (ep ∷ EventPolicy) m. (MonadError (ApplyTxError AlonzoEra) m, EventReturnTypeRep ep) ⇒ ApplySTSOpts ep → Globals → MempoolEnv AlonzoEra → MempoolState AlonzoEra → Tx AlonzoEra → m (EventReturnType ep (EraRule "LEDGER" AlonzoEra) (MempoolState AlonzoEra, Validated (Tx AlonzoEra))) Source # reapplyTx ∷ MonadError (ApplyTxError AlonzoEra) m ⇒ Globals → MempoolEnv AlonzoEra → MempoolState AlonzoEra → Validated (Tx AlonzoEra) → m (MempoolState AlonzoEra) Source #
ApplyBlock AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState AlonzoEra → SlotNo → EventReturnType ep (EraRule "TICK" AlonzoEra) (NewEpochState AlonzoEra) Source # applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError AlonzoEra) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState AlonzoEra → Block BHeaderView AlonzoEra → m (EventReturnType ep (EraRule "BBODY" AlonzoEra) (NewEpochState AlonzoEra)) Source # reapplyBlock ∷ Globals → NewEpochState AlonzoEra → Block BHeaderView AlonzoEra → NewEpochState AlonzoEra 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 # getProposedPPUpdates ∷ GovState AlonzoEra → Maybe (ProposedPPUpdates 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 #
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.Internal 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 CertState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra CertState Source # Methods translateEra ∷ TranslationContext AlonzoEra → CertState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra CertState) (CertState 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 VState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError AlonzoEra VState Source # Methods translateEra ∷ TranslationContext AlonzoEra → VState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra VState) (VState 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 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 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 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 #
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 Source # Methods from ∷ PlutusScript AlonzoEra → Rep (PlutusScript AlonzoEra) x Source # to ∷ Rep (PlutusScript AlonzoEra) x → PlutusScript AlonzoEra Source #
Generic (TransitionConfig AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Associated Types type Rep (TransitionConfig AlonzoEra) ∷ Type → Type Source # Methods from ∷ TransitionConfig AlonzoEra → Rep (TransitionConfig AlonzoEra) x Source # to ∷ Rep (TransitionConfig AlonzoEra) x → TransitionConfig AlonzoEra Source #
Show (PlutusScript AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods showsPrec ∷ Int → PlutusScript AlonzoEra → ShowS Source # show ∷ PlutusScript AlonzoEra → String Source # showList ∷ [PlutusScript AlonzoEra] → ShowS Source #
Show (TransitionConfig AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Methods showsPrec ∷ Int → TransitionConfig AlonzoEra → ShowS Source # show ∷ TransitionConfig AlonzoEra → String Source # showList ∷ [TransitionConfig AlonzoEra] → ShowS 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 #
NFData (PlutusScript AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods rnf ∷ PlutusScript AlonzoEra → () Source #
Eq (PlutusScript AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods (==) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source # (/=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source #
Eq (TransitionConfig AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Methods (==) ∷ TransitionConfig AlonzoEra → TransitionConfig AlonzoEra → Bool Source # (/=) ∷ TransitionConfig AlonzoEra → TransitionConfig AlonzoEra → Bool Source #
Ord (PlutusScript AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods compare ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Ordering Source # (<) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source # (<=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source # (>) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source # (>=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool Source # max ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra Source # min ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → 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 (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 #
ToJSON (AlonzoPParams Identity AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON ∷ AlonzoPParams Identity AlonzoEra → Value Source # toEncoding ∷ AlonzoPParams Identity AlonzoEra → Encoding Source # toJSONList ∷ [AlonzoPParams Identity AlonzoEra] → Value Source # toEncodingList ∷ [AlonzoPParams Identity AlonzoEra] → Encoding Source # omitField ∷ AlonzoPParams Identity AlonzoEra → Bool Source #
ToJSON (AlonzoPParams StrictMaybe AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON ∷ AlonzoPParams StrictMaybe AlonzoEra → Value Source # toEncoding ∷ AlonzoPParams StrictMaybe AlonzoEra → Encoding Source # toJSONList ∷ [AlonzoPParams StrictMaybe AlonzoEra] → Value Source # toEncodingList ∷ [AlonzoPParams StrictMaybe AlonzoEra] → Encoding Source # omitField ∷ AlonzoPParams StrictMaybe AlonzoEra → Bool Source #
type ContextError AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo type ContextError AlonzoEra = AlonzoContextError AlonzoEra
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
type TxBody AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal type TxBody AlonzoEra = AlonzoTxBody AlonzoEra
type TxBodyUpgradeError AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal 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 ScriptsNeeded AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.UTxO type ScriptsNeeded AlonzoEra = AlonzoScriptsNeeded AlonzoEra
type GovState AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams type GovState AlonzoEra = ShelleyGovState 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 CertState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra CertState = 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 VState Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra VState = Void
type TranslationError AlonzoEra PParams Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra PParams = Void
type TranslationError AlonzoEra UTxO Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra UTxO = Void
type TranslationError AlonzoEra FuturePParams Source #
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra FuturePParams = 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 Rep (PlutusScript AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)
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.13.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))))

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 Source # Methods from ∷ AlonzoTxOut era → Rep (AlonzoTxOut era) x Source # to ∷ Rep (AlonzoTxOut era) x → AlonzoTxOut era Source #
(Era era, Val (Value era)) ⇒ Show (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods showsPrec ∷ Int → AlonzoTxOut era → ShowS Source # show ∷ AlonzoTxOut era → String Source # showList ∷ [AlonzoTxOut era] → ShowS Source #
(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)) ⇒ 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 → () Source #
(Eq (Value era), Compactible (Value era)) ⇒ Eq (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods (==) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool Source # (/=) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool 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.13.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 Source # mappend ∷ MaryValue → MaryValue → MaryValue Source # mconcat ∷ [MaryValue] → MaryValue Source #
Semigroup MaryValue
Instance details Defined in Cardano.Ledger.Mary.Value Methods (<>) ∷ MaryValue → MaryValue → MaryValue Source # sconcat ∷ NonEmpty MaryValue → MaryValue Source # stimes ∷ Integral b ⇒ b → MaryValue → MaryValue Source #
Generic MaryValue
Instance details Defined in Cardano.Ledger.Mary.Value Associated Types type Rep MaryValue ∷ Type → Type Source # Methods from ∷ MaryValue → Rep MaryValue x Source # to ∷ Rep MaryValue x → MaryValue Source #
Show MaryValue
Instance details Defined in Cardano.Ledger.Mary.Value Methods showsPrec ∷ Int → MaryValue → ShowS Source # show ∷ MaryValue → String Source # showList ∷ [MaryValue] → ShowS 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 # 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 → () Source #
Eq MaryValue
Instance details Defined in Cardano.Ledger.Mary.Value Methods (==) ∷ MaryValue → MaryValue → Bool Source # (/=) ∷ MaryValue → MaryValue → Bool Source #
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 Source # show ∷ CompactForm MaryValue → String Source # showList ∷ [CompactForm MaryValue] → ShowS 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 # 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 → () Source #
Eq (CompactForm MaryValue)
Instance details Defined in Cardano.Ledger.Mary.Value Methods (==) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool Source # (/=) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool 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.8.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

data AlonzoTxBody era Source #

Instances

Instances details

Memoized AlonzoTxBody Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Associated Types type RawType AlonzoTxBody = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ AlonzoTxBody era → MemoBytes (RawType AlonzoTxBody) era wrapMemoBytes ∷ MemoBytes (RawType AlonzoTxBody) era → AlonzoTxBody era
Generic (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Associated Types type Rep (AlonzoTxBody era) ∷ Type → Type Source # Methods from ∷ AlonzoTxBody era → Rep (AlonzoTxBody era) x Source # to ∷ Rep (AlonzoTxBody era) x → AlonzoTxBody era Source #
(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods showsPrec ∷ Int → AlonzoTxBody era → ShowS Source # show ∷ AlonzoTxBody era → String Source # showList ∷ [AlonzoTxBody era] → ShowS Source #
Typeable era ⇒ ToCBOR (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods toCBOR ∷ AlonzoTxBody era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxBody era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxBody era] → Size Source #
(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (Annotator (AlonzoTxBody era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods decCBOR ∷ Decoder s (Annotator (AlonzoTxBody era)) Source # dropCBOR ∷ Proxy (Annotator (AlonzoTxBody era)) → Decoder s () Source # label ∷ Proxy (Annotator (AlonzoTxBody era)) → Text Source #
Era era ⇒ EncCBOR (AlonzoTxBody era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods encCBOR ∷ AlonzoTxBody era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxBody era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxBody era] → Size Source #
SafeToHash (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods originalBytes ∷ AlonzoTxBody era → ByteString Source # originalBytesSize ∷ AlonzoTxBody era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → AlonzoTxBody era → SafeHash i Source #
(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era)) ⇒ EqRaw (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods eqRaw ∷ AlonzoTxBody era → AlonzoTxBody era → Bool Source #
(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods rnf ∷ AlonzoTxBody era → () Source #
(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods (==) ∷ AlonzoTxBody era → AlonzoTxBody era → Bool Source # (/=) ∷ AlonzoTxBody era → AlonzoTxBody era → Bool Source #
(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods noThunks ∷ Context → AlonzoTxBody era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTxBody era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTxBody era) → String Source #
HashAnnotated (AlonzoTxBody era) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods hashAnnotated ∷ AlonzoTxBody era → SafeHash EraIndependentTxBody Source #
type RawType AlonzoTxBody Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal type RawType AlonzoTxBody = AlonzoTxBodyRaw
type Rep (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal type Rep (AlonzoTxBody era) = D1 ('MetaData "AlonzoTxBody" "Cardano.Ledger.Alonzo.TxBody.Internal" "cardano-ledger-alonzo-1.13.0.0-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxBodyRaw era))))

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 Source # Methods from ∷ AlonzoScript era → Rep (AlonzoScript era) x Source # to ∷ Rep (AlonzoScript era) x → AlonzoScript era Source #
(AlonzoEraScript era, Script era ~ AlonzoScript era) ⇒ Show (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods showsPrec ∷ Int → AlonzoScript era → ShowS Source # show ∷ AlonzoScript era → String Source # showList ∷ [AlonzoScript era] → ShowS Source #
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 (Annotator (AlonzoScript era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts 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 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 → () Source #
Eq (PlutusScript era) ⇒ Eq (AlonzoScript era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods (==) ∷ AlonzoScript era → AlonzoScript era → Bool Source # (/=) ∷ AlonzoScript era → AlonzoScript era → Bool 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.13.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

Memoized AlonzoTxAuxData Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type RawType AlonzoTxAuxData = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ AlonzoTxAuxData era → MemoBytes (RawType AlonzoTxAuxData) era wrapMemoBytes ∷ MemoBytes (RawType AlonzoTxAuxData) era → AlonzoTxAuxData era
Generic (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type Rep (AlonzoTxAuxData era) ∷ Type → Type Source # Methods from ∷ AlonzoTxAuxData era → Rep (AlonzoTxAuxData era) x Source # to ∷ Rep (AlonzoTxAuxData era) x → AlonzoTxAuxData era Source #
Show (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods showsPrec ∷ Int → AlonzoTxAuxData era → ShowS Source # show ∷ AlonzoTxAuxData era → String Source # showList ∷ [AlonzoTxAuxData era] → ShowS Source #
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 (Annotator (AlonzoTxAuxData era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData 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 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 #
NFData (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods rnf ∷ AlonzoTxAuxData era → () Source #
Eq (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods (==) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source # (/=) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #
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 RawType AlonzoTxAuxData Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type RawType AlonzoTxAuxData = AlonzoTxAuxDataRaw
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.13.0.0-inplace" 'True) (C1 ('MetaCons "AlonzoTxAuxDataConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxAuxDataRaw era))))

reapplyAlonzoTx ∷ ∀ era m. (ApplyTx era, MonadError (ApplyTxError era) m) ⇒ Globals → MempoolEnv era → MempoolState era → Validated (Tx era) → m (MempoolState era) Source #

Orphan instances

ApplyTx AlonzoEra Source #
Instance details Methods applyTxOpts ∷ ∀ (ep ∷ EventPolicy) m. (MonadError (ApplyTxError AlonzoEra) m, EventReturnTypeRep ep) ⇒ ApplySTSOpts ep → Globals → MempoolEnv AlonzoEra → MempoolState AlonzoEra → Tx AlonzoEra → m (EventReturnType ep (EraRule "LEDGER" AlonzoEra) (MempoolState AlonzoEra, Validated (Tx AlonzoEra))) Source # reapplyTx ∷ MonadError (ApplyTxError AlonzoEra) m ⇒ Globals → MempoolEnv AlonzoEra → MempoolState AlonzoEra → Validated (Tx AlonzoEra) → m (MempoolState AlonzoEra) Source #
ApplyBlock AlonzoEra Source #
Instance details Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState AlonzoEra → SlotNo → EventReturnType ep (EraRule "TICK" AlonzoEra) (NewEpochState AlonzoEra) Source # applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError AlonzoEra) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState AlonzoEra → Block BHeaderView AlonzoEra → m (EventReturnType ep (EraRule "BBODY" AlonzoEra) (NewEpochState AlonzoEra)) Source # reapplyBlock ∷ Globals → NewEpochState AlonzoEra → Block BHeaderView AlonzoEra → NewEpochState AlonzoEra Source #