Documentation

Methods

vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) ValidityInterval Source #

AlonzoEraPParams DijkstraEra Source #

Instance details

Methods

hkdCoinsPerUTxOWordL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ExactEra AlonzoEra DijkstraEra) ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f CoinPerWord) Source #

hkdCostModelsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f CostModels) Source #

hkdPricesL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Prices) Source #

hkdMaxTxExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f ExUnits) Source #

hkdMaxBlockExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f ExUnits) Source #

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

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

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

EraPlutusContext DijkstraEra Source #

Instance details

Associated Types

type ContextError DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxInfo type ContextError DijkstraEra = DijkstraContextError DijkstraEra
data TxInfoResult DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxInfo data TxInfoResult DijkstraEra = DijkstraTxInfoResult (PlutusTxInfoResult 'PlutusV1 DijkstraEra) (PlutusTxInfoResult 'PlutusV2 DijkstraEra) (PlutusTxInfoResult 'PlutusV3 DijkstraEra) (PlutusTxInfoResult 'PlutusV4 DijkstraEra)

Methods

mkSupportedLanguage ∷ Language → Maybe (SupportedLanguage DijkstraEra) Source #

mkSupportedPlutusRunnable ∷ Version → PlutusScript DijkstraEra → SupportedPlutusRunnable DijkstraEra Source #

mkTxInfoResult ∷ LedgerTxInfo DijkstraEra → TxInfoResult DijkstraEra Source #

lookupTxInfoResult ∷ ∀ (l ∷ Language). EraPlutusTxInfo l DijkstraEra ⇒ SLanguage l → TxInfoResult DijkstraEra → PlutusTxInfoResult l DijkstraEra Source #

AlonzoEraScript DijkstraEra Source #

Instance details

AlonzoEraTransition DijkstraEra Source #

Associated Types

data PlutusScript DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts data PlutusScript DijkstraEra = DijkstraPlutusV1 !(Plutus 'PlutusV1) \| DijkstraPlutusV2 !(Plutus 'PlutusV2) \| DijkstraPlutusV3 !(Plutus 'PlutusV3) \| DijkstraPlutusV4 !(Plutus 'PlutusV4)
type PlutusPurpose f DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts type PlutusPurpose f DijkstraEra = DijkstraPlutusPurpose f DijkstraEra

Methods

eraMaxLanguage ∷ Language Source #

toPlutusScript ∷ Script DijkstraEra → Maybe (PlutusScript DijkstraEra) Source #

fromPlutusScript ∷ PlutusScript DijkstraEra → Script DijkstraEra Source #

mkPlutusScript ∷ ∀ (l ∷ Language) m. (PlutusLanguage l, MonadFail m) ⇒ Plutus l → m (PlutusScript DijkstraEra) Source #

withPlutusScript ∷ PlutusScript DijkstraEra → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g DijkstraEra → PlutusPurpose f DijkstraEra Source #

mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f DijkstraEra Source #

toSpendingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 TxIn) Source #

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f DijkstraEra Source #

toMintingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 PolicyID) Source #

mkCertifyingPurpose ∷ f Word32 (TxCert DijkstraEra) → PlutusPurpose f DijkstraEra Source #

toCertifyingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 (TxCert DijkstraEra)) Source #

mkWithdrawingPurpose ∷ f Word32 AccountAddress → PlutusPurpose f DijkstraEra Source #

toWithdrawingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 AccountAddress) Source #

mkRewardingPurpose ∷ f Word32 AccountAddress → PlutusPurpose f DijkstraEra Source #

toRewardingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 AccountAddress) Source #

upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra DijkstraEra) → PlutusPurpose AsIx DijkstraEra Source #

Instance details

Methods

tcAlonzoGenesisL ∷ Lens' (TransitionConfig DijkstraEra) AlonzoGenesis Source #

AlonzoEraTx DijkstraEra Source #

Instance details

Methods

isPhase2ValidTxL ∷ Lens' (Tx 'TopTx DijkstraEra) IsPhase2Valid Source #

isValidTxL ∷ Lens' (Tx 'TopTx DijkstraEra) IsPhase2Valid Source #

getTotalExUnits ∷ ∀ (l ∷ TxLevel). Tx l DijkstraEra → ExUnits Source #

StAnnTxCache DijkstraEra ~ Map ScriptHash (SupportedPlutusRunnable DijkstraEra) ⇒ AlonzoEraTxAuxData DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.TxAuxData

Methods

plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData DijkstraEra) (Map Language (NonEmpty PlutusBinary)) Source #

(Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ AlonzoEraTxBody DijkstraEra Source #

Instance details

Methods

collateralInputsTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (Set TxIn) Source #

reqSignerHashesTxBodyL ∷ ∀ (l ∷ TxLevel). AtMostEra "Conway" DijkstraEra ⇒ Lens' (TxBody l DijkstraEra) (Set (KeyHash 'Guard)) Source #

reqSignerHashesTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Set (KeyHash 'Guard)) Source #

scriptIntegrityHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictMaybe ScriptIntegrityHash) Source #

networkIdTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictMaybe Network) Source #

redeemerPointer ∷ ∀ (l ∷ TxLevel). TxBody l DijkstraEra → PlutusPurpose AsItem DijkstraEra → StrictMaybe (PlutusPurpose AsIx DijkstraEra) Source #

redeemerPointerInverse ∷ ∀ (l ∷ TxLevel). TxBody l DijkstraEra → PlutusPurpose AsIx DijkstraEra → StrictMaybe (PlutusPurpose AsIxItem DijkstraEra) Source #

AlonzoEraTxOut DijkstraEra Source #

Instance details

Methods

dataHashTxOutL ∷ Lens' (TxOut DijkstraEra) (StrictMaybe DataHash) Source #

datumTxOutF ∷ SimpleGetter (TxOut DijkstraEra) (Datum DijkstraEra) Source #

AlonzoEraTxWits DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.TxWits

Methods

datsTxWitsL ∷ Lens' (TxWits DijkstraEra) (TxDats DijkstraEra) Source #

rdmrsTxWitsL ∷ Lens' (TxWits DijkstraEra) (Redeemers DijkstraEra) Source #

AlonzoEraUTxO DijkstraEra Source #

Instance details

Methods

getSupplementalDataHashes ∷ ∀ (l ∷ TxLevel). UTxO DijkstraEra → TxBody l DijkstraEra → Set DataHash Source #

getSpendingDatum ∷ ∀ (l ∷ TxLevel). UTxO DijkstraEra → Tx l DijkstraEra → PlutusPurpose AsItem DijkstraEra → Maybe (Data DijkstraEra) Source #

scriptsProvidedStAnnTx ∷ ∀ (l ∷ TxLevel). StAnnTx l DijkstraEra → ScriptsProvided DijkstraEra Source #

scriptsNeededStAnnTx ∷ ∀ (l ∷ TxLevel). StAnnTx l DijkstraEra → ScriptsNeeded DijkstraEra Source #

plutusScriptsWithContextStAnnTx ∷ ∀ (l ∷ TxLevel). StAnnTx l DijkstraEra → Either (NonEmpty (CollectError DijkstraEra)) [PlutusWithContext] Source #

plutusLanguagesUsedStAnnTx ∷ ∀ (l ∷ TxLevel). StAnnTx l DijkstraEra → Set Language Source #

BabbageEraPParams DijkstraEra Source #

Instance details

Methods

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

(NFData (Tx 'SubTx DijkstraEra), Eq (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ BabbageEraTxBody DijkstraEra Source #

Instance details

Methods

sizedOutputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictSeq (Sized (TxOut DijkstraEra))) Source #

referenceInputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (Set TxIn) Source #

totalCollateralTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (StrictMaybe Coin) Source #

collateralReturnTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (StrictMaybe (TxOut DijkstraEra)) Source #

sizedCollateralReturnTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (StrictMaybe (Sized (TxOut DijkstraEra))) Source #

allSizedOutputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (StrictSeq (Sized (TxOut DijkstraEra))) Source #

BabbageEraTxOut DijkstraEra Source #

Instance details

Methods

referenceScriptTxOutL ∷ Lens' (TxOut DijkstraEra) (StrictMaybe (Script DijkstraEra)) Source #

dataTxOutL ∷ Lens' (TxOut DijkstraEra) (StrictMaybe (Data DijkstraEra)) Source #

datumTxOutL ∷ Lens' (TxOut DijkstraEra) (Datum DijkstraEra) Source #

ConwayEraGov DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Governance

RunConwayRatify DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

runConwayRatify ∷ Globals → RatifyEnv DijkstraEra → RatifyState DijkstraEra → RatifySignal DijkstraEra → RatifyState DijkstraEra Source #

ConwayEraPParams DijkstraEra Source #

Instance details

Methods

modifiedPPGroups ∷ PParamsUpdate DijkstraEra → Set PPGroups Source #

ppuWellFormed ∷ ProtVer → PParamsUpdate DijkstraEra → Bool Source #

hkdPoolVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f PoolVotingThresholds) Source #

hkdDRepVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f DRepVotingThresholds) Source #

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

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

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

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

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

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

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

ppMaxRefScriptSizePerTxG ∷ SimpleGetter (PParams DijkstraEra) Word32 Source #

ppMaxRefScriptSizePerBlockG ∷ SimpleGetter (PParams DijkstraEra) Word32 Source #

ppRefScriptCostMultiplierG ∷ SimpleGetter (PParams DijkstraEra) PositiveInterval Source #

ppRefScriptCostStrideG ∷ SimpleGetter (PParams DijkstraEra) (NonZero Word32) Source #

ConwayEraScript DijkstraEra Source #

Instance details

Methods

mkVotingPurpose ∷ f Word32 Voter → PlutusPurpose f DijkstraEra Source #

toVotingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 Voter) Source #

mkProposingPurpose ∷ f Word32 (ProposalProcedure DijkstraEra) → PlutusPurpose f DijkstraEra Source #

toProposingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 (ProposalProcedure DijkstraEra)) Source #

ConwayEraAccounts DijkstraEra Source #

Instance details

ConwayEraCertState DijkstraEra Source #

Methods

mkConwayAccountState ∷ CompactForm Coin → AccountState DijkstraEra Source #

dRepDelegationAccountStateL ∷ Lens' (AccountState DijkstraEra) (Maybe DRep) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.State.CertState

Methods

certVStateL ∷ Lens' (CertState DijkstraEra) (VState DijkstraEra) Source #

ConwayEraTransition DijkstraEra Source #

Instance details

Methods

tcConwayGenesisL ∷ Lens' (TransitionConfig DijkstraEra) ConwayGenesis Source #

(NFData (Tx 'SubTx DijkstraEra), Eq (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ ConwayEraTxBody DijkstraEra Source #

Instance details

Methods

currentTreasuryValueTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictMaybe Coin) Source #

votingProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (VotingProcedures DijkstraEra) Source #

proposalProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (OSet (ProposalProcedure DijkstraEra)) Source #

treasuryDonationTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) Coin Source #

ConwayEraTxCert DijkstraEra Source #

Instance details

Methods

mkRegDepositTxCert ∷ Credential 'Staking → Coin → TxCert DijkstraEra Source #

getRegDepositTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking, Coin) Source #

mkUnRegDepositTxCert ∷ Credential 'Staking → Coin → TxCert DijkstraEra Source #

getUnRegDepositTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking, Coin) Source #

mkDelegTxCert ∷ Credential 'Staking → Delegatee → TxCert DijkstraEra Source #

getDelegTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking, Delegatee) Source #

mkRegDepositDelegTxCert ∷ Credential 'Staking → Delegatee → Coin → TxCert DijkstraEra Source #

getRegDepositDelegTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking, Delegatee, Coin) Source #

mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert DijkstraEra Source #

getAuthCommitteeHotKeyTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source #

mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert DijkstraEra Source #

getResignCommitteeColdTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source #

mkRegDRepTxCert ∷ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert DijkstraEra Source #

getRegDRepTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source #

mkUnRegDRepTxCert ∷ Credential 'DRepRole → Coin → TxCert DijkstraEra Source #

getUnRegDRepTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'DRepRole, Coin) Source #

mkUpdateDRepTxCert ∷ Credential 'DRepRole → StrictMaybe Anchor → TxCert DijkstraEra Source #

getUpdateDRepTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #

EraBlockBody DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Associated Types

type BlockBody DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal type BlockBody DijkstraEra = DijkstraBlockBody DijkstraEra
type ProtocolEraBlockHeader h DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal type ProtocolEraBlockHeader h DijkstraEra = LeiosEraBlockHeader h DijkstraEra

Methods

mkBasicBlockBody ∷ BlockBody DijkstraEra Source #

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

hashBlockBody ∷ BlockBody DijkstraEra → Hash HASH EraIndependentBlockBody Source #

blockBodySize ∷ ProtVer → BlockBody DijkstraEra → Int Source #

EraScript DijkstraEra Source #

Instance details

Associated Types

type Script DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts type Script DijkstraEra = AlonzoScript DijkstraEra
type NativeScript DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts type NativeScript DijkstraEra = DijkstraNativeScript DijkstraEra

Methods

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

scriptPrefixTag ∷ Script DijkstraEra → ByteString Source #

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

fromNativeScript ∷ NativeScript DijkstraEra → Script DijkstraEra Source #

EraTx DijkstraEra Source #

Instance details

Associated Types

newtype Tx l DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Tx newtype Tx l DijkstraEra = MkDijkstraTx { unDijkstraTx ∷ DijkstraTx l DijkstraEra }
type StAnnTx l DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Tx type StAnnTx l DijkstraEra = DijkstraStAnnTx l DijkstraEra
type StAnnTxCache DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Tx type StAnnTxCache DijkstraEra = Map ScriptHash (SupportedPlutusRunnable DijkstraEra)

Methods

txStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l DijkstraEra) (Tx l DijkstraEra) Source #

cacheStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l DijkstraEra) (StAnnTxCache DijkstraEra) Source #

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

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

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

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

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

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

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

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

StAnnTxCache DijkstraEra ~ Map ScriptHash (SupportedPlutusRunnable DijkstraEra) ⇒ EraTxAuxData DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.TxAuxData

Associated Types

type TxAuxData DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxAuxData type TxAuxData DijkstraEra = AlonzoTxAuxData DijkstraEra

Methods

mkBasicTxAuxData ∷ TxAuxData DijkstraEra Source #

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

validateTxAuxData ∷ StAnnTxCache DijkstraEra → ProtVer → TxAuxData DijkstraEra → Bool Source #

(Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ EraTxBody DijkstraEra Source #

Instance details

Associated Types

newtype TxBody l DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody newtype TxBody l DijkstraEra = MkDijkstraTxBody (MemoBytes (DijkstraTxBodyRaw l DijkstraEra))

Methods

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

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

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

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

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

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

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

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

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

getTotalDepositsTxBody ∷ PParams DijkstraEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx DijkstraEra → Coin Source #

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

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx DijkstraEra → Int Source #

EraTxOut DijkstraEra Source #

Instance details

Associated Types

type TxOut DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxOut type TxOut DijkstraEra = BabbageTxOut DijkstraEra

Methods

mkBasicTxOut ∷ Addr → Value DijkstraEra → TxOut DijkstraEra Source #

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

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

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

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

addrTxOutL ∷ Lens' (TxOut DijkstraEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut DijkstraEra) CompactAddr Source #

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

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

getMinCoinTxOut ∷ PParams DijkstraEra → TxOut DijkstraEra → Coin Source #

EraTxWits DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.TxWits

Associated Types

type TxWits DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxWits type TxWits DijkstraEra = AlonzoTxWits DijkstraEra

Methods

mkBasicTxWits ∷ TxWits DijkstraEra Source #

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

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

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

EraPParams DijkstraEra Source #

Instance details

Associated Types

type PParamsHKD f DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.PParams type PParamsHKD f DijkstraEra = DijkstraPParams f DijkstraEra
type UpgradePParams f DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.PParams type UpgradePParams f DijkstraEra = UpgradeDijkstraPParams f DijkstraEra
type DowngradePParams f DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.PParams type DowngradePParams f DijkstraEra = ()

Methods

applyPPUpdates ∷ PParams DijkstraEra → PParamsUpdate DijkstraEra → PParams DijkstraEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity DijkstraEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe DijkstraEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe DijkstraEra Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ppDG ∷ SimpleGetter (PParams DijkstraEra) UnitInterval Source #

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

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

ppProtocolVersionL ∷ Lens' (PParams DijkstraEra) ProtVer Source #

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

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

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

ppMaxPledgeLeverageG ∷ SimpleGetter (PParams DijkstraEra) MaxPledgeLeverage Source #

ppMinPoolMarginG ∷ SimpleGetter (PParams DijkstraEra) UnitInterval Source #

eraPParams ∷ [PParam DijkstraEra] Source #

EraTxCert DijkstraEra Source #

Instance details

Associated Types

type TxCert DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert type TxCert DijkstraEra = DijkstraTxCert DijkstraEra
type TxCertUpgradeError DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert type TxCertUpgradeError DijkstraEra = DijkstraTxCertUpgradeError

Methods

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

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

getScriptWitnessTxCert ∷ TxCert DijkstraEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams DijkstraEra → TxCert DijkstraEra Source #

getRegPoolTxCert ∷ TxCert DijkstraEra → Maybe (StakePoolParams DijkstraEra) Source #

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

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

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

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

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

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

EraTxLevel DijkstraEra Source #

Instance details

Associated Types

type STxLevel l DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Era type STxLevel l DijkstraEra = STxBothLevels l DijkstraEra

EraGenesis DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

Associated Types

type Genesis DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Genesis type Genesis DijkstraEra = DijkstraGenesis

EraAccounts DijkstraEra Source #

Instance details

Associated Types

type AccountState DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.State.Account type AccountState DijkstraEra = ConwayAccountState DijkstraEra
type Accounts DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.State.Account type Accounts DijkstraEra = ConwayAccounts DijkstraEra

Methods

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

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

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

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

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

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

EraCertState DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.State.CertState

Associated Types

type CertState DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.State.CertState type CertState DijkstraEra = ConwayCertState DijkstraEra

Methods

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

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

obligationCertState ∷ CertState DijkstraEra → Obligations Source #

certsTotalDepositsTxBody ∷ PParams DijkstraEra → CertState DijkstraEra → TxBody 'TopTx DijkstraEra → Coin Source #

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

EraGov DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Governance

Associated Types

type GovState DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Governance type GovState DijkstraEra = ConwayGovState DijkstraEra

Methods

emptyGovState ∷ GovState DijkstraEra Source #

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

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

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

obligationGovState ∷ GovState DijkstraEra → Obligations Source #

EraStake DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.State.Stake

Associated Types

type InstantStake DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.State.Stake type InstantStake DijkstraEra = ConwayInstantStake DijkstraEra

Methods

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

addInstantStake ∷ UTxO DijkstraEra → InstantStake DijkstraEra → InstantStake DijkstraEra Source #

deleteInstantStake ∷ UTxO DijkstraEra → InstantStake DijkstraEra → InstantStake DijkstraEra Source #

resolveInstantStake ∷ InstantStake DijkstraEra → Accounts DijkstraEra → ActiveStake Source #

EraUTxO DijkstraEra Source #

Instance details

Associated Types

type ScriptsNeeded DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.UTxO type ScriptsNeeded DijkstraEra = AlonzoScriptsNeeded DijkstraEra

Methods

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

getProducedValue ∷ PParams DijkstraEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx DijkstraEra → Value DijkstraEra Source #

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

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

getScriptsHashesNeeded ∷ ScriptsNeeded DijkstraEra → Set ScriptHash Source #

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

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

Era DijkstraEra

Instance details

DijkstraEraBlockBody DijkstraEra Source #

Associated Types

type EraName DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName DijkstraEra = "Dijkstra"
type PreviousEra DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra DijkstraEra = ConwayEra
type ProtVerLow DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow DijkstraEra = 12
type ProtVerHigh DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh DijkstraEra = 12

Methods

eraName ∷ String Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

leiosCertBlockBodyL ∷ Lens' (BlockBody DijkstraEra) (StrictMaybe LeiosCert) Source #

perasCertBlockBodyL ∷ Lens' (BlockBody DijkstraEra) (StrictMaybe PerasCert) Source #

DijkstraEraPParams DijkstraEra Source #

Instance details

Methods

hkdMaxRefScriptSizePerBlockL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f Word32) Source #

hkdMaxRefScriptSizePerTxL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f Word32) Source #

hkdRefScriptCostStrideL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f (NonZero Word32)) Source #

hkdRefScriptCostMultiplierL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f PositiveInterval) Source #

hkdMaxPledgeLeverageL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f MaxPledgeLeverage) Source #

hkdMinPoolMarginL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f UnitInterval) Source #

hkdLeiosAnnouncementPeriodLengthL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f Milliseconds32) Source #

hkdLeiosVotePeriodLengthL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f Milliseconds32) Source #

hkdLeiosDiffusionPeriodLengthL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f Milliseconds32) Source #

hkdLeiosCommitteeSizeL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f Word16) Source #

hkdLeiosQuorumStakeThresholdL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f UnitInterval) Source #

hkdMaxEndorserBlockReferencesSizeL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f Word32) Source #

hkdMaxEndorserBlockTxsSizeL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f Word32) Source #

hkdMaxEndorserBlockExUnitsL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f OrdExUnits) Source #

hkdMaxRefScriptSizePerEndorserBlockL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f Word32) Source #

hkdPerasMinCandidateBlockAgeL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f SlotInterval) Source #

hkdPerasHealingFactorL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f PositiveInterval) Source #

hkdPerasCertBoostL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f Word16) Source #

hkdPerasTargetCommitteeSizeL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f Word16) Source #

hkdPerasBootstrapRoundL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f (StrictMaybe Word32)) Source #

hkdPerasQuorumThresholdSafetyMarginL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f UnitInterval) Source #

DijkstraEraScript DijkstraEra Source #

Instance details

Methods

mkGuardingPurpose ∷ f Word32 ScriptHash → PlutusPurpose f DijkstraEra Source #

toGuardingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 ScriptHash) Source #

mkRequireGuard ∷ Credential 'Guard → NativeScript DijkstraEra Source #

getRequireGuard ∷ NativeScript DijkstraEra → Maybe (Credential 'Guard) Source #

DijkstraEraTx DijkstraEra Source #

Hash all four Dijkstra transaction components deterministically.

The hash is Blake2b-256(body_hash || wits_hash || aux_hash || isValid_bytes), where each component hash is the hashAnnotated of the corresponding MemoBytes field (a pre-computed, memoized 32-byte value). Concatenating these fixed-length hashes rather than re-serializing the assembled transaction avoids susceptibility to non-canonical CBOR: the same logical transaction can be CBOR-encoded in multiple ways, but its component hashes are always identical.

Instance details

Methods

hashTx ∷ Tx 'TopTx DijkstraEra → SafeHash EraIndependentTx Source #

(NFData (Tx 'SubTx DijkstraEra), Eq (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ DijkstraEraTxBody DijkstraEra Source #

Instance details

Methods

guardsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (OSet (Credential 'Guard)) Source #

subTransactionsTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (OMap TxId (Tx 'SubTx DijkstraEra)) Source #

requiredTopLevelGuardsL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (Map (Credential 'Guard) (StrictMaybe (Data DijkstraEra))) Source #

directDepositsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) DirectDeposits Source #

accountBalanceIntervalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (AccountBalanceIntervals DijkstraEra) Source #

startingAccountBalanceIntervalsTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (AccountBalanceIntervals DijkstraEra) Source #

DijkstraEraUTxO DijkstraEra Source #

Instance details

Methods

subTransactionsStAnnTx ∷ StAnnTx 'TopTx DijkstraEra → [StAnnTx 'SubTx DijkstraEra] Source #

plutusLegacyModeStAnnTxG ∷ SimpleGetter (StAnnTx 'TopTx DijkstraEra) Bool Source #

scriptsHashesNeededStAnnTx ∷ StAnnTx 'SubTx DijkstraEra → Set ScriptHash Source #

(Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ MaryEraTxBody DijkstraEra Source #

Instance details

Methods

mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) MultiAsset Source #

mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Set PolicyID) Source #

mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Value DijkstraEra) Source #

EraForecast DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Forecast

Associated Types

type Forecast t DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Forecast type Forecast t DijkstraEra = BabbageForecast t DijkstraEra

Methods

mkForecast ∷ ∀ (t ∷ Timeline). NewEpochState DijkstraEra → Forecast t DijkstraEra Source #

poolDistrForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) PoolDistr Source #

maxBlockHeaderSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) Word16 Source #

maxBlockBodySizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) Word32 Source #

protocolVersionForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) ProtVer Source #

ApplyTx DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Associated Types

newtype ApplyTxError DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra newtype ApplyTxError DijkstraEra = DijkstraApplyTxError (NonEmpty (DijkstraMempoolPredFailure DijkstraEra))

Methods

mkStAnnTx ∷ EpochInfo (Either Text) → SystemStart → PParams DijkstraEra → UTxO DijkstraEra → StAnnTxCache DijkstraEra → Tx 'TopTx DijkstraEra → StAnnTx 'TopTx DijkstraEra Source #

internalApplyTxWithValidation ∷ ValidationPolicy → Globals → MempoolEnv DijkstraEra → MempoolState DijkstraEra → Tx 'TopTx DijkstraEra → Either (ApplyTxError DijkstraEra) (MempoolState DijkstraEra, ValidatedTx DijkstraEra) Source #

internalReapplyValidatedTx ∷ Globals → MempoolEnv DijkstraEra → MempoolState DijkstraEra → ValidatedTx DijkstraEra → Either (ApplyTxError DijkstraEra) (MempoolState DijkstraEra) Source #

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

ApplyTick DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

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

ShelleyEraScript DijkstraEra Source #

Instance details

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript DijkstraEra Source #

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

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

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

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

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

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

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

EraTransition DijkstraEra Source #

Instance details

Associated Types

data TransitionConfig DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Transition data TransitionConfig DijkstraEra = DijkstraTransitionConfig { dtcDijkstraGenesis ∷ !DijkstraGenesis dtcConwayTransitionConfig ∷ !(TransitionConfig ConwayEra) }

Methods

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

injectIntoTestState ∷ (HasCallStack, MonadST m, MonadThrow m) ⇒ HasFS m h → TransitionConfig DijkstraEra → NewEpochState DijkstraEra → m (NewEpochState DijkstraEra) Source #

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

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

tcShelleyGenesisL ∷ Lens' (TransitionConfig DijkstraEra) ShelleyGenesis Source #

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

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

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig DijkstraEra)

EraPlutusTxInfo 'PlutusV1 DijkstraEra Source #

Instance details

Methods

toPlutusTxCert ∷ proxy 'PlutusV1 → ProtVer → TxCert DijkstraEra → Either (ContextError DijkstraEra) (PlutusTxCert 'PlutusV1) Source #

toPlutusScriptPurpose ∷ proxy 'PlutusV1 → LedgerTxInfo DijkstraEra → PlutusPurpose AsIxItem DijkstraEra → Either (ContextError DijkstraEra) (PlutusScriptPurpose 'PlutusV1) Source #

toPlutusTxInfo ∷ proxy 'PlutusV1 → LedgerTxInfo DijkstraEra → PlutusTxInfoResult 'PlutusV1 DijkstraEra Source #

toPlutusArgs ∷ proxy 'PlutusV1 → LedgerTxInfo DijkstraEra → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem DijkstraEra → Data DijkstraEra → Either (ContextError DijkstraEra) (PlutusArgs 'PlutusV1) Source #

toPlutusTxInInfo ∷ proxy 'PlutusV1 → UTxO DijkstraEra → TxIn → Either (ContextError DijkstraEra) (PlutusTxInInfo DijkstraEra 'PlutusV1) Source #

EraPlutusTxInfo 'PlutusV2 DijkstraEra Source #

Instance details

Methods

toPlutusTxCert ∷ proxy 'PlutusV2 → ProtVer → TxCert DijkstraEra → Either (ContextError DijkstraEra) (PlutusTxCert 'PlutusV2) Source #

toPlutusScriptPurpose ∷ proxy 'PlutusV2 → LedgerTxInfo DijkstraEra → PlutusPurpose AsIxItem DijkstraEra → Either (ContextError DijkstraEra) (PlutusScriptPurpose 'PlutusV2) Source #

toPlutusTxInfo ∷ proxy 'PlutusV2 → LedgerTxInfo DijkstraEra → PlutusTxInfoResult 'PlutusV2 DijkstraEra Source #

toPlutusArgs ∷ proxy 'PlutusV2 → LedgerTxInfo DijkstraEra → PlutusTxInfo 'PlutusV2 → PlutusPurpose AsIxItem DijkstraEra → Data DijkstraEra → Either (ContextError DijkstraEra) (PlutusArgs 'PlutusV2) Source #

toPlutusTxInInfo ∷ proxy 'PlutusV2 → UTxO DijkstraEra → TxIn → Either (ContextError DijkstraEra) (PlutusTxInInfo DijkstraEra 'PlutusV2) Source #

EraPlutusTxInfo 'PlutusV3 DijkstraEra Source #

Instance details

Methods

toPlutusTxCert ∷ proxy 'PlutusV3 → ProtVer → TxCert DijkstraEra → Either (ContextError DijkstraEra) (PlutusTxCert 'PlutusV3) Source #

toPlutusScriptPurpose ∷ proxy 'PlutusV3 → LedgerTxInfo DijkstraEra → PlutusPurpose AsIxItem DijkstraEra → Either (ContextError DijkstraEra) (PlutusScriptPurpose 'PlutusV3) Source #

toPlutusTxInfo ∷ proxy 'PlutusV3 → LedgerTxInfo DijkstraEra → PlutusTxInfoResult 'PlutusV3 DijkstraEra Source #

toPlutusArgs ∷ proxy 'PlutusV3 → LedgerTxInfo DijkstraEra → PlutusTxInfo 'PlutusV3 → PlutusPurpose AsIxItem DijkstraEra → Data DijkstraEra → Either (ContextError DijkstraEra) (PlutusArgs 'PlutusV3) Source #

toPlutusTxInInfo ∷ proxy 'PlutusV3 → UTxO DijkstraEra → TxIn → Either (ContextError DijkstraEra) (PlutusTxInInfo DijkstraEra 'PlutusV3) Source #

EraPlutusTxInfo 'PlutusV4 DijkstraEra Source #

Instance details

Methods

toPlutusTxCert ∷ proxy 'PlutusV4 → ProtVer → TxCert DijkstraEra → Either (ContextError DijkstraEra) (PlutusTxCert 'PlutusV4) Source #

toPlutusScriptPurpose ∷ proxy 'PlutusV4 → LedgerTxInfo DijkstraEra → PlutusPurpose AsIxItem DijkstraEra → Either (ContextError DijkstraEra) (PlutusScriptPurpose 'PlutusV4) Source #

toPlutusTxInfo ∷ proxy 'PlutusV4 → LedgerTxInfo DijkstraEra → PlutusTxInfoResult 'PlutusV4 DijkstraEra Source #

toPlutusArgs ∷ proxy 'PlutusV4 → LedgerTxInfo DijkstraEra → PlutusTxInfo 'PlutusV4 → PlutusPurpose AsIxItem DijkstraEra → Data DijkstraEra → Either (ContextError DijkstraEra) (PlutusArgs 'PlutusV4) Source #

toPlutusTxInInfo ∷ proxy 'PlutusV4 → UTxO DijkstraEra → TxIn → Either (ContextError DijkstraEra) (PlutusTxInInfo DijkstraEra 'PlutusV4) Source #

ConwayEraPlutusTxInfo 'PlutusV3 DijkstraEra Source #

Instance details

Methods

toPlutusChangedParameters ∷ proxy 'PlutusV3 → PParamsUpdate DijkstraEra → ChangedParameters Source #

ConwayEraPlutusTxInfo 'PlutusV4 DijkstraEra Source #

Instance details

Methods

toPlutusChangedParameters ∷ proxy 'PlutusV4 → PParamsUpdate DijkstraEra → ChangedParameters Source #

TranslateEra DijkstraEra ConwayGovState Source #

Instance details

TranslateEra DijkstraEra DRepPulsingState Source #

Associated Types

type TranslationError DijkstraEra ConwayGovState
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra ConwayGovState = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → ConwayGovState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra ConwayGovState) (ConwayGovState DijkstraEra) Source #

Instance details

TranslateEra DijkstraEra PulsingSnapshot Source #

Associated Types

type TranslationError DijkstraEra DRepPulsingState
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra DRepPulsingState = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → DRepPulsingState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra DRepPulsingState) (DRepPulsingState DijkstraEra) Source #

Instance details

Associated Types

type TranslationError DijkstraEra PulsingSnapshot
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra PulsingSnapshot = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → PulsingSnapshot (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra PulsingSnapshot) (PulsingSnapshot DijkstraEra) Source #

TranslateEra DijkstraEra EnactState Source #

Instance details

Associated Types

type TranslationError DijkstraEra EnactState
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra EnactState = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → EnactState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra EnactState) (EnactState DijkstraEra) Source #

TranslateEra DijkstraEra RatifyState Source #

Instance details

Associated Types

type TranslationError DijkstraEra RatifyState
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra RatifyState = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → RatifyState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra RatifyState) (RatifyState DijkstraEra) Source #

TranslateEra DijkstraEra GovAction Source #

Instance details

Associated Types

type TranslationError DijkstraEra GovAction
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra GovAction = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → GovAction (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra GovAction) (GovAction DijkstraEra) Source #

TranslateEra DijkstraEra GovActionState Source #

Instance details

TranslateEra DijkstraEra ProposalProcedure Source #

Associated Types

type TranslationError DijkstraEra GovActionState
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra GovActionState = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → GovActionState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra GovActionState) (GovActionState DijkstraEra) Source #

Instance details

Associated Types

type TranslationError DijkstraEra ProposalProcedure
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra ProposalProcedure = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → ProposalProcedure (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra ProposalProcedure) (ProposalProcedure DijkstraEra) Source #

TranslateEra DijkstraEra Proposals Source #

Instance details

Associated Types

type TranslationError DijkstraEra Proposals
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra Proposals = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → Proposals (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra Proposals) (Proposals DijkstraEra) Source #

TranslateEra DijkstraEra VState Source #

Instance details

Associated Types

type TranslationError DijkstraEra VState
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra VState = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → VState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra VState) (VState DijkstraEra) Source #

TranslateEra DijkstraEra PParams Source #

Instance details

Associated Types

type TranslationError DijkstraEra PParams
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra PParams = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → PParams (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra PParams) (PParams DijkstraEra) Source #

TranslateEra DijkstraEra DState Source #

Instance details

Associated Types

type TranslationError DijkstraEra DState
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra DState = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → DState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra DState) (DState DijkstraEra) Source #

TranslateEra DijkstraEra PState Source #

Instance details

Associated Types

type TranslationError DijkstraEra PState
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra PState = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → PState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra PState) (PState DijkstraEra) Source #

TranslateEra DijkstraEra FuturePParams Source #

Instance details

Associated Types

type TranslationError DijkstraEra FuturePParams
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra FuturePParams = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → FuturePParams (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra FuturePParams) (FuturePParams DijkstraEra) Source #

TranslateEra DijkstraEra SnapShots Source #

Instance details

Associated Types

type TranslationError DijkstraEra SnapShots
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra SnapShots = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → SnapShots (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra SnapShots) (SnapShots DijkstraEra) Source #

TranslateEra DijkstraEra UTxO Source #

Instance details

Associated Types

type TranslationError DijkstraEra UTxO
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra UTxO = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → UTxO (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra UTxO) (UTxO DijkstraEra) Source #

TranslateEra DijkstraEra EpochState Source #

Instance details

Associated Types

type TranslationError DijkstraEra EpochState
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra EpochState = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → EpochState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra EpochState) (EpochState DijkstraEra) Source #

TranslateEra DijkstraEra LedgerState Source #

Instance details

Associated Types

type TranslationError DijkstraEra LedgerState
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra LedgerState = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → LedgerState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra LedgerState) (LedgerState DijkstraEra) Source #

TranslateEra DijkstraEra NewEpochState Source #

Instance details

Associated Types

type TranslationError DijkstraEra NewEpochState
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra NewEpochState = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → NewEpochState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra NewEpochState) (NewEpochState DijkstraEra) Source #

TranslateEra DijkstraEra UTxOState Source #

Instance details

Associated Types

type TranslationError DijkstraEra UTxOState
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra UTxOState = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → UTxOState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra UTxOState) (UTxOState DijkstraEra) Source #

HasEraTxLevel Tx DijkstraEra Source #

Instance details

Methods

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

HasEraTxLevel TxBody DijkstraEra Source #

Instance details

Methods

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

HasEraTxLevel DijkstraTx DijkstraEra Source #

Instance details

HasEraTxLevel DijkstraTxBodyRaw DijkstraEra Source #

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). DijkstraTx l DijkstraEra → STxLevel l DijkstraEra Source #

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). DijkstraTxBodyRaw l DijkstraEra → STxLevel l DijkstraEra Source #

(EraBlockHeader h DijkstraEra, LeiosEraBlockHeader h DijkstraEra) ⇒ ApplyBlock h DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

wrapBlockSignal ∷ Block h DijkstraEra → Signal (EraRule "BBODY" DijkstraEra) Source #

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

InjectRuleEvent "EPOCH" ConwayHardForkEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ ConwayHardForkEvent DijkstraEra → EraRuleEvent "EPOCH" DijkstraEra Source #

InjectRuleEvent "GOV" ConwayGovEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ ConwayGovEvent DijkstraEra → EraRuleEvent "GOV" DijkstraEra Source #

InjectRuleEvent "LEDGER" DijkstraLedgerEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ DijkstraLedgerEvent DijkstraEra → EraRuleEvent "LEDGER" DijkstraEra Source #

InjectRuleEvent "NEWEPOCH" ConwayEpochEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ ConwayEpochEvent DijkstraEra → EraRuleEvent "NEWEPOCH" DijkstraEra Source #

InjectRuleEvent "NEWEPOCH" ConwayHardForkEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ ConwayHardForkEvent DijkstraEra → EraRuleEvent "NEWEPOCH" DijkstraEra Source #

InjectRuleEvent "POOL" PoolEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ PoolEvent DijkstraEra → EraRuleEvent "POOL" DijkstraEra Source #

InjectRuleEvent "SUBCERT" DijkstraSubCertEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ DijkstraSubCertEvent DijkstraEra → EraRuleEvent "SUBCERT" DijkstraEra Source #

InjectRuleEvent "SUBCERTS" DijkstraSubCertsEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ DijkstraSubCertsEvent DijkstraEra → EraRuleEvent "SUBCERTS" DijkstraEra Source #

InjectRuleEvent "SUBGOV" ConwayGovEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ ConwayGovEvent DijkstraEra → EraRuleEvent "SUBGOV" DijkstraEra Source #

InjectRuleEvent "SUBGOV" DijkstraSubGovEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ DijkstraSubGovEvent DijkstraEra → EraRuleEvent "SUBGOV" DijkstraEra Source #

InjectRuleEvent "SUBLEDGER" DijkstraSubLedgerEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ DijkstraSubLedgerEvent DijkstraEra → EraRuleEvent "SUBLEDGER" DijkstraEra Source #

InjectRuleEvent "SUBLEDGERS" DijkstraSubLedgersEvent DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

injectEvent ∷ DijkstraSubLedgersEvent DijkstraEra → EraRuleEvent "SUBLEDGERS" DijkstraEra Source #

InjectRuleEvent "SUBPOOL" DijkstraSubPoolEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ DijkstraSubPoolEvent DijkstraEra → EraRuleEvent "SUBPOOL" DijkstraEra Source #

InjectRuleEvent "SUBPOOL" PoolEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ PoolEvent DijkstraEra → EraRuleEvent "SUBPOOL" DijkstraEra Source #

InjectRuleEvent "SUBUTXO" DijkstraSubUtxoEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ DijkstraSubUtxoEvent DijkstraEra → EraRuleEvent "SUBUTXO" DijkstraEra Source #

InjectRuleEvent "SUBUTXOW" DijkstraSubUtxowEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ DijkstraSubUtxowEvent DijkstraEra → EraRuleEvent "SUBUTXOW" DijkstraEra Source #

InjectRuleEvent "TICK" ConwayEpochEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ ConwayEpochEvent DijkstraEra → EraRuleEvent "TICK" DijkstraEra Source #

InjectRuleEvent "TICK" ConwayHardForkEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ ConwayHardForkEvent DijkstraEra → EraRuleEvent "TICK" DijkstraEra Source #

InjectRuleEvent "TICK" ConwayNewEpochEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ ConwayNewEpochEvent DijkstraEra → EraRuleEvent "TICK" DijkstraEra Source #

InjectRuleEvent "UTXOS" AlonzoUtxosEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ AlonzoUtxosEvent DijkstraEra → EraRuleEvent "UTXOS" DijkstraEra Source #

InjectRuleEvent "UTXOS" ConwayUtxosEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ ConwayUtxosEvent DijkstraEra → EraRuleEvent "UTXOS" DijkstraEra Source #

InjectRuleFailure "BBODY" AllegraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoBbodyPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" AlonzoUtxosPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" AlonzoUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" BabbageUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxoPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" BabbageUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxowPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" ConwayBbodyPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayBbodyPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" ConwayCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" ConwayCertsPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertsPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" ConwayDelegPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" ConwayGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" ConwayUtxosPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" DijkstraBbodyPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraBbodyPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" DijkstraGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovCertPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" DijkstraLedgerPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraLedgerPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" DijkstraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxoPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" DijkstraUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxowPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyPoolPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "CERT" ConwayCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertPredFailure DijkstraEra → EraRuleFailure "CERT" DijkstraEra Source #

InjectRuleFailure "CERT" ConwayDelegPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure DijkstraEra → EraRuleFailure "CERT" DijkstraEra Source #

InjectRuleFailure "CERT" ConwayGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovCertPredFailure DijkstraEra → EraRuleFailure "CERT" DijkstraEra Source #

InjectRuleFailure "CERT" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovCertPredFailure DijkstraEra → EraRuleFailure "CERT" DijkstraEra Source #

InjectRuleFailure "CERT" ShelleyPoolPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure DijkstraEra → EraRuleFailure "CERT" DijkstraEra Source #

InjectRuleFailure "CERTS" ConwayCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertPredFailure DijkstraEra → EraRuleFailure "CERTS" DijkstraEra Source #

InjectRuleFailure "CERTS" ConwayCertsPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertsPredFailure DijkstraEra → EraRuleFailure "CERTS" DijkstraEra Source #

InjectRuleFailure "CERTS" ConwayDelegPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure DijkstraEra → EraRuleFailure "CERTS" DijkstraEra Source #

InjectRuleFailure "CERTS" ConwayGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovCertPredFailure DijkstraEra → EraRuleFailure "CERTS" DijkstraEra Source #

InjectRuleFailure "CERTS" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovCertPredFailure DijkstraEra → EraRuleFailure "CERTS" DijkstraEra Source #

InjectRuleFailure "CERTS" ShelleyPoolPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure DijkstraEra → EraRuleFailure "CERTS" DijkstraEra Source #

InjectRuleFailure "DELEG" ConwayDelegPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure DijkstraEra → EraRuleFailure "DELEG" DijkstraEra Source #

InjectRuleFailure "DELEG" AccountAlreadyRegistered DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AccountAlreadyRegistered DijkstraEra → EraRuleFailure "DELEG" DijkstraEra Source #

InjectRuleFailure "ENTITIES" ConwayCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertPredFailure DijkstraEra → EraRuleFailure "ENTITIES" DijkstraEra Source #

InjectRuleFailure "ENTITIES" ConwayCertsPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertsPredFailure DijkstraEra → EraRuleFailure "ENTITIES" DijkstraEra Source #

InjectRuleFailure "ENTITIES" ConwayDelegPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure DijkstraEra → EraRuleFailure "ENTITIES" DijkstraEra Source #

InjectRuleFailure "ENTITIES" ConwayGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovCertPredFailure DijkstraEra → EraRuleFailure "ENTITIES" DijkstraEra Source #

InjectRuleFailure "ENTITIES" ConwayLedgerPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayLedgerPredFailure DijkstraEra → EraRuleFailure "ENTITIES" DijkstraEra Source #

InjectRuleFailure "ENTITIES" EntitiesPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ EntitiesPredFailure DijkstraEra → EraRuleFailure "ENTITIES" DijkstraEra Source #

InjectRuleFailure "ENTITIES" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovCertPredFailure DijkstraEra → EraRuleFailure "ENTITIES" DijkstraEra Source #

InjectRuleFailure "ENTITIES" ShelleyPoolPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure DijkstraEra → EraRuleFailure "ENTITIES" DijkstraEra Source #

InjectRuleFailure "ENTITIES" ShelleyUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure DijkstraEra → EraRuleFailure "ENTITIES" DijkstraEra Source #

InjectRuleFailure "GOV" ConwayGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovPredFailure DijkstraEra → EraRuleFailure "GOV" DijkstraEra Source #

InjectRuleFailure "GOV" DijkstraGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovPredFailure DijkstraEra → EraRuleFailure "GOV" DijkstraEra Source #

InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovCertPredFailure DijkstraEra → EraRuleFailure "GOVCERT" DijkstraEra Source #

InjectRuleFailure "GOVCERT" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovCertPredFailure DijkstraEra → EraRuleFailure "GOVCERT" DijkstraEra Source #

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" BabbageUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" BabbageUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" ConwayCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" ConwayCertsPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertsPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" ConwayDelegPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" ConwayGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" ConwayGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovCertPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" ConwayLedgerPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayLedgerPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" ConwayUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" ConwayUtxosPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" ConwayUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" EntitiesPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ EntitiesPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" DijkstraGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovCertPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraLedgerPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" SubEntitiesPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ SubEntitiesPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" DijkstraSubLedgersPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubLedgersPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" DijkstraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" DijkstraUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" AccountAlreadyRegistered DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AccountAlreadyRegistered DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "LEDGERS" ConwayCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "LEDGERS" ConwayCertsPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertsPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "LEDGERS" ConwayDelegPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "LEDGERS" ConwayGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "LEDGERS" DijkstraGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "LEDGERS" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovCertPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "LEDGERS" DijkstraLedgerPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraLedgerPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "LEDGERS" DijkstraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "LEDGERS" DijkstraUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "MEMPOOL" ConwayLedgerPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayLedgerPredFailure DijkstraEra → EraRuleFailure "MEMPOOL" DijkstraEra Source #

InjectRuleFailure "MEMPOOL" DijkstraMempoolPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraMempoolPredFailure DijkstraEra → EraRuleFailure "MEMPOOL" DijkstraEra Source #

InjectRuleFailure "MEMPOOL" DijkstraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxoPredFailure DijkstraEra → EraRuleFailure "MEMPOOL" DijkstraEra Source #

InjectRuleFailure "POOL" ShelleyPoolPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "SUBCERT" ConwayCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertPredFailure DijkstraEra → EraRuleFailure "SUBCERT" DijkstraEra Source #

InjectRuleFailure "SUBCERT" DijkstraSubCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubCertPredFailure DijkstraEra → EraRuleFailure "SUBCERT" DijkstraEra Source #

InjectRuleFailure "SUBCERT" DijkstraSubDelegPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubDelegPredFailure DijkstraEra → EraRuleFailure "SUBCERT" DijkstraEra Source #

InjectRuleFailure "SUBCERT" DijkstraSubGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubGovCertPredFailure DijkstraEra → EraRuleFailure "SUBCERT" DijkstraEra Source #

InjectRuleFailure "SUBCERT" DijkstraSubPoolPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubPoolPredFailure DijkstraEra → EraRuleFailure "SUBCERT" DijkstraEra Source #

InjectRuleFailure "SUBCERTS" ConwayCertsPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayCertsPredFailure DijkstraEra → EraRuleFailure "SUBCERTS" DijkstraEra Source #

InjectRuleFailure "SUBCERTS" DijkstraSubCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubCertPredFailure DijkstraEra → EraRuleFailure "SUBCERTS" DijkstraEra Source #

InjectRuleFailure "SUBCERTS" DijkstraSubCertsPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubCertsPredFailure DijkstraEra → EraRuleFailure "SUBCERTS" DijkstraEra Source #

InjectRuleFailure "SUBDELEG" ConwayDelegPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayDelegPredFailure DijkstraEra → EraRuleFailure "SUBDELEG" DijkstraEra Source #

InjectRuleFailure "SUBDELEG" DijkstraSubDelegPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubDelegPredFailure DijkstraEra → EraRuleFailure "SUBDELEG" DijkstraEra Source #

InjectRuleFailure "SUBDELEG" AccountAlreadyRegistered DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AccountAlreadyRegistered DijkstraEra → EraRuleFailure "SUBDELEG" DijkstraEra Source #

InjectRuleFailure "SUBENTITIES" ConwayCertsPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubEntities

Methods

injectFailure ∷ ConwayCertsPredFailure DijkstraEra → EraRuleFailure "SUBENTITIES" DijkstraEra Source #

InjectRuleFailure "SUBENTITIES" ConwayLedgerPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubEntities

Methods

injectFailure ∷ ConwayLedgerPredFailure DijkstraEra → EraRuleFailure "SUBENTITIES" DijkstraEra Source #

InjectRuleFailure "SUBENTITIES" EntitiesPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubEntities

Methods

injectFailure ∷ EntitiesPredFailure DijkstraEra → EraRuleFailure "SUBENTITIES" DijkstraEra Source #

InjectRuleFailure "SUBENTITIES" DijkstraSubCertsPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubEntities

Methods

injectFailure ∷ DijkstraSubCertsPredFailure DijkstraEra → EraRuleFailure "SUBENTITIES" DijkstraEra Source #

InjectRuleFailure "SUBENTITIES" SubEntitiesPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubEntities

Methods

injectFailure ∷ SubEntitiesPredFailure DijkstraEra → EraRuleFailure "SUBENTITIES" DijkstraEra Source #

InjectRuleFailure "SUBENTITIES" ShelleyUtxoPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubEntities

Methods

injectFailure ∷ ShelleyUtxoPredFailure DijkstraEra → EraRuleFailure "SUBENTITIES" DijkstraEra Source #

InjectRuleFailure "SUBGOV" ConwayGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayGovPredFailure DijkstraEra → EraRuleFailure "SUBGOV" DijkstraEra Source #

InjectRuleFailure "SUBGOV" DijkstraGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovPredFailure DijkstraEra → EraRuleFailure "SUBGOV" DijkstraEra Source #

InjectRuleFailure "SUBGOV" DijkstraSubGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubGovPredFailure DijkstraEra → EraRuleFailure "SUBGOV" DijkstraEra Source #

InjectRuleFailure "SUBGOVCERT" ConwayGovCertPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Methods

injectFailure ∷ ConwayGovCertPredFailure DijkstraEra → EraRuleFailure "SUBGOVCERT" DijkstraEra Source #

InjectRuleFailure "SUBGOVCERT" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Methods

injectFailure ∷ DijkstraGovCertPredFailure DijkstraEra → EraRuleFailure "SUBGOVCERT" DijkstraEra Source #

InjectRuleFailure "SUBGOVCERT" DijkstraSubGovCertPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Methods

injectFailure ∷ DijkstraSubGovCertPredFailure DijkstraEra → EraRuleFailure "SUBGOVCERT" DijkstraEra Source #

InjectRuleFailure "SUBLEDGER" ConwayLedgerPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayLedgerPredFailure DijkstraEra → EraRuleFailure "SUBLEDGER" DijkstraEra Source #

InjectRuleFailure "SUBLEDGER" DijkstraSubCertsPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubCertsPredFailure DijkstraEra → EraRuleFailure "SUBLEDGER" DijkstraEra Source #

InjectRuleFailure "SUBLEDGER" SubEntitiesPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ SubEntitiesPredFailure DijkstraEra → EraRuleFailure "SUBLEDGER" DijkstraEra Source #

InjectRuleFailure "SUBLEDGER" DijkstraSubGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubGovPredFailure DijkstraEra → EraRuleFailure "SUBLEDGER" DijkstraEra Source #

InjectRuleFailure "SUBLEDGER" DijkstraSubLedgerPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubLedgerPredFailure DijkstraEra → EraRuleFailure "SUBLEDGER" DijkstraEra Source #

InjectRuleFailure "SUBLEDGER" DijkstraSubUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubUtxowPredFailure DijkstraEra → EraRuleFailure "SUBLEDGER" DijkstraEra Source #

InjectRuleFailure "SUBLEDGERS" DijkstraSubLedgerPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

injectFailure ∷ DijkstraSubLedgerPredFailure DijkstraEra → EraRuleFailure "SUBLEDGERS" DijkstraEra Source #

InjectRuleFailure "SUBLEDGERS" DijkstraSubLedgersPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

injectFailure ∷ DijkstraSubLedgersPredFailure DijkstraEra → EraRuleFailure "SUBLEDGERS" DijkstraEra Source #

InjectRuleFailure "SUBPOOL" DijkstraSubPoolPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubPoolPredFailure DijkstraEra → EraRuleFailure "SUBPOOL" DijkstraEra Source #

InjectRuleFailure "SUBPOOL" ShelleyPoolPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ShelleyPoolPredFailure DijkstraEra → EraRuleFailure "SUBPOOL" DijkstraEra Source #

InjectRuleFailure "SUBUTXO" AllegraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure DijkstraEra → EraRuleFailure "SUBUTXO" DijkstraEra Source #

InjectRuleFailure "SUBUTXO" AlonzoUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure DijkstraEra → EraRuleFailure "SUBUTXO" DijkstraEra Source #

InjectRuleFailure "SUBUTXO" BabbageUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxoPredFailure DijkstraEra → EraRuleFailure "SUBUTXO" DijkstraEra Source #

InjectRuleFailure "SUBUTXO" ConwayUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxoPredFailure DijkstraEra → EraRuleFailure "SUBUTXO" DijkstraEra Source #

InjectRuleFailure "SUBUTXO" DijkstraSubUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubUtxoPredFailure DijkstraEra → EraRuleFailure "SUBUTXO" DijkstraEra Source #

InjectRuleFailure "SUBUTXO" DijkstraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxoPredFailure DijkstraEra → EraRuleFailure "SUBUTXO" DijkstraEra Source #

InjectRuleFailure "SUBUTXO" ShelleyUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxoPredFailure DijkstraEra → EraRuleFailure "SUBUTXO" DijkstraEra Source #

InjectRuleFailure "SUBUTXOW" AlonzoUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure DijkstraEra → EraRuleFailure "SUBUTXOW" DijkstraEra Source #

InjectRuleFailure "SUBUTXOW" BabbageUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxowPredFailure DijkstraEra → EraRuleFailure "SUBUTXOW" DijkstraEra Source #

InjectRuleFailure "SUBUTXOW" ConwayUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxowPredFailure DijkstraEra → EraRuleFailure "SUBUTXOW" DijkstraEra Source #

InjectRuleFailure "SUBUTXOW" DijkstraSubUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubUtxoPredFailure DijkstraEra → EraRuleFailure "SUBUTXOW" DijkstraEra Source #

InjectRuleFailure "SUBUTXOW" DijkstraSubUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubUtxowPredFailure DijkstraEra → EraRuleFailure "SUBUTXOW" DijkstraEra Source #

InjectRuleFailure "SUBUTXOW" DijkstraUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxowPredFailure DijkstraEra → EraRuleFailure "SUBUTXOW" DijkstraEra Source #

InjectRuleFailure "SUBUTXOW" ShelleyUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ShelleyUtxowPredFailure DijkstraEra → EraRuleFailure "SUBUTXOW" DijkstraEra Source #

InjectRuleFailure "UTXO" AllegraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure DijkstraEra → EraRuleFailure "UTXO" DijkstraEra Source #

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure DijkstraEra → EraRuleFailure "UTXO" DijkstraEra Source #

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure DijkstraEra → EraRuleFailure "UTXO" DijkstraEra Source #

InjectRuleFailure "UTXO" BabbageUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxoPredFailure DijkstraEra → EraRuleFailure "UTXO" DijkstraEra Source #

InjectRuleFailure "UTXO" ConwayUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxoPredFailure DijkstraEra → EraRuleFailure "UTXO" DijkstraEra Source #

InjectRuleFailure "UTXO" ConwayUtxosPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure DijkstraEra → EraRuleFailure "UTXO" DijkstraEra Source #

InjectRuleFailure "UTXO" DijkstraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxoPredFailure DijkstraEra → EraRuleFailure "UTXO" DijkstraEra Source #

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure DijkstraEra → EraRuleFailure "UTXOS" DijkstraEra Source #

InjectRuleFailure "UTXOS" ConwayUtxosPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure DijkstraEra → EraRuleFailure "UTXOS" DijkstraEra Source #

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AllegraUtxoPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxoPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxosPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ AlonzoUtxowPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #

InjectRuleFailure "UTXOW" BabbageUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxoPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #

InjectRuleFailure "UTXOW" BabbageUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ BabbageUtxowPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #

InjectRuleFailure "UTXOW" ConwayUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxoPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #

InjectRuleFailure "UTXOW" ConwayUtxosPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxosPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #

InjectRuleFailure "UTXOW" ConwayUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxowPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #

InjectRuleFailure "UTXOW" DijkstraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxoPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #

InjectRuleFailure "UTXOW" DijkstraUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxowPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure DijkstraEra Source #

Instance details

Methods

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

TranslateEra DijkstraEra (Tx 'TopTx) Source #

Instance details

Associated Types

type TranslationError DijkstraEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext DijkstraEra → Tx 'TopTx (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra (Tx 'TopTx)) (Tx 'TopTx DijkstraEra) Source #

(DecCBOR (Annotator h), Typeable h, EraBlockBody DijkstraEra) ⇒ DecCBOR (Annotator (Block h DijkstraEra)) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block

Methods

decCBOR ∷ Decoder s (Annotator (Block h DijkstraEra)) Source #

dropCBOR ∷ Proxy (Annotator (Block h DijkstraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Block h DijkstraEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l DijkstraEra)) Source #

Instance details

Methods

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

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

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

(Typeable l, Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ DecCBOR (Annotator (TxBody l DijkstraEra)) Source #

Instance details

Methods

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

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

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

DecCBOR (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

decCBOR ∷ Decoder s (ApplyTxError DijkstraEra) Source #

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

label ∷ Proxy (ApplyTxError DijkstraEra) → Text Source #

EncCBOR (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

encCBOR ∷ ApplyTxError DijkstraEra → Encoding Source #

SafeToHash (PlutusScript DijkstraEra) Source #

Instance details

Methods

originalBytes ∷ PlutusScript DijkstraEra → ByteString Source #

originalBytesSize ∷ PlutusScript DijkstraEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → PlutusScript DijkstraEra → SafeHash i Source #

NFData (PlutusScript DijkstraEra) Source #

Instance details

Methods

rnf ∷ PlutusScript DijkstraEra → () #

Semigroup (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

(<>) ∷ ApplyTxError DijkstraEra → ApplyTxError DijkstraEra → ApplyTxError DijkstraEra #

sconcat ∷ NonEmpty (ApplyTxError DijkstraEra) → ApplyTxError DijkstraEra #

stimes ∷ Integral b ⇒ b → ApplyTxError DijkstraEra → ApplyTxError DijkstraEra #

Generic (PlutusScript DijkstraEra) Source #

Instance details

Associated Types

type Rep (PlutusScript DijkstraEra)

Instance details

type Rep (PlutusScript DijkstraEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.4.0.0-inplace" 'False) ((C1 ('MetaCons "DijkstraPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "DijkstraPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2)))) :+: (C1 ('MetaCons "DijkstraPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV3))) :+: C1 ('MetaCons "DijkstraPlutusV4" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV4)))))

Methods

from ∷ PlutusScript DijkstraEra → Rep (PlutusScript DijkstraEra) x #

to ∷ Rep (PlutusScript DijkstraEra) x → PlutusScript DijkstraEra #

Generic (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Associated Types

type Rep (ApplyTxError DijkstraEra)
Instance details Defined in Cardano.Ledger.Dijkstra type Rep (ApplyTxError DijkstraEra) = Rep (NonEmpty (DijkstraMempoolPredFailure DijkstraEra))

Methods

from ∷ ApplyTxError DijkstraEra → Rep (ApplyTxError DijkstraEra) x #

to ∷ Rep (ApplyTxError DijkstraEra) x → ApplyTxError DijkstraEra #

Generic (TransitionConfig DijkstraEra) Source #

Instance details

Associated Types

type Rep (TransitionConfig DijkstraEra)

Instance details

type Rep (TransitionConfig DijkstraEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Dijkstra.Transition" "cardano-ledger-dijkstra-0.4.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dtcDijkstraGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DijkstraGenesis) :*: S1 ('MetaSel ('Just "dtcConwayTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig ConwayEra))))

Methods

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

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

Show (PlutusScript DijkstraEra) Source #

Instance details

Methods

showsPrec ∷ Int → PlutusScript DijkstraEra → ShowS #

show ∷ PlutusScript DijkstraEra → String #

showList ∷ [PlutusScript DijkstraEra] → ShowS #

Show (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

showsPrec ∷ Int → ApplyTxError DijkstraEra → ShowS #

show ∷ ApplyTxError DijkstraEra → String #

showList ∷ [ApplyTxError DijkstraEra] → ShowS #

Show (TransitionConfig DijkstraEra) Source #

Instance details

Methods

showsPrec ∷ Int → TransitionConfig DijkstraEra → ShowS #

show ∷ TransitionConfig DijkstraEra → String #

showList ∷ [TransitionConfig DijkstraEra] → ShowS #

Eq (PlutusScript DijkstraEra) Source #

Instance details

Methods

(==) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

(/=) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

Eq (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

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

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

Eq (TransitionConfig DijkstraEra) Source #

Instance details

Methods

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

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

Ord (PlutusScript DijkstraEra) Source #

Instance details

Methods

compare ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Ordering #

(<) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

(<=) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

(>) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

(>=) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #

max ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → PlutusScript DijkstraEra #

min ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → PlutusScript DijkstraEra #

MemPack (PlutusScript DijkstraEra) Source #

Instance details

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript DijkstraEra → Int Source #

packM ∷ PlutusScript DijkstraEra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (PlutusScript DijkstraEra) Source #

NoThunks (PlutusScript DijkstraEra) Source #

Instance details

Methods

noThunks ∷ Context → PlutusScript DijkstraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PlutusScript DijkstraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PlutusScript DijkstraEra) → String Source #

NoThunks (TransitionConfig DijkstraEra) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig DijkstraEra) → String Source #

Inject (NonEmpty (DijkstraLedgerPredFailure DijkstraEra)) (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

inject ∷ NonEmpty (DijkstraLedgerPredFailure DijkstraEra) → ApplyTxError DijkstraEra Source #

Inject (NonEmpty (DijkstraMempoolPredFailure DijkstraEra)) (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

inject ∷ NonEmpty (DijkstraMempoolPredFailure DijkstraEra) → ApplyTxError DijkstraEra Source #

(FromJSON (TxBody 'SubTx DijkstraEra), FromJSON (TxWits DijkstraEra), FromJSON (TxAuxData DijkstraEra)) ⇒ FromJSON (Tx 'SubTx DijkstraEra) Source #

Instance details

Methods

parseJSON ∷ Value → Parser (Tx 'SubTx DijkstraEra) Source #

parseJSONList ∷ Value → Parser [Tx 'SubTx DijkstraEra] Source #

omittedField ∷ Maybe (Tx 'SubTx DijkstraEra) Source #

(FromJSON (TxBody 'TopTx DijkstraEra), FromJSON (TxWits DijkstraEra), FromJSON (TxAuxData DijkstraEra)) ⇒ FromJSON (Tx 'TopTx DijkstraEra) Source #

Instance details

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx DijkstraEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx DijkstraEra] Source #

omittedField ∷ Maybe (Tx 'TopTx DijkstraEra) Source #

(FromJSON (TxOut DijkstraEra), Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ FromJSON (TxBody 'SubTx DijkstraEra) Source #

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'SubTx DijkstraEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'SubTx DijkstraEra] Source #

omittedField ∷ Maybe (TxBody 'SubTx DijkstraEra) Source #

(Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ FromJSON (TxBody 'TopTx DijkstraEra) Source #

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx DijkstraEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx DijkstraEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx DijkstraEra) Source #

(ToJSON (TxBody 'SubTx DijkstraEra), ToJSON (TxWits DijkstraEra), ToJSON (TxAuxData DijkstraEra)) ⇒ ToJSON (Tx 'SubTx DijkstraEra) Source #

Instance details

Methods

toJSON ∷ Tx 'SubTx DijkstraEra → Value Source #

toEncoding ∷ Tx 'SubTx DijkstraEra → Encoding Source #

toJSONList ∷ [Tx 'SubTx DijkstraEra] → Value Source #

toEncodingList ∷ [Tx 'SubTx DijkstraEra] → Encoding Source #

omitField ∷ Tx 'SubTx DijkstraEra → Bool Source #

(ToJSON (TxBody 'TopTx DijkstraEra), ToJSON (TxWits DijkstraEra), ToJSON (TxAuxData DijkstraEra)) ⇒ ToJSON (Tx 'TopTx DijkstraEra) Source #

Instance details

Methods

toJSON ∷ Tx 'TopTx DijkstraEra → Value Source #

toEncoding ∷ Tx 'TopTx DijkstraEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx DijkstraEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx DijkstraEra] → Encoding Source #

omitField ∷ Tx 'TopTx DijkstraEra → Bool Source #

ToJSON (TxOut DijkstraEra) ⇒ ToJSON (TxBody 'SubTx DijkstraEra) Source #

Instance details

Methods

toJSON ∷ TxBody 'SubTx DijkstraEra → Value Source #

toEncoding ∷ TxBody 'SubTx DijkstraEra → Encoding Source #

toJSONList ∷ [TxBody 'SubTx DijkstraEra] → Value Source #

toEncodingList ∷ [TxBody 'SubTx DijkstraEra] → Encoding Source #

omitField ∷ TxBody 'SubTx DijkstraEra → Bool Source #

(ToJSON (TxOut DijkstraEra), ToJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ ToJSON (TxBody 'TopTx DijkstraEra) Source #

Instance details

Methods

toJSON ∷ TxBody 'TopTx DijkstraEra → Value Source #

toEncoding ∷ TxBody 'TopTx DijkstraEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx DijkstraEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx DijkstraEra] → Encoding Source #

omitField ∷ TxBody 'TopTx DijkstraEra → Bool Source #

(EncCBOR h, Typeable h) ⇒ ToCBOR (Block h DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block

Methods

toCBOR ∷ Block h DijkstraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Block h DijkstraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Block h DijkstraEra] → Size Source #

Typeable l ⇒ ToCBOR (Tx l DijkstraEra) Source #

Instance details

Methods

toCBOR ∷ Tx l DijkstraEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (TxBody l DijkstraEra) Source #

Instance details

Methods

toCBOR ∷ TxBody l DijkstraEra → Encoding Source #

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

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

EncCBOR h ⇒ EncCBOR (Block h DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block

Methods

encCBOR ∷ Block h DijkstraEra → Encoding Source #

EncCBOR (Tx l DijkstraEra) Source #

Instance details

Methods

encCBOR ∷ Tx l DijkstraEra → Encoding Source #

EncCBOR (TxBody l DijkstraEra) Source #

Instance details

Methods

encCBOR ∷ TxBody l DijkstraEra → Encoding Source #

ToJSON (TxOut DijkstraEra) ⇒ ToKeyValuePairs (TxBody 'SubTx DijkstraEra) Source #

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'SubTx DijkstraEra → [kv] Source #

(ToJSON (TxOut DijkstraEra), ToJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ ToKeyValuePairs (TxBody 'TopTx DijkstraEra) Source #

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx DijkstraEra → [kv] Source #

(ToJSON (TxBody 'TopTx DijkstraEra), ToJSON (TxWits DijkstraEra), ToJSON (TxAuxData DijkstraEra)) ⇒ ToKeyValuePairs (DijkstraTx 'TopTx DijkstraEra) Source #

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ DijkstraTx 'TopTx DijkstraEra → [kv] Source #

SafeToHash (TxBody l DijkstraEra) Source #

Instance details

Methods

originalBytes ∷ TxBody l DijkstraEra → ByteString Source #

originalBytesSize ∷ TxBody l DijkstraEra → Int Source #

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

EqRaw (Tx l DijkstraEra) Source #

Instance details

Methods

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

(Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ EqRaw (TxBody l DijkstraEra) Source #

Instance details

Methods

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

Memoized (TxBody l DijkstraEra) Source #

Instance details

Associated Types

type RawType (TxBody l DijkstraEra)
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody type RawType (TxBody l DijkstraEra) = DijkstraTxBodyRaw l DijkstraEra

Methods

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

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

NFData (Tx l DijkstraEra) Source #

Instance details

Methods

rnf ∷ Tx l DijkstraEra → () #

(NFData (Tx 'SubTx DijkstraEra), Eq (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ NFData (TxBody l DijkstraEra) Source #

Instance details

Methods

rnf ∷ TxBody l DijkstraEra → () #

Generic (Tx l DijkstraEra) Source #

Instance details

Associated Types

type Rep (Tx l DijkstraEra)
Instance details Defined in Cardano.Ledger.Dijkstra.Tx type Rep (Tx l DijkstraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Dijkstra.Tx" "cardano-ledger-dijkstra-0.4.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDijkstraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DijkstraTx l DijkstraEra))))

Methods

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

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

Generic (TxBody l DijkstraEra) Source #

Instance details

Associated Types

type Rep (TxBody l DijkstraEra)

Instance details

type Rep (TxBody l DijkstraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Dijkstra.TxBody" "cardano-ledger-dijkstra-0.4.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraTxBodyRaw l DijkstraEra)))))

Methods

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

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

Show (Tx l DijkstraEra) Source #

Instance details

Methods

showsPrec ∷ Int → Tx l DijkstraEra → ShowS #

show ∷ Tx l DijkstraEra → String #

showList ∷ [Tx l DijkstraEra] → ShowS #

(Show (Tx 'SubTx DijkstraEra), Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ Show (TxBody l DijkstraEra) Source #

Instance details

Methods

showsPrec ∷ Int → TxBody l DijkstraEra → ShowS #

show ∷ TxBody l DijkstraEra → String #

showList ∷ [TxBody l DijkstraEra] → ShowS #

Eq (Tx l DijkstraEra) Source #

Instance details

Methods

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

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

(Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ Eq (TxBody l DijkstraEra) Source #

Instance details

Methods

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

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

Typeable l ⇒ NoThunks (Tx l DijkstraEra) Source #

Instance details

Methods

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

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

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

(Typeable l, Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ NoThunks (TxBody l DijkstraEra) Source #

Instance details

Methods

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

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

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

HashAnnotated (TxBody l DijkstraEra) EraIndependentTxBody Source #

Instance details

Methods

hashAnnotated ∷ TxBody l DijkstraEra → SafeHash EraIndependentTxBody Source #

type ContextError DijkstraEra Source #

Instance details

type ContextError DijkstraEra = DijkstraContextError DijkstraEra

data TxInfoResult DijkstraEra Source #

Instance details

data TxInfoResult DijkstraEra = DijkstraTxInfoResult (PlutusTxInfoResult 'PlutusV1 DijkstraEra) (PlutusTxInfoResult 'PlutusV2 DijkstraEra) (PlutusTxInfoResult 'PlutusV3 DijkstraEra) (PlutusTxInfoResult 'PlutusV4 DijkstraEra)

data PlutusScript DijkstraEra Source #

Instance details

data PlutusScript DijkstraEra

type BlockBody DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

type BlockBody DijkstraEra = DijkstraBlockBody DijkstraEra

type NativeScript DijkstraEra Source #

Instance details

type NativeScript DijkstraEra = DijkstraNativeScript DijkstraEra

type Script DijkstraEra Source #

Instance details

type Script DijkstraEra = AlonzoScript DijkstraEra

type StAnnTxCache DijkstraEra Source #

Instance details

type StAnnTxCache DijkstraEra = Map ScriptHash (SupportedPlutusRunnable DijkstraEra)

type TxAuxData DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.TxAuxData

type TxAuxData DijkstraEra = AlonzoTxAuxData DijkstraEra

type TxOut DijkstraEra Source #

Instance details

type TxOut DijkstraEra = BabbageTxOut DijkstraEra

type TxWits DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.TxWits

type TxWits DijkstraEra = AlonzoTxWits DijkstraEra

type Value DijkstraEra Source #

Instance details

type Value DijkstraEra = MaryValue

type TranslationContext DijkstraEra Source #

Instance details

type TranslationContext DijkstraEra = DijkstraGenesis

type TxCert DijkstraEra Source #

Instance details

type TxCert DijkstraEra = DijkstraTxCert DijkstraEra

type TxCertUpgradeError DijkstraEra Source #

Instance details

type TxCertUpgradeError DijkstraEra = DijkstraTxCertUpgradeError

type Genesis DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

type Genesis DijkstraEra = DijkstraGenesis

type AccountState DijkstraEra Source #

Instance details

type AccountState DijkstraEra = ConwayAccountState DijkstraEra

type Accounts DijkstraEra Source #

Instance details

type Accounts DijkstraEra = ConwayAccounts DijkstraEra

type CertState DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.State.CertState

type CertState DijkstraEra = ConwayCertState DijkstraEra

type GovState DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Governance

type GovState DijkstraEra = ConwayGovState DijkstraEra

type InstantStake DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.State.Stake

type InstantStake DijkstraEra = ConwayInstantStake DijkstraEra

type ScriptsNeeded DijkstraEra Source #

Instance details

type ScriptsNeeded DijkstraEra = AlonzoScriptsNeeded DijkstraEra

type EraName DijkstraEra

Instance details

type EraName DijkstraEra = "Dijkstra"

type PreviousEra DijkstraEra

Instance details

type PreviousEra DijkstraEra = ConwayEra

type ProtVerHigh DijkstraEra

Instance details

type ProtVerHigh DijkstraEra = 12

type ProtVerLow DijkstraEra

Instance details

type ProtVerLow DijkstraEra = 12

newtype ApplyTxError DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

newtype ApplyTxError DijkstraEra = DijkstraApplyTxError (NonEmpty (DijkstraMempoolPredFailure DijkstraEra))

data TransitionConfig DijkstraEra Source #

Instance details

data TransitionConfig DijkstraEra = DijkstraTransitionConfig {

dtcDijkstraGenesis ∷ !DijkstraGenesis
dtcConwayTransitionConfig ∷ !(TransitionConfig ConwayEra)

}

type PlutusPurpose f DijkstraEra Source #

Instance details

type PlutusPurpose f DijkstraEra = DijkstraPlutusPurpose f DijkstraEra

type ProtocolEraBlockHeader h DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

type ProtocolEraBlockHeader h DijkstraEra = LeiosEraBlockHeader h DijkstraEra

type StAnnTx l DijkstraEra Source #

Instance details

type StAnnTx l DijkstraEra = DijkstraStAnnTx l DijkstraEra

newtype Tx l DijkstraEra Source #

Instance details

newtype Tx l DijkstraEra = MkDijkstraTx {

unDijkstraTx ∷ DijkstraTx l DijkstraEra

}

newtype TxBody l DijkstraEra Source #

Instance details

newtype TxBody l DijkstraEra = MkDijkstraTxBody (MemoBytes (DijkstraTxBodyRaw l DijkstraEra))

type EraRule "BBODY" DijkstraEra Source #

Instance details

type EraRule "BBODY" DijkstraEra = BBODY DijkstraEra

type EraRule "CERT" DijkstraEra Source #

Instance details

type EraRule "CERT" DijkstraEra = CERT DijkstraEra

type EraRule "CERTS" DijkstraEra Source #

Instance details

type EraRule "CERTS" DijkstraEra = CERTS DijkstraEra

type EraRule "DELEG" DijkstraEra Source #

Instance details

type EraRule "DELEG" DijkstraEra = DELEG DijkstraEra

type EraRule "DELEGS" DijkstraEra Source #

Instance details

type EraRule "DELEGS" DijkstraEra = VoidEraRule "DELEGS" DijkstraEra

type EraRule "ENACT" DijkstraEra Source #

Instance details

type EraRule "ENACT" DijkstraEra = ENACT DijkstraEra

type EraRule "ENTITIES" DijkstraEra Source #

Instance details

type EraRule "ENTITIES" DijkstraEra = ENTITIES DijkstraEra

type EraRule "EPOCH" DijkstraEra Source #

Instance details

type EraRule "EPOCH" DijkstraEra = EPOCH DijkstraEra

type EraRule "GOV" DijkstraEra Source #

Instance details

type EraRule "GOV" DijkstraEra = GOV DijkstraEra

type EraRule "GOVCERT" DijkstraEra Source #

Instance details

type EraRule "GOVCERT" DijkstraEra = GOVCERT DijkstraEra

type EraRule "HARDFORK" DijkstraEra Source #

Instance details

type EraRule "HARDFORK" DijkstraEra = HARDFORK DijkstraEra

type EraRule "LEDGER" DijkstraEra Source #

Instance details

type EraRule "LEDGER" DijkstraEra = LEDGER DijkstraEra

type EraRule "LEDGERS" DijkstraEra Source #

Instance details

type EraRule "LEDGERS" DijkstraEra = LEDGERS DijkstraEra

type EraRule "MEMPOOL" DijkstraEra Source #

Instance details

type EraRule "MEMPOOL" DijkstraEra = MEMPOOL DijkstraEra

type EraRule "MIR" DijkstraEra Source #

Instance details

type EraRule "MIR" DijkstraEra = VoidEraRule "MIR" DijkstraEra

type EraRule "NEWEPOCH" DijkstraEra Source #

Instance details

type EraRule "NEWEPOCH" DijkstraEra = NEWEPOCH DijkstraEra

type EraRule "NEWPP" DijkstraEra Source #

Instance details

type EraRule "NEWPP" DijkstraEra = VoidEraRule "NEWPP" DijkstraEra

type EraRule "POOL" DijkstraEra Source #

Instance details

type EraRule "POOL" DijkstraEra = POOL DijkstraEra

type EraRule "POOLREAP" DijkstraEra Source #

Instance details

type EraRule "POOLREAP" DijkstraEra = POOLREAP DijkstraEra

type EraRule "PPUP" DijkstraEra Source #

Instance details

type EraRule "PPUP" DijkstraEra = VoidEraRule "PPUP" DijkstraEra

type EraRule "RATIFY" DijkstraEra Source #

Instance details

type EraRule "RATIFY" DijkstraEra = RATIFY DijkstraEra

type EraRule "RUPD" DijkstraEra Source #

Instance details

type EraRule "RUPD" DijkstraEra = RUPD DijkstraEra

type EraRule "SNAP" DijkstraEra Source #

Instance details

type EraRule "SNAP" DijkstraEra = SNAP DijkstraEra

type EraRule "SUBCERT" DijkstraEra Source #

Instance details

type EraRule "SUBCERT" DijkstraEra = SUBCERT DijkstraEra

type EraRule "SUBCERTS" DijkstraEra Source #

Instance details

type EraRule "SUBCERTS" DijkstraEra = SUBCERTS DijkstraEra

type EraRule "SUBDELEG" DijkstraEra Source #

Instance details

type EraRule "SUBDELEG" DijkstraEra = SUBDELEG DijkstraEra

type EraRule "SUBENTITIES" DijkstraEra Source #

Instance details

type EraRule "SUBENTITIES" DijkstraEra = SUBENTITIES DijkstraEra

type EraRule "SUBGOV" DijkstraEra Source #

Instance details

type EraRule "SUBGOV" DijkstraEra = SUBGOV DijkstraEra

type EraRule "SUBGOVCERT" DijkstraEra Source #

Instance details

type EraRule "SUBGOVCERT" DijkstraEra = SUBGOVCERT DijkstraEra

type EraRule "SUBLEDGER" DijkstraEra Source #

Instance details

type EraRule "SUBLEDGER" DijkstraEra = SUBLEDGER DijkstraEra

type EraRule "SUBLEDGERS" DijkstraEra Source #

Instance details

type EraRule "SUBLEDGERS" DijkstraEra = SUBLEDGERS DijkstraEra

type EraRule "SUBPOOL" DijkstraEra Source #

Instance details

type EraRule "SUBPOOL" DijkstraEra = SUBPOOL DijkstraEra

type EraRule "SUBUTXO" DijkstraEra Source #

Instance details

type EraRule "SUBUTXO" DijkstraEra = SUBUTXO DijkstraEra

type EraRule "SUBUTXOW" DijkstraEra Source #

Instance details

type EraRule "SUBUTXOW" DijkstraEra = SUBUTXOW DijkstraEra

type EraRule "TICK" DijkstraEra Source #

Instance details

type EraRule "TICK" DijkstraEra = TICK DijkstraEra

type EraRule "TICKF" DijkstraEra Source #

Instance details

type EraRule "TICKF" DijkstraEra = TICKF DijkstraEra

type EraRule "UPEC" DijkstraEra Source #

Instance details

type EraRule "UPEC" DijkstraEra = VoidEraRule "UPEC" DijkstraEra

type EraRule "UTXO" DijkstraEra Source #

Instance details

type EraRule "UTXO" DijkstraEra = UTXO DijkstraEra

type EraRule "UTXOS" DijkstraEra Source #

Instance details

type EraRule "UTXOS" DijkstraEra = UTXOS DijkstraEra

type EraRule "UTXOW" DijkstraEra Source #

Instance details

type EraRule "UTXOW" DijkstraEra = UTXOW DijkstraEra

type EraRuleEvent "BBODY" DijkstraEra Source #

Instance details

type EraRuleEvent "BBODY" DijkstraEra = AlonzoBbodyEvent DijkstraEra

type EraRuleEvent "CERT" DijkstraEra Source #

Instance details

type EraRuleEvent "CERT" DijkstraEra = ConwayCertEvent DijkstraEra

type EraRuleEvent "CERTS" DijkstraEra Source #

Instance details

type EraRuleEvent "CERTS" DijkstraEra = ConwayCertsEvent DijkstraEra

type EraRuleEvent "DELEG" DijkstraEra Source #

Instance details

type EraRuleEvent "DELEG" DijkstraEra = VoidEraRule "DELEG" DijkstraEra

type EraRuleEvent "DELEGS" DijkstraEra Source #

Instance details

type EraRuleEvent "DELEGS" DijkstraEra = VoidEraRule "DELEGS" DijkstraEra

type EraRuleEvent "ENTITIES" DijkstraEra Source #

Instance details

type EraRuleEvent "ENTITIES" DijkstraEra = EntitiesEvent DijkstraEra

type EraRuleEvent "EPOCH" DijkstraEra Source #

Instance details

type EraRuleEvent "EPOCH" DijkstraEra = ConwayEpochEvent DijkstraEra

type EraRuleEvent "GOV" DijkstraEra Source #

Instance details

type EraRuleEvent "GOV" DijkstraEra = ConwayGovEvent DijkstraEra

type EraRuleEvent "GOVCERT" DijkstraEra Source #

Instance details

type EraRuleEvent "GOVCERT" DijkstraEra = VoidEraRule "GOVCERT" DijkstraEra

type EraRuleEvent "HARDFORK" DijkstraEra Source #

Instance details

type EraRuleEvent "HARDFORK" DijkstraEra = ConwayHardForkEvent DijkstraEra

type EraRuleEvent "LEDGER" DijkstraEra Source #

Instance details

type EraRuleEvent "LEDGER" DijkstraEra = DijkstraLedgerEvent DijkstraEra

type EraRuleEvent "LEDGERS" DijkstraEra Source #

Instance details

type EraRuleEvent "LEDGERS" DijkstraEra = ShelleyLedgersEvent DijkstraEra

type EraRuleEvent "MEMPOOL" DijkstraEra Source #

Instance details

type EraRuleEvent "MEMPOOL" DijkstraEra = DijkstraMempoolEvent DijkstraEra

type EraRuleEvent "MIR" DijkstraEra Source #

Instance details

type EraRuleEvent "MIR" DijkstraEra = VoidEraRule "MIR" DijkstraEra

type EraRuleEvent "NEWEPOCH" DijkstraEra Source #

Instance details

type EraRuleEvent "NEWEPOCH" DijkstraEra = ConwayNewEpochEvent DijkstraEra

type EraRuleEvent "NEWPP" DijkstraEra Source #

Instance details

type EraRuleEvent "NEWPP" DijkstraEra = VoidEraRule "NEWPP" DijkstraEra

type EraRuleEvent "POOL" DijkstraEra Source #

Instance details

type EraRuleEvent "POOL" DijkstraEra = PoolEvent DijkstraEra

type EraRuleEvent "PPUP" DijkstraEra Source #

Instance details

type EraRuleEvent "PPUP" DijkstraEra = VoidEraRule "PPUP" DijkstraEra

type EraRuleEvent "SUBCERT" DijkstraEra Source #

Instance details

type EraRuleEvent "SUBCERT" DijkstraEra = DijkstraSubCertEvent DijkstraEra

type EraRuleEvent "SUBCERTS" DijkstraEra Source #

Instance details

type EraRuleEvent "SUBCERTS" DijkstraEra = DijkstraSubCertsEvent DijkstraEra

type EraRuleEvent "SUBDELEG" DijkstraEra Source #

Instance details

type EraRuleEvent "SUBDELEG" DijkstraEra = VoidEraRule "SUBDELEG" DijkstraEra

type EraRuleEvent "SUBENTITIES" DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubEntities

type EraRuleEvent "SUBENTITIES" DijkstraEra = SubEntitiesEvent DijkstraEra

type EraRuleEvent "SUBGOV" DijkstraEra Source #

Instance details

type EraRuleEvent "SUBGOV" DijkstraEra = DijkstraSubGovEvent DijkstraEra

type EraRuleEvent "SUBGOVCERT" DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type EraRuleEvent "SUBGOVCERT" DijkstraEra = VoidEraRule "SUBGOVCERT" DijkstraEra

type EraRuleEvent "SUBLEDGER" DijkstraEra Source #

Instance details

type EraRuleEvent "SUBLEDGER" DijkstraEra = DijkstraSubLedgerEvent DijkstraEra

type EraRuleEvent "SUBLEDGERS" DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type EraRuleEvent "SUBLEDGERS" DijkstraEra = DijkstraSubLedgersEvent DijkstraEra

type EraRuleEvent "SUBPOOL" DijkstraEra Source #

Instance details

type EraRuleEvent "SUBPOOL" DijkstraEra = DijkstraSubPoolEvent DijkstraEra

type EraRuleEvent "SUBUTXO" DijkstraEra Source #

Instance details

type EraRuleEvent "SUBUTXO" DijkstraEra = DijkstraSubUtxoEvent DijkstraEra

type EraRuleEvent "SUBUTXOW" DijkstraEra Source #

Instance details

type EraRuleEvent "SUBUTXOW" DijkstraEra = DijkstraSubUtxowEvent DijkstraEra

type EraRuleEvent "TICK" DijkstraEra Source #

Instance details

type EraRuleEvent "TICK" DijkstraEra = ShelleyTickEvent DijkstraEra

type EraRuleEvent "UPEC" DijkstraEra Source #

Instance details

type EraRuleEvent "UPEC" DijkstraEra = VoidEraRule "UPEC" DijkstraEra

type EraRuleEvent "UTXO" DijkstraEra Source #

Instance details

type EraRuleEvent "UTXO" DijkstraEra = AlonzoUtxoEvent DijkstraEra

type EraRuleEvent "UTXOS" DijkstraEra Source #

Instance details

type EraRuleEvent "UTXOS" DijkstraEra = ConwayUtxosEvent DijkstraEra

type EraRuleEvent "UTXOW" DijkstraEra Source #

Instance details

type EraRuleEvent "UTXOW" DijkstraEra = AlonzoUtxowEvent DijkstraEra

type EraRuleFailure "BBODY" DijkstraEra Source #

Instance details

type EraRuleFailure "BBODY" DijkstraEra = DijkstraBbodyPredFailure DijkstraEra

type EraRuleFailure "CERT" DijkstraEra Source #

Instance details

type EraRuleFailure "CERT" DijkstraEra = ConwayCertPredFailure DijkstraEra

type EraRuleFailure "CERTS" DijkstraEra Source #

Instance details

type EraRuleFailure "CERTS" DijkstraEra = ConwayCertsPredFailure DijkstraEra

type EraRuleFailure "DELEG" DijkstraEra Source #

Instance details

type EraRuleFailure "DELEG" DijkstraEra = ConwayDelegPredFailure DijkstraEra

type EraRuleFailure "DELEGS" DijkstraEra Source #

Instance details

type EraRuleFailure "DELEGS" DijkstraEra = VoidEraRule "DELEGS" DijkstraEra

type EraRuleFailure "ENTITIES" DijkstraEra Source #

Instance details

type EraRuleFailure "ENTITIES" DijkstraEra = EntitiesPredFailure DijkstraEra

type EraRuleFailure "GOV" DijkstraEra Source #

Instance details

type EraRuleFailure "GOV" DijkstraEra = DijkstraGovPredFailure DijkstraEra

type EraRuleFailure "GOVCERT" DijkstraEra Source #

Instance details

type EraRuleFailure "GOVCERT" DijkstraEra = DijkstraGovCertPredFailure DijkstraEra

type EraRuleFailure "LEDGER" DijkstraEra Source #

Instance details

type EraRuleFailure "LEDGER" DijkstraEra = DijkstraLedgerPredFailure DijkstraEra

type EraRuleFailure "LEDGERS" DijkstraEra Source #

Instance details

type EraRuleFailure "LEDGERS" DijkstraEra = ShelleyLedgersPredFailure DijkstraEra

type EraRuleFailure "MEMPOOL" DijkstraEra Source #

Instance details

type EraRuleFailure "MEMPOOL" DijkstraEra = DijkstraMempoolPredFailure DijkstraEra

type EraRuleFailure "MIR" DijkstraEra Source #

Instance details

type EraRuleFailure "MIR" DijkstraEra = VoidEraRule "MIR" DijkstraEra

type EraRuleFailure "NEWPP" DijkstraEra Source #

Instance details

type EraRuleFailure "NEWPP" DijkstraEra = VoidEraRule "NEWPP" DijkstraEra

type EraRuleFailure "POOL" DijkstraEra Source #

Instance details

type EraRuleFailure "POOL" DijkstraEra = ShelleyPoolPredFailure DijkstraEra

type EraRuleFailure "PPUP" DijkstraEra Source #

Instance details

type EraRuleFailure "PPUP" DijkstraEra = VoidEraRule "PPUP" DijkstraEra

type EraRuleFailure "SUBCERT" DijkstraEra Source #

Instance details

type EraRuleFailure "SUBCERT" DijkstraEra = DijkstraSubCertPredFailure DijkstraEra

type EraRuleFailure "SUBCERTS" DijkstraEra Source #

Instance details

type EraRuleFailure "SUBCERTS" DijkstraEra = DijkstraSubCertsPredFailure DijkstraEra

type EraRuleFailure "SUBDELEG" DijkstraEra Source #

Instance details

type EraRuleFailure "SUBDELEG" DijkstraEra = DijkstraSubDelegPredFailure DijkstraEra

type EraRuleFailure "SUBENTITIES" DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubEntities

type EraRuleFailure "SUBENTITIES" DijkstraEra = SubEntitiesPredFailure DijkstraEra

type EraRuleFailure "SUBGOV" DijkstraEra Source #

Instance details

type EraRuleFailure "SUBGOV" DijkstraEra = DijkstraSubGovPredFailure DijkstraEra

type EraRuleFailure "SUBGOVCERT" DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type EraRuleFailure "SUBGOVCERT" DijkstraEra = DijkstraSubGovCertPredFailure DijkstraEra

type EraRuleFailure "SUBLEDGER" DijkstraEra Source #

Instance details

type EraRuleFailure "SUBLEDGER" DijkstraEra = DijkstraSubLedgerPredFailure DijkstraEra

type EraRuleFailure "SUBLEDGERS" DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type EraRuleFailure "SUBLEDGERS" DijkstraEra = DijkstraSubLedgersPredFailure DijkstraEra

type EraRuleFailure "SUBPOOL" DijkstraEra Source #

Instance details

type EraRuleFailure "SUBPOOL" DijkstraEra = DijkstraSubPoolPredFailure DijkstraEra

type EraRuleFailure "SUBUTXO" DijkstraEra Source #

Instance details

type EraRuleFailure "SUBUTXO" DijkstraEra = DijkstraSubUtxoPredFailure DijkstraEra

type EraRuleFailure "SUBUTXOW" DijkstraEra Source #

Instance details

type EraRuleFailure "SUBUTXOW" DijkstraEra = DijkstraSubUtxowPredFailure DijkstraEra

type EraRuleFailure "UPEC" DijkstraEra Source #

Instance details

type EraRuleFailure "UPEC" DijkstraEra = VoidEraRule "UPEC" DijkstraEra

type EraRuleFailure "UTXO" DijkstraEra Source #

Instance details

type EraRuleFailure "UTXO" DijkstraEra = DijkstraUtxoPredFailure DijkstraEra

type EraRuleFailure "UTXOS" DijkstraEra Source #

Instance details

type EraRuleFailure "UTXOS" DijkstraEra = ConwayUtxosPredFailure DijkstraEra

type EraRuleFailure "UTXOW" DijkstraEra Source #

Instance details

type EraRuleFailure "UTXOW" DijkstraEra = DijkstraUtxowPredFailure DijkstraEra

type DowngradePParams f DijkstraEra Source #

Instance details

type DowngradePParams f DijkstraEra = ()

type PParamsHKD f DijkstraEra Source #

Instance details

type PParamsHKD f DijkstraEra = DijkstraPParams f DijkstraEra

type UpgradePParams f DijkstraEra Source #

Instance details

type UpgradePParams f DijkstraEra = UpgradeDijkstraPParams f DijkstraEra

type TranslationError DijkstraEra ConwayGovState Source #

Instance details

type TranslationError DijkstraEra ConwayGovState = Void

type TranslationError DijkstraEra DRepPulsingState Source #

Instance details

type TranslationError DijkstraEra DRepPulsingState = Void

type TranslationError DijkstraEra PulsingSnapshot Source #

Instance details

type TranslationError DijkstraEra PulsingSnapshot = Void

type TranslationError DijkstraEra EnactState Source #

Instance details

type TranslationError DijkstraEra EnactState = Void

type TranslationError DijkstraEra RatifyState Source #

Instance details

type TranslationError DijkstraEra RatifyState = Void

type TranslationError DijkstraEra GovAction Source #

Instance details

type TranslationError DijkstraEra GovAction = Void

type TranslationError DijkstraEra GovActionState Source #

Instance details

type TranslationError DijkstraEra GovActionState = Void

type TranslationError DijkstraEra ProposalProcedure Source #

Instance details

type TranslationError DijkstraEra ProposalProcedure = Void

type TranslationError DijkstraEra Proposals Source #

Instance details

type TranslationError DijkstraEra Proposals = Void

type TranslationError DijkstraEra VState Source #

Instance details

type TranslationError DijkstraEra VState = Void

type TranslationError DijkstraEra PParams Source #

Instance details

type TranslationError DijkstraEra PParams = Void

type TranslationError DijkstraEra DState Source #

Instance details

type TranslationError DijkstraEra DState = Void

type TranslationError DijkstraEra PState Source #

Instance details

type TranslationError DijkstraEra PState = Void

type TranslationError DijkstraEra FuturePParams Source #

Instance details

type TranslationError DijkstraEra FuturePParams = Void

type TranslationError DijkstraEra SnapShots Source #

Instance details

type TranslationError DijkstraEra SnapShots = Void

type TranslationError DijkstraEra UTxO Source #

Instance details

type TranslationError DijkstraEra UTxO = Void

type TranslationError DijkstraEra EpochState Source #

Instance details

type TranslationError DijkstraEra EpochState = Void

type TranslationError DijkstraEra LedgerState Source #

Instance details

type TranslationError DijkstraEra LedgerState = Void

type TranslationError DijkstraEra NewEpochState Source #

Instance details

type TranslationError DijkstraEra NewEpochState = Void

type TranslationError DijkstraEra UTxOState Source #

Instance details

type TranslationError DijkstraEra UTxOState = Void

type STxLevel l DijkstraEra Source #

Instance details

type STxLevel l DijkstraEra = STxBothLevels l DijkstraEra

type Forecast t DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Forecast

type Forecast t DijkstraEra = BabbageForecast t DijkstraEra

type TranslationError DijkstraEra (Tx 'TopTx) Source #

Instance details

type TranslationError DijkstraEra (Tx 'TopTx) = DecoderError

type Rep (PlutusScript DijkstraEra) Source #

Instance details

type Rep (PlutusScript DijkstraEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.4.0.0-inplace" 'False) ((C1 ('MetaCons "DijkstraPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "DijkstraPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2)))) :+: (C1 ('MetaCons "DijkstraPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV3))) :+: C1 ('MetaCons "DijkstraPlutusV4" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV4)))))

type Rep (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

type Rep (ApplyTxError DijkstraEra) = Rep (NonEmpty (DijkstraMempoolPredFailure DijkstraEra))

type Rep (TransitionConfig DijkstraEra) Source #

Instance details

type Rep (TransitionConfig DijkstraEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Dijkstra.Transition" "cardano-ledger-dijkstra-0.4.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dtcDijkstraGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DijkstraGenesis) :*: S1 ('MetaSel ('Just "dtcConwayTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig ConwayEra))))

type MemoHashIndex (DijkstraTxBodyRaw l DijkstraEra) Source #

Instance details

type MemoHashIndex (DijkstraTxBodyRaw l DijkstraEra) = EraIndependentTxBody

type RawType (TxBody l DijkstraEra) Source #

Instance details

type RawType (TxBody l DijkstraEra) = DijkstraTxBodyRaw l DijkstraEra

type Rep (Tx l DijkstraEra) Source #

Instance details

type Rep (Tx l DijkstraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Dijkstra.Tx" "cardano-ledger-dijkstra-0.4.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDijkstraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DijkstraTx l DijkstraEra))))

type Rep (TxBody l DijkstraEra) Source #

Instance details

type Rep (TxBody l DijkstraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Dijkstra.TxBody" "cardano-ledger-dijkstra-0.4.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraTxBodyRaw l DijkstraEra)))))

data family ApplyTxError era Source #

Instances

Instances details

DecCBOR (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

decCBOR ∷ Decoder s (ApplyTxError AllegraEra) Source #

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

label ∷ Proxy (ApplyTxError AllegraEra) → Text Source #

DecCBOR (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

decCBOR ∷ Decoder s (ApplyTxError AlonzoEra) Source #

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

label ∷ Proxy (ApplyTxError AlonzoEra) → Text Source #

DecCBOR (ApplyTxError BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage

Methods

decCBOR ∷ Decoder s (ApplyTxError BabbageEra) Source #

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

label ∷ Proxy (ApplyTxError BabbageEra) → Text Source #

DecCBOR (ApplyTxError ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway

Methods

decCBOR ∷ Decoder s (ApplyTxError ConwayEra) Source #

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

label ∷ Proxy (ApplyTxError ConwayEra) → Text Source #

DecCBOR (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

decCBOR ∷ Decoder s (ApplyTxError DijkstraEra) Source #

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

label ∷ Proxy (ApplyTxError DijkstraEra) → Text Source #

DecCBOR (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

decCBOR ∷ Decoder s (ApplyTxError MaryEra) Source #

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

label ∷ Proxy (ApplyTxError MaryEra) → 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 AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

encCBOR ∷ ApplyTxError AllegraEra → Encoding Source #

EncCBOR (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

encCBOR ∷ ApplyTxError AlonzoEra → Encoding Source #

EncCBOR (ApplyTxError BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage

Methods

encCBOR ∷ ApplyTxError BabbageEra → Encoding Source #

EncCBOR (ApplyTxError ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway

Methods

encCBOR ∷ ApplyTxError ConwayEra → Encoding Source #

EncCBOR (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

encCBOR ∷ ApplyTxError DijkstraEra → Encoding Source #

EncCBOR (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

encCBOR ∷ ApplyTxError MaryEra → Encoding Source #

EncCBOR (ApplyTxError ShelleyEra)

Instance details

Methods

encCBOR ∷ ApplyTxError ShelleyEra → Encoding Source #

Semigroup (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

(<>) ∷ ApplyTxError AllegraEra → ApplyTxError AllegraEra → ApplyTxError AllegraEra #

sconcat ∷ NonEmpty (ApplyTxError AllegraEra) → ApplyTxError AllegraEra #

stimes ∷ Integral b ⇒ b → ApplyTxError AllegraEra → ApplyTxError AllegraEra #

Semigroup (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

(<>) ∷ ApplyTxError AlonzoEra → ApplyTxError AlonzoEra → ApplyTxError AlonzoEra #

sconcat ∷ NonEmpty (ApplyTxError AlonzoEra) → ApplyTxError AlonzoEra #

stimes ∷ Integral b ⇒ b → ApplyTxError AlonzoEra → ApplyTxError AlonzoEra #

Semigroup (ApplyTxError BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage

Methods

(<>) ∷ ApplyTxError BabbageEra → ApplyTxError BabbageEra → ApplyTxError BabbageEra #

sconcat ∷ NonEmpty (ApplyTxError BabbageEra) → ApplyTxError BabbageEra #

stimes ∷ Integral b ⇒ b → ApplyTxError BabbageEra → ApplyTxError BabbageEra #

Semigroup (ApplyTxError ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway

Methods

(<>) ∷ ApplyTxError ConwayEra → ApplyTxError ConwayEra → ApplyTxError ConwayEra #

sconcat ∷ NonEmpty (ApplyTxError ConwayEra) → ApplyTxError ConwayEra #

stimes ∷ Integral b ⇒ b → ApplyTxError ConwayEra → ApplyTxError ConwayEra #

Semigroup (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

(<>) ∷ ApplyTxError DijkstraEra → ApplyTxError DijkstraEra → ApplyTxError DijkstraEra #

sconcat ∷ NonEmpty (ApplyTxError DijkstraEra) → ApplyTxError DijkstraEra #

stimes ∷ Integral b ⇒ b → ApplyTxError DijkstraEra → ApplyTxError DijkstraEra #

Semigroup (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

(<>) ∷ ApplyTxError MaryEra → ApplyTxError MaryEra → ApplyTxError MaryEra #

sconcat ∷ NonEmpty (ApplyTxError MaryEra) → ApplyTxError MaryEra #

stimes ∷ Integral b ⇒ b → ApplyTxError MaryEra → ApplyTxError MaryEra #

Semigroup (ApplyTxError ShelleyEra)

Instance details

Methods

(<>) ∷ ApplyTxError ShelleyEra → ApplyTxError ShelleyEra → ApplyTxError ShelleyEra #

sconcat ∷ NonEmpty (ApplyTxError ShelleyEra) → ApplyTxError ShelleyEra #

stimes ∷ Integral b ⇒ b → ApplyTxError ShelleyEra → ApplyTxError ShelleyEra #

Generic (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Associated Types

type Rep (ApplyTxError AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra type Rep (ApplyTxError AllegraEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AllegraEra))

Methods

from ∷ ApplyTxError AllegraEra → Rep (ApplyTxError AllegraEra) x #

to ∷ Rep (ApplyTxError AllegraEra) x → ApplyTxError AllegraEra #

Generic (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Associated Types

type Rep (ApplyTxError AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo type Rep (ApplyTxError AlonzoEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))

Methods

from ∷ ApplyTxError AlonzoEra → Rep (ApplyTxError AlonzoEra) x #

to ∷ Rep (ApplyTxError AlonzoEra) x → ApplyTxError AlonzoEra #

Generic (ApplyTxError BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage

Associated Types

type Rep (ApplyTxError BabbageEra)
Instance details Defined in Cardano.Ledger.Babbage type Rep (ApplyTxError BabbageEra) = Rep (NonEmpty (ShelleyLedgerPredFailure BabbageEra))

Methods

from ∷ ApplyTxError BabbageEra → Rep (ApplyTxError BabbageEra) x #

to ∷ Rep (ApplyTxError BabbageEra) x → ApplyTxError BabbageEra #

Generic (ApplyTxError ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway

Associated Types

type Rep (ApplyTxError ConwayEra)
Instance details Defined in Cardano.Ledger.Conway type Rep (ApplyTxError ConwayEra) = Rep (NonEmpty (ConwayLedgerPredFailure ConwayEra))

Methods

from ∷ ApplyTxError ConwayEra → Rep (ApplyTxError ConwayEra) x #

to ∷ Rep (ApplyTxError ConwayEra) x → ApplyTxError ConwayEra #

Generic (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Associated Types

type Rep (ApplyTxError DijkstraEra)
Instance details Defined in Cardano.Ledger.Dijkstra type Rep (ApplyTxError DijkstraEra) = Rep (NonEmpty (DijkstraMempoolPredFailure DijkstraEra))

Methods

from ∷ ApplyTxError DijkstraEra → Rep (ApplyTxError DijkstraEra) x #

to ∷ Rep (ApplyTxError DijkstraEra) x → ApplyTxError DijkstraEra #

Generic (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Associated Types

type Rep (ApplyTxError MaryEra)
Instance details Defined in Cardano.Ledger.Mary type Rep (ApplyTxError MaryEra) = Rep (NonEmpty (ShelleyLedgerPredFailure MaryEra))

Methods

from ∷ ApplyTxError MaryEra → Rep (ApplyTxError MaryEra) x #

to ∷ Rep (ApplyTxError MaryEra) x → ApplyTxError MaryEra #

Generic (ApplyTxError ShelleyEra)

Instance details

Associated Types

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

Methods

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

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

Show (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

showsPrec ∷ Int → ApplyTxError AllegraEra → ShowS #

show ∷ ApplyTxError AllegraEra → String #

showList ∷ [ApplyTxError AllegraEra] → ShowS #

Show (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

showsPrec ∷ Int → ApplyTxError AlonzoEra → ShowS #

show ∷ ApplyTxError AlonzoEra → String #

showList ∷ [ApplyTxError AlonzoEra] → ShowS #

Show (ApplyTxError BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage

Methods

showsPrec ∷ Int → ApplyTxError BabbageEra → ShowS #

show ∷ ApplyTxError BabbageEra → String #

showList ∷ [ApplyTxError BabbageEra] → ShowS #

Show (ApplyTxError ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway

Methods

showsPrec ∷ Int → ApplyTxError ConwayEra → ShowS #

show ∷ ApplyTxError ConwayEra → String #

showList ∷ [ApplyTxError ConwayEra] → ShowS #

Show (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

showsPrec ∷ Int → ApplyTxError DijkstraEra → ShowS #

show ∷ ApplyTxError DijkstraEra → String #

showList ∷ [ApplyTxError DijkstraEra] → ShowS #

Show (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

showsPrec ∷ Int → ApplyTxError MaryEra → ShowS #

show ∷ ApplyTxError MaryEra → String #

showList ∷ [ApplyTxError MaryEra] → ShowS #

Show (ApplyTxError ShelleyEra)

Instance details

Methods

showsPrec ∷ Int → ApplyTxError ShelleyEra → ShowS #

show ∷ ApplyTxError ShelleyEra → String #

showList ∷ [ApplyTxError ShelleyEra] → ShowS #

Eq (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

Methods

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

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

Eq (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

Methods

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

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

Eq (ApplyTxError BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage

Methods

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

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

Eq (ApplyTxError ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway

Methods

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

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

Eq (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

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

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

Eq (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

Methods

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

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

Eq (ApplyTxError ShelleyEra)

Instance details

Methods

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

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

Inject (NonEmpty (ConwayLedgerPredFailure ConwayEra)) (ApplyTxError ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway

Methods

inject ∷ NonEmpty (ConwayLedgerPredFailure ConwayEra) → ApplyTxError ConwayEra Source #

Inject (NonEmpty (DijkstraLedgerPredFailure DijkstraEra)) (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

inject ∷ NonEmpty (DijkstraLedgerPredFailure DijkstraEra) → ApplyTxError DijkstraEra Source #

Inject (NonEmpty (DijkstraMempoolPredFailure DijkstraEra)) (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

inject ∷ NonEmpty (DijkstraMempoolPredFailure DijkstraEra) → ApplyTxError DijkstraEra Source #

newtype ApplyTxError AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra

newtype ApplyTxError AllegraEra = AllegraApplyTxError (NonEmpty (ShelleyLedgerPredFailure AllegraEra))

newtype ApplyTxError AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo

newtype ApplyTxError AlonzoEra = AlonzoApplyTxError (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))

newtype ApplyTxError BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage

newtype ApplyTxError BabbageEra = BabbageApplyTxError (NonEmpty (ShelleyLedgerPredFailure BabbageEra))

newtype ApplyTxError ConwayEra

Instance details

Defined in Cardano.Ledger.Conway

newtype ApplyTxError ConwayEra = ConwayApplyTxError (NonEmpty (ConwayLedgerPredFailure ConwayEra))

newtype ApplyTxError DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

newtype ApplyTxError DijkstraEra = DijkstraApplyTxError (NonEmpty (DijkstraMempoolPredFailure DijkstraEra))

newtype ApplyTxError MaryEra

Instance details

Defined in Cardano.Ledger.Mary

newtype ApplyTxError MaryEra = MaryApplyTxError (NonEmpty (ShelleyLedgerPredFailure MaryEra))

newtype ApplyTxError ShelleyEra

Instance details

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

type Rep (ApplyTxError AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra

type Rep (ApplyTxError AllegraEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AllegraEra))

type Rep (ApplyTxError AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo

type Rep (ApplyTxError AlonzoEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))

type Rep (ApplyTxError BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage

type Rep (ApplyTxError BabbageEra) = Rep (NonEmpty (ShelleyLedgerPredFailure BabbageEra))

type Rep (ApplyTxError ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway

type Rep (ApplyTxError ConwayEra) = Rep (NonEmpty (ConwayLedgerPredFailure ConwayEra))

type Rep (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

type Rep (ApplyTxError DijkstraEra) = Rep (NonEmpty (DijkstraMempoolPredFailure DijkstraEra))

type Rep (ApplyTxError MaryEra)

Instance details

Defined in Cardano.Ledger.Mary

type Rep (ApplyTxError MaryEra) = Rep (NonEmpty (ShelleyLedgerPredFailure MaryEra))

type Rep (ApplyTxError ShelleyEra)

Instance details