Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Dijkstra.Era

Contents

Orphan instances

Documentation

data DijkstraEra Source #

Instances

Instances details

AllegraEraScript DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts Methods mkTimeStart ∷ SlotNo → NativeScript DijkstraEra Source # getTimeStart ∷ NativeScript DijkstraEra → Maybe SlotNo Source # mkTimeExpire ∷ SlotNo → NativeScript DijkstraEra Source # getTimeExpire ∷ NativeScript DijkstraEra → Maybe SlotNo Source #
AllegraEraTxAuxData DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxAuxData Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData DijkstraEra) (StrictSeq (Timelock DijkstraEra)) Source #
AllegraEraTxBody DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods vldtTxBodyL ∷ Lens' (TxBody DijkstraEra) ValidityInterval Source #
AlonzoEraPParams DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods hkdCoinsPerUTxOWordL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ExactEra AlonzoEra DijkstraEra) ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f CoinPerWord) Source # hkdCostModelsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f CostModels) Source # hkdPricesL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Prices) Source # hkdMaxTxExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f ExUnits) Source # hkdMaxBlockExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f ExUnits) Source # hkdMaxValSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Natural) Source # hkdCollateralPercentageL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Natural) Source # hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Natural) Source #
EraPlutusContext DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxInfo Associated Types type ContextError DijkstraEra = (r ∷ Type) Source # data TxInfoResult DijkstraEra Source # Methods mkSupportedLanguage ∷ Language → Maybe (SupportedLanguage DijkstraEra) Source # mkTxInfoResult ∷ LedgerTxInfo DijkstraEra → TxInfoResult DijkstraEra Source # lookupTxInfoResult ∷ ∀ (l ∷ Language). EraPlutusTxInfo l DijkstraEra ⇒ SLanguage l → TxInfoResult DijkstraEra → Either (ContextError DijkstraEra) (PlutusTxInfo l) Source # mkPlutusWithContext ∷ PlutusScript DijkstraEra → ScriptHash → PlutusPurpose AsIxItem DijkstraEra → LedgerTxInfo DijkstraEra → TxInfoResult DijkstraEra → (Data DijkstraEra, ExUnits) → CostModel → Either (ContextError DijkstraEra) PlutusWithContext Source #
AlonzoEraScript DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts Associated Types data PlutusScript DijkstraEra Source # type PlutusPurpose f DijkstraEra = (r ∷ Type) Source # Methods eraMaxLanguage ∷ Language Source # toPlutusScript ∷ Script DijkstraEra → Maybe (PlutusScript DijkstraEra) Source # fromPlutusScript ∷ PlutusScript DijkstraEra → Script DijkstraEra Source # mkPlutusScript ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → Maybe (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 Defined in Cardano.Ledger.Dijkstra.Tx Methods isValidTxL ∷ Lens' (Tx DijkstraEra) IsValid Source #
AlonzoEraTxAuxData DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxAuxData Methods plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData DijkstraEra) (Map Language (NonEmpty PlutusBinary)) Source #
AlonzoEraTxBody DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods collateralInputsTxBodyL ∷ Lens' (TxBody DijkstraEra) (Set TxIn) Source # reqSignerHashesTxBodyL ∷ Lens' (TxBody DijkstraEra) (Set (KeyHash 'Witness)) Source # scriptIntegrityHashTxBodyL ∷ Lens' (TxBody DijkstraEra) (StrictMaybe ScriptIntegrityHash) Source # networkIdTxBodyL ∷ Lens' (TxBody DijkstraEra) (StrictMaybe Network) Source # redeemerPointer ∷ TxBody DijkstraEra → PlutusPurpose AsItem DijkstraEra → StrictMaybe (PlutusPurpose AsIx DijkstraEra) Source # redeemerPointerInverse ∷ TxBody DijkstraEra → PlutusPurpose AsIx DijkstraEra → StrictMaybe (PlutusPurpose AsIxItem DijkstraEra) Source #
AlonzoEraTxOut DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxOut 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 ∷ UTxO DijkstraEra → TxBody DijkstraEra → Set DataHash Source # getSpendingDatum ∷ UTxO DijkstraEra → Tx DijkstraEra → PlutusPurpose AsItem DijkstraEra → Maybe (Data DijkstraEra) Source #
BabbageEraPParams DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f CoinPerByte) Source #
BabbageEraTxBody DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods sizedOutputsTxBodyL ∷ Lens' (TxBody DijkstraEra) (StrictSeq (Sized (TxOut DijkstraEra))) Source # referenceInputsTxBodyL ∷ Lens' (TxBody DijkstraEra) (Set TxIn) Source # totalCollateralTxBodyL ∷ Lens' (TxBody DijkstraEra) (StrictMaybe Coin) Source # collateralReturnTxBodyL ∷ Lens' (TxBody DijkstraEra) (StrictMaybe (TxOut DijkstraEra)) Source # sizedCollateralReturnTxBodyL ∷ Lens' (TxBody DijkstraEra) (StrictMaybe (Sized (TxOut DijkstraEra))) Source # allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody DijkstraEra) (StrictSeq (Sized (TxOut DijkstraEra))) Source #
BabbageEraTxOut DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxOut 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 Methods constitutionGovStateL ∷ Lens' (GovState DijkstraEra) (Constitution DijkstraEra) Source # proposalsGovStateL ∷ Lens' (GovState DijkstraEra) (Proposals DijkstraEra) Source # drepPulsingStateGovStateL ∷ Lens' (GovState DijkstraEra) (DRepPulsingState DijkstraEra) Source # committeeGovStateL ∷ Lens' (GovState DijkstraEra) (StrictMaybe (Committee DijkstraEra)) Source #
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 Defined in Cardano.Ledger.Dijkstra.PParams 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 # hkdDRepDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f 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 #
ConwayEraScript DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts 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 #
ConwayEraCertState DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.State.CertState Methods certVStateL ∷ Lens' (CertState DijkstraEra) (VState DijkstraEra) Source #
ConwayEraTransition DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Transition Methods tcConwayGenesisL ∷ Lens' (TransitionConfig DijkstraEra) ConwayGenesis Source #
ConwayEraTxBody DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods currentTreasuryValueTxBodyL ∷ Lens' (TxBody DijkstraEra) (StrictMaybe Coin) Source # votingProceduresTxBodyL ∷ Lens' (TxBody DijkstraEra) (VotingProcedures DijkstraEra) Source # proposalProceduresTxBodyL ∷ Lens' (TxBody DijkstraEra) (OSet (ProposalProcedure DijkstraEra)) Source # treasuryDonationTxBodyL ∷ Lens' (TxBody DijkstraEra) Coin Source #
ConwayEraTxCert DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods mkRegDepositTxCert ∷ StakeCredential → Coin → TxCert DijkstraEra Source # getRegDepositTxCert ∷ TxCert DijkstraEra → Maybe (StakeCredential, Coin) Source # mkUnRegDepositTxCert ∷ StakeCredential → Coin → TxCert DijkstraEra Source # getUnRegDepositTxCert ∷ TxCert DijkstraEra → Maybe (StakeCredential, Coin) Source # mkDelegTxCert ∷ StakeCredential → Delegatee → TxCert DijkstraEra Source # getDelegTxCert ∷ TxCert DijkstraEra → Maybe (StakeCredential, Delegatee) Source # mkRegDepositDelegTxCert ∷ StakeCredential → Delegatee → Coin → TxCert DijkstraEra Source # getRegDepositDelegTxCert ∷ TxCert DijkstraEra → Maybe (StakeCredential, 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 #
EraScript DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts Associated Types type Script DijkstraEra = (r ∷ Type) Source # type NativeScript DijkstraEra = (r ∷ Type) Source # 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 #
EraSegWits DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Associated Types type TxSeq DijkstraEra = (r ∷ Type) Source # Methods fromTxSeq ∷ TxSeq DijkstraEra → StrictSeq (Tx DijkstraEra) Source # toTxSeq ∷ StrictSeq (Tx DijkstraEra) → TxSeq DijkstraEra Source # hashTxSeq ∷ TxSeq DijkstraEra → Hash HASH EraIndependentBlockBody Source # numSegComponents ∷ Word64 Source #
EraTx DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Associated Types type Tx DijkstraEra = (r ∷ Type) Source # type TxUpgradeError DijkstraEra Source # Methods mkBasicTx ∷ TxBody DijkstraEra → Tx DijkstraEra Source # bodyTxL ∷ Lens' (Tx DijkstraEra) (TxBody DijkstraEra) Source # witsTxL ∷ Lens' (Tx DijkstraEra) (TxWits DijkstraEra) Source # auxDataTxL ∷ Lens' (Tx DijkstraEra) (StrictMaybe (TxAuxData DijkstraEra)) Source # sizeTxF ∷ SimpleGetter (Tx DijkstraEra) Integer Source # sizeTxForFeeCalculation ∷ Tx DijkstraEra → Integer Source # validateNativeScript ∷ Tx DijkstraEra → NativeScript DijkstraEra → Bool Source # getMinFeeTx ∷ PParams DijkstraEra → Tx DijkstraEra → Int → Coin Source # upgradeTx ∷ Tx (PreviousEra DijkstraEra) → Either (TxUpgradeError DijkstraEra) (Tx DijkstraEra) Source #
EraTxAuxData DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxAuxData Associated Types type TxAuxData DijkstraEra = (r ∷ Type) Source # Methods mkBasicTxAuxData ∷ TxAuxData DijkstraEra Source # metadataTxAuxDataL ∷ Lens' (TxAuxData DijkstraEra) (Map Word64 Metadatum) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra DijkstraEra) → TxAuxData DijkstraEra Source # validateTxAuxData ∷ ProtVer → TxAuxData DijkstraEra → Bool Source #
EraTxBody DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Associated Types data TxBody DijkstraEra Source # type TxBodyUpgradeError DijkstraEra Source # Methods mkBasicTxBody ∷ TxBody DijkstraEra Source # inputsTxBodyL ∷ Lens' (TxBody DijkstraEra) (Set TxIn) Source # outputsTxBodyL ∷ Lens' (TxBody DijkstraEra) (StrictSeq (TxOut DijkstraEra)) Source # feeTxBodyL ∷ Lens' (TxBody DijkstraEra) Coin Source # withdrawalsTxBodyL ∷ Lens' (TxBody DijkstraEra) Withdrawals Source # auxDataHashTxBodyL ∷ Lens' (TxBody DijkstraEra) (StrictMaybe TxAuxDataHash) Source # spendableInputsTxBodyF ∷ SimpleGetter (TxBody DijkstraEra) (Set TxIn) Source # allInputsTxBodyF ∷ SimpleGetter (TxBody DijkstraEra) (Set TxIn) Source # certsTxBodyL ∷ Lens' (TxBody DijkstraEra) (StrictSeq (TxCert DijkstraEra)) Source # getTotalDepositsTxBody ∷ PParams DijkstraEra → (KeyHash 'StakePool → Bool) → TxBody DijkstraEra → Coin Source # getTotalRefundsTxBody ∷ PParams DijkstraEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody DijkstraEra → Coin Source # getGenesisKeyHashCountTxBody ∷ TxBody DijkstraEra → Int Source # upgradeTxBody ∷ TxBody (PreviousEra DijkstraEra) → Either (TxBodyUpgradeError DijkstraEra) (TxBody DijkstraEra) Source #
EraTxOut DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxOut Associated Types type TxOut DijkstraEra = (r ∷ Type) Source # 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 = (r ∷ Type) Source # 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 # upgradeTxWits ∷ TxWits (PreviousEra DijkstraEra) → TxWits DijkstraEra Source #
Era DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era Associated Types type PreviousEra DijkstraEra = (r ∷ Type) Source # type ProtVerLow DijkstraEra ∷ Nat Source # type ProtVerHigh DijkstraEra ∷ Nat Source # Methods eraName ∷ String Source #
EraPParams DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Associated Types type PParamsHKD f DijkstraEra = (r ∷ Type) Source # type UpgradePParams f DijkstraEra Source # type DowngradePParams f DijkstraEra Source # Methods applyPPUpdates ∷ PParams DijkstraEra → PParamsUpdate DijkstraEra → PParams DijkstraEra Source # emptyPParamsIdentity ∷ PParamsHKD Identity DijkstraEra Source # emptyPParamsStrictMaybe ∷ PParamsHKD 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 # hkdPoolDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f 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, ProtVerAtMost DijkstraEra 6) ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f UnitInterval) Source # ppDG ∷ SimpleGetter (PParams DijkstraEra) UnitInterval Source # hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost DijkstraEra 6) ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Nonce) Source # hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost DijkstraEra 8) ⇒ 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, ProtVerAtMost DijkstraEra 4) ⇒ 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 Defined in Cardano.Ledger.Dijkstra.TxCert Associated Types type TxCert DijkstraEra = (r ∷ Type) Source # type TxCertUpgradeError DijkstraEra Source # 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 ∷ PoolParams → TxCert DijkstraEra Source # getRegPoolTxCert ∷ TxCert DijkstraEra → Maybe PoolParams 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 #
EraGenesis DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Genesis Associated Types type Genesis DijkstraEra Source #
EraCertState DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.State.CertState Associated Types type CertState DijkstraEra = (r ∷ Type) Source # Methods certDStateL ∷ Lens' (CertState DijkstraEra) (DState DijkstraEra) Source # certPStateL ∷ Lens' (CertState DijkstraEra) (PState DijkstraEra) Source # obligationCertState ∷ CertState DijkstraEra → Obligations Source # certsTotalDepositsTxBody ∷ PParams DijkstraEra → CertState DijkstraEra → TxBody DijkstraEra → Coin Source # certsTotalRefundsTxBody ∷ PParams DijkstraEra → CertState DijkstraEra → TxBody DijkstraEra → Coin Source #
EraGov DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Governance Associated Types type GovState DijkstraEra = (r ∷ Type) Source # 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 = (r ∷ Type) Source # 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 → UMap → Stake Source #
EraUTxO DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.UTxO Associated Types type ScriptsNeeded DijkstraEra = (r ∷ Type) Source # Methods consumed ∷ PParams DijkstraEra → CertState DijkstraEra → UTxO DijkstraEra → TxBody DijkstraEra → Value DijkstraEra Source # getConsumedValue ∷ PParams DijkstraEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO DijkstraEra → TxBody DijkstraEra → Value DijkstraEra Source # getProducedValue ∷ PParams DijkstraEra → (KeyHash 'StakePool → Bool) → TxBody DijkstraEra → Value DijkstraEra Source # getScriptsProvided ∷ UTxO DijkstraEra → Tx DijkstraEra → ScriptsProvided DijkstraEra Source # getScriptsNeeded ∷ UTxO DijkstraEra → TxBody DijkstraEra → ScriptsNeeded DijkstraEra Source # getScriptsHashesNeeded ∷ ScriptsNeeded DijkstraEra → Set ScriptHash Source # getWitsVKeyNeeded ∷ CertState DijkstraEra → UTxO DijkstraEra → TxBody DijkstraEra → Set (KeyHash 'Witness) Source # getMinFeeTxUtxo ∷ PParams DijkstraEra → Tx DijkstraEra → UTxO DijkstraEra → Coin Source #
MaryEraTxBody DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods mintTxBodyL ∷ Lens' (TxBody DijkstraEra) MultiAsset Source # mintedTxBodyF ∷ SimpleGetter (TxBody DijkstraEra) (Set PolicyID) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody DijkstraEra) (Value DijkstraEra) Source #
ApplyTx DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra Methods applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv DijkstraEra → MempoolState DijkstraEra → Tx DijkstraEra → Either (ApplyTxError DijkstraEra) (MempoolState DijkstraEra, Validated (Tx 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 Defined in Cardano.Ledger.Dijkstra.Scripts 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 Defined in Cardano.Ledger.Dijkstra.Transition Associated Types data TransitionConfig DijkstraEra Source # Methods mkTransitionConfig ∷ TranslationContext DijkstraEra → TransitionConfig (PreviousEra DijkstraEra) → TransitionConfig DijkstraEra Source # injectIntoTestState ∷ TransitionConfig DijkstraEra → NewEpochState DijkstraEra → NewEpochState DijkstraEra Source # tcPreviousEraConfigL ∷ Lens' (TransitionConfig DijkstraEra) (TransitionConfig (PreviousEra DijkstraEra)) Source # tcTranslationContextL ∷ Lens' (TransitionConfig DijkstraEra) (TranslationContext DijkstraEra) Source # tcShelleyGenesisL ∷ Lens' (TransitionConfig DijkstraEra) ShelleyGenesis Source # tcInitialPParamsG ∷ SimpleGetter (TransitionConfig DijkstraEra) (PParams DijkstraEra) Source #
ShelleyEraTxCert DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods mkRegTxCert ∷ StakeCredential → TxCert DijkstraEra Source # getRegTxCert ∷ TxCert DijkstraEra → Maybe StakeCredential Source # mkUnRegTxCert ∷ StakeCredential → TxCert DijkstraEra Source # getUnRegTxCert ∷ TxCert DijkstraEra → Maybe StakeCredential Source # mkDelegStakeTxCert ∷ StakeCredential → KeyHash 'StakePool → TxCert DijkstraEra Source # getDelegStakeTxCert ∷ TxCert DijkstraEra → Maybe (StakeCredential, KeyHash 'StakePool) Source # mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert DijkstraEra Source # getGenesisDelegTxCert ∷ TxCert DijkstraEra → Maybe GenesisDelegCert Source # mkMirTxCert ∷ MIRCert → TxCert DijkstraEra Source # getMirTxCert ∷ TxCert DijkstraEra → Maybe MIRCert Source #
EraPlutusTxInfo 'PlutusV1 DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxInfo 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 #
EraPlutusTxInfo 'PlutusV2 DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxInfo 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 #
EraPlutusTxInfo 'PlutusV3 DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxInfo 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 #
ConwayEraPlutusTxInfo 'PlutusV3 DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxInfo Methods toPlutusChangedParameters ∷ proxy 'PlutusV3 → PParamsUpdate DijkstraEra → ChangedParameters Source #
TranslateEra DijkstraEra ConwayGovState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra ConwayGovState Source # Methods translateEra ∷ TranslationContext DijkstraEra → ConwayGovState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra ConwayGovState) (ConwayGovState DijkstraEra) Source #
TranslateEra DijkstraEra DRepPulsingState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra DRepPulsingState Source # Methods translateEra ∷ TranslationContext DijkstraEra → DRepPulsingState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra DRepPulsingState) (DRepPulsingState DijkstraEra) Source #
TranslateEra DijkstraEra PulsingSnapshot Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra PulsingSnapshot Source # Methods translateEra ∷ TranslationContext DijkstraEra → PulsingSnapshot (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra PulsingSnapshot) (PulsingSnapshot DijkstraEra) Source #
TranslateEra DijkstraEra EnactState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra EnactState Source # Methods translateEra ∷ TranslationContext DijkstraEra → EnactState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra EnactState) (EnactState DijkstraEra) Source #
TranslateEra DijkstraEra RatifyState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra RatifyState Source # Methods translateEra ∷ TranslationContext DijkstraEra → RatifyState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra RatifyState) (RatifyState DijkstraEra) Source #
TranslateEra DijkstraEra GovAction Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra GovAction Source # Methods translateEra ∷ TranslationContext DijkstraEra → GovAction (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra GovAction) (GovAction DijkstraEra) Source #
TranslateEra DijkstraEra GovActionState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra GovActionState Source # Methods translateEra ∷ TranslationContext DijkstraEra → GovActionState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra GovActionState) (GovActionState DijkstraEra) Source #
TranslateEra DijkstraEra ProposalProcedure Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra ProposalProcedure Source # Methods translateEra ∷ TranslationContext DijkstraEra → ProposalProcedure (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra ProposalProcedure) (ProposalProcedure DijkstraEra) Source #
TranslateEra DijkstraEra Proposals Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra Proposals Source # Methods translateEra ∷ TranslationContext DijkstraEra → Proposals (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra Proposals) (Proposals DijkstraEra) Source #
TranslateEra DijkstraEra PParams Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra PParams Source # Methods translateEra ∷ TranslationContext DijkstraEra → PParams (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra PParams) (PParams DijkstraEra) Source #
TranslateEra DijkstraEra DState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra DState Source # Methods translateEra ∷ TranslationContext DijkstraEra → DState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra DState) (DState DijkstraEra) Source #
TranslateEra DijkstraEra PState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra PState Source # Methods translateEra ∷ TranslationContext DijkstraEra → PState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra PState) (PState DijkstraEra) Source #
TranslateEra DijkstraEra FuturePParams Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra FuturePParams Source # Methods translateEra ∷ TranslationContext DijkstraEra → FuturePParams (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra FuturePParams) (FuturePParams DijkstraEra) Source #
TranslateEra DijkstraEra UTxO Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra UTxO Source # Methods translateEra ∷ TranslationContext DijkstraEra → UTxO (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra UTxO) (UTxO DijkstraEra) Source #
TranslateEra DijkstraEra EpochState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra EpochState Source # Methods translateEra ∷ TranslationContext DijkstraEra → EpochState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra EpochState) (EpochState DijkstraEra) Source #
TranslateEra DijkstraEra LedgerState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra LedgerState Source # Methods translateEra ∷ TranslationContext DijkstraEra → LedgerState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra LedgerState) (LedgerState DijkstraEra) Source #
TranslateEra DijkstraEra NewEpochState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra NewEpochState Source # Methods translateEra ∷ TranslationContext DijkstraEra → NewEpochState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra NewEpochState) (NewEpochState DijkstraEra) Source #
TranslateEra DijkstraEra UTxOState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra UTxOState Source # Methods translateEra ∷ TranslationContext DijkstraEra → UTxOState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra UTxOState) (UTxOState DijkstraEra) Source #
InjectRuleEvent "TICK" ConwayEpochEvent DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules Methods injectEvent ∷ ConwayEpochEvent DijkstraEra → EraRuleEvent "TICK" DijkstraEra Source #
InjectRuleEvent "UTXOS" AlonzoUtxosEvent DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxos Methods injectEvent ∷ AlonzoUtxosEvent DijkstraEra → EraRuleEvent "UTXOS" DijkstraEra Source #
InjectRuleEvent "UTXOS" ConwayUtxosEvent DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxos Methods injectEvent ∷ ConwayUtxosEvent DijkstraEra → EraRuleEvent "UTXOS" DijkstraEra Source #
InjectRuleFailure "BBODY" AllegraUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ AllegraUtxoPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" AlonzoBbodyPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ AlonzoBbodyPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" AlonzoUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ AlonzoUtxoPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" AlonzoUtxosPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ AlonzoUtxosPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" AlonzoUtxowPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ AlonzoUtxowPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" BabbageUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ BabbageUtxoPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" BabbageUtxowPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ BabbageUtxowPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" ConwayBbodyPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ ConwayBbodyPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" ConwayCertPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ ConwayCertPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" ConwayCertsPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ ConwayCertsPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" ConwayDelegPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ ConwayDelegPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" ConwayGovPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ ConwayGovPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" ConwayGovCertPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ ConwayGovCertPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" ConwayLedgerPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ ConwayLedgerPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" ConwayUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ ConwayUtxoPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" ConwayUtxosPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ ConwayUtxosPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" ConwayUtxowPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ ConwayUtxowPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ ShelleyBbodyPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ ShelleyLedgersPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" ShelleyPoolPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ ShelleyPoolPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ ShelleyUtxoPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody Methods injectFailure ∷ ShelleyUtxowPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #
InjectRuleFailure "CERT" ConwayCertPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert Methods injectFailure ∷ ConwayCertPredFailure DijkstraEra → EraRuleFailure "CERT" DijkstraEra Source #
InjectRuleFailure "CERT" ConwayDelegPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert Methods injectFailure ∷ ConwayDelegPredFailure DijkstraEra → EraRuleFailure "CERT" DijkstraEra Source #
InjectRuleFailure "CERT" ConwayGovCertPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert Methods injectFailure ∷ ConwayGovCertPredFailure DijkstraEra → EraRuleFailure "CERT" DijkstraEra Source #
InjectRuleFailure "CERT" ShelleyPoolPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert Methods injectFailure ∷ ShelleyPoolPredFailure DijkstraEra → EraRuleFailure "CERT" DijkstraEra Source #
InjectRuleFailure "CERTS" ConwayCertPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Certs Methods injectFailure ∷ ConwayCertPredFailure DijkstraEra → EraRuleFailure "CERTS" DijkstraEra Source #
InjectRuleFailure "CERTS" ConwayCertsPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Certs Methods injectFailure ∷ ConwayCertsPredFailure DijkstraEra → EraRuleFailure "CERTS" DijkstraEra Source #
InjectRuleFailure "CERTS" ConwayDelegPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Certs Methods injectFailure ∷ ConwayDelegPredFailure DijkstraEra → EraRuleFailure "CERTS" DijkstraEra Source #
InjectRuleFailure "CERTS" ConwayGovCertPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Certs Methods injectFailure ∷ ConwayGovCertPredFailure DijkstraEra → EraRuleFailure "CERTS" DijkstraEra Source #
InjectRuleFailure "CERTS" ShelleyPoolPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Certs 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 Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ AllegraUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ AlonzoUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ AlonzoUtxosPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ AlonzoUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" BabbageUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ BabbageUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" BabbageUtxowPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ BabbageUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" ConwayCertPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ ConwayCertPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" ConwayCertsPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ ConwayCertsPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" ConwayDelegPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ ConwayDelegPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" ConwayGovPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ ConwayGovPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" ConwayGovCertPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ ConwayGovCertPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" ConwayLedgerPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ ConwayLedgerPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" ConwayUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ ConwayUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" ConwayUtxosPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ ConwayUtxosPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" ConwayUtxowPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ ConwayUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ ShelleyPoolPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ ShelleyUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger Methods injectFailure ∷ ShelleyUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #
InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ AllegraUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxosPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ AlonzoUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ BabbageUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ BabbageUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" ConwayCertPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ ConwayCertPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" ConwayCertsPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ ConwayCertsPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" ConwayDelegPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ ConwayDelegPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" ConwayGovPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ ConwayGovPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" ConwayGovCertPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ ConwayGovCertPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ ConwayLedgerPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ ConwayUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ ConwayUtxosPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ ConwayUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ ShelleyLedgersPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ ShelleyPoolPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers Methods injectFailure ∷ ShelleyUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #
InjectRuleFailure "UTXO" AllegraUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo Methods injectFailure ∷ AllegraUtxoPredFailure DijkstraEra → EraRuleFailure "UTXO" DijkstraEra Source #
InjectRuleFailure "UTXO" AlonzoUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo Methods injectFailure ∷ AlonzoUtxoPredFailure DijkstraEra → EraRuleFailure "UTXO" DijkstraEra Source #
InjectRuleFailure "UTXO" AlonzoUtxosPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo Methods injectFailure ∷ AlonzoUtxosPredFailure DijkstraEra → EraRuleFailure "UTXO" DijkstraEra Source #
InjectRuleFailure "UTXO" BabbageUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo Methods injectFailure ∷ BabbageUtxoPredFailure DijkstraEra → EraRuleFailure "UTXO" DijkstraEra Source #
InjectRuleFailure "UTXO" ConwayUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo Methods injectFailure ∷ ConwayUtxoPredFailure DijkstraEra → EraRuleFailure "UTXO" DijkstraEra Source #
InjectRuleFailure "UTXO" ConwayUtxosPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo Methods injectFailure ∷ ConwayUtxosPredFailure DijkstraEra → EraRuleFailure "UTXO" DijkstraEra Source #
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo Methods injectFailure ∷ ShelleyUtxoPredFailure DijkstraEra → EraRuleFailure "UTXO" DijkstraEra Source #
InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxos Methods injectFailure ∷ AlonzoUtxosPredFailure DijkstraEra → EraRuleFailure "UTXOS" DijkstraEra Source #
InjectRuleFailure "UTXOS" ConwayUtxosPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxos Methods injectFailure ∷ ConwayUtxosPredFailure DijkstraEra → EraRuleFailure "UTXOS" DijkstraEra Source #
InjectRuleFailure "UTXOW" AllegraUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow Methods injectFailure ∷ AllegraUtxoPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #
InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow Methods injectFailure ∷ AlonzoUtxoPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #
InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow Methods injectFailure ∷ AlonzoUtxosPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #
InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow Methods injectFailure ∷ AlonzoUtxowPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #
InjectRuleFailure "UTXOW" BabbageUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow Methods injectFailure ∷ BabbageUtxoPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #
InjectRuleFailure "UTXOW" BabbageUtxowPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow Methods injectFailure ∷ BabbageUtxowPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #
InjectRuleFailure "UTXOW" ConwayUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow Methods injectFailure ∷ ConwayUtxoPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #
InjectRuleFailure "UTXOW" ConwayUtxosPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow Methods injectFailure ∷ ConwayUtxosPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #
InjectRuleFailure "UTXOW" ConwayUtxowPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow Methods injectFailure ∷ ConwayUtxowPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow Methods injectFailure ∷ ShelleyUtxoPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow Methods injectFailure ∷ ShelleyUtxowPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #
FromJSON (TransitionConfig DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig DijkstraEra) Source # parseJSONList ∷ Value → Parser [TransitionConfig DijkstraEra] Source # omittedField ∷ Maybe (TransitionConfig DijkstraEra) Source #
ToJSON (TransitionConfig DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Transition Methods toJSON ∷ TransitionConfig DijkstraEra → Value Source # toEncoding ∷ TransitionConfig DijkstraEra → Encoding Source # toJSONList ∷ [TransitionConfig DijkstraEra] → Value Source # toEncodingList ∷ [TransitionConfig DijkstraEra] → Encoding Source # omitField ∷ TransitionConfig DijkstraEra → Bool Source #
Generic (PlutusScript DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts Associated Types type Rep (PlutusScript DijkstraEra) ∷ Type → Type # Methods from ∷ PlutusScript DijkstraEra → Rep (PlutusScript DijkstraEra) x # to ∷ Rep (PlutusScript DijkstraEra) x → PlutusScript DijkstraEra #
Generic (TxBody DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Associated Types type Rep (TxBody DijkstraEra) ∷ Type → Type # Methods from ∷ TxBody DijkstraEra → Rep (TxBody DijkstraEra) x # to ∷ Rep (TxBody DijkstraEra) x → TxBody DijkstraEra #
Generic (TransitionConfig DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Transition Associated Types type Rep (TransitionConfig DijkstraEra) ∷ Type → Type # Methods from ∷ TransitionConfig DijkstraEra → Rep (TransitionConfig DijkstraEra) x # to ∷ Rep (TransitionConfig DijkstraEra) x → TransitionConfig DijkstraEra #
Show (PlutusScript DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts Methods showsPrec ∷ Int → PlutusScript DijkstraEra → ShowS # show ∷ PlutusScript DijkstraEra → String # showList ∷ [PlutusScript DijkstraEra] → ShowS #
Show (TxBody DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods showsPrec ∷ Int → TxBody DijkstraEra → ShowS # show ∷ TxBody DijkstraEra → String # showList ∷ [TxBody DijkstraEra] → ShowS #
Show (TransitionConfig DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Transition Methods showsPrec ∷ Int → TransitionConfig DijkstraEra → ShowS # show ∷ TransitionConfig DijkstraEra → String # showList ∷ [TransitionConfig DijkstraEra] → ShowS #
ToCBOR (TxBody DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods toCBOR ∷ TxBody DijkstraEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody DijkstraEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody DijkstraEra] → Size Source #
DecCBOR (Annotator (TxBody DijkstraEra)) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods decCBOR ∷ Decoder s (Annotator (TxBody DijkstraEra)) Source # dropCBOR ∷ Proxy (Annotator (TxBody DijkstraEra)) → Decoder s () Source # label ∷ Proxy (Annotator (TxBody DijkstraEra)) → Text Source #
EncCBOR (TxBody DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods encCBOR ∷ TxBody DijkstraEra → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (TxBody DijkstraEra) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxBody DijkstraEra] → Size Source #
SafeToHash (PlutusScript DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts Methods originalBytes ∷ PlutusScript DijkstraEra → ByteString Source # originalBytesSize ∷ PlutusScript DijkstraEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → PlutusScript DijkstraEra → SafeHash i Source #
SafeToHash (TxBody DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods originalBytes ∷ TxBody DijkstraEra → ByteString Source # originalBytesSize ∷ TxBody DijkstraEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → TxBody DijkstraEra → SafeHash i Source #
EqRaw (TxBody DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods eqRaw ∷ TxBody DijkstraEra → TxBody DijkstraEra → Bool Source #
Memoized (TxBody DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Associated Types type RawType (TxBody DijkstraEra) = (r ∷ Type) Source # Methods getMemoBytes ∷ TxBody DijkstraEra → MemoBytes (RawType (TxBody DijkstraEra)) wrapMemoBytes ∷ MemoBytes (RawType (TxBody DijkstraEra)) → TxBody DijkstraEra
NFData (PlutusScript DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts Methods rnf ∷ PlutusScript DijkstraEra → () #
NFData (TxBody DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods rnf ∷ TxBody DijkstraEra → () #
Eq (PlutusScript DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts Methods (==) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool # (/=) ∷ PlutusScript DijkstraEra → PlutusScript DijkstraEra → Bool #
Eq (TxBody DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods (==) ∷ TxBody DijkstraEra → TxBody DijkstraEra → Bool # (/=) ∷ TxBody DijkstraEra → TxBody DijkstraEra → Bool #
Eq (TransitionConfig DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Transition Methods (==) ∷ TransitionConfig DijkstraEra → TransitionConfig DijkstraEra → Bool # (/=) ∷ TransitionConfig DijkstraEra → TransitionConfig DijkstraEra → Bool #
Ord (PlutusScript DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts 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 Defined in Cardano.Ledger.Dijkstra.Scripts Methods typeName ∷ String Source # packedByteCount ∷ PlutusScript DijkstraEra → Int Source # packM ∷ PlutusScript DijkstraEra → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (PlutusScript DijkstraEra) Source #
NoThunks (PlutusScript DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts Methods noThunks ∷ Context → PlutusScript DijkstraEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PlutusScript DijkstraEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PlutusScript DijkstraEra) → String Source #
NoThunks (TxBody DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods noThunks ∷ Context → TxBody DijkstraEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxBody DijkstraEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxBody DijkstraEra) → String Source #
NoThunks (TransitionConfig DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Transition Methods noThunks ∷ Context → TransitionConfig DijkstraEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig DijkstraEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig DijkstraEra) → String Source #
HashAnnotated (TxBody DijkstraEra) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody Methods hashAnnotated ∷ TxBody DijkstraEra → SafeHash EraIndependentTxBody Source #
type ContextError DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxInfo type ContextError DijkstraEra = ConwayContextError DijkstraEra
data TxInfoResult DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxInfo data TxInfoResult DijkstraEra = DijkstraTxInfoResult (Either (ContextError DijkstraEra) (PlutusTxInfo 'PlutusV1)) (Either (ContextError DijkstraEra) (PlutusTxInfo 'PlutusV2)) (Either (ContextError DijkstraEra) (PlutusTxInfo 'PlutusV3))
newtype PlutusScript DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts newtype PlutusScript DijkstraEra = MkDijkstraPlutusScript { unDijkstraPlutusScript ∷ PlutusScript ConwayEra }
type NativeScript DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts type NativeScript DijkstraEra = Timelock DijkstraEra
type Script DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts type Script DijkstraEra = AlonzoScript DijkstraEra
type Tx DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx type Tx DijkstraEra = AlonzoTx DijkstraEra
type TxAuxData DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxAuxData type TxAuxData DijkstraEra = AlonzoTxAuxData DijkstraEra
newtype TxBody DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody newtype TxBody DijkstraEra = MkDijkstraTxBody (MemoBytes DijkstraTxBodyRaw)
type TxBodyUpgradeError DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody type TxBodyUpgradeError DijkstraEra = Void
type TxOut DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxOut type TxOut DijkstraEra = BabbageTxOut DijkstraEra
type TxSeq DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx type TxSeq DijkstraEra = AlonzoTxSeq DijkstraEra
type TxUpgradeError DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx type TxUpgradeError DijkstraEra = TxBodyUpgradeError DijkstraEra
type TxWits DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxWits type TxWits DijkstraEra = AlonzoTxWits DijkstraEra
type Value DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type Value DijkstraEra = MaryValue
type PreviousEra DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type PreviousEra DijkstraEra = ConwayEra
type ProtVerHigh DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type ProtVerHigh DijkstraEra = 12
type ProtVerLow DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type ProtVerLow DijkstraEra = 12
type TranslationContext DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationContext DijkstraEra = DijkstraGenesis
type TxCert DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert type TxCert DijkstraEra = ConwayTxCert DijkstraEra
type TxCertUpgradeError DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert type TxCertUpgradeError DijkstraEra = Void
type Genesis DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Genesis type Genesis DijkstraEra = DijkstraGenesis
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
data TransitionConfig DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Transition data TransitionConfig DijkstraEra = DijkstraTransitionConfig { dtcDijkstraGenesis ∷ !DijkstraGenesis dtcConwayTransitionConfig ∷ !(TransitionConfig ConwayEra) }
type PlutusPurpose f DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts type PlutusPurpose f DijkstraEra = ConwayPlutusPurpose f DijkstraEra
type EraRule "BBODY" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "BBODY" DijkstraEra = ConwayBBODY DijkstraEra
type EraRule "CERT" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "CERT" DijkstraEra = ConwayCERT DijkstraEra
type EraRule "CERTS" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "CERTS" DijkstraEra = ConwayCERTS DijkstraEra
type EraRule "DELEG" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "DELEG" DijkstraEra = ConwayDELEG DijkstraEra
type EraRule "DELEGS" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "DELEGS" DijkstraEra = VoidEraRule "DELEGS" DijkstraEra
type EraRule "ENACT" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "ENACT" DijkstraEra = ConwayENACT DijkstraEra
type EraRule "EPOCH" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "EPOCH" DijkstraEra = ConwayEPOCH DijkstraEra
type EraRule "GOV" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "GOV" DijkstraEra = ConwayGOV DijkstraEra
type EraRule "GOVCERT" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "GOVCERT" DijkstraEra = ConwayGOVCERT DijkstraEra
type EraRule "HARDFORK" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "HARDFORK" DijkstraEra = ConwayHARDFORK DijkstraEra
type EraRule "LEDGER" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "LEDGER" DijkstraEra = ConwayLEDGER DijkstraEra
type EraRule "LEDGERS" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "LEDGERS" DijkstraEra = ShelleyLEDGERS DijkstraEra
type EraRule "MEMPOOL" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "MEMPOOL" DijkstraEra = ConwayMEMPOOL DijkstraEra
type EraRule "MIR" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "MIR" DijkstraEra = VoidEraRule "MIR" DijkstraEra
type EraRule "NEWEPOCH" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "NEWEPOCH" DijkstraEra = ConwayNEWEPOCH DijkstraEra
type EraRule "NEWPP" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "NEWPP" DijkstraEra = VoidEraRule "NEWPP" DijkstraEra
type EraRule "POOL" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "POOL" DijkstraEra = ShelleyPOOL DijkstraEra
type EraRule "POOLREAP" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "POOLREAP" DijkstraEra = ShelleyPOOLREAP DijkstraEra
type EraRule "PPUP" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "PPUP" DijkstraEra = VoidEraRule "PPUP" DijkstraEra
type EraRule "RATIFY" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "RATIFY" DijkstraEra = ConwayRATIFY DijkstraEra
type EraRule "RUPD" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "RUPD" DijkstraEra = ShelleyRUPD DijkstraEra
type EraRule "SNAP" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "SNAP" DijkstraEra = ShelleySNAP DijkstraEra
type EraRule "TICK" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "TICK" DijkstraEra = ShelleyTICK DijkstraEra
type EraRule "TICKF" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "TICKF" DijkstraEra = ConwayTICKF DijkstraEra
type EraRule "UPEC" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "UPEC" DijkstraEra = VoidEraRule "UPEC" DijkstraEra
type EraRule "UTXO" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "UTXO" DijkstraEra = ConwayUTXO DijkstraEra
type EraRule "UTXOS" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "UTXOS" DijkstraEra = ConwayUTXOS DijkstraEra
type EraRule "UTXOW" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRule "UTXOW" DijkstraEra = ConwayUTXOW DijkstraEra
type EraRuleEvent "BBODY" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type EraRuleEvent "BBODY" DijkstraEra = AlonzoBbodyEvent DijkstraEra
type EraRuleEvent "CERT" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type EraRuleEvent "CERT" DijkstraEra = ConwayCertEvent DijkstraEra
type EraRuleEvent "CERTS" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Certs 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 Defined in Cardano.Ledger.Dijkstra.Era type EraRuleEvent "DELEGS" DijkstraEra = VoidEraRule "DELEGS" 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 "LEDGER" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type EraRuleEvent "LEDGER" DijkstraEra = ConwayLedgerEvent DijkstraEra
type EraRuleEvent "LEDGERS" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers type EraRuleEvent "LEDGERS" DijkstraEra = ShelleyLedgersEvent DijkstraEra
type EraRuleEvent "MIR" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRuleEvent "MIR" DijkstraEra = VoidEraRule "MIR" DijkstraEra
type EraRuleEvent "NEWPP" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era 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 Defined in Cardano.Ledger.Dijkstra.Era type EraRuleEvent "PPUP" DijkstraEra = VoidEraRule "PPUP" DijkstraEra
type EraRuleEvent "TICK" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules type EraRuleEvent "TICK" DijkstraEra = ShelleyTickEvent DijkstraEra
type EraRuleEvent "UPEC" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRuleEvent "UPEC" DijkstraEra = VoidEraRule "UPEC" DijkstraEra
type EraRuleEvent "UTXO" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type EraRuleEvent "UTXO" DijkstraEra = AlonzoUtxoEvent DijkstraEra
type EraRuleEvent "UTXOS" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxos type EraRuleEvent "UTXOS" DijkstraEra = ConwayUtxosEvent DijkstraEra
type EraRuleEvent "UTXOW" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow type EraRuleEvent "UTXOW" DijkstraEra = AlonzoUtxowEvent DijkstraEra
type EraRuleFailure "BBODY" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type EraRuleFailure "BBODY" DijkstraEra = ConwayBbodyPredFailure DijkstraEra
type EraRuleFailure "CERT" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type EraRuleFailure "CERT" DijkstraEra = ConwayCertPredFailure DijkstraEra
type EraRuleFailure "CERTS" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Certs 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 Defined in Cardano.Ledger.Dijkstra.Era 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 Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type EraRuleFailure "LEDGER" DijkstraEra = ConwayLedgerPredFailure DijkstraEra
type EraRuleFailure "LEDGERS" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledgers type EraRuleFailure "LEDGERS" DijkstraEra = ShelleyLedgersPredFailure DijkstraEra
type EraRuleFailure "MIR" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRuleFailure "MIR" DijkstraEra = VoidEraRule "MIR" DijkstraEra
type EraRuleFailure "NEWPP" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era 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 Defined in Cardano.Ledger.Dijkstra.Era type EraRuleFailure "PPUP" DijkstraEra = VoidEraRule "PPUP" DijkstraEra
type EraRuleFailure "UPEC" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Era type EraRuleFailure "UPEC" DijkstraEra = VoidEraRule "UPEC" DijkstraEra
type EraRuleFailure "UTXO" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type EraRuleFailure "UTXO" DijkstraEra = ConwayUtxoPredFailure DijkstraEra
type EraRuleFailure "UTXOS" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxos type EraRuleFailure "UTXOS" DijkstraEra = ConwayUtxosPredFailure DijkstraEra
type EraRuleFailure "UTXOW" DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow type EraRuleFailure "UTXOW" DijkstraEra = ConwayUtxowPredFailure DijkstraEra
type DowngradePParams f DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams type DowngradePParams f DijkstraEra = ()
type PParamsHKD f DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams type PParamsHKD f DijkstraEra = ConwayPParams f DijkstraEra
type UpgradePParams f DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams type UpgradePParams f DijkstraEra = ()
type TranslationError DijkstraEra ConwayGovState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra ConwayGovState = Void
type TranslationError DijkstraEra DRepPulsingState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra DRepPulsingState = Void
type TranslationError DijkstraEra PulsingSnapshot Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra PulsingSnapshot = Void
type TranslationError DijkstraEra EnactState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra EnactState = Void
type TranslationError DijkstraEra RatifyState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra RatifyState = Void
type TranslationError DijkstraEra GovAction Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra GovAction = Void
type TranslationError DijkstraEra GovActionState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra GovActionState = Void
type TranslationError DijkstraEra ProposalProcedure Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra ProposalProcedure = Void
type TranslationError DijkstraEra Proposals Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra Proposals = Void
type TranslationError DijkstraEra PParams Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra PParams = Void
type TranslationError DijkstraEra DState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra DState = Void
type TranslationError DijkstraEra PState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra PState = Void
type TranslationError DijkstraEra FuturePParams Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra FuturePParams = Void
type TranslationError DijkstraEra UTxO Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra UTxO = Void
type TranslationError DijkstraEra EpochState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra EpochState = Void
type TranslationError DijkstraEra LedgerState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra LedgerState = Void
type TranslationError DijkstraEra NewEpochState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra NewEpochState = Void
type TranslationError DijkstraEra UTxOState Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra UTxOState = Void
type Rep (PlutusScript DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Scripts type Rep (PlutusScript DijkstraEra) = Rep (PlutusScript ConwayEra)
type Rep (TxBody DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody type Rep (TxBody DijkstraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Dijkstra.TxBody" "cardano-ledger-dijkstra-0.1.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes DijkstraTxBodyRaw))))
type Rep (TransitionConfig DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Transition type Rep (TransitionConfig DijkstraEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Dijkstra.Transition" "cardano-ledger-dijkstra-0.1.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 RawType (TxBody DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxBody type RawType (TxBody DijkstraEra) = DijkstraTxBodyRaw

Orphan instances

Era DijkstraEra Source #
Instance details Associated Types type PreviousEra DijkstraEra = (r ∷ Type) Source # type ProtVerLow DijkstraEra ∷ Nat Source # type ProtVerHigh DijkstraEra ∷ Nat Source # Methods eraName ∷ String Source #