Modulecardano-ledger-shelley-1.19.0.1

Cardano.Ledger.Shelley

Synopsis

value hardforkAllegraAggregatedRewards
value hardforkAlonzoAllowMIRTransfer
value hardforkAlonzoValidatePoolAccountAddressNetID
value hardforkBabbageForgoRewardPrefilter
value mkShelleyForecast
value sfDecentralizationL
value sfExtraEntropyL
value sfGenDelegsL
value sfMaxBlockBodySizeL
value sfMaxBlockHeaderSizeL
value sfPoolDistrL
value sfProtocolVersionL
value nativeMultiSigTag
data ShelleyEra
family Tx
constructor MkShelleyTx
value unShelleyTx
family TxBody
constructor MkShelleyTxBody
pattern ShelleyTxBody
value stbCerts
value stbInputs
value stbMDHash
value stbOutputs
value stbTTL
value stbTxFee
value stbUpdate
value stbWithdrawals
data ShelleyForecast
data ShelleyTx
newtype ShelleyTxAuxData
data ShelleyTxOut

Packagecardano-ledger-shelley-1.19.0.1
Exports32
LicenceApache-2.0

valuehardforkAllegraAggregatedRewards :: ProtVer -> Bool

valuehardforkAlonzoAllowMIRTransfer :: ProtVer -> Bool

valuehardforkAlonzoValidatePoolAccountAddressNetID :: ProtVer -> Bool

valuehardforkBabbageForgoRewardPrefilter :: ProtVer -> Bool

valuemkShelleyForecast

:: (AtMostEra "Alonzo" era, EraGov era, EraCertState era)
=> NewEpochState era
-> ShelleyForecast t era

valuesfDecentralizationL

:: Functor f
=> UnitInterval -> f UnitInterval
-> ShelleyForecast t era
-> f (ShelleyForecast t era)

valuesfExtraEntropyL

:: Functor f
=> Nonce -> f Nonce
-> ShelleyForecast t era
-> f (ShelleyForecast t era)

valuesfGenDelegsL

:: Functor f
=> GenDelegs -> f GenDelegs
-> ShelleyForecast t era
-> f (ShelleyForecast t era)

valuesfMaxBlockBodySizeL

:: Functor f
=> Word32 -> f Word32
-> ShelleyForecast t era
-> f (ShelleyForecast t era)

valuesfMaxBlockHeaderSizeL

:: Functor f
=> Word16 -> f Word16
-> ShelleyForecast t era
-> f (ShelleyForecast t era)

valuesfPoolDistrL

:: Functor f
=> PoolDistr -> f PoolDistr
-> ShelleyForecast t era
-> f (ShelleyForecast t era)

valuesfProtocolVersionL

:: Functor f
=> ProtVer -> f ProtVer
-> ShelleyForecast t era
-> f (ShelleyForecast t era)

valuenativeMultiSigTag :: ByteString

datadata ShelleyEra

Instances174EraBlockBody, EraScript, EraTx, EraTxAuxData, EraTxBody, EraTxOut, …

EraBlockBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.BlockBody.Internal · orphan
EraScript ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts · orphan
EraTx ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EraTxAuxData ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData · orphan
EraTxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EraTxOut ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut · orphan
EraTxWits ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxWits · orphan
EraPParams ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams · orphan
EraTxCert ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert · orphan
EraTxLevel ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
EraGenesis ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis · orphan
EraAccounts ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.Account · orphan
EraCertState ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.CertState · orphan
EraGov ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance · orphan
EraStake ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.Stake · orphan
EraUTxO ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.UTxO · orphan
EraForecast ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Forecast · orphan
ShelleyEraForecast ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Forecast · orphan
ApplyTx ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
ApplyTick ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Validation
ShelleyEraTxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody
ShelleyEraTxCert ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
ShelleyEraScript ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
ShelleyEraAccounts ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.Account
EraTransition ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Transition
HasEraTxLevel Tx ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
HasEraTxLevel TxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
HasEraTxLevel ShelleyTxBodyRaw ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody
EraBlockHeader h ShelleyEra => ApplyBlock h ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Validation
InjectRuleEvent "POOL" PoolEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody
InjectRuleFailure "BBODY" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "DELEGS" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
InjectRuleFailure "DELEG" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
InjectRuleFailure "DELPL" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl
InjectRuleFailure "DELPL" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
InjectRuleFailure "PPUP" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow
InjectRuleFailure "UTXO" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo
Eq (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Eq (TransitionConfig ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Transition
Show (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Show (TransitionConfig ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Transition
Generic (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Generic (TransitionConfig ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Transition
Semigroup (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
NoThunks (TransitionConfig ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Transition
DecCBOR (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Typeable l => DecCBOR (Annotator (Tx l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable l => DecCBOR (Annotator (TxBody l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Typeable l => DecCBOR (Annotator (ShelleyTxBodyRaw l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody
EncCBOR (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Eq (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Eq (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Show (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Show (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Generic (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Generic (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
NFData (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
NFData (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Typeable l => NoThunks (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable l => NoThunks (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Typeable l => ToCBOR (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable l => ToCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Typeable l => DecCBOR (ShelleyTxBodyRaw l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody
EncCBOR (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EncCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
SafeToHash (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EqRaw (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EqRaw (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Memoized (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBodyDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.19.0.1-8Iis6BIy809CntgfgphWq2" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.19.0.1-8Iis6BIy809CntgfgphWq2" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
type Rep (ApplyTxError ShelleyEra) = Rep (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.19.0.1-8Iis6BIy809CntgfgphWq2" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Transition
type BlockBody ShelleyEra = ShelleyBlockBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.BlockBody.Internal · orphan
type NativeScript ShelleyEra = MultiSig ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts · orphan
type Script ShelleyEra = MultiSig ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts · orphan
type StAnnTx l ShelleyEra = Tx l ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
type StAnnTxCache ShelleyEra = ()Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
data Tx l ShelleyEra
- MkShelleyTxunShelleyTx :: ShelleyTx l ShelleyEra
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData · orphan
data TxBody l ShelleyEra
- MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
type TxOut ShelleyEra = ShelleyTxOut ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut · orphan
type TxWits ShelleyEra = ShelleyTxWits ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxWits · orphan
type Value ShelleyEra = CoinDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "BBODY" ShelleyEra = BBODY ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "DELEGS" ShelleyEra = DELEGS ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "DELEG" ShelleyEra = DELEG ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "DELPL" ShelleyEra = DELPL ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "EPOCH" ShelleyEra = EPOCH ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "LEDGERS" ShelleyEra = LEDGERS ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "LEDGER" ShelleyEra = LEDGER ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "MIR" ShelleyEra = MIR ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "NEWEPOCH" ShelleyEra = NEWEPOCH ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "NEWPP" ShelleyEra = NEWPP ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "POOLREAP" ShelleyEra = POOLREAP ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "POOL" ShelleyEra = POOL ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "PPUP" ShelleyEra = PPUP ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "RUPD" ShelleyEra = RUPD ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "SNAP" ShelleyEra = SNAP ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "TICKF" ShelleyEra = TICKF ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "TICK" ShelleyEra = TICK ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "UPEC" ShelleyEra = UPEC ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "UTXOW" ShelleyEra = UTXOW ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "UTXO" ShelleyEra = UTXO ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRuleEvent "LEDGERS" ShelleyEra = ShelleyLedgersEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type EraRuleEvent "LEDGER" ShelleyEra = ShelleyLedgerEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type EraRuleEvent "NEWEPOCH" ShelleyEra = ShelleyNewEpochEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
type EraRuleEvent "POOLREAP" ShelleyEra = ShelleyPoolreapEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphan
type EraRuleEvent "POOL" ShelleyEra = PoolEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type EraRuleEvent "TICK" ShelleyEra = ShelleyTickEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan
type EraRuleFailure "BBODY" ShelleyEra = ShelleyBbodyPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
type EraRuleFailure "DELEGS" ShelleyEra = ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
type EraRuleFailure "DELEG" ShelleyEra = ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan
type EraRuleFailure "DELPL" ShelleyEra = ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
type EraRuleFailure "LEDGERS" ShelleyEra = ShelleyLedgersPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type EraRuleFailure "LEDGER" ShelleyEra = ShelleyLedgerPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type EraRuleFailure "POOL" ShelleyEra = ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type EraRuleFailure "PPUP" ShelleyEra = ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan
type EraRuleFailure "UTXOW" ShelleyEra = ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
type EraRuleFailure "UTXO" ShelleyEra = ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
type DowngradePParams f ShelleyEra = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams · orphan
type PParamsHKD f ShelleyEra = ShelleyPParams f ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams · orphan
type UpgradePParams f ShelleyEra = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams · orphan
type TranslationContext ShelleyEra = FromByronTranslationContextDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Translation · orphan
type TxCert ShelleyEra = ShelleyTxCert ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert · orphan
type TxCertUpgradeError ShelleyEra = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert · orphan
type STxLevel l ShelleyEra = STxTopLevel l ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type Genesis ShelleyEra = ShelleyGenesisDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis · orphan
type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
type AccountState ShelleyEra = ShelleyAccountState ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.Account · orphan
type Accounts ShelleyEra = ShelleyAccounts ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.Account · orphan
type CertState ShelleyEra = ShelleyCertState ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.CertState · orphan
type GovState ShelleyEra = ShelleyGovState ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance · orphan
type InstantStake ShelleyEra = ShelleyInstantStake ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.Stake · orphan
type ScriptsNeeded ShelleyEra = ShelleyScriptsNeeded ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.UTxO · orphan
type Forecast t ShelleyEra = ShelleyForecast t ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Forecast · orphan
data ApplyTxError ShelleyEra
- ShelleyApplyTxError (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
data TransitionConfig ShelleyEra
- ShelleyTransitionConfigstcShelleyGenesis :: ShelleyGenesis
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Transition

familydata family Tx (l :: TxLevel) era

Instances13HasEraTxLevel, HasOKey, DecCBOR, Eq, Show, Generic, …

HasEraTxLevel Tx ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EraTx era => HasOKey TxId (Tx l era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core
Typeable l => DecCBOR (Annotator (Tx l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Eq (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Show (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Generic (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
NFData (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable l => NoThunks (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable l => ToCBOR (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EncCBOR (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EqRaw (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.19.0.1-8Iis6BIy809CntgfgphWq2" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
data Tx l ShelleyEra
- MkShelleyTxunShelleyTx :: ShelleyTx l ShelleyEra
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan

constructorMkShelleyTx

Fields

unShelleyTx :: ShelleyTx l ShelleyEra

valueunShelleyTx :: Tx l ShelleyEra -> ShelleyTx l ShelleyEra

familydata family TxBody (l :: TxLevel) era

Instances17HasEraTxLevel, HasOKey, DecCBOR, Eq, Show, Generic, …

HasEraTxLevel TxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EraTxBody era => HasOKey TxId (TxBody l era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core
Typeable l => DecCBOR (Annotator (TxBody l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Eq (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Show (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Generic (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
NFData (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Typeable l => NoThunks (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Typeable l => ToCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EncCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
SafeToHash (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EqRaw (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Memoized (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBodyDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.19.0.1-8Iis6BIy809CntgfgphWq2" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
data TxBody l ShelleyEra
- MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan

constructorMkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))

pattern

pattern ShelleyTxBody :: Set TxIn -> StrictSeq (TxOut ShelleyEra) -> StrictSeq (TxCert ShelleyEra) -> Withdrawals -> Coin -> SlotNo -> StrictMaybe (Update ShelleyEra) -> StrictMaybe TxAuxDataHash -> TxBody TopTx ShelleyEra

valuestbCerts :: TxBody TopTx ShelleyEra -> StrictSeq (TxCert ShelleyEra)

valuestbInputs :: TxBody TopTx ShelleyEra -> Set TxIn

valuestbMDHash :: TxBody TopTx ShelleyEra -> StrictMaybe TxAuxDataHash

valuestbOutputs :: TxBody TopTx ShelleyEra -> StrictSeq (TxOut ShelleyEra)

valuestbTTL :: TxBody TopTx ShelleyEra -> SlotNo

valuestbTxFee :: TxBody TopTx ShelleyEra -> Coin

valuestbUpdate :: TxBody TopTx ShelleyEra -> StrictMaybe (Update ShelleyEra)

valuestbWithdrawals :: TxBody TopTx ShelleyEra -> Withdrawals

datadata ShelleyForecast (t :: Timeline) era

Constructors

ShelleyForecast
- sfPoolDistr :: !PoolDistr
- sfMaxBlockHeaderSize :: !Word16
- sfMaxBlockBodySize :: !Word32
- sfProtocolVersion :: !ProtVer
- sfGenDelegs :: !GenDelegs
- sfDecentralization :: !UnitInterval
- sfExtraEntropy :: !Nonce

Instances6Eq, Show, Generic, NFData, NoThunks, Rep

Eq (ShelleyForecast t era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Forecast
Show (ShelleyForecast t era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Forecast
Generic (ShelleyForecast t era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Forecast
NFData (ShelleyForecast t era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Forecast
NoThunks (ShelleyForecast t era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Forecast
type Rep (ShelleyForecast t era) = D1 ('MetaData "ShelleyForecast" "Cardano.Ledger.Shelley.Forecast" "cardano-ledger-shelley-1.19.0.1-8Iis6BIy809CntgfgphWq2" 'False) (C1 ('MetaCons "ShelleyForecast" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sfPoolDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PoolDistr) :*: (S1 ('MetaSel ('Just "sfMaxBlockHeaderSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word16) :*: S1 ('MetaSel ('Just "sfMaxBlockBodySize") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word32))) :*: ((S1 ('MetaSel ('Just "sfProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ProtVer) :*: S1 ('MetaSel ('Just "sfGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenDelegs)) :*: (S1 ('MetaSel ('Just "sfDecentralization") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "sfExtraEntropy") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Forecast

datadata ShelleyTx (l :: TxLevel) era where

Instances7DecCBOR, Eq, Show, NFData, NoThunks, ToCBOR, …

(Typeable l, EraTxBody era, EraTxWits era, EraTxAuxData era, STxLevel l era ~ STxTopLevel l era) => DecCBOR (Annotator (ShelleyTx l era))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx
(Era era, Eq (TxBody l era), Eq (TxWits era), Eq (TxAuxData era)) => Eq (ShelleyTx l era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx
(Era era, Show (TxBody l era), Show (TxWits era), Show (TxAuxData era)) => Show (ShelleyTx l era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx
(NFData (TxBody l era), NFData (TxWits era), NFData (TxAuxData era)) => NFData (ShelleyTx l era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx
(Typeable era, Typeable l) => NoThunks (ShelleyTx l era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx
(Era era, EncCBOR (TxWits era), EncCBOR (TxBody l era), EncCBOR (TxAuxData era), Typeable l) => ToCBOR (ShelleyTx l era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx
(Era era, EncCBOR (TxWits era), EncCBOR (TxBody l era), EncCBOR (TxAuxData era)) => EncCBOR (ShelleyTx l era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx

newtypenewtype ShelleyTxAuxData era

Instances16Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
Show (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
Generic (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
NFData (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
Era era => FromJSON (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
Era era => ToJSON (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
NoThunks (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
Typeable era => ToCBOR (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
Era era => DecCBOR (Annotator (ShelleyTxAuxData era))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
Era era => EncCBOR (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
SafeToHash (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
EqRaw (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
Memoized (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
HashAnnotated (ShelleyTxAuxData era) EraIndependentTxAuxDataDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
type Rep (ShelleyTxAuxData era) = D1 ('MetaData "ShelleyTxAuxData" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.19.0.1-8Iis6BIy809CntgfgphWq2" 'True) (C1 ('MetaCons "MkShelleyTxAuxData" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxAuxDataRaw era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
type RawType (ShelleyTxAuxData era) = ShelleyTxAuxDataRaw eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData

datadata ShelleyTxOut era

Instances13Eq, Show, Generic, NFData, ToJSON, MemPack, …

Eq (CompactForm (Value era)) => Eq (ShelleyTxOut era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut
(Era era, Val (Value era)) => Show (ShelleyTxOut era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut
Generic (ShelleyTxOut era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut
NFData (ShelleyTxOut era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut
(Era era, Val (Value era)) => ToJSON (ShelleyTxOut era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut
(Era era, MemPack (CompactForm (Value era))) => MemPack (ShelleyTxOut era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut
NoThunks (ShelleyTxOut era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut
(Era era, DecCBOR (CompactForm (Value era))) => DecCBOR (ShelleyTxOut era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut
(Era era, MemPack (CompactForm (Value era)), DecCBOR (CompactForm (Value era))) => DecShareCBOR (ShelleyTxOut era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut
(Era era, EncCBOR (CompactForm (Value era))) => EncCBOR (ShelleyTxOut era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut
(Era era, Val (Value era)) => ToKeyValuePairs (ShelleyTxOut era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut
type Rep (ShelleyTxOut era) = D1 ('MetaData "ShelleyTxOut" "Cardano.Ledger.Shelley.TxOut" "cardano-ledger-shelley-1.19.0.1-8Iis6BIy809CntgfgphWq2" 'False) (C1 ('MetaCons "TxOutCompact" 'PrefixI 'True) (S1 ('MetaSel ('Just "txOutCompactAddr") 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 CompactAddr) :*: S1 ('MetaSel ('Just "txOutCompactValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut
type Share (ShelleyTxOut era) = Interns (Credential Staking)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut