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 RewardAccount → PlutusPurpose f DijkstraEra Source #

toRewardingPurpose ∷ PlutusPurpose f DijkstraEra → Maybe (f Word32 RewardAccount) 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

Defined in Cardano.Ledger.Dijkstra.UTxO

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 #

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 Natural) 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 #

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 }

Methods

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 → Stake Source #

EraUTxO DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.UTxO

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 #

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

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

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

ApplyBlock DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

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

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) }

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 → Either (ContextError DijkstraEra) (PlutusTxInfo 'PlutusV1) 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 → Either (ContextError DijkstraEra) (PlutusTxInfo 'PlutusV2) 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 → Either (ContextError DijkstraEra) (PlutusTxInfo 'PlutusV3) 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 → Either (ContextError DijkstraEra) (PlutusTxInfo 'PlutusV4) 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 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 #

InjectRuleEvent "EPOCH" ConwayHardForkEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ ConwayHardForkEvent DijkstraEra → EraRuleEvent "EPOCH" 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 "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 "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" 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" DijkstraSubDelegPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "SUBGOV" DijkstraSubGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubGovPredFailure DijkstraEra → EraRuleFailure "SUBGOV" 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" 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 "SUBUTXO" DijkstraSubUtxoPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "SUBUTXO" DijkstraSubUtxosPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "SUBUTXOS" DijkstraSubUtxosPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubUtxosPredFailure DijkstraEra → EraRuleFailure "SUBUTXOS" 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 "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 #

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

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.2.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 (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.2.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.2.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.2.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 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

Defined in Cardano.Ledger.Dijkstra.UTxO

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

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 = DijkstraBBODY DijkstraEra

type EraRule "CERT" DijkstraEra Source #

Instance details

type EraRule "CERT" DijkstraEra = DijkstraCERT DijkstraEra

type EraRule "CERTS" DijkstraEra Source #

Instance details

type EraRule "CERTS" DijkstraEra = ConwayCERTS DijkstraEra

type EraRule "DELEG" DijkstraEra Source #

Instance details

type EraRule "DELEG" DijkstraEra = ConwayDELEG 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 = ConwayENACT DijkstraEra

type EraRule "EPOCH" DijkstraEra Source #

Instance details

type EraRule "EPOCH" DijkstraEra = ConwayEPOCH DijkstraEra

type EraRule "GOV" DijkstraEra Source #

Instance details

type EraRule "GOV" DijkstraEra = DijkstraGOV DijkstraEra

type EraRule "GOVCERT" DijkstraEra Source #

Instance details

type EraRule "GOVCERT" DijkstraEra = DijkstraGOVCERT DijkstraEra

type EraRule "HARDFORK" DijkstraEra Source #

Instance details

type EraRule "HARDFORK" DijkstraEra = ConwayHARDFORK DijkstraEra

type EraRule "LEDGER" DijkstraEra Source #

Instance details

type EraRule "LEDGER" DijkstraEra = DijkstraLEDGER DijkstraEra

type EraRule "LEDGERS" DijkstraEra Source #

Instance details

type EraRule "LEDGERS" DijkstraEra = ShelleyLEDGERS DijkstraEra

type EraRule "MEMPOOL" DijkstraEra Source #

Instance details

type EraRule "MEMPOOL" DijkstraEra = DijkstraMEMPOOL 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 = ConwayNEWEPOCH 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 = ShelleyPOOL DijkstraEra

type EraRule "POOLREAP" DijkstraEra Source #

Instance details

type EraRule "POOLREAP" DijkstraEra = ShelleyPOOLREAP 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 = ConwayRATIFY DijkstraEra

type EraRule "RUPD" DijkstraEra Source #

Instance details

type EraRule "RUPD" DijkstraEra = ShelleyRUPD DijkstraEra

type EraRule "SNAP" DijkstraEra Source #

Instance details

type EraRule "SNAP" DijkstraEra = ShelleySNAP DijkstraEra

type EraRule "SUBCERT" DijkstraEra Source #

Instance details

type EraRule "SUBCERT" DijkstraEra = DijkstraSUBCERT DijkstraEra

type EraRule "SUBCERTS" DijkstraEra Source #

Instance details

type EraRule "SUBCERTS" DijkstraEra = DijkstraSUBCERTS DijkstraEra

type EraRule "SUBDELEG" DijkstraEra Source #

Instance details

type EraRule "SUBDELEG" DijkstraEra = DijkstraSUBDELEG DijkstraEra

type EraRule "SUBGOV" DijkstraEra Source #

Instance details

type EraRule "SUBGOV" DijkstraEra = DijkstraSUBGOV DijkstraEra

type EraRule "SUBGOVCERT" DijkstraEra Source #

Instance details

type EraRule "SUBGOVCERT" DijkstraEra = DijkstraSUBGOVCERT DijkstraEra

type EraRule "SUBLEDGER" DijkstraEra Source #

Instance details

type EraRule "SUBLEDGER" DijkstraEra = DijkstraSUBLEDGER DijkstraEra

type EraRule "SUBLEDGERS" DijkstraEra Source #

Instance details

type EraRule "SUBLEDGERS" DijkstraEra = DijkstraSUBLEDGERS DijkstraEra

type EraRule "SUBPOOL" DijkstraEra Source #

Instance details

type EraRule "SUBPOOL" DijkstraEra = DijkstraSUBPOOL DijkstraEra

type EraRule "SUBUTXO" DijkstraEra Source #

Instance details

type EraRule "SUBUTXO" DijkstraEra = DijkstraSUBUTXO DijkstraEra

type EraRule "SUBUTXOS" DijkstraEra Source #

Instance details

type EraRule "SUBUTXOS" DijkstraEra = DijkstraSUBUTXOS DijkstraEra

type EraRule "SUBUTXOW" DijkstraEra Source #

Instance details

type EraRule "SUBUTXOW" DijkstraEra = DijkstraSUBUTXOW DijkstraEra

type EraRule "TICK" DijkstraEra Source #

Instance details

type EraRule "TICK" DijkstraEra = ShelleyTICK DijkstraEra

type EraRule "TICKF" DijkstraEra Source #

Instance details

type EraRule "TICKF" DijkstraEra = ConwayTICKF 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 = DijkstraUTXO DijkstraEra

type EraRule "UTXOS" DijkstraEra Source #

Instance details

type EraRule "UTXOS" DijkstraEra = ConwayUTXOS DijkstraEra

type EraRule "UTXOW" DijkstraEra Source #

Instance details

type EraRule "UTXOW" DijkstraEra = DijkstraUTXOW 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 = ConwayLedgerEvent 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

Defined in Cardano.Ledger.Dijkstra.Rules.Pool

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 = VoidEraRule "SUBCERT" DijkstraEra

type EraRuleEvent "SUBCERTS" DijkstraEra Source #

Instance details

type EraRuleEvent "SUBCERTS" DijkstraEra = VoidEraRule "SUBCERTS" 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 = VoidEraRule "SUBGOV" 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 = VoidEraRule "SUBLEDGER" DijkstraEra

type EraRuleEvent "SUBLEDGERS" DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type EraRuleEvent "SUBLEDGERS" DijkstraEra = VoidEraRule "SUBLEDGERS" DijkstraEra

type EraRuleEvent "SUBPOOL" DijkstraEra Source #

Instance details

type EraRuleEvent "SUBPOOL" DijkstraEra = VoidEraRule "SUBPOOL" DijkstraEra

type EraRuleEvent "SUBUTXO" DijkstraEra Source #

Instance details

type EraRuleEvent "SUBUTXO" DijkstraEra = VoidEraRule "SUBUTXO" DijkstraEra

type EraRuleEvent "SUBUTXOS" DijkstraEra Source #

Instance details

type EraRuleEvent "SUBUTXOS" DijkstraEra = VoidEraRule "SUBUTXOS" DijkstraEra

type EraRuleEvent "SUBUTXOW" DijkstraEra Source #

Instance details

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

Defined in Cardano.Ledger.Dijkstra.Rules.Pool

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 "SUBUTXOS" DijkstraEra Source #

Instance details

type EraRuleFailure "SUBUTXOS" DijkstraEra = DijkstraSubUtxosPredFailure 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 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 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.2.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 (TransitionConfig DijkstraEra) Source #

Instance details

type Rep (TransitionConfig DijkstraEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Dijkstra.Transition" "cardano-ledger-dijkstra-0.2.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.2.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.2.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraTxBodyRaw l DijkstraEra)))))

data DijkstraBBODY era Source #

Instances

Instances details

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

Instance details

Methods

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

wrapEvent ∷ Event ledgers → Event (DijkstraBBODY 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, EraRule "BBODY" era ~ DijkstraBBODY era, AlonzoEraTx era, BabbageEraTxBody era, ConwayEraPParams era, DijkstraEraBlockBody era) ⇒ STS (DijkstraBBODY era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraBBODY era)] Source #

transitionRules ∷ [TransitionRule (DijkstraBBODY era)] Source #

assertions ∷ [Assertion (DijkstraBBODY era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraBBODY era) → String Source #

type BaseM (DijkstraBBODY era) Source #

Instance details

type BaseM (DijkstraBBODY era) = ShelleyBase

type Environment (DijkstraBBODY era) Source #

Instance details

type Environment (DijkstraBBODY era) = BbodyEnv era

type Event (DijkstraBBODY era) Source #

Instance details

type Event (DijkstraBBODY era) = AlonzoBbodyEvent era

type PredicateFailure (DijkstraBBODY era) Source #

Instance details

type PredicateFailure (DijkstraBBODY era) = DijkstraBbodyPredFailure era

type Signal (DijkstraBBODY era) Source #

Instance details

type Signal (DijkstraBBODY era) = Block BHeaderView era

type State (DijkstraBBODY era) Source #

Instance details

type State (DijkstraBBODY era) = ShelleyBbodyState era

data DijkstraCERT 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) (DijkstraCERT era), Embed (EraRule "POOL" era) (DijkstraCERT era), Embed (EraRule "GOVCERT" era) (DijkstraCERT era), TxCert era ~ DijkstraTxCert era, EraCertState era) ⇒ STS (DijkstraCERT era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraCERT era)] Source #

transitionRules ∷ [TransitionRule (DijkstraCERT era)] Source #

assertions ∷ [Assertion (DijkstraCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraCERT era) → String Source #

(Era era, STS (ConwayDELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) ⇒ Embed (ConwayDELEG era) (DijkstraCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (DijkstraCERT era) Source #

wrapEvent ∷ Event (ConwayDELEG era) → Event (DijkstraCERT era) Source #

(Era era, STS (ConwayGOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ ConwayGovCertPredFailure era) ⇒ Embed (ConwayGOVCERT era) (DijkstraCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayGOVCERT era) → PredicateFailure (DijkstraCERT era) Source #

wrapEvent ∷ Event (ConwayGOVCERT era) → Event (DijkstraCERT era) Source #

(Era era, STS (DijkstraCERT era), BaseM (EraRule "CERT" era) ~ ShelleyBase, Event (EraRule "CERT" era) ~ ConwayCertEvent era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era) ⇒ Embed (DijkstraCERT era) (ConwayCERTS era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraCERT era) → PredicateFailure (ConwayCERTS era) Source #

wrapEvent ∷ Event (DijkstraCERT era) → Event (ConwayCERTS era) Source #

(Era era, STS (DijkstraGOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ DijkstraGovCertPredFailure era) ⇒ Embed (DijkstraGOVCERT era) (DijkstraCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraGOVCERT era) → PredicateFailure (DijkstraCERT era) Source #

wrapEvent ∷ Event (DijkstraGOVCERT era) → Event (DijkstraCERT era) Source #

(Era era, STS (ShelleyPOOL era), Event (EraRule "POOL" era) ~ PoolEvent era, PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, PredicateFailure (ShelleyPOOL era) ~ ShelleyPoolPredFailure era, BaseM (ShelleyPOOL era) ~ ShelleyBase) ⇒ Embed (ShelleyPOOL era) (DijkstraCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ShelleyPOOL era) → PredicateFailure (DijkstraCERT era) Source #

wrapEvent ∷ Event (ShelleyPOOL era) → Event (DijkstraCERT era) Source #

type BaseM (DijkstraCERT era) Source #

Instance details

type BaseM (DijkstraCERT era) = ShelleyBase

type Environment (DijkstraCERT era) Source #

Instance details

type Environment (DijkstraCERT era) = CertEnv era

type Event (DijkstraCERT era) Source #

Instance details

type Event (DijkstraCERT era) = ConwayCertEvent era

type PredicateFailure (DijkstraCERT era) Source #

Instance details

type PredicateFailure (DijkstraCERT era) = ConwayCertPredFailure era

type Signal (DijkstraCERT era) Source #

Instance details

type Signal (DijkstraCERT era) = TxCert era

type State (DijkstraCERT era) Source #

Instance details

type State (DijkstraCERT era) = CertState era

data DijkstraGOV era Source #

Instances

Instances details

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraGOV era)] Source #

transitionRules ∷ [TransitionRule (DijkstraGOV era)] Source #

assertions ∷ [Assertion (DijkstraGOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraGOV era) → String Source #

(ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "GOV" era ~ DijkstraGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleFailure "GOV" DijkstraGovPredFailure era, ConwayEraCertState era) ⇒ Embed (DijkstraGOV era) (DijkstraLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraGOV era) → PredicateFailure (DijkstraLEDGER era) Source #

wrapEvent ∷ Event (DijkstraGOV era) → Event (DijkstraLEDGER era) Source #

type BaseM (DijkstraGOV era) Source #

Instance details

type BaseM (DijkstraGOV era) = ShelleyBase

type Environment (DijkstraGOV era) Source #

Instance details

type Environment (DijkstraGOV era) = GovEnv era

type Event (DijkstraGOV era) Source #

Instance details

type Event (DijkstraGOV era) = ConwayGovEvent era

type PredicateFailure (DijkstraGOV era) Source #

Instance details

type PredicateFailure (DijkstraGOV era) = DijkstraGovPredFailure era

type Signal (DijkstraGOV era) Source #

Instance details

type Signal (DijkstraGOV era) = GovSignal era

type State (DijkstraGOV era) Source #

Instance details

type State (DijkstraGOV era) = Proposals era

data DijkstraGOVCERT era Source #

Instances

Instances details

(ConwayEraPParams 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 ~ DijkstraGOVCERT era, Eq (PredicateFailure (EraRule "GOVCERT" era)), Show (PredicateFailure (EraRule "GOVCERT" era)), ConwayEraCertState era) ⇒ STS (DijkstraGOVCERT era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraGOVCERT era)] Source #

transitionRules ∷ [TransitionRule (DijkstraGOVCERT era)] Source #

assertions ∷ [Assertion (DijkstraGOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraGOVCERT era) → String Source #

(Era era, STS (DijkstraGOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ DijkstraGovCertPredFailure era) ⇒ Embed (DijkstraGOVCERT era) (DijkstraCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraGOVCERT era) → PredicateFailure (DijkstraCERT era) Source #

wrapEvent ∷ Event (DijkstraGOVCERT era) → Event (DijkstraCERT era) Source #

type BaseM (DijkstraGOVCERT era) Source #

Instance details

type BaseM (DijkstraGOVCERT era) = ShelleyBase

type Environment (DijkstraGOVCERT era) Source #

Instance details

type Environment (DijkstraGOVCERT era) = ConwayGovCertEnv era

type Event (DijkstraGOVCERT era) Source #

Instance details

type Event (DijkstraGOVCERT era) = Void

type PredicateFailure (DijkstraGOVCERT era) Source #

Instance details

type PredicateFailure (DijkstraGOVCERT era) = DijkstraGovCertPredFailure era

type Signal (DijkstraGOVCERT era) Source #

Instance details

type Signal (DijkstraGOVCERT era) = ConwayGovCert

type State (DijkstraGOVCERT era) Source #

Instance details

type State (DijkstraGOVCERT era) = CertState era

data DijkstraLEDGER era Source #

Instances

Instances details

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraLEDGER era)] Source #

transitionRules ∷ [TransitionRule (DijkstraLEDGER era)] Source #

assertions ∷ [Assertion (DijkstraLEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraLEDGER era) → String Source #

(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, ConwayEraGov era, Embed (EraRule "CERT" era) (ConwayCERTS era), State (EraRule "CERT" era) ~ CertState era, Environment (EraRule "CERT" era) ~ CertEnv era, Signal (EraRule "CERT" era) ~ TxCert era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, EraRuleFailure "CERT" era ~ ConwayCertPredFailure era, EraRule "CERTS" era ~ ConwayCERTS era, ConwayEraCertState era) ⇒ Embed (ConwayCERTS era) (DijkstraLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayCERTS era) → PredicateFailure (DijkstraLEDGER era) Source #

wrapEvent ∷ Event (ConwayCERTS era) → Event (DijkstraLEDGER era) Source #

(EraPParams era, EraRule "DELEG" era ~ ConwayDELEG era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, Event (EraRule "CERT" era) ~ ConwayCertEvent era, ConwayEraCertState era) ⇒ Embed (ConwayDELEG era) (DijkstraLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (DijkstraLEDGER era) Source #

wrapEvent ∷ Event (ConwayDELEG era) → Event (DijkstraLEDGER era) Source #

(ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "GOV" era ~ DijkstraGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleFailure "GOV" DijkstraGovPredFailure era, ConwayEraCertState era) ⇒ Embed (DijkstraGOV era) (DijkstraLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraGOV era) → PredicateFailure (DijkstraLEDGER era) Source #

wrapEvent ∷ Event (DijkstraGOV era) → Event (DijkstraLEDGER era) Source #

(AlonzoEraTx era, ConwayEraCertState era, DijkstraEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Embed (EraRule "CERTS" era) (DijkstraLEDGER era), Embed (EraRule "GOV" era) (DijkstraLEDGER era), Embed (EraRule "UTXOW" era) (DijkstraLEDGER era), Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "UTXOW" era) ~ Tx 'TopTx era, EraRule "LEDGER" era ~ DijkstraLEDGER era, EraRule "SUBLEDGERS" era ~ DijkstraSUBLEDGERS era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraLEDGER era) (DijkstraMEMPOOL era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraLEDGER era) → PredicateFailure (DijkstraMEMPOOL era) Source #

wrapEvent ∷ Event (DijkstraLEDGER era) → Event (DijkstraMEMPOOL era) Source #

(Embed (EraRule "UTXOW" era) (DijkstraLEDGER era), Embed (EraRule "CERTS" era) (DijkstraLEDGER era), Embed (EraRule "GOV" era) (DijkstraLEDGER era), Embed (EraRule "SUBLEDGERS" era) (DijkstraSUBLEDGERS era), ConwayEraGov era, AlonzoEraTx era, ConwayEraPParams era, DijkstraEraTxBody era, GovState era ~ ConwayGovState era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Signal (EraRule "UTXOW" era) ~ Tx 'TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, EraRule "GOV" era ~ DijkstraGOV era, ConwayEraCertState era, EraRule "LEDGER" era ~ DijkstraLEDGER era, EraRule "SUBLEDGERS" era ~ DijkstraSUBLEDGERS era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraSubLedgersPredFailure era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraLEDGER era) (ShelleyLEDGERS era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraLEDGER era) → PredicateFailure (ShelleyLEDGERS era) Source #

wrapEvent ∷ Event (DijkstraLEDGER era) → Event (ShelleyLEDGERS era) Source #

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraRule "SUBLEDGERS" era ~ DijkstraSUBLEDGERS era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraSUBLEDGERS era) (DijkstraLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBLEDGERS era) → PredicateFailure (DijkstraLEDGER era) Source #

wrapEvent ∷ Event (DijkstraSUBLEDGERS era) → Event (DijkstraLEDGER era) Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraUTXOW era) → PredicateFailure (DijkstraLEDGER era) Source #

wrapEvent ∷ Event (DijkstraUTXOW era) → Event (DijkstraLEDGER era) Source #

type BaseM (DijkstraLEDGER era) Source #

Instance details

type BaseM (DijkstraLEDGER era) = ShelleyBase

type Environment (DijkstraLEDGER era) Source #

Instance details

type Environment (DijkstraLEDGER era) = LedgerEnv era

type Event (DijkstraLEDGER era) Source #

Instance details

type Event (DijkstraLEDGER era) = ConwayLedgerEvent era

type PredicateFailure (DijkstraLEDGER era) Source #

Instance details

type PredicateFailure (DijkstraLEDGER era) = DijkstraLedgerPredFailure era

type Signal (DijkstraLEDGER era) Source #

Instance details

type Signal (DijkstraLEDGER era) = Tx 'TopTx era

type State (DijkstraLEDGER era) Source #

Instance details

type State (DijkstraLEDGER era) = LedgerState era

data DijkstraMEMPOOL era Source #

Instances

Instances details

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraMEMPOOL era)] Source #

transitionRules ∷ [TransitionRule (DijkstraMEMPOOL era)] Source #

assertions ∷ [Assertion (DijkstraMEMPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraMEMPOOL era) → String Source #

(AlonzoEraTx era, ConwayEraCertState era, DijkstraEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Embed (EraRule "CERTS" era) (DijkstraLEDGER era), Embed (EraRule "GOV" era) (DijkstraLEDGER era), Embed (EraRule "UTXOW" era) (DijkstraLEDGER era), Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "UTXOW" era) ~ Tx 'TopTx era, EraRule "LEDGER" era ~ DijkstraLEDGER era, EraRule "SUBLEDGERS" era ~ DijkstraSUBLEDGERS era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraLEDGER era) (DijkstraMEMPOOL era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraLEDGER era) → PredicateFailure (DijkstraMEMPOOL era) Source #

wrapEvent ∷ Event (DijkstraLEDGER era) → Event (DijkstraMEMPOOL era) Source #

type BaseM (DijkstraMEMPOOL era) Source #

Instance details

type BaseM (DijkstraMEMPOOL era) = ShelleyBase

type Environment (DijkstraMEMPOOL era) Source #

Instance details

type Environment (DijkstraMEMPOOL era) = LedgerEnv era

type Event (DijkstraMEMPOOL era) Source #

Instance details

type Event (DijkstraMEMPOOL era) = DijkstraMempoolEvent era

type PredicateFailure (DijkstraMEMPOOL era) Source #

Instance details

type PredicateFailure (DijkstraMEMPOOL era) = DijkstraMempoolPredFailure era

type Signal (DijkstraMEMPOOL era) Source #

Instance details

type Signal (DijkstraMEMPOOL era) = Tx 'TopTx era

type State (DijkstraMEMPOOL era) Source #

Instance details

type State (DijkstraMEMPOOL era) = LedgerState era

data DijkstraSUBCERT era Source #

Instances

Instances details

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBCERT era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBCERT era)] Source #

assertions ∷ [Assertion (DijkstraSUBCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBCERT era) → String Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraSUBCERT era) (DijkstraSUBCERTS era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBCERT era) → PredicateFailure (DijkstraSUBCERTS era) Source #

wrapEvent ∷ Event (DijkstraSUBCERT era) → Event (DijkstraSUBCERTS era) Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era) ⇒ Embed (DijkstraSUBDELEG era) (DijkstraSUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBDELEG era) → PredicateFailure (DijkstraSUBCERT era) Source #

wrapEvent ∷ Event (DijkstraSUBDELEG era) → Event (DijkstraSUBCERT era) Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era) ⇒ Embed (DijkstraSUBGOVCERT era) (DijkstraSUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBGOVCERT era) → PredicateFailure (DijkstraSUBCERT era) Source #

wrapEvent ∷ Event (DijkstraSUBGOVCERT era) → Event (DijkstraSUBCERT era) Source #

(ConwayEraGov era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era) ⇒ Embed (DijkstraSUBPOOL era) (DijkstraSUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBPOOL era) → PredicateFailure (DijkstraSUBCERT era) Source #

wrapEvent ∷ Event (DijkstraSUBPOOL era) → Event (DijkstraSUBCERT era) Source #

type BaseM (DijkstraSUBCERT era) Source #

Instance details

type BaseM (DijkstraSUBCERT era) = ShelleyBase

type Environment (DijkstraSUBCERT era) Source #

Instance details

type Environment (DijkstraSUBCERT era) = CertEnv era

type Event (DijkstraSUBCERT era) Source #

Instance details

type Event (DijkstraSUBCERT era) = Void

type PredicateFailure (DijkstraSUBCERT era) Source #

Instance details

type PredicateFailure (DijkstraSUBCERT era) = DijkstraSubCertPredFailure era

type Signal (DijkstraSUBCERT era) Source #

Instance details

type Signal (DijkstraSUBCERT era) = TxCert era

type State (DijkstraSUBCERT era) Source #

Instance details

type State (DijkstraSUBCERT era) = CertState era

data DijkstraSUBCERTS era Source #

Instances

Instances details

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBCERTS era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBCERTS era)] Source #

assertions ∷ [Assertion (DijkstraSUBCERTS era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBCERTS era) → String Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraSUBCERT era) (DijkstraSUBCERTS era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBCERT era) → PredicateFailure (DijkstraSUBCERTS era) Source #

wrapEvent ∷ Event (DijkstraSUBCERT era) → Event (DijkstraSUBCERTS era) Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraSUBCERTS era) (DijkstraSUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBCERTS era) → PredicateFailure (DijkstraSUBLEDGER era) Source #

wrapEvent ∷ Event (DijkstraSUBCERTS era) → Event (DijkstraSUBLEDGER era) Source #

type BaseM (DijkstraSUBCERTS era) Source #

Instance details

type BaseM (DijkstraSUBCERTS era) = ShelleyBase

type Environment (DijkstraSUBCERTS era) Source #

Instance details

type Environment (DijkstraSUBCERTS era) = SubCertsEnv era

type Event (DijkstraSUBCERTS era) Source #

Instance details

type Event (DijkstraSUBCERTS era) = Void

type PredicateFailure (DijkstraSUBCERTS era) Source #

Instance details

type PredicateFailure (DijkstraSUBCERTS era) = DijkstraSubCertsPredFailure era

type Signal (DijkstraSUBCERTS era) Source #

Instance details

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

type State (DijkstraSUBCERTS era) Source #

Instance details

type State (DijkstraSUBCERTS era) = CertState era

data DijkstraSUBDELEG era Source #

Instances

Instances details

(EraGov era, EraCertState era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era) ⇒ STS (DijkstraSUBDELEG era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBDELEG era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBDELEG era)] Source #

assertions ∷ [Assertion (DijkstraSUBDELEG era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBDELEG era) → String Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era) ⇒ Embed (DijkstraSUBDELEG era) (DijkstraSUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBDELEG era) → PredicateFailure (DijkstraSUBCERT era) Source #

wrapEvent ∷ Event (DijkstraSUBDELEG era) → Event (DijkstraSUBCERT era) Source #

type BaseM (DijkstraSUBDELEG era) Source #

Instance details

type BaseM (DijkstraSUBDELEG era) = ShelleyBase

type Environment (DijkstraSUBDELEG era) Source #

Instance details

type Environment (DijkstraSUBDELEG era) = ConwayDelegEnv era

type Event (DijkstraSUBDELEG era) Source #

Instance details

type Event (DijkstraSUBDELEG era) = Void

type PredicateFailure (DijkstraSUBDELEG era) Source #

Instance details

type PredicateFailure (DijkstraSUBDELEG era) = DijkstraSubDelegPredFailure era

type Signal (DijkstraSUBDELEG era) Source #

Instance details

type Signal (DijkstraSUBDELEG era) = DijkstraDelegCert

type State (DijkstraSUBDELEG era) Source #

Instance details

type State (DijkstraSUBDELEG era) = CertState era

data DijkstraSUBGOV era Source #

Instances

Instances details

(EraGov era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era) ⇒ STS (DijkstraSUBGOV era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBGOV era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBGOV era)] Source #

assertions ∷ [Assertion (DijkstraSUBGOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBGOV era) → String Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era) ⇒ Embed (DijkstraSUBGOV era) (DijkstraSUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBGOV era) → PredicateFailure (DijkstraSUBLEDGER era) Source #

wrapEvent ∷ Event (DijkstraSUBGOV era) → Event (DijkstraSUBLEDGER era) Source #

type BaseM (DijkstraSUBGOV era) Source #

Instance details

type BaseM (DijkstraSUBGOV era) = ShelleyBase

type Environment (DijkstraSUBGOV era) Source #

Instance details

type Environment (DijkstraSUBGOV era) = GovEnv era

type Event (DijkstraSUBGOV era) Source #

Instance details

type Event (DijkstraSUBGOV era) = Void

type PredicateFailure (DijkstraSUBGOV era) Source #

Instance details

type PredicateFailure (DijkstraSUBGOV era) = DijkstraSubGovPredFailure era

type Signal (DijkstraSUBGOV era) Source #

Instance details

type Signal (DijkstraSUBGOV era) = GovSignal era

type State (DijkstraSUBGOV era) Source #

Instance details

type State (DijkstraSUBGOV era) = Proposals era

data DijkstraSUBGOVCERT era Source #

Instances

Instances details

(EraGov era, EraCertState era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era) ⇒ STS (DijkstraSUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBGOVCERT era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBGOVCERT era)] Source #

assertions ∷ [Assertion (DijkstraSUBGOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBGOVCERT era) → String Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era) ⇒ Embed (DijkstraSUBGOVCERT era) (DijkstraSUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBGOVCERT era) → PredicateFailure (DijkstraSUBCERT era) Source #

wrapEvent ∷ Event (DijkstraSUBGOVCERT era) → Event (DijkstraSUBCERT era) Source #

type BaseM (DijkstraSUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type BaseM (DijkstraSUBGOVCERT era) = ShelleyBase

type Environment (DijkstraSUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type Environment (DijkstraSUBGOVCERT era) = ConwayGovCertEnv era

type Event (DijkstraSUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type Event (DijkstraSUBGOVCERT era) = Void

type PredicateFailure (DijkstraSUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type PredicateFailure (DijkstraSUBGOVCERT era) = DijkstraSubGovCertPredFailure era

type Signal (DijkstraSUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type Signal (DijkstraSUBGOVCERT era) = ConwayGovCert

type State (DijkstraSUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type State (DijkstraSUBGOVCERT era) = CertState era

data DijkstraSUBLEDGER era Source #

Instances

Instances details

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, Embed (EraRule "SUBGOV" era) (DijkstraSUBLEDGER era), Embed (EraRule "SUBUTXOW" era) (DijkstraSUBLEDGER era), Embed (EraRule "SUBCERTS" era) (DijkstraSUBCERTS era), TxCert era ~ DijkstraTxCert era) ⇒ STS (DijkstraSUBLEDGER era) Source #

Instance details

Associated Types

type State (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type State (DijkstraSUBLEDGER era) = LedgerState era
type Signal (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Signal (DijkstraSUBLEDGER era) = Tx 'SubTx era
type Environment (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Environment (DijkstraSUBLEDGER era) = LedgerEnv era
type BaseM (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type BaseM (DijkstraSUBLEDGER era) = ShelleyBase
type Event (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Event (DijkstraSUBLEDGER era) = Void
type PredicateFailure (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type PredicateFailure (DijkstraSUBLEDGER era) = DijkstraSubLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraSUBLEDGER era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBLEDGER era)] Source #

assertions ∷ [Assertion (DijkstraSUBLEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBLEDGER era) → String Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraSUBCERTS era) (DijkstraSUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBCERTS era) → PredicateFailure (DijkstraSUBLEDGER era) Source #

wrapEvent ∷ Event (DijkstraSUBCERTS era) → Event (DijkstraSUBLEDGER era) Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era) ⇒ Embed (DijkstraSUBGOV era) (DijkstraSUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBGOV era) → PredicateFailure (DijkstraSUBLEDGER era) Source #

wrapEvent ∷ Event (DijkstraSUBGOV era) → Event (DijkstraSUBLEDGER era) Source #

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraSUBLEDGER era) (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBLEDGER era) → PredicateFailure (DijkstraSUBLEDGERS era) Source #

wrapEvent ∷ Event (DijkstraSUBLEDGER era) → Event (DijkstraSUBLEDGERS era) Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era) ⇒ Embed (DijkstraSUBUTXOW era) (DijkstraSUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBUTXOW era) → PredicateFailure (DijkstraSUBLEDGER era) Source #

wrapEvent ∷ Event (DijkstraSUBUTXOW era) → Event (DijkstraSUBLEDGER era) Source #

type BaseM (DijkstraSUBLEDGER era) Source #

Instance details

type BaseM (DijkstraSUBLEDGER era) = ShelleyBase

type Environment (DijkstraSUBLEDGER era) Source #

Instance details

type Environment (DijkstraSUBLEDGER era) = LedgerEnv era

type Event (DijkstraSUBLEDGER era) Source #

Instance details

type Event (DijkstraSUBLEDGER era) = Void

type PredicateFailure (DijkstraSUBLEDGER era) Source #

Instance details

type PredicateFailure (DijkstraSUBLEDGER era) = DijkstraSubLedgerPredFailure era

type Signal (DijkstraSUBLEDGER era) Source #

Instance details

type Signal (DijkstraSUBLEDGER era) = Tx 'SubTx era

type State (DijkstraSUBLEDGER era) Source #

Instance details

type State (DijkstraSUBLEDGER era) = LedgerState era

data DijkstraSUBLEDGERS era Source #

Instances

Instances details

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBLEDGERS" era ~ DijkstraSUBLEDGERS era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, Embed (EraRule "SUBLEDGER" era) (DijkstraSUBLEDGERS era)) ⇒ STS (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Associated Types

type State (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type State (DijkstraSUBLEDGERS era) = LedgerState era
type Signal (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Signal (DijkstraSUBLEDGERS era) = OMap TxId (Tx 'SubTx era)
type Environment (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Environment (DijkstraSUBLEDGERS era) = LedgerEnv era
type BaseM (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type BaseM (DijkstraSUBLEDGERS era) = ShelleyBase
type Event (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Event (DijkstraSUBLEDGERS era) = Void
type PredicateFailure (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type PredicateFailure (DijkstraSUBLEDGERS era) = DijkstraSubLedgersPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraSUBLEDGERS era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBLEDGERS era)] Source #

assertions ∷ [Assertion (DijkstraSUBLEDGERS era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBLEDGERS era) → String Source #

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraSUBLEDGER era) (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBLEDGER era) → PredicateFailure (DijkstraSUBLEDGERS era) Source #

wrapEvent ∷ Event (DijkstraSUBLEDGER era) → Event (DijkstraSUBLEDGERS era) Source #

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraRule "SUBLEDGERS" era ~ DijkstraSUBLEDGERS era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraSUBLEDGERS era) (DijkstraLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBLEDGERS era) → PredicateFailure (DijkstraLEDGER era) Source #

wrapEvent ∷ Event (DijkstraSUBLEDGERS era) → Event (DijkstraLEDGER era) Source #

type BaseM (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type BaseM (DijkstraSUBLEDGERS era) = ShelleyBase

type Environment (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type Environment (DijkstraSUBLEDGERS era) = LedgerEnv era

type Event (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type Event (DijkstraSUBLEDGERS era) = Void

type PredicateFailure (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type PredicateFailure (DijkstraSUBLEDGERS era) = DijkstraSubLedgersPredFailure era

type Signal (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type Signal (DijkstraSUBLEDGERS era) = OMap TxId (Tx 'SubTx era)

type State (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type State (DijkstraSUBLEDGERS era) = LedgerState era

data DijkstraSUBPOOL era Source #

Instances

Instances details

(EraGov era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era) ⇒ STS (DijkstraSUBPOOL era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBPOOL era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBPOOL era)] Source #

assertions ∷ [Assertion (DijkstraSUBPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBPOOL era) → String Source #

(ConwayEraGov era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era) ⇒ Embed (DijkstraSUBPOOL era) (DijkstraSUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBPOOL era) → PredicateFailure (DijkstraSUBCERT era) Source #

wrapEvent ∷ Event (DijkstraSUBPOOL era) → Event (DijkstraSUBCERT era) Source #

type BaseM (DijkstraSUBPOOL era) Source #

Instance details

type BaseM (DijkstraSUBPOOL era) = ShelleyBase

type Environment (DijkstraSUBPOOL era) Source #

Instance details

type Environment (DijkstraSUBPOOL era) = PoolEnv era

type Event (DijkstraSUBPOOL era) Source #

Instance details

type Event (DijkstraSUBPOOL era) = Void

type PredicateFailure (DijkstraSUBPOOL era) Source #

Instance details

type PredicateFailure (DijkstraSUBPOOL era) = DijkstraSubPoolPredFailure era

type Signal (DijkstraSUBPOOL era) Source #

Instance details

type Signal (DijkstraSUBPOOL era) = PoolCert

type State (DijkstraSUBPOOL era) Source #

Instance details

type State (DijkstraSUBPOOL era) = PState era

data DijkstraSUBUTXOS era Source #

Instances

Instances details

(ConwayEraGov era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era) ⇒ STS (DijkstraSUBUTXOS era) Source #

Instance details

Associated Types

type State (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type State (DijkstraSUBUTXOS era) = UTxOState era
type Signal (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type Signal (DijkstraSUBUTXOS era) = Tx 'SubTx era
type Environment (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type Environment (DijkstraSUBUTXOS era) = UtxoEnv era
type BaseM (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type BaseM (DijkstraSUBUTXOS era) = ShelleyBase
type Event (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type Event (DijkstraSUBUTXOS era) = Void
type PredicateFailure (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type PredicateFailure (DijkstraSUBUTXOS era) = DijkstraSubUtxosPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraSUBUTXOS era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBUTXOS era)] Source #

assertions ∷ [Assertion (DijkstraSUBUTXOS era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBUTXOS era) → String Source #

(ConwayEraGov era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era) ⇒ Embed (DijkstraSUBUTXOS era) (DijkstraSUBUTXO era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBUTXOS era) → PredicateFailure (DijkstraSUBUTXO era) Source #

wrapEvent ∷ Event (DijkstraSUBUTXOS era) → Event (DijkstraSUBUTXO era) Source #

type BaseM (DijkstraSUBUTXOS era) Source #

Instance details

type BaseM (DijkstraSUBUTXOS era) = ShelleyBase

type Environment (DijkstraSUBUTXOS era) Source #

Instance details

type Environment (DijkstraSUBUTXOS era) = UtxoEnv era

type Event (DijkstraSUBUTXOS era) Source #

Instance details

type Event (DijkstraSUBUTXOS era) = Void

type PredicateFailure (DijkstraSUBUTXOS era) Source #

Instance details

type PredicateFailure (DijkstraSUBUTXOS era) = DijkstraSubUtxosPredFailure era

type Signal (DijkstraSUBUTXOS era) Source #

Instance details

type Signal (DijkstraSUBUTXOS era) = Tx 'SubTx era

type State (DijkstraSUBUTXOS era) Source #

Instance details

type State (DijkstraSUBUTXOS era) = UTxOState era

data DijkstraSUBUTXOW era Source #

Instances

Instances details

(ConwayEraGov era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, Embed (EraRule "SUBUTXO" era) (DijkstraSUBUTXOW era)) ⇒ STS (DijkstraSUBUTXOW era) Source #

Instance details

Associated Types

type State (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type State (DijkstraSUBUTXOW era) = UTxOState era
type Signal (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Signal (DijkstraSUBUTXOW era) = Tx 'SubTx era
type Environment (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Environment (DijkstraSUBUTXOW era) = UtxoEnv era
type BaseM (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type BaseM (DijkstraSUBUTXOW era) = ShelleyBase
type Event (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Event (DijkstraSUBUTXOW era) = Void
type PredicateFailure (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type PredicateFailure (DijkstraSUBUTXOW era) = DijkstraSubUtxowPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraSUBUTXOW era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBUTXOW era)] Source #

assertions ∷ [Assertion (DijkstraSUBUTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBUTXOW era) → String Source #

(ConwayEraGov era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era) ⇒ Embed (DijkstraSUBUTXO era) (DijkstraSUBUTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBUTXO era) → PredicateFailure (DijkstraSUBUTXOW era) Source #

wrapEvent ∷ Event (DijkstraSUBUTXO era) → Event (DijkstraSUBUTXOW era) Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era) ⇒ Embed (DijkstraSUBUTXOW era) (DijkstraSUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBUTXOW era) → PredicateFailure (DijkstraSUBLEDGER era) Source #

wrapEvent ∷ Event (DijkstraSUBUTXOW era) → Event (DijkstraSUBLEDGER era) Source #

type BaseM (DijkstraSUBUTXOW era) Source #

Instance details

type BaseM (DijkstraSUBUTXOW era) = ShelleyBase

type Environment (DijkstraSUBUTXOW era) Source #

Instance details

type Environment (DijkstraSUBUTXOW era) = UtxoEnv era

type Event (DijkstraSUBUTXOW era) Source #

Instance details

type Event (DijkstraSUBUTXOW era) = Void

type PredicateFailure (DijkstraSUBUTXOW era) Source #

Instance details

type PredicateFailure (DijkstraSUBUTXOW era) = DijkstraSubUtxowPredFailure era

type Signal (DijkstraSUBUTXOW era) Source #

Instance details

type Signal (DijkstraSUBUTXOW era) = Tx 'SubTx era

type State (DijkstraSUBUTXOW era) Source #

Instance details

type State (DijkstraSUBUTXOW era) = UTxOState era

data DijkstraSUBUTXO era Source #

Instances

Instances details

(ConwayEraGov era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, Embed (EraRule "SUBUTXOS" era) (DijkstraSUBUTXO era)) ⇒ STS (DijkstraSUBUTXO era) Source #

Instance details

Associated Types

type State (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type State (DijkstraSUBUTXO era) = UTxOState era
type Signal (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Signal (DijkstraSUBUTXO era) = Tx 'SubTx era
type Environment (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Environment (DijkstraSUBUTXO era) = UtxoEnv era
type BaseM (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type BaseM (DijkstraSUBUTXO era) = ShelleyBase
type Event (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Event (DijkstraSUBUTXO era) = Void
type PredicateFailure (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type PredicateFailure (DijkstraSUBUTXO era) = DijkstraSubUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraSUBUTXO era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBUTXO era)] Source #

assertions ∷ [Assertion (DijkstraSUBUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBUTXO era) → String Source #

(ConwayEraGov era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era) ⇒ Embed (DijkstraSUBUTXO era) (DijkstraSUBUTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBUTXO era) → PredicateFailure (DijkstraSUBUTXOW era) Source #

wrapEvent ∷ Event (DijkstraSUBUTXO era) → Event (DijkstraSUBUTXOW era) Source #

(ConwayEraGov era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era) ⇒ Embed (DijkstraSUBUTXOS era) (DijkstraSUBUTXO era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBUTXOS era) → PredicateFailure (DijkstraSUBUTXO era) Source #

wrapEvent ∷ Event (DijkstraSUBUTXOS era) → Event (DijkstraSUBUTXO era) Source #

type BaseM (DijkstraSUBUTXO era) Source #

Instance details

type BaseM (DijkstraSUBUTXO era) = ShelleyBase

type Environment (DijkstraSUBUTXO era) Source #

Instance details

type Environment (DijkstraSUBUTXO era) = UtxoEnv era

type Event (DijkstraSUBUTXO era) Source #

Instance details

type Event (DijkstraSUBUTXO era) = Void

type PredicateFailure (DijkstraSUBUTXO era) Source #

Instance details

type PredicateFailure (DijkstraSUBUTXO era) = DijkstraSubUtxoPredFailure era

type Signal (DijkstraSUBUTXO era) Source #

Instance details

type Signal (DijkstraSUBUTXO era) = Tx 'SubTx era

type State (DijkstraSUBUTXO era) Source #

Instance details

type State (DijkstraSUBUTXO era) = UTxOState era

data DijkstraUTXO era Source #

Instances

Instances details

(EraTx era, EraUTxO era, ConwayEraTxBody era, AlonzoEraTxWits era, EraRule "UTXO" era ~ DijkstraUTXO 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) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx 'TopTx era, BaseM (EraRule "UTXO" era) ~ ShelleyBase, STS (EraRule "UTXO" era), Embed (EraRule "UTXOS" era) (DijkstraUTXO era), Environment (EraRule "UTXOS" era) ~ UtxoEnv era, State (EraRule "UTXOS" era) ~ UTxOState era, Signal (EraRule "UTXOS" era) ~ Tx 'TopTx era, EraCertState era, EraRule "UTXO" era ~ DijkstraUTXO era, SafeToHash (TxWits era)) ⇒ STS (DijkstraUTXO era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraUTXO era)] Source #

transitionRules ∷ [TransitionRule (DijkstraUTXO era)] Source #

assertions ∷ [Assertion (DijkstraUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraUTXO era) → String Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayUTXOS era) → PredicateFailure (DijkstraUTXO era) Source #

wrapEvent ∷ Event (ConwayUTXOS era) → Event (DijkstraUTXO era) Source #

(Era era, STS (DijkstraUTXO era), PredicateFailure (EraRule "UTXO" era) ~ DijkstraUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (DijkstraUTXOW era) ~ ShelleyBase, PredicateFailure (DijkstraUTXOW era) ~ DijkstraUtxowPredFailure era, Event (DijkstraUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (DijkstraUTXO era) (DijkstraUTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraUTXO era) → PredicateFailure (DijkstraUTXOW era) Source #

wrapEvent ∷ Event (DijkstraUTXO era) → Event (DijkstraUTXOW era) Source #

type BaseM (DijkstraUTXO era) Source #

Instance details

type BaseM (DijkstraUTXO era) = ShelleyBase

type Environment (DijkstraUTXO era) Source #

Instance details

type Environment (DijkstraUTXO era) = UtxoEnv era

type Event (DijkstraUTXO era) Source #

Instance details

type Event (DijkstraUTXO era) = AlonzoUtxoEvent era

type PredicateFailure (DijkstraUTXO era) Source #

Instance details

type PredicateFailure (DijkstraUTXO era) = DijkstraUtxoPredFailure era

type Signal (DijkstraUTXO era) Source #

Instance details

type Signal (DijkstraUTXO era) = Tx 'TopTx era

type State (DijkstraUTXO era) Source #

Instance details

type State (DijkstraUTXO era) = UTxOState era

data DijkstraUTXOW era Source #

Instances

Instances details

(AlonzoEraTx era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, ConwayEraTxBody era, EraRule "UTXOW" era ~ DijkstraUTXOW 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) (DijkstraUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx 'TopTx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) ⇒ STS (DijkstraUTXOW era) Source #

Instance details