cardano-ledger-shelley-1.12.2.1: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Shelley.Era

Documentation

data ShelleyEra c Source #

Instances

Instances details
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelplPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPoolPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPpupPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "DELEG" ShelleyDelegPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

InjectRuleFailure "DELPL" ShelleyDelegPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyDelplPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyPoolPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "POOL" ShelleyPoolPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

InjectRuleFailure "PPUP" ShelleyPpupPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

InjectRuleFailure "UTXO" ShelleyPpupPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Crypto c ⇒ FromJSON (TransitionConfig (ShelleyEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Crypto c ⇒ ToJSON (TransitionConfig (ShelleyEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Generic (TransitionConfig (ShelleyEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Associated Types

type Rep (TransitionConfig (ShelleyEra c)) ∷ TypeType Source #

Crypto c ⇒ Show (TransitionConfig (ShelleyEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

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 #

Crypto c ⇒ EraSegWits (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockChain

Associated Types

type TxSeq (ShelleyEra c) = (r ∷ Type) 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 #

Crypto c ⇒ EraTxAuxData (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type TxAuxData (ShelleyEra c) = (r ∷ Type) 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 #

Crypto crypto ⇒ EraTxOut (ShelleyEra crypto) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Associated Types

type TxOut (ShelleyEra crypto) = (r ∷ Type) Source #

Crypto c ⇒ EraTxWits (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Associated Types

type TxWits (ShelleyEra c) = (r ∷ Type) 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

eraNameString 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

applyPPUpdatesPParams (ShelleyEra c) → PParamsUpdate (ShelleyEra c) → PParams (ShelleyEra c) Source #

emptyPParamsIdentityPParamsHKD Identity (ShelleyEra c) Source #

emptyPParamsStrictMaybePParamsHKD StrictMaybe (ShelleyEra c) Source #

upgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDApplicative f, EraPParams (PreviousEra (ShelleyEra c))) ⇒ UpgradePParams f (ShelleyEra c) → PParamsHKD f (PreviousEra (ShelleyEra c)) → PParamsHKD f (ShelleyEra c) Source #

downgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDFunctor f, EraPParams (PreviousEra (ShelleyEra c))) ⇒ DowngradePParams f (ShelleyEra c) → PParamsHKD f (ShelleyEra c) → PParamsHKD f (PreviousEra (ShelleyEra c)) Source #

hkdMinFeeAL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source #

hkdMinFeeBL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source #

hkdMaxBBSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Word16) Source #

hkdKeyDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source #

hkdPoolDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source #

hkdEMaxL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Natural) Source #

hkdA0L ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (ShelleyEra c) 6) ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f UnitInterval) Source #

ppDGSimpleGetter (PParams (ShelleyEra c)) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (ShelleyEra c) 6) ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (ShelleyEra c) 8) ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f ProtVer) Source #

ppProtocolVersionLLens' (PParams (ShelleyEra c)) ProtVer Source #

ppuProtocolVersionLLens' (PParamsUpdate (ShelleyEra c)) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (ShelleyEra c) 4) ⇒ Lens' (PParamsHKD f (ShelleyEra c)) (HKD f Coin) Source #

hkdMinPoolCostL ∷ ∀ (f ∷ TypeType). 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 #

Crypto c ⇒ EraUTxO (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

Associated Types

type ScriptsNeeded (ShelleyEra c) = (r ∷ Type) Source #

Crypto c ⇒ CanStartFromGenesis (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.API.Genesis

Associated Types

type AdditionalGenesisConfig (ShelleyEra c) Source #

(EraPParams (ShelleyEra c), DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.API.Mempool

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.API.Validation

Crypto c ⇒ EraGov (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Associated Types

type GovState (ShelleyEra c) = (r ∷ Type) Source #

Crypto c ⇒ ShelleyEraScript (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Crypto c ⇒ EraTransition (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Associated Types

data TransitionConfig (ShelleyEra c) Source #

Crypto c ⇒ ShelleyEraTxBody (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto c ⇒ ShelleyEraTxCert (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Crypto c ⇒ Eq (TransitionConfig (ShelleyEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Crypto c ⇒ NoThunks (TransitionConfig (ShelleyEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

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 "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 "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 "RUPD" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "SNAP" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "TICK" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

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 "UTXO" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

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 "LEDGERS" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type EraRuleEvent "NEWEPOCH" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type EraRuleEvent "POOLREAP" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type EraRuleEvent "TICK" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type EraRuleFailure "BBODY" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type EraRuleFailure "DELEG" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type EraRuleFailure "DELEGS" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type EraRuleFailure "DELPL" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type EraRuleFailure "LEDGER" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type EraRuleFailure "LEDGERS" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type EraRuleFailure "POOL" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type EraRuleFailure "PPUP" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type EraRuleFailure "UTXO" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type EraRuleFailure "UTXOW" (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type DowngradePParams f (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type PParamsHKD f (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type UpgradePParams f (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

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.12.2.1-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 Script (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Tx (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type TxAuxData (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type TxBody (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type TxBodyUpgradeError (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

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 TxUpgradeError (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type TxWits (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

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 ProtVerHigh (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Era

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 TxCert (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type TxCertUpgradeError (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type ScriptsNeeded (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

type AdditionalGenesisConfig (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.API.Genesis

type GovState (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

newtype TransitionConfig (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

data ShelleyBBODY era Source #

Instances

Instances details
(Era era, BaseM ledgers ~ ShelleyBase, ledgers ~ EraRule "LEDGERS" era, STS ledgers, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Era era) ⇒ Embed ledgers (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

(EraSegWits era, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Embed (EraRule "LEDGERS" era) (ShelleyBBODY era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, Signal (EraRule "LEDGERS" era) ~ Seq (Tx era)) ⇒ STS (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type BaseM (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type Environment (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type Event (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type Signal (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type Signal (ShelleyBBODY era) = Block (BHeaderView (EraCrypto era)) era
type State (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

data ShelleyDELEG era Source #

Instances

Instances details
(EraPParams era, ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ STS (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

(ShelleyEraTxCert era, EraPParams era, ProtVerAtMost era 8, PredicateFailure (EraRule "DELEG" era) ~ ShelleyDelegPredFailure era, Event (EraRule "DELEG" era) ~ ShelleyDelegEvent era) ⇒ Embed (ShelleyDELEG era) (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type BaseM (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Environment (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Event (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Signal (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Signal (ShelleyDELEG era) = TxCert era
type State (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type State (ShelleyDELEG era) = DState era

data ShelleyDELEGS era Source #

Instances

Instances details
(EraTx era, ShelleyEraTxBody era, Embed (EraRule "DELPL" era) (ShelleyDELEGS era), Environment (EraRule "DELPL" era) ~ DelplEnv era, State (EraRule "DELPL" era) ~ CertState era, Signal (EraRule "DELPL" era) ~ TxCert era, EraRule "DELEGS" era ~ ShelleyDELEGS era) ⇒ STS (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

(Era era, STS (ShelleyDELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) ⇒ Embed (ShelleyDELEGS era) (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

(Era era, STS (ShelleyDELPL era), PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Event (EraRule "DELPL" era) ~ ShelleyDelplEvent era) ⇒ Embed (ShelleyDELPL era) (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type BaseM (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type Environment (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type Event (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type Signal (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type Signal (ShelleyDELEGS era) = Seq (TxCert era)
type State (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type State (ShelleyDELEGS era) = CertState era

data ShelleyDELPL era Source #

Instances

Instances details
(Era era, Embed (EraRule "DELEG" era) (ShelleyDELPL era), Environment (EraRule "DELEG" era) ~ DelegEnv era, State (EraRule "DELEG" era) ~ DState era, Embed (EraRule "POOL" era) (ShelleyDELPL era), Environment (EraRule "POOL" era) ~ PoolEnv era, State (EraRule "POOL" era) ~ PState era, Signal (EraRule "DELEG" era) ~ TxCert era, Embed (EraRule "POOL" era) (ShelleyDELPL era), Environment (EraRule "POOL" era) ~ PoolEnv era, Signal (EraRule "POOL" era) ~ PoolCert (EraCrypto era), TxCert era ~ ShelleyTxCert era) ⇒ STS (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

(ShelleyEraTxCert era, EraPParams era, ProtVerAtMost era 8, PredicateFailure (EraRule "DELEG" era) ~ ShelleyDelegPredFailure era, Event (EraRule "DELEG" era) ~ ShelleyDelegEvent era) ⇒ Embed (ShelleyDELEG era) (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

(Era era, STS (ShelleyDELPL era), PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Event (EraRule "DELPL" era) ~ ShelleyDelplEvent era) ⇒ Embed (ShelleyDELPL era) (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

(Era era, STS (ShelleyPOOL era), PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, Event (EraRule "POOL" era) ~ PoolEvent era) ⇒ Embed (ShelleyPOOL era) (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type BaseM (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type Environment (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type Event (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type Signal (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type Signal (ShelleyDELPL era) = TxCert era
type State (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type State (ShelleyDELPL era) = CertState era

data ShelleyEPOCH era Source #

Instances

Instances details
(EraTxOut era, EraGov era, GovState era ~ ShelleyGovState era, Embed (EraRule "SNAP" era) (ShelleyEPOCH era), Environment (EraRule "SNAP" era) ~ SnapEnv era, State (EraRule "SNAP" era) ~ SnapShots (EraCrypto era), Signal (EraRule "SNAP" era) ~ (), Embed (EraRule "POOLREAP" era) (ShelleyEPOCH era), Environment (EraRule "POOLREAP" era) ~ ShelleyPoolreapEnv era, State (EraRule "POOLREAP" era) ~ ShelleyPoolreapState era, Signal (EraRule "POOLREAP" era) ~ EpochNo, Embed (EraRule "UPEC" era) (ShelleyEPOCH era), Environment (EraRule "UPEC" era) ~ LedgerState era, State (EraRule "UPEC" era) ~ UpecState era, Signal (EraRule "UPEC" era) ~ (), Default (PParams era), Eq (UpecPredFailure era), Show (UpecPredFailure era)) ⇒ STS (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

(STS (ShelleyEPOCH era), PredicateFailure (EraRule "EPOCH" era) ~ ShelleyEpochPredFailure era, Event (EraRule "EPOCH" era) ~ ShelleyEpochEvent era) ⇒ Embed (ShelleyEPOCH era) (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

(Era era, STS (ShelleyPOOLREAP era), PredicateFailure (EraRule "POOLREAP" era) ~ ShelleyPoolreapPredFailure era, Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) ⇒ Embed (ShelleyPOOLREAP era) (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

(EraTxOut era, PredicateFailure (EraRule "SNAP" era) ~ ShelleySnapPredFailure era, Event (EraRule "SNAP" era) ~ SnapEvent era) ⇒ Embed (ShelleySNAP era) (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

(Era era, STS (ShelleyUPEC era), UpecPredFailure era ~ ShelleyUpecPredFailure era, Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type BaseM (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type Environment (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type Environment (ShelleyEPOCH era) = ()
type Event (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type Signal (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type State (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type State (ShelleyEPOCH era) = EpochState era

data ShelleyLEDGER era Source #

Instances

Instances details
(DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), EraTx era, EraGov era, Embed (EraRule "DELEGS" era) (ShelleyLEDGER era), Embed (EraRule "UTXOW" era) (ShelleyLEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ Tx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), ProtVerAtMost era 8) ⇒ STS (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

(Era era, STS (ShelleyDELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) ⇒ Embed (ShelleyDELEGS era) (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

(Era era, STS (ShelleyLEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) ⇒ Embed (ShelleyLEDGER era) (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

(STS (ShelleyUTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ ShelleyUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ Event (ShelleyUTXOW era)) ⇒ Embed (ShelleyUTXOW era) (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type BaseM (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Environment (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Event (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Signal (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Signal (ShelleyLEDGER era) = Tx era
type State (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

data ShelleyLEDGERS era Source #

Instances

Instances details
(Era era, Embed (EraRule "LEDGER" era) (ShelleyLEDGERS era), Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "LEDGER" era) ~ LedgerState era, Signal (EraRule "LEDGER" era) ~ Tx era, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Default (LedgerState era)) ⇒ STS (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

(Era era, STS (ShelleyLEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) ⇒ Embed (ShelleyLEDGER era) (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type BaseM (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Environment (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Event (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Signal (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Signal (ShelleyLEDGERS era) = Seq (Tx era)
type State (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

data ShelleyMIR era Source #

Instances

Instances details
(Default (EpochState era), EraGov era) ⇒ STS (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

Associated Types

type State (ShelleyMIR era) Source #

type Signal (ShelleyMIR era) Source #

type Environment (ShelleyMIR era) Source #

type BaseM (ShelleyMIR era) ∷ TypeType Source #

type Event (ShelleyMIR era) Source #

type PredicateFailure (ShelleyMIR era) Source #

(EraGov era, Default (EpochState era), PredicateFailure (EraRule "MIR" era) ~ ShelleyMirPredFailure era, Event (EraRule "MIR" era) ~ ShelleyMirEvent era) ⇒ Embed (ShelleyMIR era) (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type BaseM (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type Environment (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type Environment (ShelleyMIR era) = ()
type Event (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type Signal (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type Signal (ShelleyMIR era) = ()
type State (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type State (ShelleyMIR era) = EpochState era

data ShelleyNEWEPOCH era Source #

Instances

Instances details
(EraTxOut era, EraGov era, Embed (EraRule "MIR" era) (ShelleyNEWEPOCH era), Embed (EraRule "EPOCH" era) (ShelleyNEWEPOCH era), Environment (EraRule "MIR" era) ~ (), State (EraRule "MIR" era) ~ EpochState era, Signal (EraRule "MIR" era) ~ (), Event (EraRule "RUPD" era) ~ RupdEvent (EraCrypto era), Environment (EraRule "EPOCH" era) ~ (), State (EraRule "EPOCH" era) ~ EpochState era, Signal (EraRule "EPOCH" era) ~ EpochNo, Default (EpochState era), Default (State (EraRule "PPUP" era)), Default (PParams era), Default (StashedAVVMAddresses era)) ⇒ STS (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

(STS (ShelleyEPOCH era), PredicateFailure (EraRule "EPOCH" era) ~ ShelleyEpochPredFailure era, Event (EraRule "EPOCH" era) ~ ShelleyEpochEvent era) ⇒ Embed (ShelleyEPOCH era) (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

(EraGov era, Default (EpochState era), PredicateFailure (EraRule "MIR" era) ~ ShelleyMirPredFailure era, Event (EraRule "MIR" era) ~ ShelleyMirEvent era) ⇒ Embed (ShelleyMIR era) (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

(STS (ShelleyNEWEPOCH era), PredicateFailure (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochPredFailure era, Event (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochEvent era) ⇒ Embed (ShelleyNEWEPOCH era) (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type BaseM (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type Environment (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type Event (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type Signal (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type State (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

data ShelleyNEWPP era Source #

Instances

Instances details
(EraGov era, GovState era ~ ShelleyGovState era, ProtVerAtMost era 8) ⇒ STS (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

(Era era, STS (ShelleyNEWPP era)) ⇒ Embed (ShelleyNEWPP era) (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type BaseM (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type Environment (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type Event (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type Event (ShelleyNEWPP era) = Void
type PredicateFailure (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type Signal (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type Signal (ShelleyNEWPP era) = PParams era
type State (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

data ShelleyPOOL era Source #

Instances

Instances details
(ShelleyEraTxCert era, EraPParams era) ⇒ STS (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Associated Types

type State (ShelleyPOOL era) Source #

type Signal (ShelleyPOOL era) Source #

type Environment (ShelleyPOOL era) Source #

type BaseM (ShelleyPOOL era) ∷ TypeType Source #

type Event (ShelleyPOOL era) Source #

type PredicateFailure (ShelleyPOOL era) Source #

(Era era, STS (ShelleyPOOL era), PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, Event (EraRule "POOL" era) ~ PoolEvent era) ⇒ Embed (ShelleyPOOL era) (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type BaseM (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Environment (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Event (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Event (ShelleyPOOL era) = PoolEvent era
type PredicateFailure (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Signal (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type State (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type State (ShelleyPOOL era) = PState era

data ShelleyPOOLREAP era Source #

Instances

Instances details
(Default (ShelleyPoolreapState era), EraPParams era, EraGov era) ⇒ STS (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

(Era era, STS (ShelleyPOOLREAP era), PredicateFailure (EraRule "POOLREAP" era) ~ ShelleyPoolreapPredFailure era, Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) ⇒ Embed (ShelleyPOOLREAP era) (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type BaseM (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Environment (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Event (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Signal (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type State (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

data ShelleyPPUP era Source #

Instances

Instances details
(EraPParams era, ProtVerAtMost era 8) ⇒ STS (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Associated Types

type State (ShelleyPPUP era) Source #

type Signal (ShelleyPPUP era) Source #

type Environment (ShelleyPPUP era) Source #

type BaseM (ShelleyPPUP era) ∷ TypeType Source #

type Event (ShelleyPPUP era) Source #

type PredicateFailure (ShelleyPPUP era) Source #

(Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ PpupEvent era) ⇒ Embed (ShelleyPPUP era) (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type BaseM (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Environment (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Event (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Event (ShelleyPPUP era) = PpupEvent era
type PredicateFailure (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Signal (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type State (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

data ShelleyRUPD era Source #

Instances

Instances details
(Era era, EraGov era) ⇒ STS (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

Associated Types

type State (ShelleyRUPD era) Source #

type Signal (ShelleyRUPD era) Source #

type Environment (ShelleyRUPD era) Source #

type BaseM (ShelleyRUPD era) ∷ TypeType Source #

type Event (ShelleyRUPD era) Source #

type PredicateFailure (ShelleyRUPD era) Source #

(Era era, STS (ShelleyRUPD era), PredicateFailure (EraRule "RUPD" era) ~ ShelleyRupdPredFailure era, Event (EraRule "RUPD" era) ~ RupdEvent (EraCrypto era)) ⇒ Embed (ShelleyRUPD era) (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type BaseM (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type Environment (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type Event (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type Signal (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type State (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

data ShelleySNAP era Source #

Instances

Instances details
EraTxOut era ⇒ STS (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

Associated Types

type State (ShelleySNAP era) Source #

type Signal (ShelleySNAP era) Source #

type Environment (ShelleySNAP era) Source #

type BaseM (ShelleySNAP era) ∷ TypeType Source #

type Event (ShelleySNAP era) Source #

type PredicateFailure (ShelleySNAP era) Source #

(EraTxOut era, PredicateFailure (EraRule "SNAP" era) ~ ShelleySnapPredFailure era, Event (EraRule "SNAP" era) ~ SnapEvent era) ⇒ Embed (ShelleySNAP era) (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type BaseM (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type Environment (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type Event (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type Event (ShelleySNAP era) = SnapEvent era
type PredicateFailure (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type Signal (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type Signal (ShelleySNAP era) = ()
type State (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

data ShelleyTICK era Source #

Instances

Instances details
(EraGov era, Embed (EraRule "NEWEPOCH" era) (ShelleyTICK era), Embed (EraRule "RUPD" era) (ShelleyTICK era), State (ShelleyTICK era) ~ NewEpochState era, BaseM (ShelleyTICK era) ~ ShelleyBase, Environment (EraRule "RUPD" era) ~ RupdEnv era, State (EraRule "RUPD" era) ~ StrictMaybe (PulsingRewUpdate (EraCrypto era)), Signal (EraRule "RUPD" era) ~ SlotNo, Environment (EraRule "NEWEPOCH" era) ~ (), State (EraRule "NEWEPOCH" era) ~ NewEpochState era, Signal (EraRule "NEWEPOCH" era) ~ EpochNo) ⇒ STS (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

Associated Types

type State (ShelleyTICK era) Source #

type Signal (ShelleyTICK era) Source #

type Environment (ShelleyTICK era) Source #

type BaseM (ShelleyTICK era) ∷ TypeType Source #

type Event (ShelleyTICK era) Source #

type PredicateFailure (ShelleyTICK era) Source #

(STS (ShelleyNEWEPOCH era), PredicateFailure (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochPredFailure era, Event (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochEvent era) ⇒ Embed (ShelleyNEWEPOCH era) (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

(Era era, STS (ShelleyRUPD era), PredicateFailure (EraRule "RUPD" era) ~ ShelleyRupdPredFailure era, Event (EraRule "RUPD" era) ~ RupdEvent (EraCrypto era)) ⇒ Embed (ShelleyRUPD era) (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type BaseM (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Environment (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Environment (ShelleyTICK era) = ()
type Event (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Signal (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type State (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

data ShelleyTICKF era Source #

Instances

Instances details
(EraGov era, GovState era ~ ShelleyGovState era, State (EraRule "PPUP" era) ~ ShelleyGovState era, Signal (EraRule "UPEC" era) ~ (), State (EraRule "UPEC" era) ~ UpecState era, Environment (EraRule "UPEC" era) ~ LedgerState era, Embed (EraRule "UPEC" era) (ShelleyTICKF era)) ⇒ STS (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

(Era era, STS (ShelleyUPEC era), PredicateFailure (EraRule "UPEC" era) ~ ShelleyUpecPredFailure era, Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type BaseM (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Environment (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Environment (ShelleyTICKF era) = ()
type Event (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Event (ShelleyTICKF era)
type PredicateFailure (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Signal (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type State (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

data ShelleyUPEC era Source #

Instances

Instances details
(EraGov era, Default (PParams era), GovState era ~ ShelleyGovState era, ProtVerAtMost era 8) ⇒ STS (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

Associated Types

type State (ShelleyUPEC era) Source #

type Signal (ShelleyUPEC era) Source #

type Environment (ShelleyUPEC era) Source #

type BaseM (ShelleyUPEC era) ∷ TypeType Source #

type Event (ShelleyUPEC era) Source #

type PredicateFailure (ShelleyUPEC era) Source #

(Era era, STS (ShelleyNEWPP era)) ⇒ Embed (ShelleyNEWPP era) (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

(Era era, STS (ShelleyUPEC era), UpecPredFailure era ~ ShelleyUpecPredFailure era, Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

(Era era, STS (ShelleyUPEC era), PredicateFailure (EraRule "UPEC" era) ~ ShelleyUpecPredFailure era, Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type BaseM (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type Environment (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type Event (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type Event (ShelleyUPEC era) = Void
type PredicateFailure (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type Signal (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type Signal (ShelleyUPEC era) = ()
type State (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type State (ShelleyUPEC era) = UpecState era

data ShelleyUTXO era Source #

Instances

Instances details
(EraTx era, EraUTxO era, ShelleyEraTxBody era, EraGov era, GovState era ~ ShelleyGovState era, ExactEra ShelleyEra era, Embed (EraRule "PPUP" era) (ShelleyUTXO era), Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), State (EraRule "PPUP" era) ~ ShelleyGovState era, Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), EraRule "UTXO" era ~ ShelleyUTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era) ⇒ STS (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Associated Types

type State (ShelleyUTXO era) Source #

type Signal (ShelleyUTXO era) Source #

type Environment (ShelleyUTXO era) Source #

type BaseM (ShelleyUTXO era) ∷ TypeType Source #

type Event (ShelleyUTXO era) Source #

type PredicateFailure (ShelleyUTXO era) Source #

(Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ PpupEvent era) ⇒ Embed (ShelleyPPUP era) (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

(Era era, STS (ShelleyUTXO era), PredicateFailure (EraRule "UTXO" era) ~ ShelleyUtxoPredFailure era, Event (EraRule "UTXO" era) ~ UtxoEvent era) ⇒ Embed (ShelleyUTXO era) (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type BaseM (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Environment (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Event (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Event (ShelleyUTXO era) = UtxoEvent era
type PredicateFailure (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Signal (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Signal (ShelleyUTXO era) = Tx era
type State (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type State (ShelleyUTXO era) = UTxOState era

data ShelleyUTXOW era Source #

Instances

Instances details
(EraTx era, EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Embed (EraRule "UTXO" era) (ShelleyUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era, EraRule "UTXOW" era ~ ShelleyUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), EraGov era) ⇒ STS (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

(Era era, STS (ShelleyUTXO era), PredicateFailure (EraRule "UTXO" era) ~ ShelleyUtxoPredFailure era, Event (EraRule "UTXO" era) ~ UtxoEvent era) ⇒ Embed (ShelleyUTXO era) (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

(STS (ShelleyUTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ ShelleyUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ Event (ShelleyUTXOW era)) ⇒ Embed (ShelleyUTXOW era) (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type BaseM (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type Environment (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type Event (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type PredicateFailure (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type Signal (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type Signal (ShelleyUTXOW era) = Tx era
type State (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type State (ShelleyUTXOW era) = UTxOState era