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 #

hkdGovActionDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f 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

Associated Types

type BlockBody DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.BlockBody type BlockBody DijkstraEra = AlonzoBlockBody 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 #

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

hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f 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 #

hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f 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 #

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

hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f 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

DijkstraEraPParams 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

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 #

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

Instance details

Methods

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

InjectRuleFailure "BBODY" ConwayLedgerPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ConwayUtxoPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ConwayUtxosPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "BBODY" ConwayUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxowPredFailure 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" 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" 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

Defined in Cardano.Ledger.Dijkstra.Rules.Gov

Methods

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

InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.GovCert

Methods

injectFailure ∷ ConwayGovCertPredFailure 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" 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" ConwayGovCertPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ ConwayUtxowPredFailure 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" 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" 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

type BlockBody DijkstraEra = AlonzoBlockBody 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 = ConwayBBODY 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 = ConwayGOV DijkstraEra

type EraRule "GOVCERT" DijkstraEra Source #

Instance details

type EraRule "GOVCERT" DijkstraEra = ConwayGOVCERT 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 = ConwayLEDGER 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 = ConwayMEMPOOL 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 = ConwayUTXO 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 = ConwayUTXOW 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

Defined in Cardano.Ledger.Dijkstra.Rules.Gov

type EraRuleEvent "GOV" DijkstraEra = ConwayGovEvent DijkstraEra

type EraRuleEvent "GOVCERT" DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.GovCert

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 = ConwayBbodyPredFailure 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

Defined in Cardano.Ledger.Dijkstra.Rules.Gov

type EraRuleFailure "GOV" DijkstraEra = ConwayGovPredFailure DijkstraEra

type EraRuleFailure "GOVCERT" DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.GovCert

type EraRuleFailure "GOVCERT" DijkstraEra = ConwayGovCertPredFailure DijkstraEra

type EraRuleFailure "LEDGER" DijkstraEra Source #

Instance details

type EraRuleFailure "LEDGER" DijkstraEra = ConwayLedgerPredFailure 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 = ConwayUtxoPredFailure 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 = ConwayUtxowPredFailure 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 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