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 family Tx era
data ShelleyTxAuxData era
nativeMultiSigTag ∷ ByteString
hardforkAllegraAggregatedRewards ∷ ProtVer → Bool
hardforkAlonzoAllowMIRTransfer ∷ ProtVer → Bool
hardforkAlonzoValidatePoolRewardAccountNetID ∷ ProtVer → Bool
hardforkBabbageForgoRewardPrefilter ∷ ProtVer → Bool

Documentation

type Shelley = ShelleyEra Source #

Deprecated: In favor of ShelleyEra

data ShelleyEra Source #

Instances

Instances details

EraBlockBody ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockBody.Internal Associated Types type BlockBody ShelleyEra = (r ∷ Type) Source # Methods mkBasicBlockBody ∷ BlockBody ShelleyEra Source # txSeqBlockBodyL ∷ Lens' (BlockBody ShelleyEra) (StrictSeq (Tx ShelleyEra)) Source # fromTxSeq ∷ BlockBody ShelleyEra → StrictSeq (Tx ShelleyEra) Source # toTxSeq ∷ StrictSeq (Tx ShelleyEra) → BlockBody ShelleyEra Source # hashBlockBody ∷ BlockBody ShelleyEra → Hash HASH EraIndependentBlockBody Source # hashTxSeq ∷ BlockBody ShelleyEra → Hash HASH EraIndependentBlockBody Source # numSegComponents ∷ Word64 Source #
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 #
EraTx ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Associated Types data Tx ShelleyEra 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 # emptyUpgradePParamsUpdate ∷ UpgradePParams 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 # hkdPoolDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm 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 #
EraAccounts ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Account Associated Types type AccountState ShelleyEra = (r ∷ Type) Source # type Accounts ShelleyEra = (r ∷ Type) Source # Methods addAccountState ∷ Credential 'Staking → AccountState ShelleyEra → Accounts ShelleyEra → Accounts ShelleyEra Source # accountsMapL ∷ Lens' (Accounts ShelleyEra) (Map (Credential 'Staking) (AccountState ShelleyEra)) Source # balanceAccountStateL ∷ Lens' (AccountState ShelleyEra) (CompactForm Coin) Source # depositAccountStateL ∷ Lens' (AccountState ShelleyEra) (CompactForm Coin) Source # stakePoolDelegationAccountStateL ∷ Lens' (AccountState ShelleyEra) (Maybe (KeyHash 'StakePool)) Source # unregisterAccount ∷ Credential 'Staking → Accounts ShelleyEra → (Maybe (AccountState ShelleyEra), Accounts 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 → Accounts ShelleyEra → 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 #
ShelleyEraAccounts ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Account Methods mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState ShelleyEra Source # accountsPtrsMapL ∷ Lens' (Accounts ShelleyEra) (Map Ptr (Credential 'Staking)) accountsPtrsMapG ∷ SimpleGetter (Accounts ShelleyEra) (Map Ptr (Credential 'Staking)) Source # ptrAccountStateG ∷ SimpleGetter (AccountState ShelleyEra) Ptr 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 (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Associated Types type Rep (Tx ShelleyEra) ∷ Type → Type # Methods from ∷ Tx ShelleyEra → Rep (Tx ShelleyEra) x # to ∷ Rep (Tx ShelleyEra) x → Tx ShelleyEra #
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 (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods showsPrec ∷ Int → Tx ShelleyEra → ShowS # show ∷ Tx ShelleyEra → String # showList ∷ [Tx ShelleyEra] → ShowS #
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 (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods toCBOR ∷ Tx ShelleyEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx ShelleyEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx ShelleyEra] → Size Source #
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 (Tx ShelleyEra)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods decCBOR ∷ Decoder s (Annotator (Tx ShelleyEra)) Source # dropCBOR ∷ Proxy (Annotator (Tx ShelleyEra)) → Decoder s () Source # label ∷ Proxy (Annotator (Tx ShelleyEra)) → Text 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 (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods encCBOR ∷ Tx ShelleyEra → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Tx ShelleyEra) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Tx ShelleyEra] → Size 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 (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods eqRaw ∷ Tx ShelleyEra → Tx ShelleyEra → Bool 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 (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods rnf ∷ Tx ShelleyEra → () #
NFData (TxBody ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf ∷ TxBody ShelleyEra → () #
Eq (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods (==) ∷ Tx ShelleyEra → Tx ShelleyEra → Bool # (/=) ∷ Tx ShelleyEra → Tx ShelleyEra → Bool #
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 (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods noThunks ∷ Context → Tx ShelleyEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Tx ShelleyEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Tx ShelleyEra) → String Source #
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 BlockBody ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockBody.Internal type BlockBody ShelleyEra = ShelleyBlockBody ShelleyEra
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
newtype Tx ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx newtype Tx ShelleyEra = MkShelleyTx { unShelleyTx ∷ 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 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 AccountState ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Account type AccountState ShelleyEra = ShelleyAccountState ShelleyEra
type Accounts ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Account type Accounts ShelleyEra = ShelleyAccounts ShelleyEra
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 (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (Tx ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx ShelleyEra))))
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 #
(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 family Tx era Source #

Instances

Instances details

Generic (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Associated Types type Rep (Tx ShelleyEra) ∷ Type → Type # Methods from ∷ Tx ShelleyEra → Rep (Tx ShelleyEra) x # to ∷ Rep (Tx ShelleyEra) x → Tx ShelleyEra #
Show (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods showsPrec ∷ Int → Tx ShelleyEra → ShowS # show ∷ Tx ShelleyEra → String # showList ∷ [Tx ShelleyEra] → ShowS #
ToCBOR (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods toCBOR ∷ Tx ShelleyEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx ShelleyEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx ShelleyEra] → Size Source #
DecCBOR (Annotator (Tx ShelleyEra)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods decCBOR ∷ Decoder s (Annotator (Tx ShelleyEra)) Source # dropCBOR ∷ Proxy (Annotator (Tx ShelleyEra)) → Decoder s () Source # label ∷ Proxy (Annotator (Tx ShelleyEra)) → Text Source #
EncCBOR (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods encCBOR ∷ Tx ShelleyEra → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Tx ShelleyEra) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Tx ShelleyEra] → Size Source #
EqRaw (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods eqRaw ∷ Tx ShelleyEra → Tx ShelleyEra → Bool Source #
NFData (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods rnf ∷ Tx ShelleyEra → () #
Eq (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods (==) ∷ Tx ShelleyEra → Tx ShelleyEra → Bool # (/=) ∷ Tx ShelleyEra → Tx ShelleyEra → Bool #
NoThunks (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods noThunks ∷ Context → Tx ShelleyEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Tx ShelleyEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Tx ShelleyEra) → String Source #
newtype Tx ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx newtype Tx ShelleyEra = MkShelleyTx { unShelleyTx ∷ ShelleyTx ShelleyEra }
type Rep (Tx ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (Tx ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx ShelleyEra))))

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.

hardforkAllegraAggregatedRewards ∷ ProtVer → Bool Source #

hardforkAlonzoAllowMIRTransfer ∷ ProtVer → Bool Source #

Starting with protocol version 5, the MIR certs will also be able to transfer funds between the reserves and the treasury. Additionally, the semantics for the pervious functionality will change a bit. Before version 5 redundancies in the instantaneous reward mapping were handled by overriding. Now they are handled by adding the values and allowing for negatives updates, provided the sum for each key remains positive.

hardforkAlonzoValidatePoolRewardAccountNetID ∷ ProtVer → Bool Source #

Starting with protocol version 5, we will validate the network ID for the reward account listed in stake pool registration certificates.

hardforkBabbageForgoRewardPrefilter ∷ ProtVer → Bool Source #

Starting with protocol version 7, the reward calculation no longer filters out unregistered stake addresses at the moment the calculation begins. See the Shelley Ledger Errata 17.2.