Documentation

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 #

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 #

AlonzoEraTx DijkstraEra Source #

Instance details

AlonzoEraTxAuxData DijkstraEra Source #

Methods

isValidTxL ∷ Lens' (Tx 'TopTx DijkstraEra) IsValid 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)), 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)), 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)), 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

Methods

mkBasicBlockBody ∷ BlockBody DijkstraEra Source #

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

hashBlockBody ∷ BlockBody DijkstraEra → Hash HASH EraIndependentBlockBody Source #

numSegComponents ∷ Word64 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

Methods

txStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l DijkstraEra) (Tx l 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 #

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 ∷ 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)), 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 ∷ ∀ (l ∷ TxLevel). PParams DijkstraEra → (KeyHash 'StakePool → Bool) → TxBody l DijkstraEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams DijkstraEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → 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, 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 #

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 → TxCert DijkstraEra Source #

getRegPoolTxCert ∷ TxCert DijkstraEra → Maybe StakePoolParams 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) → (Credential 'DRepRole → 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 ∷ ∀ (t ∷ TxLevel). EraTxBody DijkstraEra ⇒ PParams DijkstraEra → CertState DijkstraEra → TxBody t DijkstraEra → Coin Source #

certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody DijkstraEra ⇒ PParams DijkstraEra → CertState 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

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

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

getProducedValue ∷ ∀ (t ∷ TxLevel). PParams DijkstraEra → (KeyHash 'StakePool → Bool) → TxBody t 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

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 #

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 #

(NFData (Tx 'SubTx DijkstraEra), Eq (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (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 ∷ Lens' (TxBody 'SubTx 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 #

DijkstraEraUTxO DijkstraEra Source #

Instance details

Methods

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

(Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (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 → Tx 'TopTx DijkstraEra → StAnnTx 'TopTx 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 → ProtVer → PlutusPurpose AsIxItem DijkstraEra → Either (ContextError DijkstraEra) (PlutusScriptPurpose 'PlutusV1) Source #

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

toPlutusArgs ∷ proxy 'PlutusV1 → ProtVer → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem DijkstraEra → Maybe (Data 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 → ProtVer → PlutusPurpose AsIxItem DijkstraEra → Either (ContextError DijkstraEra) (PlutusScriptPurpose 'PlutusV2) Source #

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

toPlutusArgs ∷ proxy 'PlutusV2 → ProtVer → PlutusTxInfo 'PlutusV2 → PlutusPurpose AsIxItem DijkstraEra → Maybe (Data 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 → ProtVer → PlutusPurpose AsIxItem DijkstraEra → Either (ContextError DijkstraEra) (PlutusScriptPurpose 'PlutusV3) Source #

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

toPlutusArgs ∷ proxy 'PlutusV3 → ProtVer → PlutusTxInfo 'PlutusV3 → PlutusPurpose AsIxItem DijkstraEra → Maybe (Data 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 → ProtVer → PlutusPurpose AsIxItem DijkstraEra → Either (ContextError DijkstraEra) (PlutusScriptPurpose 'PlutusV4) Source #

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

toPlutusArgs ∷ proxy 'PlutusV4 → ProtVer → PlutusTxInfo 'PlutusV4 → PlutusPurpose AsIxItem DijkstraEra → Maybe (Data 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 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, DijkstraEraBlockHeader 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

Defined in Cardano.Ledger.Dijkstra.Rules.Deleg

Methods

injectFailure ∷ ConwayDelegPredFailure DijkstraEra → EraRuleFailure "DELEG" 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" 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" 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" 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 "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" 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 #

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)), 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.3.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.3.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 #

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

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)), 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)), 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.3.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.3.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)), 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)), 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)), 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 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 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 "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 "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

Defined in Cardano.Ledger.Dijkstra.Rules.Deleg

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

type EraRuleEvent "DELEGS" DijkstraEra Source #

Instance details

type EraRuleEvent "DELEGS" DijkstraEra = VoidEraRule "DELEGS" 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 "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

Defined in Cardano.Ledger.Dijkstra.Rules.Deleg

type EraRuleFailure "DELEG" DijkstraEra = ConwayDelegPredFailure DijkstraEra

type EraRuleFailure "DELEGS" DijkstraEra Source #

Instance details

type EraRuleFailure "DELEGS" DijkstraEra = VoidEraRule "DELEGS" 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 "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 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.3.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.3.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.3.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.3.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraTxBodyRaw l DijkstraEra)))))

data BBODY era Source #

Instances

Instances details

(BaseM ledgers ~ ShelleyBase, ledgers ~ EraRule "LEDGERS" era, STS ledgers) ⇒ Embed ledgers (BBODY era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure ledgers → PredicateFailure (BBODY era) Source #

wrapEvent ∷ Event ledgers → Event (BBODY era) Source #

(Embed (EraRule "LEDGERS" era) (EraRule "BBODY" era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Signal (EraRule "LEDGERS" era) ~ Seq (Tx 'TopTx era), AlonzoEraTxWits era, EraBlockBody era, AlonzoEraPParams era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, InjectRuleFailure "BBODY" DijkstraBbodyPredFailure era, InjectRuleFailure "BBODY" ShelleyBbodyPredFailure era, EraRule "BBODY" era ~ BBODY era, AlonzoEraTx era, BabbageEraTxBody era, ConwayEraPParams era, DijkstraEraBlockBody era) ⇒ STS (BBODY era) Source #

Instance details

Associated Types

type State (BBODY era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type State (BBODY era) = ShelleyBbodyState era
type Signal (BBODY era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type Signal (BBODY era) = DijkstraBbodySignal era
type Environment (BBODY era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type Environment (BBODY era) = BbodyEnv era
type BaseM (BBODY era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type BaseM (BBODY era) = ShelleyBase
type Event (BBODY era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type Event (BBODY era) = AlonzoBbodyEvent era
type PredicateFailure (BBODY era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type PredicateFailure (BBODY era) = DijkstraBbodyPredFailure era

Methods

initialRules ∷ [InitialRule (BBODY era)] Source #

transitionRules ∷ [TransitionRule (BBODY era)] Source #

assertions ∷ [Assertion (BBODY era)] Source #

renderAssertionViolation ∷ AssertionViolation (BBODY era) → String Source #

type BaseM (BBODY era) Source #

Instance details

type BaseM (BBODY era) = ShelleyBase

type Environment (BBODY era) Source #

Instance details

type Environment (BBODY era) = BbodyEnv era

type Event (BBODY era) Source #

Instance details

type Event (BBODY era) = AlonzoBbodyEvent era

type PredicateFailure (BBODY era) Source #

Instance details

type PredicateFailure (BBODY era) = DijkstraBbodyPredFailure era

type Signal (BBODY era) Source #

Instance details

type Signal (BBODY era) = DijkstraBbodySignal era

type State (BBODY era) Source #

Instance details

type State (BBODY era) = ShelleyBbodyState era

data CERT era Source #

Instances

Instances details

(Era era, State (EraRule "DELEG" era) ~ CertState era, State (EraRule "POOL" era) ~ PState era, State (EraRule "GOVCERT" era) ~ CertState era, Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, Environment (EraRule "POOL" era) ~ PoolEnv era, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert, Signal (EraRule "POOL" era) ~ PoolCert, Signal (EraRule "GOVCERT" era) ~ ConwayGovCert, Embed (EraRule "DELEG" era) (CERT era), Embed (EraRule "POOL" era) (CERT era), Embed (EraRule "GOVCERT" era) (CERT era), TxCert era ~ DijkstraTxCert era, EraCertState era) ⇒ STS (CERT era) Source #

Instance details

Associated Types

type State (CERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type State (CERT era) = CertState era
type Signal (CERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type Signal (CERT era) = TxCert era
type Environment (CERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type Environment (CERT era) = CertEnv era
type BaseM (CERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type BaseM (CERT era) = ShelleyBase
type Event (CERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type Event (CERT era) = ConwayCertEvent era
type PredicateFailure (CERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type PredicateFailure (CERT era) = ConwayCertPredFailure era

Methods

initialRules ∷ [InitialRule (CERT era)] Source #

transitionRules ∷ [TransitionRule (CERT era)] Source #

assertions ∷ [Assertion (CERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (CERT era) → String Source #

(STS (DELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) ⇒ Embed (DELEG era) (CERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DELEG era) → PredicateFailure (CERT era) Source #

wrapEvent ∷ Event (DELEG era) → Event (CERT era) Source #

(STS (GOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ ConwayGovCertPredFailure era) ⇒ Embed (GOVCERT era) (CERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (GOVCERT era) → PredicateFailure (CERT era) Source #

wrapEvent ∷ Event (GOVCERT era) → Event (CERT era) Source #

(Era era, STS (CERT era), Event (EraRule "CERT" era) ~ ConwayCertEvent era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era) ⇒ Embed (CERT era) (CERTS era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (CERT era) → PredicateFailure (CERTS era) Source #

wrapEvent ∷ Event (CERT era) → Event (CERTS era) Source #

(STS (GOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ DijkstraGovCertPredFailure era) ⇒ Embed (GOVCERT era) (CERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (GOVCERT era) → PredicateFailure (CERT era) Source #

wrapEvent ∷ Event (GOVCERT era) → Event (CERT era) Source #

(STS (POOL era), PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, Event (EraRule "POOL" era) ~ PoolEvent era) ⇒ Embed (POOL era) (CERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (POOL era) → PredicateFailure (CERT era) Source #

wrapEvent ∷ Event (POOL era) → Event (CERT era) Source #

type BaseM (CERT era) Source #

Instance details

type BaseM (CERT era) = ShelleyBase

type Environment (CERT era) Source #

Instance details

type Environment (CERT era) = CertEnv era

type Event (CERT era) Source #

Instance details

type Event (CERT era) = ConwayCertEvent era

type PredicateFailure (CERT era) Source #

Instance details

type PredicateFailure (CERT era) = ConwayCertPredFailure era

type Signal (CERT era) Source #

Instance details

type Signal (CERT era) = TxCert era

type State (CERT era) Source #

Instance details

type State (CERT era) = CertState era

data GOV era Source #

Instances

Instances details

(ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "GOV" era ~ GOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleEvent "GOV" ConwayGovEvent era, EraCertState era, ConwayEraCertState era) ⇒ STS (GOV era) Source #

Instance details

Associated Types

type State (GOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Gov type State (GOV era) = Proposals era
type Signal (GOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Gov type Signal (GOV era) = GovSignal era
type Environment (GOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Gov type Environment (GOV era) = GovEnv era
type BaseM (GOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Gov type BaseM (GOV era) = ShelleyBase
type Event (GOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Gov type Event (GOV era) = ConwayGovEvent era
type PredicateFailure (GOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Gov type PredicateFailure (GOV era) = DijkstraGovPredFailure era

Methods

initialRules ∷ [InitialRule (GOV era)] Source #

transitionRules ∷ [TransitionRule (GOV era)] Source #

assertions ∷ [Assertion (GOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (GOV era) → String Source #

(STS (GOV era), PredicateFailure (EraRule "GOV" era) ~ DijkstraGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era) ⇒ Embed (GOV era) (LEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (GOV era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (GOV era) → Event (LEDGER era) Source #

type BaseM (GOV era) Source #

Instance details

type BaseM (GOV era) = ShelleyBase

type Environment (GOV era) Source #

Instance details

type Environment (GOV era) = GovEnv era

type Event (GOV era) Source #

Instance details

type Event (GOV era) = ConwayGovEvent era

type PredicateFailure (GOV era) Source #

Instance details

type PredicateFailure (GOV era) = DijkstraGovPredFailure era

type Signal (GOV era) Source #

Instance details

type Signal (GOV era) = GovSignal era

type State (GOV era) Source #

Instance details

type State (GOV era) = Proposals era

data GOVCERT era Source #

Instances

Instances details

(ConwayEraPParams era, ConwayEraCertState era, State (EraRule "GOVCERT" era) ~ CertState era, Signal (EraRule "GOVCERT" era) ~ ConwayGovCert, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure era, EraRule "GOVCERT" era ~ GOVCERT era, Eq (PredicateFailure (EraRule "GOVCERT" era)), Show (PredicateFailure (EraRule "GOVCERT" era))) ⇒ STS (GOVCERT era) Source #

Instance details

Associated Types

type State (GOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.GovCert type State (GOVCERT era) = CertState era
type Signal (GOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.GovCert type Signal (GOVCERT era) = ConwayGovCert
type Environment (GOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.GovCert type Environment (GOVCERT era) = ConwayGovCertEnv era
type BaseM (GOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.GovCert type BaseM (GOVCERT era) = ShelleyBase
type Event (GOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.GovCert type Event (GOVCERT era) = Void
type PredicateFailure (GOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.GovCert type PredicateFailure (GOVCERT era) = DijkstraGovCertPredFailure era

Methods

initialRules ∷ [InitialRule (GOVCERT era)] Source #

transitionRules ∷ [TransitionRule (GOVCERT era)] Source #

assertions ∷ [Assertion (GOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (GOVCERT era) → String Source #

(STS (GOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ DijkstraGovCertPredFailure era) ⇒ Embed (GOVCERT era) (CERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (GOVCERT era) → PredicateFailure (CERT era) Source #

wrapEvent ∷ Event (GOVCERT era) → Event (CERT era) Source #

type BaseM (GOVCERT era) Source #

Instance details

type BaseM (GOVCERT era) = ShelleyBase

type Environment (GOVCERT era) Source #

Instance details

type Environment (GOVCERT era) = ConwayGovCertEnv era

type Event (GOVCERT era) Source #

Instance details

type Event (GOVCERT era) = Void

type PredicateFailure (GOVCERT era) Source #

Instance details

type PredicateFailure (GOVCERT era) = DijkstraGovCertPredFailure era

type Signal (GOVCERT era) Source #

Instance details

type Signal (GOVCERT era) = ConwayGovCert

type State (GOVCERT era) Source #

Instance details

type State (GOVCERT era) = CertState era

data LEDGER era Source #

Instances

Instances details

(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, DijkstraEraTxBody era, DijkstraEraUTxO era, GovState era ~ ConwayGovState era, Embed (EraRule "UTXOW" era) (LEDGER era), Embed (EraRule "GOV" era) (LEDGER era), Embed (EraRule "CERTS" era) (LEDGER era), Embed (EraRule "SUBLEDGERS" era) (LEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ DijkstraUtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "SUBLEDGERS" era) ~ [StAnnTx 'SubTx era], ConwayEraCertState era, EraRule "LEDGER" era ~ LEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure era, EraRule "SUBLEDGERS" era ~ SUBLEDGERS era) ⇒ STS (LEDGER era) Source #

Instance details

Associated Types

type State (LEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type State (LEDGER era) = LedgerState era
type Signal (LEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type Signal (LEDGER era) = StAnnTx 'TopTx era
type Environment (LEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type Environment (LEDGER era) = LedgerEnv era
type BaseM (LEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type BaseM (LEDGER era) = ShelleyBase
type Event (LEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type Event (LEDGER era) = DijkstraLedgerEvent era
type PredicateFailure (LEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type PredicateFailure (LEDGER era) = DijkstraLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (LEDGER era)] Source #

transitionRules ∷ [TransitionRule (LEDGER era)] Source #

assertions ∷ [Assertion (LEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (LEDGER era) → String Source #

(STS (CERTS era), PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era) ⇒ Embed (CERTS era) (LEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (CERTS era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (CERTS era) → Event (LEDGER era) Source #

(STS (GOV era), PredicateFailure (EraRule "GOV" era) ~ DijkstraGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era) ⇒ Embed (GOV era) (LEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (GOV era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (GOV era) → Event (LEDGER era) Source #

(STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ DijkstraLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ DijkstraLedgerEvent era) ⇒ Embed (LEDGER era) (MEMPOOL era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (LEDGER era) → PredicateFailure (MEMPOOL era) Source #

wrapEvent ∷ Event (LEDGER era) → Event (MEMPOOL era) Source #

(STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ DijkstraLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ DijkstraLedgerEvent era) ⇒ Embed (LEDGER era) (LEDGERS era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (LEDGER era) → PredicateFailure (LEDGERS era) Source #

wrapEvent ∷ Event (LEDGER era) → Event (LEDGERS era) Source #

(STS (SUBLEDGERS era), PredicateFailure (EraRule "SUBLEDGERS" era) ~ DijkstraSubLedgersPredFailure era, Event (EraRule "SUBLEDGERS" era) ~ DijkstraSubLedgersEvent era) ⇒ Embed (SUBLEDGERS era) (LEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBLEDGERS era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (SUBLEDGERS era) → Event (LEDGER era) Source #

(AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (UTXOW era), State (EraRule "UTXO" era) ~ UTxOState era, Environment (EraRule "UTXO" era) ~ DijkstraUtxoEnv era, Script era ~ AlonzoScript era, TxOut era ~ BabbageTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, PredicateFailure (EraRule "UTXOW" era) ~ DijkstraUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (UTXOW era), Event (UTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (UTXOW era) (LEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (UTXOW era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (UTXOW era) → Event (LEDGER era) Source #

type BaseM (LEDGER era) Source #

Instance details

type BaseM (LEDGER era) = ShelleyBase

type Environment (LEDGER era) Source #

Instance details

type Environment (LEDGER era) = LedgerEnv era

type Event (LEDGER era) Source #

Instance details

type Event (LEDGER era) = DijkstraLedgerEvent era

type PredicateFailure (LEDGER era) Source #

Instance details

type PredicateFailure (LEDGER era) = DijkstraLedgerPredFailure era

type Signal (LEDGER era) Source #

Instance details

type Signal (LEDGER era) = StAnnTx 'TopTx era

type State (LEDGER era) Source #

Instance details

type State (LEDGER era) = LedgerState era

data MEMPOOL era Source #

Instances

Instances details

Instance details

Associated Types

type State (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type State (MEMPOOL era) = LedgerState era
type Signal (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type Signal (MEMPOOL era) = StAnnTx 'TopTx era
type Environment (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type Environment (MEMPOOL era) = LedgerEnv era
type BaseM (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type BaseM (MEMPOOL era) = ShelleyBase
type Event (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type Event (MEMPOOL era) = DijkstraMempoolEvent era
type PredicateFailure (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type PredicateFailure (MEMPOOL era) = DijkstraMempoolPredFailure era

Methods

initialRules ∷ [InitialRule (MEMPOOL era)] Source #

transitionRules ∷ [TransitionRule (MEMPOOL era)] Source #

assertions ∷ [Assertion (MEMPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (MEMPOOL era) → String Source #

(STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ DijkstraLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ DijkstraLedgerEvent era) ⇒ Embed (LEDGER era) (MEMPOOL era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (LEDGER era) → PredicateFailure (MEMPOOL era) Source #

wrapEvent ∷ Event (LEDGER era) → Event (MEMPOOL era) Source #

type BaseM (MEMPOOL era) Source #

Instance details

type BaseM (MEMPOOL era) = ShelleyBase

type Environment (MEMPOOL era) Source #

Instance details

type Environment (MEMPOOL era) = LedgerEnv era

type Event (MEMPOOL era) Source #

Instance details

type Event (MEMPOOL era) = DijkstraMempoolEvent era

type PredicateFailure (MEMPOOL era) Source #

Instance details

type PredicateFailure (MEMPOOL era) = DijkstraMempoolPredFailure era

type Signal (MEMPOOL era) Source #

Instance details

type Signal (MEMPOOL era) = StAnnTx 'TopTx era

type State (MEMPOOL era) Source #

Instance details

type State (MEMPOOL era) = LedgerState era

data SUBCERT era Source #

Instances

Instances details

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERT" era ~ SUBCERT era, EraRule "SUBDELEG" era ~ SUBDELEG era, EraRule "SUBPOOL" era ~ SUBPOOL era, EraRule "SUBGOVCERT" era ~ SUBGOVCERT era, Embed (EraRule "SUBDELEG" era) (SUBCERT era), Embed (EraRule "SUBPOOL" era) (SUBCERT era), Embed (EraRule "SUBGOVCERT" era) (SUBCERT era), TxCert era ~ DijkstraTxCert era) ⇒ STS (SUBCERT era) Source #

Instance details

Associated Types

type State (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type State (SUBCERT era) = CertState era
type Signal (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type Signal (SUBCERT era) = TxCert era
type Environment (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type Environment (SUBCERT era) = CertEnv era
type BaseM (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type BaseM (SUBCERT era) = ShelleyBase
type Event (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type Event (SUBCERT era) = DijkstraSubCertEvent era
type PredicateFailure (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type PredicateFailure (SUBCERT era) = DijkstraSubCertPredFailure era

Methods

initialRules ∷ [InitialRule (SUBCERT era)] Source #

transitionRules ∷ [TransitionRule (SUBCERT era)] Source #

assertions ∷ [Assertion (SUBCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBCERT era) → String Source #

(STS (SUBCERT era), PredicateFailure (EraRule "SUBCERT" era) ~ DijkstraSubCertPredFailure era, Event (EraRule "SUBCERT" era) ~ DijkstraSubCertEvent era) ⇒ Embed (SUBCERT era) (SUBCERTS era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBCERT era) → PredicateFailure (SUBCERTS era) Source #

wrapEvent ∷ Event (SUBCERT era) → Event (SUBCERTS era) Source #

(STS (SUBDELEG era), PredicateFailure (EraRule "SUBDELEG" era) ~ DijkstraSubDelegPredFailure era) ⇒ Embed (SUBDELEG era) (SUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBDELEG era) → PredicateFailure (SUBCERT era) Source #

wrapEvent ∷ Event (SUBDELEG era) → Event (SUBCERT era) Source #

(Era era, STS (SUBGOVCERT era), PredicateFailure (EraRule "SUBGOVCERT" era) ~ DijkstraSubGovCertPredFailure era) ⇒ Embed (SUBGOVCERT era) (SUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBGOVCERT era) → PredicateFailure (SUBCERT era) Source #

wrapEvent ∷ Event (SUBGOVCERT era) → Event (SUBCERT era) Source #

(STS (SUBPOOL era), PredicateFailure (EraRule "SUBPOOL" era) ~ DijkstraSubPoolPredFailure era, Event (EraRule "SUBPOOL" era) ~ DijkstraSubPoolEvent era) ⇒ Embed (SUBPOOL era) (SUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBPOOL era) → PredicateFailure (SUBCERT era) Source #

wrapEvent ∷ Event (SUBPOOL era) → Event (SUBCERT era) Source #

type BaseM (SUBCERT era) Source #

Instance details

type BaseM (SUBCERT era) = ShelleyBase

type Environment (SUBCERT era) Source #

Instance details

type Environment (SUBCERT era) = CertEnv era

type Event (SUBCERT era) Source #

Instance details

type Event (SUBCERT era) = DijkstraSubCertEvent era

type PredicateFailure (SUBCERT era) Source #

Instance details

type PredicateFailure (SUBCERT era) = DijkstraSubCertPredFailure era

type Signal (SUBCERT era) Source #

Instance details

type Signal (SUBCERT era) = TxCert era

type State (SUBCERT era) Source #

Instance details

type State (SUBCERT era) = CertState era

data SUBCERTS era Source #

Instances

Instances details

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERTS" era ~ SUBCERTS era, EraRule "SUBCERT" era ~ SUBCERT era, Embed (EraRule "SUBCERT" era) (SUBCERTS era)) ⇒ STS (SUBCERTS era) Source #

Instance details

Associated Types

type State (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type State (SUBCERTS era) = CertState era
type Signal (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type Signal (SUBCERTS era) = Seq (TxCert era)
type Environment (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type Environment (SUBCERTS era) = SubCertsEnv era
type BaseM (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type BaseM (SUBCERTS era) = ShelleyBase
type Event (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type Event (SUBCERTS era) = DijkstraSubCertsEvent era
type PredicateFailure (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type PredicateFailure (SUBCERTS era) = DijkstraSubCertsPredFailure era

Methods

initialRules ∷ [InitialRule (SUBCERTS era)] Source #

transitionRules ∷ [TransitionRule (SUBCERTS era)] Source #

assertions ∷ [Assertion (SUBCERTS era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBCERTS era) → String Source #

(STS (SUBCERT era), PredicateFailure (EraRule "SUBCERT" era) ~ DijkstraSubCertPredFailure era, Event (EraRule "SUBCERT" era) ~ DijkstraSubCertEvent era) ⇒ Embed (SUBCERT era) (SUBCERTS era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBCERT era) → PredicateFailure (SUBCERTS era) Source #

wrapEvent ∷ Event (SUBCERT era) → Event (SUBCERTS era) Source #

(STS (SUBCERTS era), PredicateFailure (EraRule "SUBCERTS" era) ~ DijkstraSubCertsPredFailure era, Event (EraRule "SUBCERTS" era) ~ DijkstraSubCertsEvent era) ⇒ Embed (SUBCERTS era) (SUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBCERTS era) → PredicateFailure (SUBLEDGER era) Source #

wrapEvent ∷ Event (SUBCERTS era) → Event (SUBLEDGER era) Source #

type BaseM (SUBCERTS era) Source #

Instance details

type BaseM (SUBCERTS era) = ShelleyBase

type Environment (SUBCERTS era) Source #

Instance details

type Environment (SUBCERTS era) = SubCertsEnv era

type Event (SUBCERTS era) Source #

Instance details

type Event (SUBCERTS era) = DijkstraSubCertsEvent era

type PredicateFailure (SUBCERTS era) Source #

Instance details

type PredicateFailure (SUBCERTS era) = DijkstraSubCertsPredFailure era

type Signal (SUBCERTS era) Source #

Instance details

type Signal (SUBCERTS era) = Seq (TxCert era)

type State (SUBCERTS era) Source #

Instance details

type State (SUBCERTS era) = CertState era

data SUBDELEG era Source #

Instances

Instances details

(EraGov era, ConwayEraCertState era, EraRule "SUBDELEG" era ~ SUBDELEG era, InjectRuleFailure "SUBDELEG" ConwayDelegPredFailure era) ⇒ STS (SUBDELEG era) Source #

Instance details

Associated Types

type State (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type State (SUBDELEG era) = CertState era
type Signal (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type Signal (SUBDELEG era) = ConwayDelegCert
type Environment (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type Environment (SUBDELEG era) = ConwayDelegEnv era
type BaseM (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type BaseM (SUBDELEG era) = ShelleyBase
type Event (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type Event (SUBDELEG era) = Void
type PredicateFailure (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type PredicateFailure (SUBDELEG era) = DijkstraSubDelegPredFailure era

Methods

initialRules ∷ [InitialRule (SUBDELEG era)] Source #

transitionRules ∷ [TransitionRule (SUBDELEG era)] Source #

assertions ∷ [Assertion (SUBDELEG era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBDELEG era) → String Source #

(STS (SUBDELEG era), PredicateFailure (EraRule "SUBDELEG" era) ~ DijkstraSubDelegPredFailure era) ⇒ Embed (SUBDELEG era) (SUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBDELEG era) → PredicateFailure (SUBCERT era) Source #

wrapEvent ∷ Event (SUBDELEG era) → Event (SUBCERT era) Source #

type BaseM (SUBDELEG era) Source #

Instance details

type BaseM (SUBDELEG era) = ShelleyBase

type Environment (SUBDELEG era) Source #

Instance details

type Environment (SUBDELEG era) = ConwayDelegEnv era

type Event (SUBDELEG era) Source #

Instance details

type Event (SUBDELEG era) = Void

type PredicateFailure (SUBDELEG era) Source #

Instance details

type PredicateFailure (SUBDELEG era) = DijkstraSubDelegPredFailure era

type Signal (SUBDELEG era) Source #

Instance details

type Signal (SUBDELEG era) = ConwayDelegCert

type State (SUBDELEG era) Source #

Instance details

type State (SUBDELEG era) = CertState era

data SUBGOV era Source #

Instances

Instances details

(ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "SUBGOV" era ~ SUBGOV era, InjectRuleEvent "SUBGOV" DijkstraSubGovEvent era, InjectRuleEvent "SUBGOV" ConwayGovEvent era, InjectRuleFailure "SUBGOV" DijkstraSubGovPredFailure era, InjectRuleFailure "SUBGOV" ConwayGovPredFailure era) ⇒ STS (SUBGOV era) Source #

Instance details

Associated Types

type State (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type State (SUBGOV era) = Proposals era
type Signal (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type Signal (SUBGOV era) = GovSignal era
type Environment (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type Environment (SUBGOV era) = GovEnv era
type BaseM (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type BaseM (SUBGOV era) = ShelleyBase
type Event (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type Event (SUBGOV era) = DijkstraSubGovEvent era
type PredicateFailure (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type PredicateFailure (SUBGOV era) = DijkstraSubGovPredFailure era

Methods

initialRules ∷ [InitialRule (SUBGOV era)] Source #

transitionRules ∷ [TransitionRule (SUBGOV era)] Source #

assertions ∷ [Assertion (SUBGOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBGOV era) → String Source #

(STS (SUBGOV era), PredicateFailure (EraRule "SUBGOV" era) ~ DijkstraSubGovPredFailure era, Event (EraRule "SUBGOV" era) ~ DijkstraSubGovEvent era) ⇒ Embed (SUBGOV era) (SUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBGOV era) → PredicateFailure (SUBLEDGER era) Source #

wrapEvent ∷ Event (SUBGOV era) → Event (SUBLEDGER era) Source #

type BaseM (SUBGOV era) Source #

Instance details

type BaseM (SUBGOV era) = ShelleyBase

type Environment (SUBGOV era) Source #

Instance details

type Environment (SUBGOV era) = GovEnv era

type Event (SUBGOV era) Source #

Instance details

type Event (SUBGOV era) = DijkstraSubGovEvent era

type PredicateFailure (SUBGOV era) Source #

Instance details

type PredicateFailure (SUBGOV era) = DijkstraSubGovPredFailure era

type Signal (SUBGOV era) Source #

Instance details

type Signal (SUBGOV era) = GovSignal era

type State (SUBGOV era) Source #

Instance details

type State (SUBGOV era) = Proposals era

data SUBGOVCERT era Source #

Instances

Instances details

(EraGov era, ConwayEraPParams era, ConwayEraCertState era, EraRule "SUBGOVCERT" era ~ SUBGOVCERT era, InjectRuleFailure "SUBGOVCERT" ConwayGovCertPredFailure era, InjectRuleFailure "SUBGOVCERT" DijkstraSubGovCertPredFailure era) ⇒ STS (SUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Associated Types

type State (SUBGOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert type State (SUBGOVCERT era) = CertState era
type Signal (SUBGOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert type Signal (SUBGOVCERT era) = ConwayGovCert
type Environment (SUBGOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert type Environment (SUBGOVCERT era) = ConwayGovCertEnv era
type BaseM (SUBGOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert type BaseM (SUBGOVCERT era) = ShelleyBase
type Event (SUBGOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert type Event (SUBGOVCERT era) = Void
type PredicateFailure (SUBGOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert type PredicateFailure (SUBGOVCERT era) = DijkstraSubGovCertPredFailure era

Methods

initialRules ∷ [InitialRule (SUBGOVCERT era)] Source #

transitionRules ∷ [TransitionRule (SUBGOVCERT era)] Source #

assertions ∷ [Assertion (SUBGOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBGOVCERT era) → String Source #

(Era era, STS (SUBGOVCERT era), PredicateFailure (EraRule "SUBGOVCERT" era) ~ DijkstraSubGovCertPredFailure era) ⇒ Embed (SUBGOVCERT era) (SUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBGOVCERT era) → PredicateFailure (SUBCERT era) Source #

wrapEvent ∷ Event (SUBGOVCERT era) → Event (SUBCERT era) Source #

type BaseM (SUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type BaseM (SUBGOVCERT era) = ShelleyBase

type Environment (SUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type Environment (SUBGOVCERT era) = ConwayGovCertEnv era

type Event (SUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type Event (SUBGOVCERT era) = Void

type PredicateFailure (SUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type PredicateFailure (SUBGOVCERT era) = DijkstraSubGovCertPredFailure era

type Signal (SUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type Signal (SUBGOVCERT era) = ConwayGovCert

type State (SUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type State (SUBGOVCERT era) = CertState era

data SUBLEDGER era Source #

Instances

Instances details

Instance details

Associated Types

type State (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type State (SUBLEDGER era) = LedgerState era
type Signal (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Signal (SUBLEDGER era) = StAnnTx 'SubTx era
type Environment (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Environment (SUBLEDGER era) = SubLedgerEnv era
type BaseM (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type BaseM (SUBLEDGER era) = ShelleyBase
type Event (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Event (SUBLEDGER era) = DijkstraSubLedgerEvent era
type PredicateFailure (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type PredicateFailure (SUBLEDGER era) = DijkstraSubLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (SUBLEDGER era)] Source #

transitionRules ∷ [TransitionRule (SUBLEDGER era)] Source #

assertions ∷ [Assertion (SUBLEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBLEDGER era) → String Source #

(STS (SUBCERTS era), PredicateFailure (EraRule "SUBCERTS" era) ~ DijkstraSubCertsPredFailure era, Event (EraRule "SUBCERTS" era) ~ DijkstraSubCertsEvent era) ⇒ Embed (SUBCERTS era) (SUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBCERTS era) → PredicateFailure (SUBLEDGER era) Source #

wrapEvent ∷ Event (SUBCERTS era) → Event (SUBLEDGER era) Source #

(STS (SUBGOV era), PredicateFailure (EraRule "SUBGOV" era) ~ DijkstraSubGovPredFailure era, Event (EraRule "SUBGOV" era) ~ DijkstraSubGovEvent era) ⇒ Embed (SUBGOV era) (SUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBGOV era) → PredicateFailure (SUBLEDGER era) Source #

wrapEvent ∷ Event (SUBGOV era) → Event (SUBLEDGER era) Source #

(STS (SUBLEDGER era), PredicateFailure (EraRule "SUBLEDGER" era) ~ DijkstraSubLedgerPredFailure era, Event (EraRule "SUBLEDGER" era) ~ DijkstraSubLedgerEvent era) ⇒ Embed (SUBLEDGER era) (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

wrapFailed ∷ PredicateFailure (SUBLEDGER era) → PredicateFailure (SUBLEDGERS era) Source #

wrapEvent ∷ Event (SUBLEDGER era) → Event (SUBLEDGERS era) Source #

(STS (SUBUTXOW era), PredicateFailure (EraRule "SUBUTXOW" era) ~ DijkstraSubUtxowPredFailure era, Event (EraRule "SUBUTXOW" era) ~ DijkstraSubUtxowEvent era) ⇒ Embed (SUBUTXOW era) (SUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBUTXOW era) → PredicateFailure (SUBLEDGER era) Source #

wrapEvent ∷ Event (SUBUTXOW era) → Event (SUBLEDGER era) Source #

type BaseM (SUBLEDGER era) Source #

Instance details

type BaseM (SUBLEDGER era) = ShelleyBase

type Environment (SUBLEDGER era) Source #

Instance details

type Environment (SUBLEDGER era) = SubLedgerEnv era

type Event (SUBLEDGER era) Source #

Instance details

type Event (SUBLEDGER era) = DijkstraSubLedgerEvent era

type PredicateFailure (SUBLEDGER era) Source #

Instance details

type PredicateFailure (SUBLEDGER era) = DijkstraSubLedgerPredFailure era

type Signal (SUBLEDGER era) Source #

Instance details

type Signal (SUBLEDGER era) = StAnnTx 'SubTx era

type State (SUBLEDGER era) Source #

Instance details

type State (SUBLEDGER era) = LedgerState era

data SUBLEDGERS era Source #

Instances

Instances details

(ConwayEraGov era, ConwayEraCertState era, EraPlutusContext era, EraRule "SUBLEDGERS" era ~ SUBLEDGERS era, EraRule "SUBLEDGER" era ~ SUBLEDGER era, Embed (EraRule "SUBLEDGER" era) (SUBLEDGERS era), InjectRuleEvent "SUBPOOL" PoolEvent era, InjectRuleEvent "SUBPOOL" DijkstraSubPoolEvent era, InjectRuleFailure "SUBPOOL" ShelleyPoolPredFailure era, InjectRuleFailure "SUBPOOL" DijkstraSubPoolPredFailure era) ⇒ STS (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Associated Types

type State (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type State (SUBLEDGERS era) = LedgerState era
type Signal (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Signal (SUBLEDGERS era) = [StAnnTx 'SubTx era]
type Environment (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Environment (SUBLEDGERS era) = SubLedgerEnv era
type BaseM (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type BaseM (SUBLEDGERS era) = ShelleyBase
type Event (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Event (SUBLEDGERS era) = DijkstraSubLedgersEvent era
type PredicateFailure (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type PredicateFailure (SUBLEDGERS era) = DijkstraSubLedgersPredFailure era

Methods

initialRules ∷ [InitialRule (SUBLEDGERS era)] Source #

transitionRules ∷ [TransitionRule (SUBLEDGERS era)] Source #

assertions ∷ [Assertion (SUBLEDGERS era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBLEDGERS era) → String Source #

(STS (SUBLEDGER era), PredicateFailure (EraRule "SUBLEDGER" era) ~ DijkstraSubLedgerPredFailure era, Event (EraRule "SUBLEDGER" era) ~ DijkstraSubLedgerEvent era) ⇒ Embed (SUBLEDGER era) (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

wrapFailed ∷ PredicateFailure (SUBLEDGER era) → PredicateFailure (SUBLEDGERS era) Source #

wrapEvent ∷ Event (SUBLEDGER era) → Event (SUBLEDGERS era) Source #

(STS (SUBLEDGERS era), PredicateFailure (EraRule "SUBLEDGERS" era) ~ DijkstraSubLedgersPredFailure era, Event (EraRule "SUBLEDGERS" era) ~ DijkstraSubLedgersEvent era) ⇒ Embed (SUBLEDGERS era) (LEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBLEDGERS era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (SUBLEDGERS era) → Event (LEDGER era) Source #

type BaseM (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type BaseM (SUBLEDGERS era) = ShelleyBase

type Environment (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type Environment (SUBLEDGERS era) = SubLedgerEnv era

type Event (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type Event (SUBLEDGERS era) = DijkstraSubLedgersEvent era

type PredicateFailure (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type PredicateFailure (SUBLEDGERS era) = DijkstraSubLedgersPredFailure era

type Signal (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type Signal (SUBLEDGERS era) = [StAnnTx 'SubTx era]

type State (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type State (SUBLEDGERS era) = LedgerState era

data SUBPOOL era Source #

Instances

Instances details

(EraGov era, EraRule "SUBPOOL" era ~ SUBPOOL era, InjectRuleEvent "SUBPOOL" DijkstraSubPoolEvent era, InjectRuleEvent "SUBPOOL" PoolEvent era, InjectRuleFailure "SUBPOOL" DijkstraSubPoolPredFailure era, InjectRuleFailure "SUBPOOL" ShelleyPoolPredFailure era) ⇒ STS (SUBPOOL era) Source #

Instance details

Associated Types

type State (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type State (SUBPOOL era) = PState era
type Signal (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type Signal (SUBPOOL era) = PoolCert
type Environment (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type Environment (SUBPOOL era) = PoolEnv era
type BaseM (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type BaseM (SUBPOOL era) = ShelleyBase
type Event (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type Event (SUBPOOL era) = DijkstraSubPoolEvent era
type PredicateFailure (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type PredicateFailure (SUBPOOL era) = DijkstraSubPoolPredFailure era

Methods

initialRules ∷ [InitialRule (SUBPOOL era)] Source #

transitionRules ∷ [TransitionRule (SUBPOOL era)] Source #

assertions ∷ [Assertion (SUBPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBPOOL era) → String Source #

(STS (SUBPOOL era), PredicateFailure (EraRule "SUBPOOL" era) ~ DijkstraSubPoolPredFailure era, Event (EraRule "SUBPOOL" era) ~ DijkstraSubPoolEvent era) ⇒ Embed (SUBPOOL era) (SUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBPOOL era) → PredicateFailure (SUBCERT era) Source #

wrapEvent ∷ Event (SUBPOOL era) → Event (SUBCERT era) Source #

type BaseM (SUBPOOL era) Source #

Instance details

type BaseM (SUBPOOL era) = ShelleyBase

type Environment (SUBPOOL era) Source #

Instance details

type Environment (SUBPOOL era) = PoolEnv era

type Event (SUBPOOL era) Source #

Instance details

type Event (SUBPOOL era) = DijkstraSubPoolEvent era

type PredicateFailure (SUBPOOL era) Source #

Instance details

type PredicateFailure (SUBPOOL era) = DijkstraSubPoolPredFailure era

type Signal (SUBPOOL era) Source #

Instance details

type Signal (SUBPOOL era) = PoolCert

type State (SUBPOOL era) Source #

Instance details

type State (SUBPOOL era) = PState era

data SUBUTXOW era Source #

Instances

Instances details

(AlonzoEraTx era, AlonzoEraUTxO era, BabbageEraTxOut era, ConwayEraGov era, ConwayEraTxBody era, DijkstraEraTxBody era, EraPlutusContext era, EraRule "SUBUTXO" era ~ SUBUTXO era, EraRule "SUBUTXOW" era ~ SUBUTXOW era, Embed (EraRule "SUBUTXO" era) (SUBUTXOW era), InjectRuleFailure "SUBUTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "SUBUTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "SUBUTXOW" BabbageUtxowPredFailure era, InjectRuleFailure "SUBUTXOW" DijkstraSubUtxowPredFailure era, ScriptsNeeded era ~ AlonzoScriptsNeeded era) ⇒ STS (SUBUTXOW era) Source #

Instance details

Associated Types

type State (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type State (SUBUTXOW era) = UTxOState era
type Signal (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Signal (SUBUTXOW era) = StAnnTx 'SubTx era
type Environment (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Environment (SUBUTXOW era) = SubUtxoEnv era
type BaseM (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type BaseM (SUBUTXOW era) = ShelleyBase
type Event (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Event (SUBUTXOW era) = DijkstraSubUtxowEvent era
type PredicateFailure (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type PredicateFailure (SUBUTXOW era) = DijkstraSubUtxowPredFailure era

Methods

initialRules ∷ [InitialRule (SUBUTXOW era)] Source #

transitionRules ∷ [TransitionRule (SUBUTXOW era)] Source #

assertions ∷ [Assertion (SUBUTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBUTXOW era) → String Source #

(STS (SUBUTXO era), PredicateFailure (EraRule "SUBUTXO" era) ~ DijkstraSubUtxoPredFailure era, Event (EraRule "SUBUTXO" era) ~ DijkstraSubUtxoEvent era) ⇒ Embed (SUBUTXO era) (SUBUTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBUTXO era) → PredicateFailure (SUBUTXOW era) Source #

wrapEvent ∷ Event (SUBUTXO era) → Event (SUBUTXOW era) Source #

(STS (SUBUTXOW era), PredicateFailure (EraRule "SUBUTXOW" era) ~ DijkstraSubUtxowPredFailure era, Event (EraRule "SUBUTXOW" era) ~ DijkstraSubUtxowEvent era) ⇒ Embed (SUBUTXOW era) (SUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBUTXOW era) → PredicateFailure (SUBLEDGER era) Source #

wrapEvent ∷ Event (SUBUTXOW era) → Event (SUBLEDGER era) Source #

type BaseM (SUBUTXOW era) Source #

Instance details

type BaseM (SUBUTXOW era) = ShelleyBase

type Environment (SUBUTXOW era) Source #

Instance details

type Environment (SUBUTXOW era) = SubUtxoEnv era

type Event (SUBUTXOW era) Source #

Instance details

type Event (SUBUTXOW era) = DijkstraSubUtxowEvent era

type PredicateFailure (SUBUTXOW era) Source #

Instance details

type PredicateFailure (SUBUTXOW era) = DijkstraSubUtxowPredFailure era

type Signal (SUBUTXOW era) Source #

Instance details

type Signal (SUBUTXOW era) = StAnnTx 'SubTx era

type State (SUBUTXOW era) Source #

Instance details

type State (SUBUTXOW era) = UTxOState era

data SUBUTXO era Source #

Instances

Instances details

(EraTx era, EraStake era, EraCertState era, DijkstraEraTxBody era, AlonzoEraTxWits era, ConwayEraGov era, EraRule "SUBUTXO" era ~ SUBUTXO era, InjectRuleFailure "SUBUTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "SUBUTXO" AllegraUtxoPredFailure era, InjectRuleFailure "SUBUTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "SUBUTXO" BabbageUtxoPredFailure era, InjectRuleFailure "SUBUTXO" DijkstraUtxoPredFailure era) ⇒ STS (SUBUTXO era) Source #

Instance details

Associated Types

type State (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type State (SUBUTXO era) = UTxOState era
type Signal (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Signal (SUBUTXO era) = StAnnTx 'SubTx era
type Environment (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Environment (SUBUTXO era) = SubUtxoEnv era
type BaseM (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type BaseM (SUBUTXO era) = ShelleyBase
type Event (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Event (SUBUTXO era) = DijkstraSubUtxoEvent era
type PredicateFailure (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type PredicateFailure (SUBUTXO era) = DijkstraSubUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (SUBUTXO era)] Source #

transitionRules ∷ [TransitionRule (SUBUTXO era)] Source #

assertions ∷ [Assertion (SUBUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBUTXO era) → String Source #

(STS (SUBUTXO era), PredicateFailure (EraRule "SUBUTXO" era) ~ DijkstraSubUtxoPredFailure era, Event (EraRule "SUBUTXO" era) ~ DijkstraSubUtxoEvent era) ⇒ Embed (SUBUTXO era) (SUBUTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBUTXO era) → PredicateFailure (SUBUTXOW era) Source #

wrapEvent ∷ Event (SUBUTXO era) → Event (SUBUTXOW era) Source #

type BaseM (SUBUTXO era) Source #

Instance details

type BaseM (SUBUTXO era) = ShelleyBase

type Environment (SUBUTXO era) Source #

Instance details

type Environment (SUBUTXO era) = SubUtxoEnv era

type Event (SUBUTXO era) Source #

Instance details

type Event (SUBUTXO era) = DijkstraSubUtxoEvent era

type PredicateFailure (SUBUTXO era) Source #

Instance details

type PredicateFailure (SUBUTXO era) = DijkstraSubUtxoPredFailure era

type Signal (SUBUTXO era) Source #

Instance details

type Signal (SUBUTXO era) = StAnnTx 'SubTx era

type State (SUBUTXO era) Source #

Instance details

type State (SUBUTXO era) = UTxOState era

data UTXO era Source #

Instances

Instances details

(EraTx era, EraUTxO era, EraStake era, DijkstraEraTxBody era, AlonzoEraTx era, EraRule "UTXO" era ~ UTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" BabbageUtxoPredFailure era, InjectRuleFailure "UTXO" ConwayUtxoPredFailure era, InjectRuleFailure "UTXO" DijkstraUtxoPredFailure era, Environment (EraRule "UTXO" era) ~ DijkstraUtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, BaseM (EraRule "UTXO" era) ~ ShelleyBase, STS (EraRule "UTXO" era), Embed (EraRule "UTXOS" era) (UTXO era), Environment (EraRule "UTXOS" era) ~ (), State (EraRule "UTXOS" era) ~ (), Signal (EraRule "UTXOS" era) ~ StAnnTx 'TopTx era, EraCertState era, EraRule "UTXO" era ~ UTXO era, SafeToHash (TxWits era)) ⇒ STS (UTXO era) Source #

Instance details

Associated Types

type State (UTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type State (UTXO era) = UTxOState era
type Signal (UTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type Signal (UTXO era) = StAnnTx 'TopTx era
type Environment (UTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type Environment (UTXO era) = DijkstraUtxoEnv era
type BaseM (UTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type BaseM (UTXO era) = ShelleyBase
type Event (UTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type Event (UTXO era) = AlonzoUtxoEvent era
type PredicateFailure (UTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type PredicateFailure (UTXO era) = DijkstraUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (UTXO era)] Source #

transitionRules ∷ [TransitionRule (UTXO era)] Source #

assertions ∷ [Assertion (UTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXO era) → String Source #

(STS (UTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (UTXOS era)) ⇒ Embed (UTXOS era) (UTXO era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (UTXOS era) → PredicateFailure (UTXO era) Source #

wrapEvent ∷ Event (UTXOS era) → Event (UTXO era) Source #

(STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ DijkstraUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era) ⇒ Embed (UTXO era) (UTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (UTXO era) → PredicateFailure (UTXOW era) Source #

wrapEvent ∷ Event (UTXO era) → Event (UTXOW era) Source #

type BaseM (UTXO era) Source #

Instance details

type BaseM (UTXO era) = ShelleyBase

type Environment (UTXO era) Source #

Instance details

type Environment (UTXO era) = DijkstraUtxoEnv era

type Event (UTXO era) Source #

Instance details

type Event (UTXO era) = AlonzoUtxoEvent era

type PredicateFailure (UTXO era) Source #

Instance details

type PredicateFailure (UTXO era) = DijkstraUtxoPredFailure era

type Signal (UTXO era) Source #

Instance details

type Signal (UTXO era) = StAnnTx 'TopTx era

type State (UTXO era) Source #

Instance details

type State (UTXO era) = UTxOState era

data UTXOW era Source #

Instances

Instances details

(AlonzoEraTx era, DijkstraEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, DijkstraEraTxBody era, EraRule "UTXOW" era ~ UTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, InjectRuleFailure "UTXOW" ConwayUtxowPredFailure era, InjectRuleFailure "UTXOW" DijkstraUtxowPredFailure era, Embed (EraRule "UTXO" era) (UTXOW era), Environment (EraRule "UTXO" era) ~ DijkstraUtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) ⇒ STS (UTXOW era) Source #

Instance details