Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley

Synopsis

type Shelley = ShelleyEra
data ShelleyEra
data ShelleyTx era
data ShelleyTxOut era
data family TxBody era
data ShelleyTxAuxData era
nativeMultiSigTag ∷ ByteString

Documentation

type Shelley = ShelleyEra Source #

Deprecated: In favor of ShelleyEra

data ShelleyEra Source #

Instances

Instances details

EraScript ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts Associated Types type Script ShelleyEra = (r ∷ Type) Source # type NativeScript ShelleyEra = (r ∷ Type) Source # Methods upgradeScript ∷ Script (PreviousEra ShelleyEra) → Script ShelleyEra Source # scriptPrefixTag ∷ Script ShelleyEra → ByteString Source # getNativeScript ∷ Script ShelleyEra → Maybe (NativeScript ShelleyEra) Source # fromNativeScript ∷ NativeScript ShelleyEra → Script ShelleyEra Source #
EraSegWits ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockChain Associated Types type TxSeq ShelleyEra = (r ∷ Type) Source # Methods fromTxSeq ∷ TxSeq ShelleyEra → StrictSeq (Tx ShelleyEra) Source # toTxSeq ∷ StrictSeq (Tx ShelleyEra) → TxSeq ShelleyEra Source # hashTxSeq ∷ TxSeq ShelleyEra → Hash HASH EraIndependentBlockBody Source # numSegComponents ∷ Word64 Source #
EraTx ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Associated Types type Tx ShelleyEra = (r ∷ Type) Source # Methods mkBasicTx ∷ TxBody ShelleyEra → Tx ShelleyEra Source # bodyTxL ∷ Lens' (Tx ShelleyEra) (TxBody ShelleyEra) Source # witsTxL ∷ Lens' (Tx ShelleyEra) (TxWits ShelleyEra) Source # auxDataTxL ∷ Lens' (Tx ShelleyEra) (StrictMaybe (TxAuxData ShelleyEra)) Source # sizeTxF ∷ SimpleGetter (Tx ShelleyEra) Integer Source # sizeTxForFeeCalculation ∷ Tx ShelleyEra → Integer Source # validateNativeScript ∷ Tx ShelleyEra → NativeScript ShelleyEra → Bool Source # getMinFeeTx ∷ PParams ShelleyEra → Tx ShelleyEra → Int → Coin Source #
EraTxAuxData ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Associated Types type TxAuxData ShelleyEra = (r ∷ Type) Source # Methods mkBasicTxAuxData ∷ TxAuxData ShelleyEra Source # metadataTxAuxDataL ∷ Lens' (TxAuxData ShelleyEra) (Map Word64 Metadatum) Source # validateTxAuxData ∷ ProtVer → TxAuxData ShelleyEra → Bool Source #
EraTxBody ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types data TxBody ShelleyEra Source # Methods mkBasicTxBody ∷ TxBody ShelleyEra Source # inputsTxBodyL ∷ Lens' (TxBody ShelleyEra) (Set TxIn) Source # outputsTxBodyL ∷ Lens' (TxBody ShelleyEra) (StrictSeq (TxOut ShelleyEra)) Source # feeTxBodyL ∷ Lens' (TxBody ShelleyEra) Coin Source # withdrawalsTxBodyL ∷ Lens' (TxBody ShelleyEra) Withdrawals Source # auxDataHashTxBodyL ∷ Lens' (TxBody ShelleyEra) (StrictMaybe TxAuxDataHash) Source # spendableInputsTxBodyF ∷ SimpleGetter (TxBody ShelleyEra) (Set TxIn) Source # allInputsTxBodyF ∷ SimpleGetter (TxBody ShelleyEra) (Set TxIn) Source # certsTxBodyL ∷ Lens' (TxBody ShelleyEra) (StrictSeq (TxCert ShelleyEra)) Source # getTotalDepositsTxBody ∷ PParams ShelleyEra → (KeyHash 'StakePool → Bool) → TxBody ShelleyEra → Coin Source # getTotalRefundsTxBody ∷ PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody ShelleyEra → Coin Source # getGenesisKeyHashCountTxBody ∷ TxBody ShelleyEra → Int Source #
EraTxOut ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Associated Types type TxOut ShelleyEra = (r ∷ Type) Source # Methods mkBasicTxOut ∷ Addr → Value ShelleyEra → TxOut ShelleyEra Source # upgradeTxOut ∷ TxOut (PreviousEra ShelleyEra) → TxOut ShelleyEra Source # valueTxOutL ∷ Lens' (TxOut ShelleyEra) (Value ShelleyEra) Source # compactValueTxOutL ∷ Lens' (TxOut ShelleyEra) (CompactForm (Value ShelleyEra)) Source # valueEitherTxOutL ∷ Lens' (TxOut ShelleyEra) (Either (Value ShelleyEra) (CompactForm (Value ShelleyEra))) Source # addrTxOutL ∷ Lens' (TxOut ShelleyEra) Addr Source # compactAddrTxOutL ∷ Lens' (TxOut ShelleyEra) CompactAddr Source # addrEitherTxOutL ∷ Lens' (TxOut ShelleyEra) (Either Addr CompactAddr) Source # getMinCoinSizedTxOut ∷ PParams ShelleyEra → Sized (TxOut ShelleyEra) → Coin Source # getMinCoinTxOut ∷ PParams ShelleyEra → TxOut ShelleyEra → Coin Source #
EraTxWits ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Associated Types type TxWits ShelleyEra = (r ∷ Type) Source # Methods mkBasicTxWits ∷ TxWits ShelleyEra Source # addrTxWitsL ∷ Lens' (TxWits ShelleyEra) (Set (WitVKey 'Witness)) Source # bootAddrTxWitsL ∷ Lens' (TxWits ShelleyEra) (Set BootstrapWitness) Source # scriptTxWitsL ∷ Lens' (TxWits ShelleyEra) (Map ScriptHash (Script ShelleyEra)) Source #
Era ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era Associated Types type PreviousEra ShelleyEra = (r ∷ Type) Source # type ProtVerLow ShelleyEra ∷ Nat Source # type ProtVerHigh ShelleyEra ∷ Nat Source # Methods eraName ∷ String Source #
EraPParams ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Associated Types type PParamsHKD f ShelleyEra = (r ∷ Type) Source # type UpgradePParams f ShelleyEra Source # type DowngradePParams f ShelleyEra Source # Methods applyPPUpdates ∷ PParams ShelleyEra → PParamsUpdate ShelleyEra → PParams ShelleyEra Source # emptyPParamsIdentity ∷ PParamsHKD Identity ShelleyEra Source # emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe ShelleyEra Source # upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra ShelleyEra)) ⇒ UpgradePParams f ShelleyEra → PParamsHKD f (PreviousEra ShelleyEra) → PParamsHKD f ShelleyEra Source # downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra ShelleyEra)) ⇒ DowngradePParams f ShelleyEra → PParamsHKD f ShelleyEra → PParamsHKD f (PreviousEra ShelleyEra) Source # hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Coin) Source # hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Coin) Source # hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Word32) Source # hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Word32) Source # hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Word16) Source # hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Coin) Source # hkdPoolDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Coin) Source # hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f EpochInterval) Source # hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Word16) Source # hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f NonNegativeInterval) Source # hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f UnitInterval) Source # hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f UnitInterval) Source # hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost ShelleyEra 6) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f UnitInterval) Source # ppDG ∷ SimpleGetter (PParams ShelleyEra) UnitInterval Source # hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost ShelleyEra 6) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Nonce) Source # hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost ShelleyEra 8) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f ProtVer) Source # ppProtocolVersionL ∷ Lens' (PParams ShelleyEra) ProtVer Source # ppuProtocolVersionL ∷ Lens' (PParamsUpdate ShelleyEra) (StrictMaybe ProtVer) Source # hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost ShelleyEra 4) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Coin) Source # hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Coin) Source # eraPParams ∷ [PParam ShelleyEra] Source #
EraTxCert ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Associated Types type TxCert ShelleyEra = (r ∷ Type) Source # type TxCertUpgradeError ShelleyEra Source # Methods upgradeTxCert ∷ TxCert (PreviousEra ShelleyEra) → Either (TxCertUpgradeError ShelleyEra) (TxCert ShelleyEra) Source # getVKeyWitnessTxCert ∷ TxCert ShelleyEra → Maybe (KeyHash 'Witness) Source # getScriptWitnessTxCert ∷ TxCert ShelleyEra → Maybe ScriptHash Source # mkRegPoolTxCert ∷ PoolParams → TxCert ShelleyEra Source # getRegPoolTxCert ∷ TxCert ShelleyEra → Maybe PoolParams Source # mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert ShelleyEra Source # getRetirePoolTxCert ∷ TxCert ShelleyEra → Maybe (KeyHash 'StakePool, EpochNo) Source # lookupRegStakeTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source # lookupUnRegStakeTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source # getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams ShelleyEra → (KeyHash 'StakePool → Bool) → f (TxCert ShelleyEra) → Coin Source # getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → f (TxCert ShelleyEra) → Coin Source #
EraGenesis ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Genesis Associated Types type Genesis ShelleyEra Source #
EraCertState ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState Associated Types type CertState ShelleyEra = (r ∷ Type) Source # Methods certDStateL ∷ Lens' (CertState ShelleyEra) (DState ShelleyEra) Source # certPStateL ∷ Lens' (CertState ShelleyEra) (PState ShelleyEra) Source # obligationCertState ∷ CertState ShelleyEra → Obligations Source # certsTotalDepositsTxBody ∷ PParams ShelleyEra → CertState ShelleyEra → TxBody ShelleyEra → Coin Source # certsTotalRefundsTxBody ∷ PParams ShelleyEra → CertState ShelleyEra → TxBody ShelleyEra → Coin Source #
EraGov ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance Associated Types type GovState ShelleyEra = (r ∷ Type) Source # Methods emptyGovState ∷ GovState ShelleyEra Source # curPParamsGovStateL ∷ Lens' (GovState ShelleyEra) (PParams ShelleyEra) Source # prevPParamsGovStateL ∷ Lens' (GovState ShelleyEra) (PParams ShelleyEra) Source # futurePParamsGovStateL ∷ Lens' (GovState ShelleyEra) (FuturePParams ShelleyEra) Source # obligationGovState ∷ GovState ShelleyEra → Obligations Source #
EraStake ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake Associated Types type InstantStake ShelleyEra = (r ∷ Type) Source # Methods instantStakeCredentialsL ∷ Lens' (InstantStake ShelleyEra) (Map (Credential 'Staking) (CompactForm Coin)) Source # addInstantStake ∷ UTxO ShelleyEra → InstantStake ShelleyEra → InstantStake ShelleyEra Source # deleteInstantStake ∷ UTxO ShelleyEra → InstantStake ShelleyEra → InstantStake ShelleyEra Source # resolveInstantStake ∷ InstantStake ShelleyEra → UMap → Stake Source #
EraUTxO ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.UTxO Associated Types type ScriptsNeeded ShelleyEra = (r ∷ Type) Source # Methods consumed ∷ PParams ShelleyEra → CertState ShelleyEra → UTxO ShelleyEra → TxBody ShelleyEra → Value ShelleyEra Source # getConsumedValue ∷ PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO ShelleyEra → TxBody ShelleyEra → Value ShelleyEra Source # getProducedValue ∷ PParams ShelleyEra → (KeyHash 'StakePool → Bool) → TxBody ShelleyEra → Value ShelleyEra Source # getScriptsProvided ∷ UTxO ShelleyEra → Tx ShelleyEra → ScriptsProvided ShelleyEra Source # getScriptsNeeded ∷ UTxO ShelleyEra → TxBody ShelleyEra → ScriptsNeeded ShelleyEra Source # getScriptsHashesNeeded ∷ ScriptsNeeded ShelleyEra → Set ScriptHash Source # getWitsVKeyNeeded ∷ CertState ShelleyEra → UTxO ShelleyEra → TxBody ShelleyEra → Set (KeyHash 'Witness) Source # getMinFeeTxUtxo ∷ PParams ShelleyEra → Tx ShelleyEra → UTxO ShelleyEra → Coin Source #
ApplyTx ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool Methods applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv ShelleyEra → MempoolState ShelleyEra → Tx ShelleyEra → Either (ApplyTxError ShelleyEra) (MempoolState ShelleyEra, Validated (Tx ShelleyEra)) Source #
ApplyBlock ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.API.Validation Methods applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState ShelleyEra → Block BHeaderView ShelleyEra → (NewEpochState ShelleyEra, [PredicateFailure (EraRule "BBODY" ShelleyEra)], [Event (EraRule "BBODY" ShelleyEra)]) Source # applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState ShelleyEra → SlotNo → (NewEpochState ShelleyEra, [Event (EraRule "TICK" ShelleyEra)]) Source #
ShelleyEraScript ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts Methods mkRequireSignature ∷ KeyHash 'Witness → NativeScript ShelleyEra Source # getRequireSignature ∷ NativeScript ShelleyEra → Maybe (KeyHash 'Witness) Source # mkRequireAllOf ∷ StrictSeq (NativeScript ShelleyEra) → NativeScript ShelleyEra Source # getRequireAllOf ∷ NativeScript ShelleyEra → Maybe (StrictSeq (NativeScript ShelleyEra)) Source # mkRequireAnyOf ∷ StrictSeq (NativeScript ShelleyEra) → NativeScript ShelleyEra Source # getRequireAnyOf ∷ NativeScript ShelleyEra → Maybe (StrictSeq (NativeScript ShelleyEra)) Source # mkRequireMOf ∷ Int → StrictSeq (NativeScript ShelleyEra) → NativeScript ShelleyEra Source # getRequireMOf ∷ NativeScript ShelleyEra → Maybe (Int, StrictSeq (NativeScript ShelleyEra)) Source #
EraTransition ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Associated Types data TransitionConfig ShelleyEra Source # Methods mkTransitionConfig ∷ TranslationContext ShelleyEra → TransitionConfig (PreviousEra ShelleyEra) → TransitionConfig ShelleyEra Source # injectIntoTestState ∷ TransitionConfig ShelleyEra → NewEpochState ShelleyEra → NewEpochState ShelleyEra Source # tcPreviousEraConfigL ∷ Lens' (TransitionConfig ShelleyEra) (TransitionConfig (PreviousEra ShelleyEra)) Source # tcTranslationContextL ∷ Lens' (TransitionConfig ShelleyEra) (TranslationContext ShelleyEra) Source # tcShelleyGenesisL ∷ Lens' (TransitionConfig ShelleyEra) ShelleyGenesis Source # tcInitialPParamsG ∷ SimpleGetter (TransitionConfig ShelleyEra) (PParams ShelleyEra) Source # toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig ShelleyEra → [a] parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig ShelleyEra)
ShelleyEraTxBody ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody ShelleyEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody ShelleyEra) (StrictMaybe (Update ShelleyEra)) Source #
ShelleyEraTxCert ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods mkRegTxCert ∷ StakeCredential → TxCert ShelleyEra Source # getRegTxCert ∷ TxCert ShelleyEra → Maybe StakeCredential Source # mkUnRegTxCert ∷ StakeCredential → TxCert ShelleyEra Source # getUnRegTxCert ∷ TxCert ShelleyEra → Maybe StakeCredential Source # mkDelegStakeTxCert ∷ StakeCredential → KeyHash 'StakePool → TxCert ShelleyEra Source # getDelegStakeTxCert ∷ TxCert ShelleyEra → Maybe (StakeCredential, KeyHash 'StakePool) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert ShelleyEra Source # getGenesisDelegTxCert ∷ TxCert ShelleyEra → Maybe GenesisDelegCert Source # mkMirTxCert ∷ MIRCert → TxCert ShelleyEra Source # getMirTxCert ∷ TxCert ShelleyEra → Maybe MIRCert Source #
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #
InjectRuleFailure "BBODY" ShelleyDelegPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #
InjectRuleFailure "BBODY" ShelleyDelplPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyLedgerPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyLedgersPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #
InjectRuleFailure "BBODY" ShelleyPoolPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #
InjectRuleFailure "BBODY" ShelleyPpupPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #
InjectRuleFailure "DELEG" ShelleyDelegPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg Methods injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "DELEG" ShelleyEra Source #
InjectRuleFailure "DELEGS" ShelleyDelegPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source #
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source #
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source #
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source #
InjectRuleFailure "DELPL" ShelleyDelegPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "DELPL" ShelleyEra Source #
InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "DELPL" ShelleyEra Source #
InjectRuleFailure "DELPL" ShelleyPoolPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "DELPL" ShelleyEra Source #
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyLedgerPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgerPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #
InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool Methods injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "POOL" ShelleyEra Source #
InjectRuleFailure "PPUP" ShelleyPpupPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "PPUP" ShelleyEra Source #
InjectRuleFailure "UTXO" ShelleyPpupPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "UTXO" ShelleyEra Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "UTXO" ShelleyEra Source #
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "UTXOW" ShelleyEra Source #
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "UTXOW" ShelleyEra Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "UTXOW" ShelleyEra Source #
Generic (TxBody ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep (TxBody ShelleyEra) ∷ Type → Type # Methods from ∷ TxBody ShelleyEra → Rep (TxBody ShelleyEra) x # to ∷ Rep (TxBody ShelleyEra) x → TxBody ShelleyEra #
Generic (TransitionConfig ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Associated Types type Rep (TransitionConfig ShelleyEra) ∷ Type → Type # Methods from ∷ TransitionConfig ShelleyEra → Rep (TransitionConfig ShelleyEra) x # to ∷ Rep (TransitionConfig ShelleyEra) x → TransitionConfig ShelleyEra #
Show (TxBody ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec ∷ Int → TxBody ShelleyEra → ShowS # show ∷ TxBody ShelleyEra → String # showList ∷ [TxBody ShelleyEra] → ShowS #
Show (TransitionConfig ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods showsPrec ∷ Int → TransitionConfig ShelleyEra → ShowS # show ∷ TransitionConfig ShelleyEra → String # showList ∷ [TransitionConfig ShelleyEra] → ShowS #
ToCBOR (TxBody ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR ∷ TxBody ShelleyEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody ShelleyEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody ShelleyEra] → Size Source #
DecCBOR (Annotator (TxBody ShelleyEra)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods decCBOR ∷ Decoder s (Annotator (TxBody ShelleyEra)) Source # dropCBOR ∷ Proxy (Annotator (TxBody ShelleyEra)) → Decoder s () Source # label ∷ Proxy (Annotator (TxBody ShelleyEra)) → Text Source #
EncCBOR (TxBody ShelleyEra) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods encCBOR ∷ TxBody ShelleyEra → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (TxBody ShelleyEra) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxBody ShelleyEra] → Size Source #
SafeToHash (TxBody ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods originalBytes ∷ TxBody ShelleyEra → ByteString Source # originalBytesSize ∷ TxBody ShelleyEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → TxBody ShelleyEra → SafeHash i Source #
EqRaw (TxBody ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods eqRaw ∷ TxBody ShelleyEra → TxBody ShelleyEra → Bool Source #
Memoized (TxBody ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type RawType (TxBody ShelleyEra) = (r ∷ Type) Source # Methods getMemoBytes ∷ TxBody ShelleyEra → MemoBytes (RawType (TxBody ShelleyEra)) wrapMemoBytes ∷ MemoBytes (RawType (TxBody ShelleyEra)) → TxBody ShelleyEra
NFData (TxBody ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf ∷ TxBody ShelleyEra → () #
Eq (TxBody ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) ∷ TxBody ShelleyEra → TxBody ShelleyEra → Bool # (/=) ∷ TxBody ShelleyEra → TxBody ShelleyEra → Bool #
Eq (TransitionConfig ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods (==) ∷ TransitionConfig ShelleyEra → TransitionConfig ShelleyEra → Bool # (/=) ∷ TransitionConfig ShelleyEra → TransitionConfig ShelleyEra → Bool #
NoThunks (TxBody ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks ∷ Context → TxBody ShelleyEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxBody ShelleyEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxBody ShelleyEra) → String Source #
NoThunks (TransitionConfig ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods noThunks ∷ Context → TransitionConfig ShelleyEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig ShelleyEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig ShelleyEra) → String Source #
HashAnnotated (TxBody ShelleyEra) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods hashAnnotated ∷ TxBody ShelleyEra → SafeHash EraIndependentTxBody Source #
type NativeScript ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts type NativeScript ShelleyEra = MultiSig ShelleyEra
type Script ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts type Script ShelleyEra = MultiSig ShelleyEra
type Tx ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx type Tx ShelleyEra = ShelleyTx ShelleyEra
type TxAuxData ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEra
newtype TxBody ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody newtype TxBody ShelleyEra = MkShelleyTxBody (MemoBytes ShelleyTxBodyRaw)
type TxOut ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut type TxOut ShelleyEra = ShelleyTxOut ShelleyEra
type TxSeq ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockChain type TxSeq ShelleyEra = ShelleyTxSeq ShelleyEra
type TxWits ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits type TxWits ShelleyEra = ShelleyTxWits ShelleyEra
type Value ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type Value ShelleyEra = Coin
type PreviousEra ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type PreviousEra ShelleyEra = ByronEra
type ProtVerHigh ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra
type ProtVerLow ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type ProtVerLow ShelleyEra = 2
type TranslationContext ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Translation type TranslationContext ShelleyEra = FromByronTranslationContext
type TxCert ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCert ShelleyEra = ShelleyTxCert ShelleyEra
type TxCertUpgradeError ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCertUpgradeError ShelleyEra = Void
type Genesis ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Genesis type Genesis ShelleyEra = ShelleyGenesis
type CertState ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState type CertState ShelleyEra = ShelleyCertState ShelleyEra
type GovState ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance type GovState ShelleyEra = ShelleyGovState ShelleyEra
type InstantStake ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake type InstantStake ShelleyEra = ShelleyInstantStake ShelleyEra
type ScriptsNeeded ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.UTxO type ScriptsNeeded ShelleyEra = ShelleyScriptsNeeded ShelleyEra
newtype TransitionConfig ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig { stcShelleyGenesis ∷ ShelleyGenesis }
type EraRule "BBODY" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "BBODY" ShelleyEra = ShelleyBBODY ShelleyEra
type EraRule "DELEG" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELEG" ShelleyEra = ShelleyDELEG ShelleyEra
type EraRule "DELEGS" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELEGS" ShelleyEra = ShelleyDELEGS ShelleyEra
type EraRule "DELPL" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELPL" ShelleyEra = ShelleyDELPL ShelleyEra
type EraRule "EPOCH" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "EPOCH" ShelleyEra = ShelleyEPOCH ShelleyEra
type EraRule "LEDGER" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "LEDGER" ShelleyEra = ShelleyLEDGER ShelleyEra
type EraRule "LEDGERS" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "LEDGERS" ShelleyEra = ShelleyLEDGERS ShelleyEra
type EraRule "MIR" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "MIR" ShelleyEra = ShelleyMIR ShelleyEra
type EraRule "NEWEPOCH" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "NEWEPOCH" ShelleyEra = ShelleyNEWEPOCH ShelleyEra
type EraRule "NEWPP" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "NEWPP" ShelleyEra = ShelleyNEWPP ShelleyEra
type EraRule "POOL" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "POOL" ShelleyEra = ShelleyPOOL ShelleyEra
type EraRule "POOLREAP" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "POOLREAP" ShelleyEra = ShelleyPOOLREAP ShelleyEra
type EraRule "PPUP" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "PPUP" ShelleyEra = ShelleyPPUP ShelleyEra
type EraRule "RUPD" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "RUPD" ShelleyEra = ShelleyRUPD ShelleyEra
type EraRule "SNAP" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "SNAP" ShelleyEra = ShelleySNAP ShelleyEra
type EraRule "TICK" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "TICK" ShelleyEra = ShelleyTICK ShelleyEra
type EraRule "TICKF" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "TICKF" ShelleyEra = ShelleyTICKF ShelleyEra
type EraRule "UPEC" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UPEC" ShelleyEra = ShelleyUPEC ShelleyEra
type EraRule "UTXO" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UTXO" ShelleyEra = ShelleyUTXO ShelleyEra
type EraRule "UTXOW" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UTXOW" ShelleyEra = ShelleyUTXOW ShelleyEra
type EraRuleEvent "LEDGER" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type EraRuleEvent "LEDGER" ShelleyEra = ShelleyLedgerEvent ShelleyEra
type EraRuleEvent "LEDGERS" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type EraRuleEvent "LEDGERS" ShelleyEra = ShelleyLedgersEvent ShelleyEra
type EraRuleEvent "NEWEPOCH" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type EraRuleEvent "NEWEPOCH" ShelleyEra = ShelleyNewEpochEvent ShelleyEra
type EraRuleEvent "POOLREAP" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type EraRuleEvent "POOLREAP" ShelleyEra = ShelleyPoolreapEvent ShelleyEra
type EraRuleEvent "TICK" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type EraRuleEvent "TICK" ShelleyEra = ShelleyTickEvent ShelleyEra
type EraRuleFailure "BBODY" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type EraRuleFailure "BBODY" ShelleyEra = ShelleyBbodyPredFailure ShelleyEra
type EraRuleFailure "DELEG" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type EraRuleFailure "DELEG" ShelleyEra = ShelleyDelegPredFailure ShelleyEra
type EraRuleFailure "DELEGS" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type EraRuleFailure "DELEGS" ShelleyEra = ShelleyDelegsPredFailure ShelleyEra
type EraRuleFailure "DELPL" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type EraRuleFailure "DELPL" ShelleyEra = ShelleyDelplPredFailure ShelleyEra
type EraRuleFailure "LEDGER" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type EraRuleFailure "LEDGER" ShelleyEra = ShelleyLedgerPredFailure ShelleyEra
type EraRuleFailure "LEDGERS" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type EraRuleFailure "LEDGERS" ShelleyEra = ShelleyLedgersPredFailure ShelleyEra
type EraRuleFailure "POOL" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type EraRuleFailure "POOL" ShelleyEra = ShelleyPoolPredFailure ShelleyEra
type EraRuleFailure "PPUP" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type EraRuleFailure "PPUP" ShelleyEra = ShelleyPpupPredFailure ShelleyEra
type EraRuleFailure "UTXO" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type EraRuleFailure "UTXO" ShelleyEra = ShelleyUtxoPredFailure ShelleyEra
type EraRuleFailure "UTXOW" ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type EraRuleFailure "UTXOW" ShelleyEra = ShelleyUtxowPredFailure ShelleyEra
type DowngradePParams f ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams type DowngradePParams f ShelleyEra = Void
type PParamsHKD f ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams type PParamsHKD f ShelleyEra = ShelleyPParams f ShelleyEra
type UpgradePParams f ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams type UpgradePParams f ShelleyEra = Void
type Rep (TxBody ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep (TxBody ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxBodyRaw))))
type Rep (TransitionConfig ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))
type RawType (TxBody ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type RawType (TxBody ShelleyEra) = ShelleyTxBodyRaw

data ShelleyTx era Source #

Instances

Instances details

Generic (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Associated Types type Rep (ShelleyTx era) ∷ Type → Type # Methods from ∷ ShelleyTx era → Rep (ShelleyTx era) x # to ∷ Rep (ShelleyTx era) x → ShelleyTx era #
(Era era, Show (TxBody era), Show (TxWits era), Show (TxAuxData era)) ⇒ Show (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods showsPrec ∷ Int → ShelleyTx era → ShowS # show ∷ ShelleyTx era → String # showList ∷ [ShelleyTx era] → ShowS #
(Era era, EncCBOR (TxWits era), EncCBOR (TxBody era), EncCBOR (TxAuxData era)) ⇒ ToCBOR (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods toCBOR ∷ ShelleyTx era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTx era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTx era] → Size Source #
(EraTxBody era, EraTxWits era, EraTxAuxData era) ⇒ DecCBOR (Annotator (ShelleyTx era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods decCBOR ∷ Decoder s (Annotator (ShelleyTx era)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyTx era)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyTx era)) → Text Source #
(Era era, DecCBOR (TxBody era), DecCBOR (TxWits era), DecCBOR (TxAuxData era)) ⇒ DecCBOR (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods decCBOR ∷ Decoder s (ShelleyTx era) Source # dropCBOR ∷ Proxy (ShelleyTx era) → Decoder s () Source # label ∷ Proxy (ShelleyTx era) → Text Source #
(Era era, EncCBOR (TxWits era), EncCBOR (TxBody era), EncCBOR (TxAuxData era)) ⇒ EncCBOR (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods encCBOR ∷ ShelleyTx era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTx era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTx era] → Size Source #
(Tx era ~ ShelleyTx era, EraTx era) ⇒ EqRaw (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods eqRaw ∷ ShelleyTx era → ShelleyTx era → Bool Source #
(NFData (TxBody era), NFData (TxWits era), NFData (TxAuxData era)) ⇒ NFData (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods rnf ∷ ShelleyTx era → () #
(Era era, Eq (TxBody era), Eq (TxWits era), Eq (TxAuxData era)) ⇒ Eq (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods (==) ∷ ShelleyTx era → ShelleyTx era → Bool # (/=) ∷ ShelleyTx era → ShelleyTx era → Bool #
(Era era, NoThunks (TxAuxData era), NoThunks (TxBody era), NoThunks (TxWits era)) ⇒ NoThunks (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods noThunks ∷ Context → ShelleyTx era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTx era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTx era) → String Source #
type Rep (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (ShelleyTx era) = D1 ('MetaData "ShelleyTx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.17.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "stBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxBody era)) :: (S1 ('MetaSel ('Just "stWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxWits era)) :: S1 ('MetaSel ('Just "stAuxData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (TxAuxData era))))))

data ShelleyTxOut era Source #

Instances

Instances details

(Era era, Val (Value era)) ⇒ ToJSON (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods toJSON ∷ ShelleyTxOut era → Value Source # toEncoding ∷ ShelleyTxOut era → Encoding Source # toJSONList ∷ [ShelleyTxOut era] → Value Source # toEncodingList ∷ [ShelleyTxOut era] → Encoding Source # omitField ∷ ShelleyTxOut era → Bool Source #
(Era era, Val (Value era)) ⇒ Show (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods showsPrec ∷ Int → ShelleyTxOut era → ShowS # show ∷ ShelleyTxOut era → String # showList ∷ [ShelleyTxOut era] → ShowS #
(Era era, DecCBOR (CompactForm (Value era))) ⇒ FromCBOR (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods fromCBOR ∷ Decoder s (ShelleyTxOut era) Source # label ∷ Proxy (ShelleyTxOut era) → Text Source #
(Era era, EncCBOR (CompactForm (Value era))) ⇒ ToCBOR (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods toCBOR ∷ ShelleyTxOut era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxOut era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxOut era] → Size Source #
(Era era, DecCBOR (CompactForm (Value era))) ⇒ DecCBOR (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods decCBOR ∷ Decoder s (ShelleyTxOut era) Source # dropCBOR ∷ Proxy (ShelleyTxOut era) → Decoder s () Source # label ∷ Proxy (ShelleyTxOut era) → Text Source #
(Era era, MemPack (CompactForm (Value era)), DecCBOR (CompactForm (Value era))) ⇒ DecShareCBOR (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Associated Types type Share (ShelleyTxOut era) Source # Methods getShare ∷ ShelleyTxOut era → Share (ShelleyTxOut era) Source # decShareCBOR ∷ Share (ShelleyTxOut era) → Decoder s (ShelleyTxOut era) Source # decSharePlusCBOR ∷ StateT (Share (ShelleyTxOut era)) (Decoder s) (ShelleyTxOut era) Source #
(Era era, EncCBOR (CompactForm (Value era))) ⇒ EncCBOR (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods encCBOR ∷ ShelleyTxOut era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxOut era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxOut era] → Size Source #
(Era era, Val (Value era)) ⇒ ToKeyValuePairs (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyTxOut era → [kv] Source #
NFData (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods rnf ∷ ShelleyTxOut era → () #
Eq (CompactForm (Value era)) ⇒ Eq (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods (==) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool # (/=) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool #
(Era era, MemPack (CompactForm (Value era))) ⇒ MemPack (ShelleyTxOut era) Source #	This instance uses a zero Tag for forward compatibility in binary representation with TxOut instances for future eras
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods typeName ∷ String Source # packedByteCount ∷ ShelleyTxOut era → Int Source # packM ∷ ShelleyTxOut era → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (ShelleyTxOut era) Source #
NoThunks (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods noThunks ∷ Context → ShelleyTxOut era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTxOut era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTxOut era) → String Source #
type Share (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut type Share (ShelleyTxOut era) = Interns (Credential 'Staking)

data family TxBody era Source #

The body of a transaction.

Instances

Instances details

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

data ShelleyTxAuxData era Source #

Instances

Instances details

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

nativeMultiSigTag ∷ ByteString Source #

Magic number "memorialized" in the ValidateScript class under the method: scriptPrefixTag:: Core.Script era -> Bs.ByteString, for the Shelley Era.