Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley

Synopsis

type Shelley = ShelleyEra StandardCrypto
data ShelleyEra c
data ShelleyTx era
data ShelleyTxOut era
data ShelleyTxBody era
data ShelleyTxAuxData era
nativeMultiSigTag ∷ ByteString

Documentation

type Shelley = ShelleyEra StandardCrypto Source #

data ShelleyEra c Source #

Instances

Instances details

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelegPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyDelegsPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelplPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyDelplPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyLedgerPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyLedgersPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyPoolPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyPpupPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyPpupPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyUtxoPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody Methods injectFailure ∷ ShelleyUtxowPredFailure (ShelleyEra c) → EraRuleFailure "BBODY" (ShelleyEra c) Source #
InjectRuleFailure "DELEG" ShelleyDelegPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg Methods injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "DELEG" (ShelleyEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelegPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "DELEGS" (ShelleyEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyDelegsPredFailure (ShelleyEra c) → EraRuleFailure "DELEGS" (ShelleyEra c) Source #
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyDelplPredFailure (ShelleyEra c) → EraRuleFailure "DELEGS" (ShelleyEra c) Source #
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "DELEGS" (ShelleyEra c) Source #
InjectRuleFailure "DELPL" ShelleyDelegPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "DELPL" (ShelleyEra c) Source #
InjectRuleFailure "DELPL" ShelleyDelplPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods injectFailure ∷ ShelleyDelplPredFailure (ShelleyEra c) → EraRuleFailure "DELPL" (ShelleyEra c) Source #
InjectRuleFailure "DELPL" ShelleyPoolPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "DELPL" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyDelegsPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyDelplPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyLedgerPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyPpupPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyUtxoPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods injectFailure ∷ ShelleyUtxowPredFailure (ShelleyEra c) → EraRuleFailure "LEDGER" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyDelegsPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyDelplPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgerPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyPpupPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxoPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxowPredFailure (ShelleyEra c) → EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
InjectRuleFailure "POOL" ShelleyPoolPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool Methods injectFailure ∷ ShelleyPoolPredFailure (ShelleyEra c) → EraRuleFailure "POOL" (ShelleyEra c) Source #
InjectRuleFailure "PPUP" ShelleyPpupPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods injectFailure ∷ ShelleyPpupPredFailure (ShelleyEra c) → EraRuleFailure "PPUP" (ShelleyEra c) Source #
InjectRuleFailure "UTXO" ShelleyPpupPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods injectFailure ∷ ShelleyPpupPredFailure (ShelleyEra c) → EraRuleFailure "UTXO" (ShelleyEra c) Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods injectFailure ∷ ShelleyUtxoPredFailure (ShelleyEra c) → EraRuleFailure "UTXO" (ShelleyEra c) Source #
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods injectFailure ∷ ShelleyPpupPredFailure (ShelleyEra c) → EraRuleFailure "UTXOW" (ShelleyEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods injectFailure ∷ ShelleyUtxoPredFailure (ShelleyEra c) → EraRuleFailure "UTXOW" (ShelleyEra c) Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure (ShelleyEra c) → EraRuleFailure "UTXOW" (ShelleyEra c) Source #
Crypto c ⇒ FromJSON (TransitionConfig (ShelleyEra c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig (ShelleyEra c)) Source # parseJSONList ∷ Value → Parser [TransitionConfig (ShelleyEra c)] Source # omittedField ∷ Maybe (TransitionConfig (ShelleyEra c)) Source #
Crypto c ⇒ ToJSON (TransitionConfig (ShelleyEra c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods toJSON ∷ TransitionConfig (ShelleyEra c) → Value Source # toEncoding ∷ TransitionConfig (ShelleyEra c) → Encoding Source # toJSONList ∷ [TransitionConfig (ShelleyEra c)] → Value Source # toEncodingList ∷ [TransitionConfig (ShelleyEra c)] → Encoding Source # omitField ∷ TransitionConfig (ShelleyEra c) → Bool Source #
Generic (TransitionConfig (ShelleyEra c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Associated Types type Rep (TransitionConfig (ShelleyEra c)) ∷ Type → Type Source # Methods from ∷ TransitionConfig (ShelleyEra c) → Rep (TransitionConfig (ShelleyEra c)) x Source # to ∷ Rep (TransitionConfig (ShelleyEra c)) x → TransitionConfig (ShelleyEra c) Source #
Crypto c ⇒ Show (TransitionConfig (ShelleyEra c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods showsPrec ∷ Int → TransitionConfig (ShelleyEra c) → ShowS Source # show ∷ TransitionConfig (ShelleyEra c) → String Source # showList ∷ [TransitionConfig (ShelleyEra c)] → ShowS Source #
Crypto c ⇒ EraScript (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts Associated Types type Script (ShelleyEra c) = (r ∷ Type) Source # type NativeScript (ShelleyEra c) = (r ∷ Type) Source # Methods upgradeScript ∷ Script (PreviousEra (ShelleyEra c)) → Script (ShelleyEra c) Source # scriptPrefixTag ∷ Script (ShelleyEra c) → ByteString Source # getNativeScript ∷ Script (ShelleyEra c) → Maybe (NativeScript (ShelleyEra c)) Source # fromNativeScript ∷ NativeScript (ShelleyEra c) → Script (ShelleyEra c) Source #
Crypto c ⇒ EraSegWits (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockChain Associated Types type TxSeq (ShelleyEra c) = (r ∷ Type) Source # Methods fromTxSeq ∷ TxSeq (ShelleyEra c) → StrictSeq (Tx (ShelleyEra c)) Source # toTxSeq ∷ StrictSeq (Tx (ShelleyEra c)) → TxSeq (ShelleyEra c) Source # hashTxSeq ∷ TxSeq (ShelleyEra c) → Hash (HASH (EraCrypto (ShelleyEra c))) EraIndependentBlockBody Source # numSegComponents ∷ Word64 Source #
Crypto c ⇒ EraTx (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Associated Types type Tx (ShelleyEra c) = (r ∷ Type) Source # type TxUpgradeError (ShelleyEra c) Source # Methods mkBasicTx ∷ TxBody (ShelleyEra c) → Tx (ShelleyEra c) Source # bodyTxL ∷ Lens' (Tx (ShelleyEra c)) (TxBody (ShelleyEra c)) Source # witsTxL ∷ Lens' (Tx (ShelleyEra c)) (TxWits (ShelleyEra c)) Source # auxDataTxL ∷ Lens' (Tx (ShelleyEra c)) (StrictMaybe (AuxiliaryData (ShelleyEra c))) Source # sizeTxF ∷ SimpleGetter (Tx (ShelleyEra c)) Integer Source # validateNativeScript ∷ Tx (ShelleyEra c) → NativeScript (ShelleyEra c) → Bool Source # getMinFeeTx ∷ PParams (ShelleyEra c) → Tx (ShelleyEra c) → Int → Coin Source # upgradeTx ∷ Tx (PreviousEra (ShelleyEra c)) → Either (TxUpgradeError (ShelleyEra c)) (Tx (ShelleyEra c)) Source #
Crypto c ⇒ EraTxAuxData (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Associated Types type TxAuxData (ShelleyEra c) = (r ∷ Type) Source # Methods mkBasicTxAuxData ∷ TxAuxData (ShelleyEra c) Source # metadataTxAuxDataL ∷ Lens' (TxAuxData (ShelleyEra c)) (Map Word64 Metadatum) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra (ShelleyEra c)) → TxAuxData (ShelleyEra c) Source # hashTxAuxData ∷ TxAuxData (ShelleyEra c) → AuxiliaryDataHash (EraCrypto (ShelleyEra c)) Source # validateTxAuxData ∷ ProtVer → TxAuxData (ShelleyEra c) → Bool Source #
Crypto c ⇒ EraTxBody (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type TxBody (ShelleyEra c) = (r ∷ Type) Source # type TxBodyUpgradeError (ShelleyEra c) Source # Methods mkBasicTxBody ∷ TxBody (ShelleyEra c) Source # inputsTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (Set (TxIn (EraCrypto (ShelleyEra c)))) Source # outputsTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (StrictSeq (TxOut (ShelleyEra c))) Source # feeTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) Coin Source # withdrawalsTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (Withdrawals (EraCrypto (ShelleyEra c))) Source # auxDataHashTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (StrictMaybe (AuxiliaryDataHash (EraCrypto (ShelleyEra c)))) Source # spendableInputsTxBodyF ∷ SimpleGetter (TxBody (ShelleyEra c)) (Set (TxIn (EraCrypto (ShelleyEra c)))) Source # allInputsTxBodyF ∷ SimpleGetter (TxBody (ShelleyEra c)) (Set (TxIn (EraCrypto (ShelleyEra c)))) Source # certsTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (StrictSeq (TxCert (ShelleyEra c))) Source # getTotalDepositsTxBody ∷ PParams (ShelleyEra c) → (KeyHash 'StakePool (EraCrypto (ShelleyEra c)) → Bool) → TxBody (ShelleyEra c) → Coin Source # getTotalRefundsTxBody ∷ PParams (ShelleyEra c) → (Credential 'Staking (EraCrypto (ShelleyEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (ShelleyEra c)) → Maybe Coin) → TxBody (ShelleyEra c) → Coin Source # getGenesisKeyHashCountTxBody ∷ TxBody (ShelleyEra c) → Int Source # upgradeTxBody ∷ TxBody (PreviousEra (ShelleyEra c)) → Either (TxBodyUpgradeError (ShelleyEra c)) (TxBody (ShelleyEra c)) Source #
Crypto crypto ⇒ EraTxOut (ShelleyEra crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Associated Types type TxOut (ShelleyEra crypto) = (r ∷ Type) Source # Methods mkBasicTxOut ∷ Addr (EraCrypto (ShelleyEra crypto)) → Value (ShelleyEra crypto) → TxOut (ShelleyEra crypto) Source # upgradeTxOut ∷ TxOut (PreviousEra (ShelleyEra crypto)) → TxOut (ShelleyEra crypto) Source # valueTxOutL ∷ Lens' (TxOut (ShelleyEra crypto)) (Value (ShelleyEra crypto)) Source # compactValueTxOutL ∷ Lens' (TxOut (ShelleyEra crypto)) (CompactForm (Value (ShelleyEra crypto))) Source # valueEitherTxOutL ∷ Lens' (TxOut (ShelleyEra crypto)) (Either (Value (ShelleyEra crypto)) (CompactForm (Value (ShelleyEra crypto)))) Source # addrTxOutL ∷ Lens' (TxOut (ShelleyEra crypto)) (Addr (EraCrypto (ShelleyEra crypto))) Source # compactAddrTxOutL ∷ Lens' (TxOut (ShelleyEra crypto)) (CompactAddr (EraCrypto (ShelleyEra crypto))) Source # addrEitherTxOutL ∷ Lens' (TxOut (ShelleyEra crypto)) (Either (Addr (EraCrypto (ShelleyEra crypto))) (CompactAddr (EraCrypto (ShelleyEra crypto)))) Source # getMinCoinSizedTxOut ∷ PParams (ShelleyEra crypto) → Sized (TxOut (ShelleyEra crypto)) → Coin Source # getMinCoinTxOut ∷ PParams (ShelleyEra crypto) → TxOut (ShelleyEra crypto) → Coin Source #
Crypto c ⇒ EraTxWits (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Associated Types type TxWits (ShelleyEra c) = (r ∷ Type) Source # Methods mkBasicTxWits ∷ TxWits (ShelleyEra c) Source # addrTxWitsL ∷ Lens' (TxWits (ShelleyEra c)) (Set (WitVKey 'Witness (EraCrypto (ShelleyEra c)))) Source # bootAddrTxWitsL ∷ Lens' (TxWits (ShelleyEra c)) (Set (BootstrapWitness (EraCrypto (ShelleyEra c)))) Source # scriptTxWitsL ∷ Lens' (TxWits (ShelleyEra c)) (Map (ScriptHash (EraCrypto (ShelleyEra c))) (Script (ShelleyEra c))) Source # upgradeTxWits ∷ TxWits (PreviousEra (ShelleyEra c)) → TxWits (ShelleyEra c) Source #
Crypto c ⇒ Era (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era Associated Types type EraCrypto (ShelleyEra c) Source # type PreviousEra (ShelleyEra c) = (r ∷ Type) Source # type ProtVerLow (ShelleyEra c) ∷ Nat Source # type ProtVerHigh (ShelleyEra c) ∷ Nat Source # Methods eraName ∷ String Source #
Crypto c ⇒ EraPParams (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Associated Types type PParamsHKD f (ShelleyEra c) = (r ∷ Type) Source # type UpgradePParams f (ShelleyEra c) Source # type DowngradePParams f (ShelleyEra c) Source # Methods applyPPUpdates ∷ PParams (ShelleyEra c) → PParamsUpdate (ShelleyEra c) → PParams (ShelleyEra c) Source # emptyPParamsIdentity ∷ PParamsHKD Identity (ShelleyEra c) Source # emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe (ShelleyEra c) Source # upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra (ShelleyEra c))) ⇒ UpgradePParams f (ShelleyEra c) → PParamsHKD f (PreviousEra (ShelleyEra c)) → PParamsHKD f (ShelleyEra c) Source # downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra (ShelleyEra c))) ⇒ DowngradePParams f (ShelleyEra c) → PParamsHKD f (ShelleyEra c) → PParamsHKD f (PreviousEra (ShelleyEra c)) Source # hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source # hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source # hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Word32) Source # hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Word32) Source # hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Word16) Source # hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source # hkdPoolDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source # hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f EpochInterval) Source # hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Natural) Source # hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f NonNegativeInterval) Source # hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f UnitInterval) Source # hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f UnitInterval) Source # hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (ShelleyEra c) 6) ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f UnitInterval) Source # ppDG ∷ SimpleGetter (PParams (ShelleyEra c)) UnitInterval Source # hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (ShelleyEra c) 6) ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Nonce) Source # hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (ShelleyEra c) 8) ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f ProtVer) Source # ppProtocolVersionL ∷ Lens' (PParams (ShelleyEra c)) ProtVer Source # ppuProtocolVersionL ∷ Lens' (PParamsUpdate (ShelleyEra c)) (StrictMaybe ProtVer) Source # hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (ShelleyEra c) 4) ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source # hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source #
Crypto c ⇒ EraTxCert (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Associated Types type TxCert (ShelleyEra c) = (r ∷ Type) Source # type TxCertUpgradeError (ShelleyEra c) Source # Methods upgradeTxCert ∷ TxCert (PreviousEra (ShelleyEra c)) → Either (TxCertUpgradeError (ShelleyEra c)) (TxCert (ShelleyEra c)) Source # getVKeyWitnessTxCert ∷ TxCert (ShelleyEra c) → Maybe (KeyHash 'Witness (EraCrypto (ShelleyEra c))) Source # getScriptWitnessTxCert ∷ TxCert (ShelleyEra c) → Maybe (ScriptHash (EraCrypto (ShelleyEra c))) Source # mkRegPoolTxCert ∷ PoolParams (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getRegPoolTxCert ∷ TxCert (ShelleyEra c) → Maybe (PoolParams (EraCrypto (ShelleyEra c))) Source # mkRetirePoolTxCert ∷ KeyHash 'StakePool (EraCrypto (ShelleyEra c)) → EpochNo → TxCert (ShelleyEra c) Source # getRetirePoolTxCert ∷ TxCert (ShelleyEra c) → Maybe (KeyHash 'StakePool (EraCrypto (ShelleyEra c)), EpochNo) Source # lookupRegStakeTxCert ∷ TxCert (ShelleyEra c) → Maybe (Credential 'Staking (EraCrypto (ShelleyEra c))) Source # lookupUnRegStakeTxCert ∷ TxCert (ShelleyEra c) → Maybe (Credential 'Staking (EraCrypto (ShelleyEra c))) Source # getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams (ShelleyEra c) → (KeyHash 'StakePool (EraCrypto (ShelleyEra c)) → Bool) → f (TxCert (ShelleyEra c)) → Coin Source # getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams (ShelleyEra c) → (Credential 'Staking (EraCrypto (ShelleyEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (ShelleyEra c)) → Maybe Coin) → f (TxCert (ShelleyEra c)) → Coin Source #
Crypto c ⇒ EraUTxO (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.UTxO Associated Types type ScriptsNeeded (ShelleyEra c) = (r ∷ Type) Source # Methods getConsumedValue ∷ PParams (ShelleyEra c) → (Credential 'Staking (EraCrypto (ShelleyEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (ShelleyEra c)) → Maybe Coin) → UTxO (ShelleyEra c) → TxBody (ShelleyEra c) → Value (ShelleyEra c) Source # getProducedValue ∷ PParams (ShelleyEra c) → (KeyHash 'StakePool (EraCrypto (ShelleyEra c)) → Bool) → TxBody (ShelleyEra c) → Value (ShelleyEra c) Source # getScriptsProvided ∷ UTxO (ShelleyEra c) → Tx (ShelleyEra c) → ScriptsProvided (ShelleyEra c) Source # getScriptsNeeded ∷ UTxO (ShelleyEra c) → TxBody (ShelleyEra c) → ScriptsNeeded (ShelleyEra c) Source # getScriptsHashesNeeded ∷ ScriptsNeeded (ShelleyEra c) → Set (ScriptHash (EraCrypto (ShelleyEra c))) Source # getWitsVKeyNeeded ∷ CertState (ShelleyEra c) → UTxO (ShelleyEra c) → TxBody (ShelleyEra c) → Set (KeyHash 'Witness (EraCrypto (ShelleyEra c))) Source # getMinFeeTxUtxo ∷ PParams (ShelleyEra c) → Tx (ShelleyEra c) → UTxO (ShelleyEra c) → Coin Source #
Crypto c ⇒ CanStartFromGenesis (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.API.Genesis Associated Types type AdditionalGenesisConfig (ShelleyEra c) Source # Methods fromShelleyPParams ∷ AdditionalGenesisConfig (ShelleyEra c) → PParams (ShelleyEra (EraCrypto (ShelleyEra c))) → PParams (ShelleyEra c) Source # initialState ∷ ShelleyGenesis (EraCrypto (ShelleyEra c)) → AdditionalGenesisConfig (ShelleyEra c) → NewEpochState (ShelleyEra c) Source #
(EraPParams (ShelleyEra c), DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool Methods applyTx ∷ MonadError (ApplyTxError (ShelleyEra c)) m ⇒ Globals → MempoolEnv (ShelleyEra c) → MempoolState (ShelleyEra c) → Tx (ShelleyEra c) → m (MempoolState (ShelleyEra c), Validated (Tx (ShelleyEra c))) Source # reapplyTx ∷ MonadError (ApplyTxError (ShelleyEra c)) m ⇒ Globals → MempoolEnv (ShelleyEra c) → MempoolState (ShelleyEra c) → Validated (Tx (ShelleyEra c)) → m (MempoolState (ShelleyEra c)) Source #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.API.Validation Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState (ShelleyEra c) → SlotNo → EventReturnType ep (EraRule "TICK" (ShelleyEra c)) (NewEpochState (ShelleyEra c)) Source # applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError (ShelleyEra c)) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState (ShelleyEra c) → Block (BHeaderView (EraCrypto (ShelleyEra c))) (ShelleyEra c) → m (EventReturnType ep (EraRule "BBODY" (ShelleyEra c)) (NewEpochState (ShelleyEra c))) Source # reapplyBlock ∷ Globals → NewEpochState (ShelleyEra c) → Block (BHeaderView (EraCrypto (ShelleyEra c))) (ShelleyEra c) → NewEpochState (ShelleyEra c) Source #
Crypto c ⇒ EraGov (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance Associated Types type GovState (ShelleyEra c) = (r ∷ Type) Source # Methods emptyGovState ∷ GovState (ShelleyEra c) Source # getProposedPPUpdates ∷ GovState (ShelleyEra c) → Maybe (ProposedPPUpdates (ShelleyEra c)) Source # curPParamsGovStateL ∷ Lens' (GovState (ShelleyEra c)) (PParams (ShelleyEra c)) Source # prevPParamsGovStateL ∷ Lens' (GovState (ShelleyEra c)) (PParams (ShelleyEra c)) Source # futurePParamsGovStateL ∷ Lens' (GovState (ShelleyEra c)) (FuturePParams (ShelleyEra c)) Source # obligationGovState ∷ GovState (ShelleyEra c) → Obligations Source #
Crypto c ⇒ EraTransition (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Associated Types data TransitionConfig (ShelleyEra c) Source # Methods mkTransitionConfig ∷ TranslationContext (ShelleyEra c) → TransitionConfig (PreviousEra (ShelleyEra c)) → TransitionConfig (ShelleyEra c) Source # injectIntoTestState ∷ TransitionConfig (ShelleyEra c) → NewEpochState (ShelleyEra c) → NewEpochState (ShelleyEra c) Source # tcPreviousEraConfigL ∷ Lens' (TransitionConfig (ShelleyEra c)) (TransitionConfig (PreviousEra (ShelleyEra c))) Source # tcTranslationContextL ∷ Lens' (TransitionConfig (ShelleyEra c)) (TranslationContext (ShelleyEra c)) Source # tcShelleyGenesisL ∷ Lens' (TransitionConfig (ShelleyEra c)) (ShelleyGenesis (EraCrypto (ShelleyEra c))) Source # tcInitialPParamsG ∷ SimpleGetter (TransitionConfig (ShelleyEra c)) (PParams (ShelleyEra c)) Source #
Crypto c ⇒ ShelleyEraTxBody (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (StrictMaybe (Update (ShelleyEra c))) Source #
Crypto c ⇒ ShelleyEraTxCert (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods mkRegTxCert ∷ StakeCredential (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getRegTxCert ∷ TxCert (ShelleyEra c) → Maybe (StakeCredential (EraCrypto (ShelleyEra c))) Source # mkUnRegTxCert ∷ StakeCredential (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getUnRegTxCert ∷ TxCert (ShelleyEra c) → Maybe (StakeCredential (EraCrypto (ShelleyEra c))) Source # mkDelegStakeTxCert ∷ StakeCredential (EraCrypto (ShelleyEra c)) → KeyHash 'StakePool (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getDelegStakeTxCert ∷ TxCert (ShelleyEra c) → Maybe (StakeCredential (EraCrypto (ShelleyEra c)), KeyHash 'StakePool (EraCrypto (ShelleyEra c))) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getGenesisDelegTxCert ∷ TxCert (ShelleyEra c) → Maybe (GenesisDelegCert (EraCrypto (ShelleyEra c))) Source # mkMirTxCert ∷ MIRCert (EraCrypto (ShelleyEra c)) → TxCert (ShelleyEra c) Source # getMirTxCert ∷ TxCert (ShelleyEra c) → Maybe (MIRCert (EraCrypto (ShelleyEra c))) Source #
Crypto c ⇒ Eq (TransitionConfig (ShelleyEra c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods (==) ∷ TransitionConfig (ShelleyEra c) → TransitionConfig (ShelleyEra c) → Bool Source # (/=) ∷ TransitionConfig (ShelleyEra c) → TransitionConfig (ShelleyEra c) → Bool Source #
Crypto c ⇒ NoThunks (TransitionConfig (ShelleyEra c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods noThunks ∷ Context → TransitionConfig (ShelleyEra c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig (ShelleyEra c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig (ShelleyEra c)) → String Source #
type EraRule "BBODY" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "BBODY" (ShelleyEra c) = ShelleyBBODY (ShelleyEra c)
type EraRule "DELEG" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELEG" (ShelleyEra c) = ShelleyDELEG (ShelleyEra c)
type EraRule "DELEGS" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELEGS" (ShelleyEra c) = ShelleyDELEGS (ShelleyEra c)
type EraRule "DELPL" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "DELPL" (ShelleyEra c) = ShelleyDELPL (ShelleyEra c)
type EraRule "EPOCH" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "EPOCH" (ShelleyEra c) = ShelleyEPOCH (ShelleyEra c)
type EraRule "LEDGER" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "LEDGER" (ShelleyEra c) = ShelleyLEDGER (ShelleyEra c)
type EraRule "LEDGERS" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "LEDGERS" (ShelleyEra c) = ShelleyLEDGERS (ShelleyEra c)
type EraRule "MIR" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "MIR" (ShelleyEra c) = ShelleyMIR (ShelleyEra c)
type EraRule "NEWEPOCH" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "NEWEPOCH" (ShelleyEra c) = ShelleyNEWEPOCH (ShelleyEra c)
type EraRule "NEWPP" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "NEWPP" (ShelleyEra c) = ShelleyNEWPP (ShelleyEra c)
type EraRule "POOL" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "POOL" (ShelleyEra c) = ShelleyPOOL (ShelleyEra c)
type EraRule "POOLREAP" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "POOLREAP" (ShelleyEra c) = ShelleyPOOLREAP (ShelleyEra c)
type EraRule "PPUP" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "PPUP" (ShelleyEra c) = ShelleyPPUP (ShelleyEra c)
type EraRule "RUPD" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "RUPD" (ShelleyEra c) = ShelleyRUPD (ShelleyEra c)
type EraRule "SNAP" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "SNAP" (ShelleyEra c) = ShelleySNAP (ShelleyEra c)
type EraRule "TICK" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "TICK" (ShelleyEra c) = ShelleyTICK (ShelleyEra c)
type EraRule "TICKF" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "TICKF" (ShelleyEra c) = ShelleyTICKF (ShelleyEra c)
type EraRule "UPEC" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UPEC" (ShelleyEra c) = ShelleyUPEC (ShelleyEra c)
type EraRule "UTXO" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UTXO" (ShelleyEra c) = ShelleyUTXO (ShelleyEra c)
type EraRule "UTXOW" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraRule "UTXOW" (ShelleyEra c) = ShelleyUTXOW (ShelleyEra c)
type EraRuleEvent "LEDGER" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type EraRuleEvent "LEDGER" (ShelleyEra c) = ShelleyLedgerEvent (ShelleyEra c)
type EraRuleEvent "LEDGERS" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type EraRuleEvent "LEDGERS" (ShelleyEra c) = ShelleyLedgersEvent (ShelleyEra c)
type EraRuleEvent "NEWEPOCH" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type EraRuleEvent "NEWEPOCH" (ShelleyEra c) = ShelleyNewEpochEvent (ShelleyEra c)
type EraRuleEvent "POOLREAP" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type EraRuleEvent "POOLREAP" (ShelleyEra c) = ShelleyPoolreapEvent (ShelleyEra c)
type EraRuleEvent "TICK" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type EraRuleEvent "TICK" (ShelleyEra c) = ShelleyTickEvent (ShelleyEra c)
type EraRuleFailure "BBODY" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type EraRuleFailure "BBODY" (ShelleyEra c) = ShelleyBbodyPredFailure (ShelleyEra c)
type EraRuleFailure "DELEG" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type EraRuleFailure "DELEG" (ShelleyEra c) = ShelleyDelegPredFailure (ShelleyEra c)
type EraRuleFailure "DELEGS" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type EraRuleFailure "DELEGS" (ShelleyEra c) = ShelleyDelegsPredFailure (ShelleyEra c)
type EraRuleFailure "DELPL" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type EraRuleFailure "DELPL" (ShelleyEra c) = ShelleyDelplPredFailure (ShelleyEra c)
type EraRuleFailure "LEDGER" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type EraRuleFailure "LEDGER" (ShelleyEra c) = ShelleyLedgerPredFailure (ShelleyEra c)
type EraRuleFailure "LEDGERS" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type EraRuleFailure "LEDGERS" (ShelleyEra c) = ShelleyLedgersPredFailure (ShelleyEra c)
type EraRuleFailure "POOL" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type EraRuleFailure "POOL" (ShelleyEra c) = ShelleyPoolPredFailure (ShelleyEra c)
type EraRuleFailure "PPUP" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type EraRuleFailure "PPUP" (ShelleyEra c) = ShelleyPpupPredFailure (ShelleyEra c)
type EraRuleFailure "UTXO" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type EraRuleFailure "UTXO" (ShelleyEra c) = ShelleyUtxoPredFailure (ShelleyEra c)
type EraRuleFailure "UTXOW" (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type EraRuleFailure "UTXOW" (ShelleyEra c) = ShelleyUtxowPredFailure (ShelleyEra c)
type DowngradePParams f (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams type DowngradePParams f (ShelleyEra c) = Void
type PParamsHKD f (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams type PParamsHKD f (ShelleyEra c) = ShelleyPParams f (ShelleyEra c)
type UpgradePParams f (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams type UpgradePParams f (ShelleyEra c) = Void
type Rep (TransitionConfig (ShelleyEra c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition type Rep (TransitionConfig (ShelleyEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.11.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyGenesis c))))
type NativeScript (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts type NativeScript (ShelleyEra c) = MultiSig (ShelleyEra c)
type Script (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts type Script (ShelleyEra c) = MultiSig (ShelleyEra c)
type Tx (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx type Tx (ShelleyEra c) = ShelleyTx (ShelleyEra c)
type TxAuxData (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type TxAuxData (ShelleyEra c) = ShelleyTxAuxData (ShelleyEra c)
type TxBody (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type TxBody (ShelleyEra c) = ShelleyTxBody (ShelleyEra c)
type TxBodyUpgradeError (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type TxBodyUpgradeError (ShelleyEra c) = Void
type TxOut (ShelleyEra crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut type TxOut (ShelleyEra crypto) = ShelleyTxOut (ShelleyEra crypto)
type TxSeq (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockChain type TxSeq (ShelleyEra c) = ShelleyTxSeq (ShelleyEra c)
type TxUpgradeError (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx type TxUpgradeError (ShelleyEra c) = Void
type TxWits (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits type TxWits (ShelleyEra c) = ShelleyTxWits (ShelleyEra c)
type Value (ShelleyEra _c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type Value (ShelleyEra _c) = Coin
type EraCrypto (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type EraCrypto (ShelleyEra c) = c
type PreviousEra (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type PreviousEra (ShelleyEra c) = ByronEra c
type ProtVerHigh (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type ProtVerHigh (ShelleyEra c) = ProtVerLow (ShelleyEra c)
type ProtVerLow (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type ProtVerLow (ShelleyEra c) = 2
type TranslationContext (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Translation type TranslationContext (ShelleyEra c) = FromByronTranslationContext c
type TxCert (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCert (ShelleyEra c) = ShelleyTxCert (ShelleyEra c)
type TxCertUpgradeError (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCertUpgradeError (ShelleyEra c) = Void
type ScriptsNeeded (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.UTxO type ScriptsNeeded (ShelleyEra c) = ShelleyScriptsNeeded (ShelleyEra c)
type AdditionalGenesisConfig (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.API.Genesis type AdditionalGenesisConfig (ShelleyEra c) = ()
type GovState (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance type GovState (ShelleyEra c) = ShelleyGovState (ShelleyEra c)
newtype TransitionConfig (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Transition newtype TransitionConfig (ShelleyEra c) = ShelleyTransitionConfig { stcShelleyGenesis ∷ ShelleyGenesis c }

data ShelleyTx era Source #

Instances

Instances details

Memoized ShelleyTx Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Associated Types type RawType ShelleyTx = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ ShelleyTx era → MemoBytes (RawType ShelleyTx) era wrapMemoBytes ∷ MemoBytes (RawType ShelleyTx) era → ShelleyTx era
Generic (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Associated Types type Rep (ShelleyTx era) ∷ Type → Type Source # Methods from ∷ ShelleyTx era → Rep (ShelleyTx era) x Source # to ∷ Rep (ShelleyTx era) x → ShelleyTx era Source #
(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 Source # show ∷ ShelleyTx era → String Source # showList ∷ [ShelleyTx era] → ShowS Source #
Typeable 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 #
EraTx 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 ⇒ EncCBOR (ShelleyTx era) Source #	Encodes memoized bytes created upon construction.
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 #
SafeToHash (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods originalBytes ∷ ShelleyTx era → ByteString Source # originalBytesSize ∷ ShelleyTx era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → ShelleyTx era → SafeHash c index 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 → () Source #
(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 Source # (/=) ∷ ShelleyTx era → ShelleyTx era → Bool Source #
(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 RawType ShelleyTx Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx type RawType ShelleyTx = ShelleyTxRaw
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.11.0.0-inplace" 'True) (C1 ('MetaCons "TxConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxRaw 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 Source # show ∷ ShelleyTxOut era → String Source # showList ∷ [ShelleyTxOut era] → ShowS Source #
(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, 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 #
NFData (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods rnf ∷ ShelleyTxOut era → () Source #
Eq (CompactForm (Value era)) ⇒ Eq (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods (==) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool Source # (/=) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool Source #
(Era era, HeapWords (CompactForm (Value era))) ⇒ HeapWords (ShelleyTxOut era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut Methods heapWords ∷ ShelleyTxOut era → Int 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 (EraCrypto era))

data ShelleyTxBody era Source #

Instances

Instances details

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

data ShelleyTxAuxData era Source #

Instances

Instances details

Memoized ShelleyTxAuxData Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Associated Types type RawType ShelleyTxAuxData = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ ShelleyTxAuxData era → MemoBytes (RawType ShelleyTxAuxData) era wrapMemoBytes ∷ MemoBytes (RawType ShelleyTxAuxData) era → ShelleyTxAuxData era
Generic (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Associated Types type Rep (ShelleyTxAuxData era) ∷ Type → Type Source # Methods from ∷ ShelleyTxAuxData era → Rep (ShelleyTxAuxData era) x Source # to ∷ Rep (ShelleyTxAuxData era) x → ShelleyTxAuxData era Source #
HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods showsPrec ∷ Int → ShelleyTxAuxData era → ShowS Source # show ∷ ShelleyTxAuxData era → String Source # showList ∷ [ShelleyTxAuxData era] → ShowS Source #
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 #
EqRaw (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods eqRaw ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool 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 ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → ShelleyTxAuxData era → SafeHash c index Source #
NFData (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods rnf ∷ ShelleyTxAuxData era → () Source #
Eq (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods (==) ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source # (/=) ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source #
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 #
c ~ EraCrypto era ⇒ HashAnnotated (ShelleyTxAuxData era) EraIndependentTxAuxData c Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods indexProxy ∷ ShelleyTxAuxData era → Proxy EraIndependentTxAuxData Source # hashAnnotated ∷ ShelleyTxAuxData era → SafeHash c EraIndependentTxAuxData Source #
type RawType ShelleyTxAuxData Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type RawType ShelleyTxAuxData = ShelleyTxAuxDataRaw
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.11.0.0-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes 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.