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 #

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

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

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

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

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 "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 "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 "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 "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 "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, BaseM (DijkstraLEDGER era) ~ ShelleyBase, PredicateFailure (EraRule "GOV" era) ~ DijkstraGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era, EraRule "GOV" era ~ DijkstraGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleFailure "GOV" DijkstraGovPredFailure era, EraCertState 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, GovState era ~ ConwayGovState era, Embed (EraRule "UTXOW" era) (DijkstraLEDGER era), Embed (EraRule "GOV" era) (DijkstraLEDGER era), Embed (EraRule "CERTS" 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, EraCertState era, EraRule "LEDGER" era ~ DijkstraLEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure 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 "CERTS" era) ~ ConwayCertsPredFailure era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, EraRuleFailure "CERT" era ~ ConwayCertPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, EraRule "CERTS" era ~ ConwayCERTS era, EraCertState 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, EraCertState 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, BaseM (DijkstraLEDGER era) ~ ShelleyBase, PredicateFailure (EraRule "GOV" era) ~ DijkstraGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era, EraRule "GOV" era ~ DijkstraGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleFailure "GOV" DijkstraGovPredFailure era, EraCertState 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, ConwayEraTxBody era, ConwayEraGov era, BaseM (EraRule "CERTS" era) ~ ShelleyBase, BaseM (EraRule "GOV" era) ~ ShelleyBase, BaseM (EraRule "UTXOW" era) ~ ShelleyBase, 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, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "LEDGER" era) ~ LedgerState era, GovState era ~ ConwayGovState era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "UTXOW" era) ~ Tx 'TopTx era, Signal (EraRule "LEDGER" era) ~ Tx 'TopTx era, ConwayEraCertState era, EraRule "LEDGER" era ~ DijkstraLEDGER era, EraRuleFailure "LEDGER" era ~ DijkstraLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure 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), ConwayEraGov era, AlonzoEraTx era, ConwayEraTxBody era, ConwayEraPParams era, GovState era ~ ConwayGovState 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, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, EraRule "GOV" era ~ DijkstraGOV era, Event (EraRule "LEDGER" era) ~ ConwayLedgerEvent era, EraGov era, ConwayEraCertState era, EraRule "LEDGER" era ~ DijkstraLEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure 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 #

(BaseM (DijkstraUTXOW era) ~ ShelleyBase, 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), PredicateFailure (DijkstraUTXOW era) ~ DijkstraUtxowPredFailure 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

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraStake era, EraCertState era, Embed (EraRule "LEDGER" era) (DijkstraMEMPOOL era), State (EraRule "LEDGER" era) ~ LedgerState era, Eq (PredicateFailure (EraRule "CERTS" era)), Eq (PredicateFailure (EraRule "GOV" era)), Eq (PredicateFailure (EraRule "UTXOW" era)), Show (PredicateFailure (EraRule "CERTS" era)), Show (PredicateFailure (EraRule "GOV" era)), Show (PredicateFailure (EraRule "UTXOW" era)), Environment (EraRule "LEDGER" era) ~ LedgerEnv era, Tx 'TopTx era ~ Signal (EraRule "LEDGER" era)) ⇒ STS (DijkstraMEMPOOL era) Source #

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) = ConwayLedgerEvent era
type PredicateFailure (DijkstraMEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type PredicateFailure (DijkstraMEMPOOL era) = DijkstraLedgerPredFailure 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, ConwayEraTxBody era, ConwayEraGov era, BaseM (EraRule "CERTS" era) ~ ShelleyBase, BaseM (EraRule "GOV" era) ~ ShelleyBase, BaseM (EraRule "UTXOW" era) ~ ShelleyBase, 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, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "LEDGER" era) ~ LedgerState era, GovState era ~ ConwayGovState era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "UTXOW" era) ~ Tx 'TopTx era, Signal (EraRule "LEDGER" era) ~ Tx 'TopTx era, ConwayEraCertState era, EraRule "LEDGER" era ~ DijkstraLEDGER era, EraRuleFailure "LEDGER" era ~ DijkstraLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure 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) = ConwayLedgerEvent era

type PredicateFailure (DijkstraMEMPOOL era) Source #

Instance details

type PredicateFailure (DijkstraMEMPOOL era) = DijkstraLedgerPredFailure 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 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