AllegraEraScript MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Scripts |
AllegraEraTxAuxData MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxAuxData |
AllegraEraTxBody MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxBody.Internal |
EraScript MaryEra Source # | Since Timelock scripts are a strictly backwards compatible extension of
MultiSig scripts, we can use the same scriptPrefixTag tag here as we did
for the ValidateScript instance in MultiSig |
Instance detailsDefined in Cardano.Ledger.Mary.Scripts |
EraSegWits MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxSeq |
EraTx MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Tx |
EraTxAuxData MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxAuxData |
EraTxBody MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxBody.Internal |
EraTxOut MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxOut |
EraTxWits MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxWits |
Era MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
EraPParams MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.PParams |
EraTxCert MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxCert |
EraGenesis MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
EraCertState MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.State.CertState |
EraGov MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.PParams |
EraStake MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.State.Stake |
EraUTxO MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.UTxO |
MaryEraTxBody MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxBody.Internal |
ApplyTx MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary |
ApplyBlock MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary |
ShelleyEraScript MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Scripts |
EraTransition MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Transition |
ShelleyEraTxBody MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxBody.Internal |
ShelleyEraTxCert MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxCert |
TranslateEra MaryEra AllegraTxAuxData Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra PParams Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra PParamsUpdate Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra CommitteeState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra DState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra PState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra FuturePParams Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra UTxO Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra ShelleyGovState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra EpochState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra LedgerState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra NewEpochState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra UTxOState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra ProposedPPUpdates Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra Update Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra ShelleyCertState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra ShelleyInstantStake Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra ShelleyTx Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra ShelleyTxOut Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
TranslateEra MaryEra ShelleyTxWits Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Bbody |
InjectRuleFailure "BBODY" ShelleyDelegPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Bbody |
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Bbody |
InjectRuleFailure "BBODY" ShelleyDelplPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Bbody |
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Bbody |
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Bbody |
InjectRuleFailure "BBODY" ShelleyPoolPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Bbody |
InjectRuleFailure "BBODY" ShelleyPpupPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Bbody |
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Bbody |
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Bbody |
InjectRuleFailure "DELEG" ShelleyDelegPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Deleg |
InjectRuleFailure "DELEGS" ShelleyDelegPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Delegs |
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Delegs |
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Delegs |
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Delegs |
InjectRuleFailure "DELPL" ShelleyDelegPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Delpl |
InjectRuleFailure "DELPL" ShelleyDelplPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Delpl |
InjectRuleFailure "DELPL" ShelleyPoolPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Delpl |
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledger |
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledger |
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledger |
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledger |
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledger |
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledger |
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledger |
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledger |
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledgers |
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledgers |
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledgers |
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledgers |
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledgers |
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledgers |
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledgers |
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledgers |
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledgers |
InjectRuleFailure "POOL" ShelleyPoolPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Pool |
InjectRuleFailure "PPUP" ShelleyPpupPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ppup |
InjectRuleFailure "UTXO" AllegraUtxoPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Utxo |
InjectRuleFailure "UTXO" ShelleyPpupPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Utxo |
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Utxo |
InjectRuleFailure "UTXOW" AllegraUtxoPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Utxow |
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Utxow |
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Utxow |
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Utxow |
TranslateEra MaryEra (Timelock ∷ Type → TYPE LiftedRep) Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
FromJSON (TransitionConfig MaryEra) Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Transition |
ToJSON (TransitionConfig MaryEra) Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Transition |
Show (TransitionConfig MaryEra) Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Transition |
Eq (TransitionConfig MaryEra) Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Transition |
NoThunks (TransitionConfig MaryEra) Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Transition |
type NativeScript MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Scripts |
type Script MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Scripts |
type Tx MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Tx |
type TxAuxData MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxAuxData |
type TxBody MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxBody.Internal |
type TxBodyUpgradeError MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxBody.Internal |
type TxOut MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxOut |
type TxSeq MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxSeq |
type TxUpgradeError MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Tx |
type TxWits MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxWits |
type Value MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type PreviousEra MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type ProtVerHigh MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type ProtVerLow MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type TranslationContext MaryEra Source # | No context is needed to translate from Allegra to Mary. |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type TxCert MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxCert |
type TxCertUpgradeError MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.TxCert |
type Genesis MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type CertState MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.State.CertState |
type GovState MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.PParams |
type InstantStake MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.State.Stake |
type ScriptsNeeded MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.UTxO |
newtype TransitionConfig MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Transition |
type EraRule "BBODY" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "DELEG" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "DELEGS" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "DELPL" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "EPOCH" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "LEDGER" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "LEDGERS" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "MIR" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "NEWEPOCH" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "NEWPP" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "POOL" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "POOLREAP" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "PPUP" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "RUPD" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "SNAP" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "TICK" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "TICKF" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "UPEC" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "UTXO" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRule "UTXOW" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Era |
type EraRuleEvent "LEDGER" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledger |
type EraRuleEvent "TICK" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules |
type EraRuleFailure "BBODY" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Bbody |
type EraRuleFailure "DELEG" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Deleg |
type EraRuleFailure "DELEGS" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Delegs |
type EraRuleFailure "DELPL" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Delpl |
type EraRuleFailure "LEDGER" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledger |
type EraRuleFailure "LEDGERS" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ledgers |
type EraRuleFailure "POOL" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Pool |
type EraRuleFailure "PPUP" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Ppup |
type EraRuleFailure "UTXO" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Utxo |
type EraRuleFailure "UTXOW" MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Rules.Utxow |
type DowngradePParams f MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.PParams |
type PParamsHKD f MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.PParams |
type UpgradePParams f MaryEra Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.PParams |
type TranslationError MaryEra AllegraTxAuxData Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra PParams Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra PParamsUpdate Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra CommitteeState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra DState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra PState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra FuturePParams Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra UTxO Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra ShelleyGovState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra EpochState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra LedgerState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra NewEpochState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra UTxOState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra ProposedPPUpdates Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra Update Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra ShelleyCertState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra ShelleyInstantStake Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra ShelleyTx Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra ShelleyTxOut Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra ShelleyTxWits Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError MaryEra (Timelock ∷ Type → TYPE LiftedRep) Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |