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

Cardano.Ledger.Shelley

Synopsis

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.Internal

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

Defined in Cardano.Ledger.Shelley.Genesis

Associated Types

type Genesis (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 #

(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.15.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyGenesis c))))
type NativeScript (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type 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.Internal

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.Internal

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

Defined in Cardano.Ledger.Shelley.Genesis

type ScriptsNeeded (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

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 ShelleyTx era Source #

Instances

Instances details
Memoized ShelleyTx Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

Associated Types

type RawType ShelleyTx = (r ∷ TypeType) Source #

Generic (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

Associated Types

type Rep (ShelleyTx era) ∷ TypeType Source #

Methods

fromShelleyTx era → Rep (ShelleyTx era) x Source #

toRep (ShelleyTx era) x → ShelleyTx era Source #

(Era era, Show (TxBody era), Show (TxWits era), Show (TxAuxData era)) ⇒ Show (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

Methods

showsPrecIntShelleyTx era → ShowS Source #

showShelleyTx era → String Source #

showList ∷ [ShelleyTx era] → ShowS Source #

Typeable era ⇒ ToCBOR (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

Methods

toCBORShelleyTx era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTx era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTx era] → Size Source #

EraTx era ⇒ DecCBOR (Annotator (ShelleyTx era)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

Era era ⇒ EncCBOR (ShelleyTx era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

Methods

encCBORShelleyTx era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTx era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTx era] → Size Source #

(Tx era ~ ShelleyTx era, EraTx era) ⇒ EqRaw (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

Methods

eqRawShelleyTx era → ShelleyTx era → Bool Source #

SafeToHash (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

(NFData (TxBody era), NFData (TxWits era), NFData (TxAuxData era)) ⇒ NFData (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

Methods

rnfShelleyTx era → () Source #

(Era era, Eq (TxBody era), Eq (TxWits era), Eq (TxAuxData era)) ⇒ Eq (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

Methods

(==)ShelleyTx era → ShelleyTx era → Bool Source #

(/=)ShelleyTx era → ShelleyTx era → Bool Source #

(Era era, NoThunks (TxAuxData era), NoThunks (TxBody era), NoThunks (TxWits era)) ⇒ NoThunks (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

type RawType ShelleyTx Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

type Rep (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

type Rep (ShelleyTx era) = D1 ('MetaData "ShelleyTx" "Cardano.Ledger.Shelley.Tx.Internal" "cardano-ledger-shelley-1.15.0.0-inplace" 'True) (C1 ('MetaCons "TxConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxRaw era))))

data ShelleyTxOut era Source #

Instances

Instances details
(Era era, Val (Value era)) ⇒ ToJSON (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

(Era era, Val (Value era)) ⇒ Show (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

(Era era, DecCBOR (CompactForm (Value era))) ⇒ FromCBOR (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

(Era era, EncCBOR (CompactForm (Value era))) ⇒ ToCBOR (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

toCBORShelleyTxOut era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxOut era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxOut era] → Size Source #

(Era era, DecCBOR (CompactForm (Value era))) ⇒ DecCBOR (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

(Era era, DecCBOR (CompactForm (Value era))) ⇒ DecShareCBOR (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Associated Types

type Share (ShelleyTxOut era) Source #

(Era era, EncCBOR (CompactForm (Value era))) ⇒ EncCBOR (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

encCBORShelleyTxOut era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxOut era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxOut era] → Size Source #

NFData (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

rnfShelleyTxOut era → () Source #

Eq (CompactForm (Value era)) ⇒ Eq (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

(==)ShelleyTxOut era → ShelleyTxOut era → Bool Source #

(/=)ShelleyTxOut era → ShelleyTxOut era → Bool Source #

(Era era, HeapWords (CompactForm (Value era))) ⇒ HeapWords (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Methods

heapWordsShelleyTxOut era → Int Source #

NoThunks (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type Share (ShelleyTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

data ShelleyTxBody era Source #

Instances

Instances details
Memoized ShelleyTxBody Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type RawType ShelleyTxBody = (r ∷ TypeType) Source #

Generic (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep (ShelleyTxBody era) ∷ TypeType Source #

Methods

fromShelleyTxBody era → Rep (ShelleyTxBody era) x Source #

toRep (ShelleyTxBody era) x → ShelleyTxBody era Source #

EraTxBody era ⇒ Show (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Typeable era ⇒ ToCBOR (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toCBORShelleyTxBody era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxBody era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxBody era] → Size Source #

EraTxBody era ⇒ DecCBOR (Annotator (ShelleyTxBody era)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Era era ⇒ EncCBOR (ShelleyTxBody era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

encCBORShelleyTxBody era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxBody era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxBody era] → Size Source #

(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ EqRaw (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

eqRawShelleyTxBody era → ShelleyTxBody era → Bool Source #

SafeToHash (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

EraTxBody era ⇒ NFData (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnfShelleyTxBody era → () Source #

(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

(==)ShelleyTxBody era → ShelleyTxBody era → Bool Source #

(/=)ShelleyTxBody era → ShelleyTxBody era → Bool Source #

(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

(Era era, c ~ EraCrypto era) ⇒ HashAnnotated (ShelleyTxBody era) EraIndependentTxBody c Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType ShelleyTxBody Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (ShelleyTxBody era) = D1 ('MetaData "ShelleyTxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.15.0.0-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxBodyRaw era))))

data ShelleyTxAuxData era Source #

Instances

Instances details
Memoized ShelleyTxAuxData Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type RawType ShelleyTxAuxData = (r ∷ TypeType) Source #

Generic (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type Rep (ShelleyTxAuxData era) ∷ TypeType Source #

HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Typeable era ⇒ ToCBOR (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

toCBORShelleyTxAuxData era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxAuxData era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxAuxData era] → Size Source #

Era era ⇒ DecCBOR (Annotator (ShelleyTxAuxData era)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Era era ⇒ EncCBOR (ShelleyTxAuxData era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

encCBORShelleyTxAuxData era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxAuxData era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxAuxData era] → Size Source #

EqRaw (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

eqRawShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source #

SafeToHash (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

NFData (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

rnfShelleyTxAuxData era → () Source #

Eq (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

NoThunks (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

c ~ EraCrypto era ⇒ HashAnnotated (ShelleyTxAuxData era) EraIndependentTxAuxData c Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type RawType ShelleyTxAuxData Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type Rep (ShelleyTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type Rep (ShelleyTxAuxData era) = D1 ('MetaData "ShelleyTxAuxData" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.15.0.0-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxAuxDataRaw era))))

nativeMultiSigTagByteString Source #

Magic number "memorialized" in the ValidateScript class under the method: scriptPrefixTag:: Core.Script era -> Bs.ByteString, for the Shelley Era.