Documentation

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 { unShelleyTx ∷ ShelleyTx l ShelleyEra }

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

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

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 #

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

hkdTxFeeFixedCompactL ∷ ∀ (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

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

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

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

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

ShelleyEraScript ShelleyEra

Associated Types

newtype ApplyTxError ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool newtype ApplyTxError ShelleyEra = ShelleyApplyTxError (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

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 #

Instance details

ShelleyEraAccounts ShelleyEra

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 #

Instance details

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

ShelleyEraTxBody ShelleyEra

Associated Types

newtype TransitionConfig ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Transition newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig { stcShelleyGenesis ∷ ShelleyGenesis }

Instance details

ShelleyEraTxCert ShelleyEra

Methods

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

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

Instance details

HasEraTxLevel TxBody ShelleyEra

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 #

Instance details

HasEraTxLevel ShelleyTxBodyRaw ShelleyEra

Methods

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

Instance details

Methods

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

HuddleGroup "account_registration_cert" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "account_registration_cert" → Proxy ShelleyEra → GroupDef Source #

HuddleGroup "account_unregistration_cert" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "account_unregistration_cert" → Proxy ShelleyEra → GroupDef Source #

HuddleGroup "delegation_to_stake_pool_cert" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "delegation_to_stake_pool_cert" → Proxy ShelleyEra → GroupDef Source #

HuddleGroup "genesis_delegation_cert" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "genesis_delegation_cert" → Proxy ShelleyEra → GroupDef Source #

HuddleGroup "move_instantaneous_rewards_cert" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "move_instantaneous_rewards_cert" → Proxy ShelleyEra → GroupDef Source #

HuddleGroup "multi_host_name" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "multi_host_name" → Proxy ShelleyEra → GroupDef Source #

HuddleGroup "operational_cert" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "operational_cert" → Proxy ShelleyEra → GroupDef Source #

HuddleGroup "pool_params" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "pool_params" → Proxy ShelleyEra → GroupDef Source #

HuddleGroup "pool_registration_cert" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "pool_registration_cert" → Proxy ShelleyEra → GroupDef Source #

HuddleGroup "pool_retirement_cert" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "pool_retirement_cert" → Proxy ShelleyEra → GroupDef Source #

HuddleGroup "protocol_version" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "protocol_version" → Proxy ShelleyEra → GroupDef Source #

HuddleGroup "script_all" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "script_all" → Proxy ShelleyEra → GroupDef Source #

HuddleGroup "script_any" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "script_any" → Proxy ShelleyEra → GroupDef Source #

HuddleGroup "script_n_of_k" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "script_n_of_k" → Proxy ShelleyEra → GroupDef Source #

HuddleGroup "script_pubkey" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "script_pubkey" → Proxy ShelleyEra → GroupDef Source #

HuddleGroup "single_host_addr" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "single_host_addr" → Proxy ShelleyEra → GroupDef Source #

HuddleGroup "single_host_name" ShelleyEra Source #

Instance details

Methods

huddleGroupNamed ∷ Proxy "single_host_name" → Proxy ShelleyEra → GroupDef Source #

HuddleRule "block" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "block" → Proxy ShelleyEra → Rule Source #

HuddleRule "bootstrap_witness" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "bootstrap_witness" → Proxy ShelleyEra → Rule Source #

HuddleRule "certificate" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "certificate" → Proxy ShelleyEra → Rule Source #

HuddleRule "delta_coin" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "delta_coin" → Proxy ShelleyEra → Rule Source #

HuddleRule "dns_name" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "dns_name" → Proxy ShelleyEra → Rule Source #

HuddleRule "genesis_delegate_hash" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "genesis_delegate_hash" → Proxy ShelleyEra → Rule Source #

HuddleRule "genesis_hash" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "genesis_hash" → Proxy ShelleyEra → Rule Source #

HuddleRule "header" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "header" → Proxy ShelleyEra → Rule Source #

HuddleRule "header_body" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "header_body" → Proxy ShelleyEra → Rule Source #

HuddleRule "major_protocol_version" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "major_protocol_version" → Proxy ShelleyEra → Rule Source #

HuddleRule "move_instantaneous_reward" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "move_instantaneous_reward" → Proxy ShelleyEra → Rule Source #

HuddleRule "native_script" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "native_script" → Proxy ShelleyEra → Rule Source #

HuddleRule "pool_metadata" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "pool_metadata" → Proxy ShelleyEra → Rule Source #

HuddleRule "proposed_protocol_parameter_updates" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "proposed_protocol_parameter_updates" → Proxy ShelleyEra → Rule Source #

HuddleRule "protocol_param_update" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "protocol_param_update" → Proxy ShelleyEra → Rule Source #

HuddleRule "relay" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "relay" → Proxy ShelleyEra → Rule Source #

HuddleRule "transaction" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "transaction" → Proxy ShelleyEra → Rule Source #

HuddleRule "transaction_body" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "transaction_body" → Proxy ShelleyEra → Rule Source #

HuddleRule "transaction_id" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "transaction_id" → Proxy ShelleyEra → Rule Source #

HuddleRule "transaction_input" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "transaction_input" → Proxy ShelleyEra → Rule Source #

HuddleRule "transaction_output" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "transaction_output" → Proxy ShelleyEra → Rule Source #

HuddleRule "transaction_witness_set" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "transaction_witness_set" → Proxy ShelleyEra → Rule Source #

HuddleRule "update" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "update" → Proxy ShelleyEra → Rule Source #

HuddleRule "url" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "url" → Proxy ShelleyEra → Rule Source #

HuddleRule "vkeywitness" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "vkeywitness" → Proxy ShelleyEra → Rule Source #

HuddleRule "withdrawals" ShelleyEra Source #

Instance details

Methods

huddleRuleNamed ∷ Proxy "withdrawals" → Proxy ShelleyEra → Rule Source #

HuddleRule1 "set" ShelleyEra Source #

Instance details

Methods

huddleRule1Named ∷ IsType0 a ⇒ Proxy "set" → Proxy ShelleyEra → a → GRuleCall Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyDelegPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyDelplPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyPoolPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyPpupPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ShelleyEra

Instance details

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

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "DELPL" ShelleyDelegPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "DELPL" ShelleyPoolPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ShelleyEra

Instance details

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

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ShelleyEra

Instance details

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEra

Instance details

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

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

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 #

DecCBOR (ApplyTxError ShelleyEra)

Instance details

Methods

decCBOR ∷ Decoder s (ApplyTxError ShelleyEra) Source #

dropCBOR ∷ Proxy (ApplyTxError ShelleyEra) → Decoder s () Source #

label ∷ Proxy (ApplyTxError ShelleyEra) → Text Source #

EncCBOR (ApplyTxError ShelleyEra)

Instance details

Methods

encCBOR ∷ ApplyTxError ShelleyEra → Encoding Source #

Generic (TransitionConfig ShelleyEra)

Instance details

Associated Types

type Rep (TransitionConfig ShelleyEra)

Instance details

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 (ApplyTxError ShelleyEra)

Instance details

Methods

showsPrec ∷ Int → ApplyTxError ShelleyEra → ShowS #

show ∷ ApplyTxError ShelleyEra → String #

showList ∷ [ApplyTxError ShelleyEra] → ShowS #

Show (TransitionConfig ShelleyEra)

Instance details

Methods

showsPrec ∷ Int → TransitionConfig ShelleyEra → ShowS #

show ∷ TransitionConfig ShelleyEra → String #

showList ∷ [TransitionConfig ShelleyEra] → ShowS #

Eq (ApplyTxError ShelleyEra)

Instance details

Methods

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

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

Eq (TransitionConfig ShelleyEra)

Instance details

Methods

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

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

NoThunks (TransitionConfig ShelleyEra)

Instance details

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

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

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

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

SafeToHash (TxBody l ShelleyEra)

Instance details

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

Methods

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

Memoized (TxBody l ShelleyEra)

Instance details

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

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

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

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

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

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

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

type NativeScript ShelleyEra = MultiSig ShelleyEra

type Script ShelleyEra

Instance details

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

type Value ShelleyEra = Coin

type TranslationContext ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Translation

type TranslationContext ShelleyEra = FromByronTranslationContext

type TxCert ShelleyEra

Instance details

type TxCert ShelleyEra = ShelleyTxCert ShelleyEra

type TxCertUpgradeError ShelleyEra

Instance details

type TxCertUpgradeError ShelleyEra = Void

type Genesis ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Genesis ShelleyEra = ShelleyGenesis

type AccountState ShelleyEra

Instance details

type AccountState ShelleyEra = ShelleyAccountState ShelleyEra

type Accounts ShelleyEra

Instance details

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

type EraName ShelleyEra = "Shelley"

type PreviousEra ShelleyEra

Instance details

type PreviousEra ShelleyEra = ByronEra

type ProtVerHigh ShelleyEra

Instance details

type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra

type ProtVerLow ShelleyEra

Instance details

type ProtVerLow ShelleyEra = 2

newtype ApplyTxError ShelleyEra

Instance details

newtype ApplyTxError ShelleyEra = ShelleyApplyTxError (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

newtype TransitionConfig ShelleyEra

Instance details

newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig {

stcShelleyGenesis ∷ ShelleyGenesis

}

newtype Tx l ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {

unShelleyTx ∷ ShelleyTx l ShelleyEra

}

newtype TxBody l ShelleyEra

Instance details

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

type EraRule "BBODY" ShelleyEra

Instance details

type EraRule "BBODY" ShelleyEra = ShelleyBBODY ShelleyEra

type EraRule "DELEG" ShelleyEra

Instance details

type EraRule "DELEG" ShelleyEra = ShelleyDELEG ShelleyEra

type EraRule "DELEGS" ShelleyEra

Instance details

type EraRule "DELEGS" ShelleyEra = ShelleyDELEGS ShelleyEra

type EraRule "DELPL" ShelleyEra

Instance details

type EraRule "DELPL" ShelleyEra = ShelleyDELPL ShelleyEra

type EraRule "EPOCH" ShelleyEra

Instance details

type EraRule "EPOCH" ShelleyEra = ShelleyEPOCH ShelleyEra

type EraRule "LEDGER" ShelleyEra

Instance details

type EraRule "LEDGER" ShelleyEra = ShelleyLEDGER ShelleyEra

type EraRule "LEDGERS" ShelleyEra

Instance details

type EraRule "LEDGERS" ShelleyEra = ShelleyLEDGERS ShelleyEra

type EraRule "MIR" ShelleyEra

Instance details

type EraRule "MIR" ShelleyEra = ShelleyMIR ShelleyEra

type EraRule "NEWEPOCH" ShelleyEra

Instance details

type EraRule "NEWEPOCH" ShelleyEra = ShelleyNEWEPOCH ShelleyEra

type EraRule "NEWPP" ShelleyEra

Instance details

type EraRule "NEWPP" ShelleyEra = ShelleyNEWPP ShelleyEra

type EraRule "POOL" ShelleyEra

Instance details

type EraRule "POOL" ShelleyEra = ShelleyPOOL ShelleyEra

type EraRule "POOLREAP" ShelleyEra

Instance details

type EraRule "POOLREAP" ShelleyEra = ShelleyPOOLREAP ShelleyEra

type EraRule "PPUP" ShelleyEra

Instance details

type EraRule "PPUP" ShelleyEra = ShelleyPPUP ShelleyEra

type EraRule "RUPD" ShelleyEra

Instance details

type EraRule "RUPD" ShelleyEra = ShelleyRUPD ShelleyEra

type EraRule "SNAP" ShelleyEra

Instance details

type EraRule "SNAP" ShelleyEra = ShelleySNAP ShelleyEra

type EraRule "TICK" ShelleyEra

Instance details

type EraRule "TICK" ShelleyEra = ShelleyTICK ShelleyEra

type EraRule "TICKF" ShelleyEra

Instance details

type EraRule "TICKF" ShelleyEra = ShelleyTICKF ShelleyEra

type EraRule "UPEC" ShelleyEra

Instance details

type EraRule "UPEC" ShelleyEra = ShelleyUPEC ShelleyEra

type EraRule "UTXO" ShelleyEra

Instance details

type EraRule "UTXO" ShelleyEra = ShelleyUTXO ShelleyEra

type EraRule "UTXOW" ShelleyEra

Instance details

type EraRule "UTXOW" ShelleyEra = ShelleyUTXOW ShelleyEra

type EraRuleEvent "LEDGER" ShelleyEra

Instance details

type EraRuleEvent "LEDGER" ShelleyEra = ShelleyLedgerEvent ShelleyEra

type EraRuleEvent "LEDGERS" ShelleyEra

Instance details

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

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

type EraRuleFailure "DELEGS" ShelleyEra = ShelleyDelegsPredFailure ShelleyEra

type EraRuleFailure "DELPL" ShelleyEra

Instance details

type EraRuleFailure "DELPL" ShelleyEra = ShelleyDelplPredFailure ShelleyEra

type EraRuleFailure "LEDGER" ShelleyEra

Instance details

type EraRuleFailure "LEDGER" ShelleyEra = ShelleyLedgerPredFailure ShelleyEra

type EraRuleFailure "LEDGERS" ShelleyEra

Instance details

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

type EraRuleFailure "UTXOW" ShelleyEra = ShelleyUtxowPredFailure ShelleyEra

type DowngradePParams f ShelleyEra

Instance details

type DowngradePParams f ShelleyEra = Void

type PParamsHKD f ShelleyEra

Instance details

type PParamsHKD f ShelleyEra = ShelleyPParams f ShelleyEra

type UpgradePParams f ShelleyEra

Instance details

type UpgradePParams f ShelleyEra = Void

type STxLevel l ShelleyEra

Instance details

type STxLevel l ShelleyEra = STxTopLevel l ShelleyEra

type Rep (TransitionConfig ShelleyEra)

Instance details

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

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