cardano-ledger-shelley-1.18.0.0: Shelley Ledger Executable Model
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Shelley.HuddleSpec

Documentation

module Cardano.Ledger.Huddle

majorProtocolVersionRule ∷ Era era ⇒ Proxy era → Rule Source #

data ShelleyEra Source #

Instances

Instances details
EraBlockBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

Associated Types

type BlockBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

type BlockBody ShelleyEra = ShelleyBlockBody ShelleyEra

Methods

mkBasicBlockBody ∷ BlockBody ShelleyEra Source #

txSeqBlockBodyL ∷ Lens' (BlockBody ShelleyEra) (StrictSeq (Tx 'TopTx ShelleyEra)) Source #

hashBlockBody ∷ BlockBody ShelleyEra → Hash HASH EraIndependentBlockBody Source #

numSegComponents ∷ Word64 Source #

EraScript ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Associated Types

type Script ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Script ShelleyEra = MultiSig ShelleyEra
type NativeScript ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type NativeScript ShelleyEra = MultiSig ShelleyEra

Methods

upgradeScript ∷ Script (PreviousEra ShelleyEra) → Script ShelleyEra Source #

scriptPrefixTag ∷ Script ShelleyEra → ByteString Source #

getNativeScript ∷ Script ShelleyEra → Maybe (NativeScript ShelleyEra) Source #

fromNativeScript ∷ NativeScript ShelleyEra → Script ShelleyEra Source #

EraTx ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

newtype Tx l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {}

Methods

mkBasicTx ∷ ∀ (l ∷ TxLevel). TxBody l ShelleyEra → Tx l ShelleyEra Source #

bodyTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l ShelleyEra) (TxBody l ShelleyEra) Source #

witsTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l ShelleyEra) (TxWits ShelleyEra) Source #

auxDataTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l ShelleyEra) (StrictMaybe (TxAuxData ShelleyEra)) Source #

sizeTxF ∷ ∀ (l ∷ TxLevel). HasCallStack ⇒ SimpleGetter (Tx l ShelleyEra) Word32 Source #

sizeTxForFeeCalculation ∷ ∀ (l ∷ TxLevel). (HasCallStack, SafeToHash (TxWits ShelleyEra), Typeable l) ⇒ Tx l ShelleyEra → Word32 Source #

validateNativeScript ∷ ∀ (l ∷ TxLevel). Tx l ShelleyEra → NativeScript ShelleyEra → Bool Source #

getMinFeeTx ∷ ∀ (l ∷ TxLevel). PParams ShelleyEra → Tx l ShelleyEra → Int → Coin Source #

EraTxAuxData ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type TxAuxData ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEra

Methods

mkBasicTxAuxData ∷ TxAuxData ShelleyEra Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData ShelleyEra) (Map Word64 Metadatum) Source #

validateTxAuxData ∷ ProtVer → TxAuxData ShelleyEra → Bool Source #

EraTxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

newtype TxBody l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l ShelleyEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictSeq (TxOut ShelleyEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ShelleyEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx ShelleyEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictSeq (TxCert ShelleyEra)) Source #

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams ShelleyEra → (KeyHash 'StakePool → Bool) → TxBody l ShelleyEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l ShelleyEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx ShelleyEra → Int Source #

EraTxOut ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Associated Types

type TxOut ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type TxOut ShelleyEra = ShelleyTxOut ShelleyEra

Methods

mkBasicTxOut ∷ Addr → Value ShelleyEra → TxOut ShelleyEra Source #

upgradeTxOut ∷ TxOut (PreviousEra ShelleyEra) → TxOut ShelleyEra Source #

valueTxOutL ∷ Lens' (TxOut ShelleyEra) (Value ShelleyEra) Source #

compactValueTxOutL ∷ Lens' (TxOut ShelleyEra) (CompactForm (Value ShelleyEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut ShelleyEra) (Either (Value ShelleyEra) (CompactForm (Value ShelleyEra))) Source #

addrTxOutL ∷ Lens' (TxOut ShelleyEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut ShelleyEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut ShelleyEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams ShelleyEra → Sized (TxOut ShelleyEra) → Coin Source #

getMinCoinTxOut ∷ PParams ShelleyEra → TxOut ShelleyEra → Coin Source #

EraTxWits ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Associated Types

type TxWits ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type TxWits ShelleyEra = ShelleyTxWits ShelleyEra

Methods

mkBasicTxWits ∷ TxWits ShelleyEra Source #

addrTxWitsL ∷ Lens' (TxWits ShelleyEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits ShelleyEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits ShelleyEra) (Map ScriptHash (Script ShelleyEra)) Source #

EraPParams ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Associated Types

type PParamsHKD f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type PParamsHKD f ShelleyEra = ShelleyPParams f ShelleyEra
type UpgradePParams f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type UpgradePParams f ShelleyEra = Void
type DowngradePParams f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type DowngradePParams f ShelleyEra = Void

Methods

applyPPUpdates ∷ PParams ShelleyEra → PParamsUpdate ShelleyEra → PParams ShelleyEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity ShelleyEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe ShelleyEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe ShelleyEra Source #

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

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

hkdMinFeeACompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

hkdMinFeeBCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

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

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

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

hkdKeyDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

hkdPoolDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

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

hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Word16) Source #

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

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

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

hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" ShelleyEra) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f UnitInterval) Source #

ppDG ∷ SimpleGetter (PParams ShelleyEra) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" ShelleyEra) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Babbage" ShelleyEra) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f ProtVer) Source #

ppProtocolVersionL ∷ Lens' (PParams ShelleyEra) ProtVer Source #

ppuProtocolVersionL ∷ Lens' (PParamsUpdate ShelleyEra) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueCompactL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Mary" ShelleyEra) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

hkdMinPoolCostCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f (CompactForm Coin)) Source #

eraPParams ∷ [PParam ShelleyEra] Source #

EraTxCert ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type TxCert ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type TxCert ShelleyEra = ShelleyTxCert ShelleyEra
type TxCertUpgradeError ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type TxCertUpgradeError ShelleyEra = Void

Methods

upgradeTxCert ∷ TxCert (PreviousEra ShelleyEra) → Either (TxCertUpgradeError ShelleyEra) (TxCert ShelleyEra) Source #

getVKeyWitnessTxCert ∷ TxCert ShelleyEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert ShelleyEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams → TxCert ShelleyEra Source #

getRegPoolTxCert ∷ TxCert ShelleyEra → Maybe StakePoolParams Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert ShelleyEra Source #

getRetirePoolTxCert ∷ TxCert ShelleyEra → Maybe (KeyHash 'StakePool, EpochNo) Source #

lookupRegStakeTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source #

lookupUnRegStakeTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source #

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams ShelleyEra → (KeyHash 'StakePool → Bool) → f (TxCert ShelleyEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → f (TxCert ShelleyEra) → Coin Source #

EraTxLevel ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

Associated Types

type STxLevel l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type STxLevel l ShelleyEra = STxTopLevel l ShelleyEra
EraGenesis ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Associated Types

type Genesis ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Genesis ShelleyEra = ShelleyGenesis
EraAccounts ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

Associated Types

type AccountState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

type AccountState ShelleyEra = ShelleyAccountState ShelleyEra
type Accounts ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

type Accounts ShelleyEra = ShelleyAccounts ShelleyEra

Methods

addAccountState ∷ Credential 'Staking → AccountState ShelleyEra → Accounts ShelleyEra → Accounts ShelleyEra Source #

accountsMapL ∷ Lens' (Accounts ShelleyEra) (Map (Credential 'Staking) (AccountState ShelleyEra)) Source #

balanceAccountStateL ∷ Lens' (AccountState ShelleyEra) (CompactForm Coin) Source #

depositAccountStateL ∷ Lens' (AccountState ShelleyEra) (CompactForm Coin) Source #

stakePoolDelegationAccountStateL ∷ Lens' (AccountState ShelleyEra) (Maybe (KeyHash 'StakePool)) Source #

unregisterAccount ∷ Credential 'Staking → Accounts ShelleyEra → (Maybe (AccountState ShelleyEra), Accounts ShelleyEra) Source #

EraCertState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.CertState

Associated Types

type CertState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.CertState

type CertState ShelleyEra = ShelleyCertState ShelleyEra

Methods

certDStateL ∷ Lens' (CertState ShelleyEra) (DState ShelleyEra) Source #

certPStateL ∷ Lens' (CertState ShelleyEra) (PState ShelleyEra) Source #

obligationCertState ∷ CertState ShelleyEra → Obligations Source #

certsTotalDepositsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody ShelleyEra ⇒ PParams ShelleyEra → CertState ShelleyEra → TxBody t ShelleyEra → Coin Source #

certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody ShelleyEra ⇒ PParams ShelleyEra → CertState ShelleyEra → TxBody t ShelleyEra → Coin Source #

EraGov ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Associated Types

type GovState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

type GovState ShelleyEra = ShelleyGovState ShelleyEra

Methods

emptyGovState ∷ GovState ShelleyEra Source #

curPParamsGovStateL ∷ Lens' (GovState ShelleyEra) (PParams ShelleyEra) Source #

prevPParamsGovStateL ∷ Lens' (GovState ShelleyEra) (PParams ShelleyEra) Source #

futurePParamsGovStateL ∷ Lens' (GovState ShelleyEra) (FuturePParams ShelleyEra) Source #

obligationGovState ∷ GovState ShelleyEra → Obligations Source #

EraStake ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Stake

Associated Types

type InstantStake ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Stake

type InstantStake ShelleyEra = ShelleyInstantStake ShelleyEra

Methods

instantStakeCredentialsL ∷ Lens' (InstantStake ShelleyEra) (Map (Credential 'Staking) (CompactForm Coin)) Source #

addInstantStake ∷ UTxO ShelleyEra → InstantStake ShelleyEra → InstantStake ShelleyEra Source #

deleteInstantStake ∷ UTxO ShelleyEra → InstantStake ShelleyEra → InstantStake ShelleyEra Source #

resolveInstantStake ∷ InstantStake ShelleyEra → Accounts ShelleyEra → Stake Source #

EraUTxO ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

Associated Types

type ScriptsNeeded ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

type ScriptsNeeded ShelleyEra = ShelleyScriptsNeeded ShelleyEra

Methods

consumed ∷ ∀ (t ∷ TxLevel). PParams ShelleyEra → CertState ShelleyEra → UTxO ShelleyEra → TxBody t ShelleyEra → Value ShelleyEra Source #

getConsumedValue ∷ ∀ (t ∷ TxLevel). PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO ShelleyEra → TxBody t ShelleyEra → Value ShelleyEra Source #

getProducedValue ∷ ∀ (t ∷ TxLevel). PParams ShelleyEra → (KeyHash 'StakePool → Bool) → TxBody t ShelleyEra → Value ShelleyEra Source #

getScriptsProvided ∷ ∀ (t ∷ TxLevel). UTxO ShelleyEra → Tx t ShelleyEra → ScriptsProvided ShelleyEra Source #

getScriptsNeeded ∷ ∀ (t ∷ TxLevel). UTxO ShelleyEra → TxBody t ShelleyEra → ScriptsNeeded ShelleyEra Source #

getScriptsHashesNeeded ∷ ScriptsNeeded ShelleyEra → Set ScriptHash Source #

getWitsVKeyNeeded ∷ ∀ (t ∷ TxLevel). CertState ShelleyEra → UTxO ShelleyEra → TxBody t ShelleyEra → Set (KeyHash 'Witness) Source #

getMinFeeTxUtxo ∷ ∀ (t ∷ TxLevel). PParams ShelleyEra → Tx t ShelleyEra → UTxO ShelleyEra → Coin Source #

Era ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName ShelleyEra = "Shelley"
type PreviousEra ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type PreviousEra ShelleyEra = ByronEra
type ProtVerLow ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow ShelleyEra = 2
type ProtVerHigh ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra

Methods

eraName ∷ String Source #

ApplyTx ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.API.Mempool

Methods

applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv ShelleyEra → MempoolState ShelleyEra → Tx 'TopTx ShelleyEra → Either (ApplyTxError ShelleyEra) (MempoolState ShelleyEra, Validated (Tx 'TopTx ShelleyEra)) Source #

ApplyBlock ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.API.Validation

Methods

applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState ShelleyEra → Block BHeaderView ShelleyEra → (NewEpochState ShelleyEra, [PredicateFailure (EraRule "BBODY" ShelleyEra)], [Event (EraRule "BBODY" ShelleyEra)]) Source #

applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState ShelleyEra → SlotNo → (NewEpochState ShelleyEra, [Event (EraRule "TICK" ShelleyEra)]) Source #

ShelleyEraScript ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript ShelleyEra Source #

getRequireSignature ∷ NativeScript ShelleyEra → Maybe (KeyHash 'Witness) Source #

mkRequireAllOf ∷ StrictSeq (NativeScript ShelleyEra) → NativeScript ShelleyEra Source #

getRequireAllOf ∷ NativeScript ShelleyEra → Maybe (StrictSeq (NativeScript ShelleyEra)) Source #

mkRequireAnyOf ∷ StrictSeq (NativeScript ShelleyEra) → NativeScript ShelleyEra Source #

getRequireAnyOf ∷ NativeScript ShelleyEra → Maybe (StrictSeq (NativeScript ShelleyEra)) Source #

mkRequireMOf ∷ Int → StrictSeq (NativeScript ShelleyEra) → NativeScript ShelleyEra Source #

getRequireMOf ∷ NativeScript ShelleyEra → Maybe (Int, StrictSeq (NativeScript ShelleyEra)) Source #

ShelleyEraAccounts ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

Methods

mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState ShelleyEra Source #

accountsPtrsMapL ∷ Lens' (Accounts ShelleyEra) (Map Ptr (Credential 'Staking))

accountsPtrsMapG ∷ SimpleGetter (Accounts ShelleyEra) (Map Ptr (Credential 'Staking)) Source #

ptrAccountStateG ∷ SimpleGetter (AccountState ShelleyEra) Ptr Source #

EraTransition ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Associated Types

newtype TransitionConfig ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig {}

Methods

mkTransitionConfig ∷ TranslationContext ShelleyEra → TransitionConfig (PreviousEra ShelleyEra) → TransitionConfig ShelleyEra Source #

injectIntoTestState ∷ TransitionConfig ShelleyEra → NewEpochState ShelleyEra → NewEpochState ShelleyEra Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig ShelleyEra) (TransitionConfig (PreviousEra ShelleyEra)) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig ShelleyEra) (TranslationContext ShelleyEra) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig ShelleyEra) ShelleyGenesis Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig ShelleyEra) (PParams ShelleyEra) Source #

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig ShelleyEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig ShelleyEra)

ShelleyEraTxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) (StrictMaybe (Update ShelleyEra)) Source #

ShelleyEraTxCert ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

mkRegTxCert ∷ Credential 'Staking → TxCert ShelleyEra Source #

getRegTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source #

mkUnRegTxCert ∷ Credential 'Staking → TxCert ShelleyEra Source #

getUnRegTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking) Source #

mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert ShelleyEra Source #

getDelegStakeTxCert ∷ TxCert ShelleyEra → Maybe (Credential 'Staking, KeyHash 'StakePool) Source #

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert ShelleyEra Source #

getGenesisDelegTxCert ∷ TxCert ShelleyEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert ShelleyEra Source #

getMirTxCert ∷ TxCert ShelleyEra → Maybe MIRCert Source #

HasEraTxLevel Tx ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l ShelleyEra → STxLevel l ShelleyEra Source #

HasEraTxLevel TxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l ShelleyEra → STxLevel l ShelleyEra Source #

HasEraTxLevel ShelleyTxBodyRaw ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). ShelleyTxBodyRaw l ShelleyEra → STxLevel l ShelleyEra Source #

HuddleGroup "account_registration_cert" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "account_unregistration_cert" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "delegation_to_stake_pool_cert" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "genesis_delegation_cert" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "move_instantaneous_rewards_cert" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "multi_host_name" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "operational_cert" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "pool_params" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "pool_registration_cert" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "pool_retirement_cert" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "protocol_version" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "script_all" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "script_any" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "script_n_of_k" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "script_pubkey" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "single_host_addr" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "single_host_name" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleRule "block" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "bootstrap_witness" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "certificate" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "delta_coin" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "dns_name" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "genesis_delegate_hash" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "genesis_hash" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "header" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "header_body" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "major_protocol_version" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "move_instantaneous_reward" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "native_script" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "pool_metadata" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "proposed_protocol_parameter_updates" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "protocol_param_update" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "relay" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "transaction" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "transaction_body" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "transaction_id" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "transaction_input" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "transaction_output" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "transaction_witness_set" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "update" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "url" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "vkeywitness" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "withdrawals" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule1 "set" ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.HuddleSpec

Methods

huddleRule1 ∷ IsType0 a ⇒ Proxy ShelleyEra → a → GRuleCall Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

injectFailure ∷ ShelleyBbodyPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyDelegPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyDelplPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

injectFailure ∷ ShelleyLedgerPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

injectFailure ∷ ShelleyLedgersPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyPoolPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyPpupPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "BBODY" ShelleyEra Source #

InjectRuleFailure "DELEG" ShelleyDelegPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

Methods

injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "DELEG" ShelleyEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Methods

injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Methods

injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source #

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Methods

injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source #

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

Methods

injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "DELEGS" ShelleyEra Source #

InjectRuleFailure "DELPL" ShelleyDelegPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

Methods

injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "DELPL" ShelleyEra Source #

InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

Methods

injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "DELPL" ShelleyEra Source #

InjectRuleFailure "DELPL" ShelleyPoolPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

Methods

injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "DELPL" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

injectFailure ∷ ShelleyLedgerPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

Methods

injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "LEDGER" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

injectFailure ∷ ShelleyDelegPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

injectFailure ∷ ShelleyDelegsPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

injectFailure ∷ ShelleyDelplPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

injectFailure ∷ ShelleyLedgerPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

injectFailure ∷ ShelleyLedgersPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

Methods

injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "LEDGERS" ShelleyEra Source #

InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

Methods

injectFailure ∷ ShelleyPoolPredFailure ShelleyEra → EraRuleFailure "POOL" ShelleyEra Source #

InjectRuleFailure "PPUP" ShelleyPpupPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Methods

injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "PPUP" ShelleyEra Source #

InjectRuleFailure "UTXO" ShelleyPpupPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Methods

injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "UTXO" ShelleyEra Source #

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

Methods

injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "UTXO" ShelleyEra Source #

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Methods

injectFailure ∷ ShelleyPpupPredFailure ShelleyEra → EraRuleFailure "UTXOW" ShelleyEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Methods

injectFailure ∷ ShelleyUtxoPredFailure ShelleyEra → EraRuleFailure "UTXOW" ShelleyEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Methods

injectFailure ∷ ShelleyUtxowPredFailure ShelleyEra → EraRuleFailure "UTXOW" ShelleyEra Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l ShelleyEra)) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l ShelleyEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l ShelleyEra)) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (ShelleyTxBodyRaw l ShelleyEra)) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (ShelleyTxBodyRaw l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (ShelleyTxBodyRaw l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (ShelleyTxBodyRaw l ShelleyEra)) → Text Source #

Generic (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Associated Types

type Rep (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))

Methods

from ∷ TransitionConfig ShelleyEra → Rep (TransitionConfig ShelleyEra) x #

to ∷ Rep (TransitionConfig ShelleyEra) x → TransitionConfig ShelleyEra #

Show (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

showsPrec ∷ Int → TransitionConfig ShelleyEra → ShowS #

show ∷ TransitionConfig ShelleyEra → String #

showList ∷ [TransitionConfig ShelleyEra] → ShowS #

Eq (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

(==) ∷ TransitionConfig ShelleyEra → TransitionConfig ShelleyEra → Bool #

(/=) ∷ TransitionConfig ShelleyEra → TransitionConfig ShelleyEra → Bool #

NoThunks (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

noThunks ∷ Context → TransitionConfig ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig ShelleyEra) → String Source #

Typeable l ⇒ ToCBOR (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toCBOR ∷ Tx l ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx l ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx l ShelleyEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toCBOR ∷ TxBody l ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l ShelleyEra] → Size Source #

Typeable l ⇒ DecCBOR (ShelleyTxBodyRaw l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

decCBOR ∷ Decoder s (ShelleyTxBodyRaw l ShelleyEra) Source #

dropCBOR ∷ Proxy (ShelleyTxBodyRaw l ShelleyEra) → Decoder s () Source #

label ∷ Proxy (ShelleyTxBodyRaw l ShelleyEra) → Text Source #

EncCBOR (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBOR ∷ Tx l ShelleyEra → Encoding Source #

EncCBOR (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

SafeToHash (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

originalBytes ∷ TxBody l ShelleyEra → ByteString Source #

originalBytesSize ∷ TxBody l ShelleyEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l ShelleyEra → SafeHash i Source #

EqRaw (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

eqRaw ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool Source #

EqRaw (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

eqRaw ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool Source #

Memoized (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type RawType (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

Methods

getMemoBytes ∷ TxBody l ShelleyEra → MemoBytes (RawType (TxBody l ShelleyEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l ShelleyEra)) → TxBody l ShelleyEra

NFData (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnf ∷ Tx l ShelleyEra → () #

NFData (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type Rep (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))

Methods

from ∷ Tx l ShelleyEra → Rep (Tx l ShelleyEra) x #

to ∷ Rep (Tx l ShelleyEra) x → Tx l ShelleyEra #

Generic (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

Methods

from ∷ TxBody l ShelleyEra → Rep (TxBody l ShelleyEra) x #

to ∷ Rep (TxBody l ShelleyEra) x → TxBody l ShelleyEra #

Show (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

showsPrec ∷ Int → Tx l ShelleyEra → ShowS #

show ∷ Tx l ShelleyEra → String #

showList ∷ [Tx l ShelleyEra] → ShowS #

Show (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

showsPrec ∷ Int → TxBody l ShelleyEra → ShowS #

show ∷ TxBody l ShelleyEra → String #

showList ∷ [TxBody l ShelleyEra] → ShowS #

Eq (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

(==) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

(/=) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

Eq (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

(==) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

(/=) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

Typeable l ⇒ NoThunks (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

noThunks ∷ Context → Tx l ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx l ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx l ShelleyEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

noThunks ∷ Context → TxBody l ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l ShelleyEra) → String Source #

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source #

type BlockBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

type BlockBody ShelleyEra = ShelleyBlockBody ShelleyEra
type NativeScript ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type NativeScript ShelleyEra = MultiSig ShelleyEra
type Script ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Script ShelleyEra = MultiSig ShelleyEra
type TxAuxData ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEra
type TxOut ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxOut

type TxOut ShelleyEra = ShelleyTxOut ShelleyEra
type TxWits ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type TxWits ShelleyEra = ShelleyTxWits ShelleyEra
type Value ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type Value ShelleyEra = Coin
type TranslationContext ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Translation

type TranslationContext ShelleyEra = FromByronTranslationContext
type TxCert ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type TxCert ShelleyEra = ShelleyTxCert ShelleyEra
type TxCertUpgradeError ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type TxCertUpgradeError ShelleyEra = Void
type Genesis ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Genesis ShelleyEra = ShelleyGenesis
type AccountState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

type AccountState ShelleyEra = ShelleyAccountState ShelleyEra
type Accounts ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Account

type Accounts ShelleyEra = ShelleyAccounts ShelleyEra
type CertState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.CertState

type CertState ShelleyEra = ShelleyCertState ShelleyEra
type GovState ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

type GovState ShelleyEra = ShelleyGovState ShelleyEra
type InstantStake ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.State.Stake

type InstantStake ShelleyEra = ShelleyInstantStake ShelleyEra
type ScriptsNeeded ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

type ScriptsNeeded ShelleyEra = ShelleyScriptsNeeded ShelleyEra
type EraName ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName ShelleyEra = "Shelley"
type PreviousEra ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type PreviousEra ShelleyEra = ByronEra
type ProtVerHigh ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra
type ProtVerLow ShelleyEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow ShelleyEra = 2
newtype TransitionConfig ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig {}
newtype Tx l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {}
newtype TxBody l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))
type EraRule "BBODY" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "BBODY" ShelleyEra = ShelleyBBODY ShelleyEra
type EraRule "DELEG" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELEG" ShelleyEra = ShelleyDELEG ShelleyEra
type EraRule "DELEGS" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELEGS" ShelleyEra = ShelleyDELEGS ShelleyEra
type EraRule "DELPL" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "DELPL" ShelleyEra = ShelleyDELPL ShelleyEra
type EraRule "EPOCH" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "EPOCH" ShelleyEra = ShelleyEPOCH ShelleyEra
type EraRule "LEDGER" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "LEDGER" ShelleyEra = ShelleyLEDGER ShelleyEra
type EraRule "LEDGERS" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "LEDGERS" ShelleyEra = ShelleyLEDGERS ShelleyEra
type EraRule "MIR" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "MIR" ShelleyEra = ShelleyMIR ShelleyEra
type EraRule "NEWEPOCH" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "NEWEPOCH" ShelleyEra = ShelleyNEWEPOCH ShelleyEra
type EraRule "NEWPP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "NEWPP" ShelleyEra = ShelleyNEWPP ShelleyEra
type EraRule "POOL" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "POOL" ShelleyEra = ShelleyPOOL ShelleyEra
type EraRule "POOLREAP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "POOLREAP" ShelleyEra = ShelleyPOOLREAP ShelleyEra
type EraRule "PPUP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "PPUP" ShelleyEra = ShelleyPPUP ShelleyEra
type EraRule "RUPD" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "RUPD" ShelleyEra = ShelleyRUPD ShelleyEra
type EraRule "SNAP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "SNAP" ShelleyEra = ShelleySNAP ShelleyEra
type EraRule "TICK" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "TICK" ShelleyEra = ShelleyTICK ShelleyEra
type EraRule "TICKF" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "TICKF" ShelleyEra = ShelleyTICKF ShelleyEra
type EraRule "UPEC" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UPEC" ShelleyEra = ShelleyUPEC ShelleyEra
type EraRule "UTXO" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UTXO" ShelleyEra = ShelleyUTXO ShelleyEra
type EraRule "UTXOW" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type EraRule "UTXOW" ShelleyEra = ShelleyUTXOW ShelleyEra
type EraRuleEvent "LEDGER" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type EraRuleEvent "LEDGER" ShelleyEra = ShelleyLedgerEvent ShelleyEra
type EraRuleEvent "LEDGERS" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type EraRuleEvent "LEDGERS" ShelleyEra = ShelleyLedgersEvent ShelleyEra
type EraRuleEvent "NEWEPOCH" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type EraRuleEvent "NEWEPOCH" ShelleyEra = ShelleyNewEpochEvent ShelleyEra
type EraRuleEvent "POOLREAP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type EraRuleEvent "POOLREAP" ShelleyEra = ShelleyPoolreapEvent ShelleyEra
type EraRuleEvent "TICK" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type EraRuleEvent "TICK" ShelleyEra = ShelleyTickEvent ShelleyEra
type EraRuleFailure "BBODY" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type EraRuleFailure "BBODY" ShelleyEra = ShelleyBbodyPredFailure ShelleyEra
type EraRuleFailure "DELEG" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type EraRuleFailure "DELEG" ShelleyEra = ShelleyDelegPredFailure ShelleyEra
type EraRuleFailure "DELEGS" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type EraRuleFailure "DELEGS" ShelleyEra = ShelleyDelegsPredFailure ShelleyEra
type EraRuleFailure "DELPL" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type EraRuleFailure "DELPL" ShelleyEra = ShelleyDelplPredFailure ShelleyEra
type EraRuleFailure "LEDGER" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type EraRuleFailure "LEDGER" ShelleyEra = ShelleyLedgerPredFailure ShelleyEra
type EraRuleFailure "LEDGERS" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type EraRuleFailure "LEDGERS" ShelleyEra = ShelleyLedgersPredFailure ShelleyEra
type EraRuleFailure "POOL" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type EraRuleFailure "POOL" ShelleyEra = ShelleyPoolPredFailure ShelleyEra
type EraRuleFailure "PPUP" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type EraRuleFailure "PPUP" ShelleyEra = ShelleyPpupPredFailure ShelleyEra
type EraRuleFailure "UTXO" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type EraRuleFailure "UTXO" ShelleyEra = ShelleyUtxoPredFailure ShelleyEra
type EraRuleFailure "UTXOW" ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type EraRuleFailure "UTXOW" ShelleyEra = ShelleyUtxowPredFailure ShelleyEra
type DowngradePParams f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type DowngradePParams f ShelleyEra = Void
type PParamsHKD f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type PParamsHKD f ShelleyEra = ShelleyPParams f ShelleyEra
type UpgradePParams f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type UpgradePParams f ShelleyEra = Void
type STxLevel l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Era

type STxLevel l ShelleyEra = STxTopLevel l ShelleyEra
type Rep (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))
type RawType (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra
type Rep (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))
type Rep (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

shelleyCDDL ∷ Huddle Source #

shelleyProtocolVersionGroup ∷ HuddleRule "major_protocol_version" era ⇒ Proxy era → GroupDef Source #

headerRule ∷ HuddleRule "header_body" era ⇒ Proxy era → Rule Source #

proposedProtocolParameterUpdatesRule ∷ (HuddleRule "genesis_hash" era, HuddleRule "protocol_param_update" era) ⇒ Proxy era → Rule Source #

updateRule ∷ HuddleRule "proposed_protocol_parameter_updates" era ⇒ Proxy era → Rule Source #

protocolParamUpdateRule ∷ HuddleGroup "protocol_version" era ⇒ Proxy era → Rule Source #

headerBodyRule ∷ (HuddleGroup "operational_cert" era, HuddleGroup "protocol_version" era) ⇒ Proxy era → Rule Source #

transactionWitnessSetRule ∷ (HuddleRule "vkeywitness" era, HuddleRule "native_script" era, HuddleRule "bootstrap_witness" era) ⇒ Proxy era → Rule Source #

vkeywitnessRule ∷ Era era ⇒ Proxy era → Rule Source #

bootstrapWitnessRule ∷ Era era ⇒ Proxy era → Rule Source #

shelleyOperationalCertGroup ∷ Era era ⇒ Proxy era → GroupDef Source #

genesisHashRule ∷ Era era ⇒ Proxy era → Rule Source #

scriptPubkeyGroup ∷ Era era ⇒ Proxy era → GroupDef Source #

scriptAllGroup ∷ HuddleRule "native_script" era ⇒ Proxy era → GroupDef Source #

scriptAnyGroup ∷ HuddleRule "native_script" era ⇒ Proxy era → GroupDef Source #

transactionIdRule ∷ Era era ⇒ Proxy era → Rule Source #

transactionInputRule ∷ HuddleRule "transaction_id" era ⇒ Proxy era → Rule Source #

transactionOutputRule ∷ Era era ⇒ Proxy era → Rule Source #

shelleyWithdrawalsRule ∷ Era era ⇒ Proxy era → Rule Source #

dnsNameRule ∷ Rule Source #

urlRule ∷ Rule Source #

poolMetadataRule ∷ HuddleRule "url" era ⇒ Proxy era → Rule Source #

singleHostAddrGroup ∷ Era era ⇒ Proxy era → GroupDef Source #

singleHostNameGroup ∷ HuddleRule "dns_name" era ⇒ Proxy era → GroupDef Source #

multiHostNameGroup ∷ HuddleRule "dns_name" era ⇒ Proxy era → GroupDef Source #

relayRule ∷ (HuddleGroup "single_host_addr" era, HuddleGroup "single_host_name" era, HuddleGroup "multi_host_name" era) ⇒ Proxy era → Rule Source #

poolParamsGroup ∷ (HuddleRule "relay" era, HuddleRule "pool_metadata" era, HuddleRule1 "set" era) ⇒ Proxy era → GroupDef Source #

poolRegistrationCertGroup ∷ HuddleGroup "pool_params" era ⇒ Proxy era → GroupDef Source #

poolRetirementCertGroup ∷ Era era ⇒ Proxy era → GroupDef Source #

genesisDelegateHashRule ∷ Era era ⇒ Proxy era → Rule Source #

genesisDelegationCertGroup ∷ (HuddleRule "genesis_hash" era, HuddleRule "genesis_delegate_hash" era) ⇒ Proxy era → GroupDef Source #

deltaCoinRule ∷ Rule Source #

moveInstantaneousRewardRule ∷ HuddleRule "delta_coin" era ⇒ Proxy era → Rule Source #

moveInstantaneousRewardsCertGroup ∷ HuddleRule "move_instantaneous_reward" era ⇒ Proxy era → GroupDef Source #

accountRegistrationCertGroup ∷ Era era ⇒ Proxy era → GroupDef Source #

accountUnregistrationCertGroup ∷ Era era ⇒ Proxy era → GroupDef Source #

delegationToStakePoolCertGroup ∷ Era era ⇒ Proxy era → GroupDef Source #

certificateRule ∷ (HuddleGroup "account_registration_cert" era, HuddleGroup "account_unregistration_cert" era, HuddleGroup "delegation_to_stake_pool_cert" era, HuddleGroup "pool_registration_cert" era, HuddleGroup "pool_retirement_cert" era, HuddleGroup "genesis_delegation_cert" era, HuddleGroup "move_instantaneous_rewards_cert" era) ⇒ Proxy era → Rule Source #

untaggedSet ∷ IsType0 a ⇒ a → GRuleCall Source #

Orphan instances

HuddleGroup "account_registration_cert" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "account_unregistration_cert" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "delegation_to_stake_pool_cert" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "genesis_delegation_cert" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "move_instantaneous_rewards_cert" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "multi_host_name" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "operational_cert" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "pool_params" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "pool_registration_cert" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "pool_retirement_cert" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "protocol_version" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "script_all" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "script_any" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "script_n_of_k" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "script_pubkey" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "single_host_addr" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleGroup "single_host_name" ShelleyEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy ShelleyEra → GroupDef Source #

HuddleRule "block" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "bootstrap_witness" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "certificate" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "delta_coin" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "dns_name" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "genesis_delegate_hash" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "genesis_hash" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "header" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "header_body" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "major_protocol_version" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "move_instantaneous_reward" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "native_script" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "pool_metadata" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "proposed_protocol_parameter_updates" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "protocol_param_update" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "relay" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "transaction" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "transaction_body" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "transaction_id" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "transaction_input" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "transaction_output" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "transaction_witness_set" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "update" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "url" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "vkeywitness" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule "withdrawals" ShelleyEra Source # 
Instance details

Methods

huddleRule ∷ Proxy ShelleyEra → Rule Source #

HuddleRule1 "set" ShelleyEra Source # 
Instance details

Methods

huddleRule1 ∷ IsType0 a ⇒ Proxy ShelleyEra → a → GRuleCall Source #