| License | Apache-2.0 |
|---|---|
| Safe Haskell | None |
| Language | GHC2021 |
Singular.Registry.Ledger
Description
Central type vocabulary for the cage transaction builders. Re-exports ledger types (Conway era) and defines domain types that bridge the gap between cardano-ledger representations and the Aiken on-chain validator layout.
Synopsis
- data ConwayEra
- data Addr
- data TxId
- data TxIn
- type family TxOut era = (r :: Type) | r -> era
- newtype Coin = Coin {
- unCoin :: Integer
- data MaryValue
- newtype PolicyID = PolicyID {}
- newtype AssetName = AssetName {
- assetNameBytes :: ShortByteString
- newtype SlotNo = SlotNo {
- unSlotNo :: Word64
- newtype ScriptHash = ScriptHash (Hash ADDRHASH EraIndependentScript)
- data KeyHash (r :: KeyRole)
- data KeyRole
- newtype ExUnits where
- WrapExUnits {
- unWrapExUnits :: ExUnits' Natural
- pattern ExUnits :: Natural -> Natural -> ExUnits
- WrapExUnits {
- data PParams era
- type ConwayTxBody = TxBody 'TopTx ConwayEra
- newtype TokenId = TokenId {}
- newtype Root = Root {
- unRoot :: ByteString
- data TokenState = TokenState {
- owner :: !(KeyHash 'Payment)
- root :: !Root
- tip :: !Coin
- processTime :: !Integer
- retractTime :: !Integer
Ledger re-exports
Instances
| AllegraEraScript ConwayEra # | |||||||||||||||||
| AllegraEraTxAuxData ConwayEra # | |||||||||||||||||
| AllegraEraTxBody ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxBody Methods vldtTxBodyL :: forall (l :: TxLevel). Lens' (TxBody l ConwayEra) ValidityInterval | |||||||||||||||||
| AlonzoEraPParams ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.PParams Methods hkdCoinsPerUTxOWordL :: forall (f :: Type -> Type). (HKDFunctor f, ExactEra AlonzoEra ConwayEra) => Lens' (PParamsHKD f ConwayEra) (HKD f CoinPerWord) hkdCostModelsL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f CostModels) hkdPricesL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f Prices) hkdMaxTxExUnitsL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f ExUnits) hkdMaxBlockExUnitsL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f ExUnits) hkdMaxValSizeL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f Word32) hkdCollateralPercentageL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f Word16) hkdMaxCollateralInputsL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f Word16) | |||||||||||||||||
| EraPlutusContext ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxInfo Associated Types
Methods mkSupportedLanguage :: Language -> Maybe (SupportedLanguage ConwayEra) mkTxInfoResult :: LedgerTxInfo ConwayEra -> TxInfoResult ConwayEra lookupTxInfoResult :: forall (l :: Language). EraPlutusTxInfo l ConwayEra => SLanguage l -> TxInfoResult ConwayEra -> Either (ContextError ConwayEra) (PlutusTxInfo l) mkPlutusWithContext :: PlutusScript ConwayEra -> ScriptHash -> PlutusPurpose AsIxItem ConwayEra -> LedgerTxInfo ConwayEra -> TxInfoResult ConwayEra -> (Data ConwayEra, ExUnits) -> CostModel -> Either (ContextError ConwayEra) PlutusWithContext | |||||||||||||||||
| AlonzoEraScript ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Scripts Associated Types
Methods eraMaxLanguage :: Language toPlutusScript :: Script ConwayEra -> Maybe (PlutusScript ConwayEra) fromPlutusScript :: PlutusScript ConwayEra -> Script ConwayEra mkPlutusScript :: forall (l :: Language) m. (PlutusLanguage l, MonadFail m) => Plutus l -> m (PlutusScript ConwayEra) withPlutusScript :: PlutusScript ConwayEra -> (forall (l :: Language). PlutusLanguage l => Plutus l -> a) -> a hoistPlutusPurpose :: (forall ix it. g ix it -> f ix it) -> PlutusPurpose g ConwayEra -> PlutusPurpose f ConwayEra mkSpendingPurpose :: f Word32 TxIn -> PlutusPurpose f ConwayEra toSpendingPurpose :: PlutusPurpose f ConwayEra -> Maybe (f Word32 TxIn) mkMintingPurpose :: f Word32 PolicyID -> PlutusPurpose f ConwayEra toMintingPurpose :: PlutusPurpose f ConwayEra -> Maybe (f Word32 PolicyID) mkCertifyingPurpose :: f Word32 (TxCert ConwayEra) -> PlutusPurpose f ConwayEra toCertifyingPurpose :: PlutusPurpose f ConwayEra -> Maybe (f Word32 (TxCert ConwayEra)) mkRewardingPurpose :: f Word32 AccountAddress -> PlutusPurpose f ConwayEra toRewardingPurpose :: PlutusPurpose f ConwayEra -> Maybe (f Word32 AccountAddress) upgradePlutusPurposeAsIx :: PlutusPurpose AsIx (PreviousEra ConwayEra) -> PlutusPurpose AsIx ConwayEra | |||||||||||||||||
| AlonzoEraTx ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Tx Methods isValidTxL :: Lens' (Tx 'TopTx ConwayEra) IsValid | |||||||||||||||||
| AlonzoEraTxAuxData ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxAuxData Methods plutusScriptsTxAuxDataL :: Lens' (TxAuxData ConwayEra) (Map Language (NonEmpty PlutusBinary)) | |||||||||||||||||
| AlonzoEraTxBody ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxBody Methods collateralInputsTxBodyL :: Lens' (TxBody 'TopTx ConwayEra) (Set TxIn) reqSignerHashesTxBodyL :: forall (l :: TxLevel). AtMostEra "Conway" ConwayEra => Lens' (TxBody l ConwayEra) (Set (KeyHash 'Guard)) reqSignerHashesTxBodyG :: forall (l :: TxLevel). SimpleGetter (TxBody l ConwayEra) (Set (KeyHash 'Guard)) scriptIntegrityHashTxBodyL :: forall (l :: TxLevel). Lens' (TxBody l ConwayEra) (StrictMaybe ScriptIntegrityHash) networkIdTxBodyL :: forall (l :: TxLevel). Lens' (TxBody l ConwayEra) (StrictMaybe Network) redeemerPointer :: forall (l :: TxLevel). TxBody l ConwayEra -> PlutusPurpose AsItem ConwayEra -> StrictMaybe (PlutusPurpose AsIx ConwayEra) redeemerPointerInverse :: forall (l :: TxLevel). TxBody l ConwayEra -> PlutusPurpose AsIx ConwayEra -> StrictMaybe (PlutusPurpose AsIxItem ConwayEra) | |||||||||||||||||
| AlonzoEraTxOut ConwayEra # | |||||||||||||||||
| AlonzoEraTxWits ConwayEra # | |||||||||||||||||
| AlonzoEraUTxO ConwayEra # | |||||||||||||||||
| EraApi ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Api.Era Associated Types
Methods upgradeTx :: forall (l :: TxLevel). EraTx (PreviousEra ConwayEra) => Tx l (PreviousEra ConwayEra) -> Either (TxUpgradeError ConwayEra) (Tx l ConwayEra) upgradeTxBody :: forall (l :: TxLevel). EraTxBody (PreviousEra ConwayEra) => TxBody l (PreviousEra ConwayEra) -> Either (TxBodyUpgradeError ConwayEra) (TxBody l ConwayEra) upgradeTxAuxData :: TxAuxData (PreviousEra ConwayEra) -> TxAuxData ConwayEra upgradeTxWits :: TxWits (PreviousEra ConwayEra) -> TxWits ConwayEra upgradeNativeScript :: NativeScript (PreviousEra ConwayEra) -> NativeScript ConwayEra | |||||||||||||||||
| AnyEraScript ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Api.Scripts Methods anyEraMaxLanguage :: Maybe Language anyEraToPlutusScript :: Script ConwayEra -> Maybe (PlutusScript ConwayEra) anyEraToSpendingPurpose :: PlutusPurpose f ConwayEra -> Maybe (f Word32 TxIn) anyEraToMintingPurpose :: PlutusPurpose f ConwayEra -> Maybe (f Word32 PolicyID) anyEraToCertifyingPurpose :: PlutusPurpose f ConwayEra -> Maybe (f Word32 (TxCert ConwayEra)) anyEraToRewardingPurpose :: PlutusPurpose f ConwayEra -> Maybe (f Word32 AccountAddress) anyEraToVotingPurpose :: PlutusPurpose f ConwayEra -> Maybe (f Word32 Voter) anyEraToProposingPurpose :: PlutusPurpose f ConwayEra -> Maybe (f Word32 (ProposalProcedure ConwayEra)) anyEraToGuardingPurpose :: PlutusPurpose f ConwayEra -> Maybe (f Word32 ScriptHash) | |||||||||||||||||
| AnyEraTx ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Api.Tx Methods isValidTxG :: SimpleGetter (Tx 'TopTx ConwayEra) (Maybe IsValid) | |||||||||||||||||
| AnyEraTxAuxData ConwayEra # | |||||||||||||||||
| AnyEraTxBody ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Api.Tx.Body Methods updateTxBodyG :: SimpleGetter (TxBody 'TopTx ConwayEra) (Maybe (Maybe (Update ConwayEra))) vldtTxBodyG :: SimpleGetter (TxBody 'TopTx ConwayEra) ValidityInterval mintTxBodyG :: forall (l :: TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe MultiAsset) collateralInputsTxBodyG :: SimpleGetter (TxBody 'TopTx ConwayEra) (Maybe (Set TxIn)) scriptIntegrityHashTxBodyG :: forall (l :: TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe (Maybe ScriptIntegrityHash)) networkIdTxBodyG :: forall (l :: TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe (Maybe Network)) sizedOutputsTxBodyG :: forall (l :: TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe (StrictSeq (Sized (TxOut ConwayEra)))) referenceInputsTxBodyG :: forall (l :: TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe (Set TxIn)) totalCollateralTxBodyG :: SimpleGetter (TxBody 'TopTx ConwayEra) (Maybe (Maybe Coin)) collateralReturnTxBodyG :: SimpleGetter (TxBody 'TopTx ConwayEra) (Maybe (Maybe (TxOut ConwayEra))) sizedCollateralReturnTxBodyG :: SimpleGetter (TxBody 'TopTx ConwayEra) (Maybe (Maybe (Sized (TxOut ConwayEra)))) currentTreasuryValueTxBodyG :: forall (l :: TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe (Maybe Coin)) votingProceduresTxBodyG :: forall (l :: TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe (VotingProcedures ConwayEra)) proposalProceduresTxBodyG :: forall (l :: TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe (OSet (ProposalProcedure ConwayEra))) treasuryDonationTxBodyG :: forall (l :: TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe Coin) guardsTxBodyG :: forall (l :: TxLevel). SimpleGetter (TxBody l ConwayEra) (Maybe (OSet (Credential 'Guard))) | |||||||||||||||||
| AnyEraTxCert ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Api.Tx.Cert Methods anyEraToRegTxCert :: TxCert ConwayEra -> Maybe (Credential 'Staking) anyEraToUnRegTxCert :: TxCert ConwayEra -> Maybe (Credential 'Staking) anyEraToGenesisDelegTxCert :: TxCert ConwayEra -> Maybe GenesisDelegCert anyEraToMirTxCert :: TxCert ConwayEra -> Maybe MIRCert anyEraToRegDepositTxCert :: TxCert ConwayEra -> Maybe (Credential 'Staking, Coin) anyEraToUnRegDepositTxCert :: TxCert ConwayEra -> Maybe (Credential 'Staking, Coin) anyEraToDelegTxCert :: TxCert ConwayEra -> Maybe (Credential 'Staking, Delegatee) anyEraToRegDepositDelegTxCert :: TxCert ConwayEra -> Maybe (Credential 'Staking, Delegatee, Coin) anyEraToAuthCommitteeHotKeyTxCert :: TxCert ConwayEra -> Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) anyEraToResignCommitteeColdTxCert :: TxCert ConwayEra -> Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) anyEraToRegDRepTxCert :: TxCert ConwayEra -> Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) anyEraToUnRegDRepTxCert :: TxCert ConwayEra -> Maybe (Credential 'DRepRole, Coin) anyEraToUpdateDRepTxCert :: TxCert ConwayEra -> Maybe (Credential 'DRepRole, StrictMaybe Anchor) | |||||||||||||||||
| AnyEraTxOut ConwayEra # | |||||||||||||||||
| AnyEraTxWits ConwayEra # | |||||||||||||||||
| BabbageEraPParams ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.PParams Methods hkdCoinsPerUTxOByteL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f CoinPerByte) | |||||||||||||||||
| BabbageEraTxBody ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxBody Methods sizedOutputsTxBodyL :: forall (l :: TxLevel). Lens' (TxBody l ConwayEra) (StrictSeq (Sized (TxOut ConwayEra))) referenceInputsTxBodyL :: forall (l :: TxLevel). Lens' (TxBody l ConwayEra) (Set TxIn) totalCollateralTxBodyL :: Lens' (TxBody 'TopTx ConwayEra) (StrictMaybe Coin) collateralReturnTxBodyL :: Lens' (TxBody 'TopTx ConwayEra) (StrictMaybe (TxOut ConwayEra)) sizedCollateralReturnTxBodyL :: Lens' (TxBody 'TopTx ConwayEra) (StrictMaybe (Sized (TxOut ConwayEra))) allSizedOutputsTxBodyF :: forall (l :: TxLevel). SimpleGetter (TxBody l ConwayEra) (StrictSeq (Sized (TxOut ConwayEra))) | |||||||||||||||||
| BabbageEraTxOut ConwayEra # | |||||||||||||||||
| ConwayEraGov ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Governance Methods constitutionGovStateL :: Lens' (GovState ConwayEra) (Constitution ConwayEra) proposalsGovStateL :: Lens' (GovState ConwayEra) (Proposals ConwayEra) drepPulsingStateGovStateL :: Lens' (GovState ConwayEra) (DRepPulsingState ConwayEra) committeeGovStateL :: Lens' (GovState ConwayEra) (StrictMaybe (Committee ConwayEra)) | |||||||||||||||||
| RunConwayRatify ConwayEra # | |||||||||||||||||
| ConwayEraPParams ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.PParams Methods modifiedPPGroups :: PParamsUpdate ConwayEra -> Set PPGroups ppuWellFormed :: ProtVer -> PParamsUpdate ConwayEra -> Bool hkdPoolVotingThresholdsL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f PoolVotingThresholds) hkdDRepVotingThresholdsL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f DRepVotingThresholds) hkdCommitteeMinSizeL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f Word16) hkdCommitteeMaxTermLengthL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f EpochInterval) hkdGovActionLifetimeL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f EpochInterval) hkdGovActionDepositCompactL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f (CompactForm Coin)) hkdDRepDepositCompactL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f (CompactForm Coin)) hkdDRepActivityL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f EpochInterval) hkdMinFeeRefScriptCostPerByteL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f NonNegativeInterval) ppMaxRefScriptSizePerTxG :: SimpleGetter (PParams ConwayEra) Word32 ppMaxRefScriptSizePerBlockG :: SimpleGetter (PParams ConwayEra) Word32 ppRefScriptCostMultiplierG :: SimpleGetter (PParams ConwayEra) PositiveInterval ppRefScriptCostStrideG :: SimpleGetter (PParams ConwayEra) (NonZero Word32) | |||||||||||||||||
| ConwayEraScript ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Scripts Methods mkVotingPurpose :: f Word32 Voter -> PlutusPurpose f ConwayEra toVotingPurpose :: PlutusPurpose f ConwayEra -> Maybe (f Word32 Voter) mkProposingPurpose :: f Word32 (ProposalProcedure ConwayEra) -> PlutusPurpose f ConwayEra toProposingPurpose :: PlutusPurpose f ConwayEra -> Maybe (f Word32 (ProposalProcedure ConwayEra)) | |||||||||||||||||
| ConwayEraAccounts ConwayEra # | |||||||||||||||||
| ConwayEraCertState ConwayEra # | |||||||||||||||||
| ConwayEraTransition ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Transition Methods tcConwayGenesisL :: Lens' (TransitionConfig ConwayEra) ConwayGenesis | |||||||||||||||||
| ConwayEraTxBody ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxBody Methods currentTreasuryValueTxBodyL :: forall (l :: TxLevel). Lens' (TxBody l ConwayEra) (StrictMaybe Coin) votingProceduresTxBodyL :: forall (l :: TxLevel). Lens' (TxBody l ConwayEra) (VotingProcedures ConwayEra) proposalProceduresTxBodyL :: forall (l :: TxLevel). Lens' (TxBody l ConwayEra) (OSet (ProposalProcedure ConwayEra)) treasuryDonationTxBodyL :: forall (l :: TxLevel). Lens' (TxBody l ConwayEra) Coin | |||||||||||||||||
| ConwayEraTxCert ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxCert Methods mkRegDepositTxCert :: Credential 'Staking -> Coin -> TxCert ConwayEra getRegDepositTxCert :: TxCert ConwayEra -> Maybe (Credential 'Staking, Coin) mkUnRegDepositTxCert :: Credential 'Staking -> Coin -> TxCert ConwayEra getUnRegDepositTxCert :: TxCert ConwayEra -> Maybe (Credential 'Staking, Coin) mkDelegTxCert :: Credential 'Staking -> Delegatee -> TxCert ConwayEra getDelegTxCert :: TxCert ConwayEra -> Maybe (Credential 'Staking, Delegatee) mkRegDepositDelegTxCert :: Credential 'Staking -> Delegatee -> Coin -> TxCert ConwayEra getRegDepositDelegTxCert :: TxCert ConwayEra -> Maybe (Credential 'Staking, Delegatee, Coin) mkAuthCommitteeHotKeyTxCert :: Credential 'ColdCommitteeRole -> Credential 'HotCommitteeRole -> TxCert ConwayEra getAuthCommitteeHotKeyTxCert :: TxCert ConwayEra -> Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) mkResignCommitteeColdTxCert :: Credential 'ColdCommitteeRole -> StrictMaybe Anchor -> TxCert ConwayEra getResignCommitteeColdTxCert :: TxCert ConwayEra -> Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) mkRegDRepTxCert :: Credential 'DRepRole -> Coin -> StrictMaybe Anchor -> TxCert ConwayEra getRegDRepTxCert :: TxCert ConwayEra -> Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) mkUnRegDRepTxCert :: Credential 'DRepRole -> Coin -> TxCert ConwayEra getUnRegDRepTxCert :: TxCert ConwayEra -> Maybe (Credential 'DRepRole, Coin) mkUpdateDRepTxCert :: Credential 'DRepRole -> StrictMaybe Anchor -> TxCert ConwayEra getUpdateDRepTxCert :: TxCert ConwayEra -> Maybe (Credential 'DRepRole, StrictMaybe Anchor) | |||||||||||||||||
| EraBlockBody ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.BlockBody Associated Types
| |||||||||||||||||
| EraScript ConwayEra # | |||||||||||||||||
| EraTx ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Tx Associated Types
Methods mkBasicTx :: forall (l :: TxLevel). TxBody l ConwayEra -> Tx l ConwayEra bodyTxL :: forall (l :: TxLevel). Lens' (Tx l ConwayEra) (TxBody l ConwayEra) witsTxL :: forall (l :: TxLevel). Lens' (Tx l ConwayEra) (TxWits ConwayEra) auxDataTxL :: forall (l :: TxLevel). Lens' (Tx l ConwayEra) (StrictMaybe (TxAuxData ConwayEra)) sizeTxF :: forall (l :: TxLevel). HasCallStack => SimpleGetter (Tx l ConwayEra) Word32 sizeTxForFeeCalculation :: forall (l :: TxLevel). (HasCallStack, SafeToHash (TxWits ConwayEra), Typeable l) => Tx l ConwayEra -> Word32 validateNativeScript :: forall (l :: TxLevel). Tx l ConwayEra -> NativeScript ConwayEra -> Bool getMinFeeTx :: forall (l :: TxLevel). PParams ConwayEra -> Tx l ConwayEra -> Int -> Coin | |||||||||||||||||
| EraTxAuxData ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxAuxData Associated Types
| |||||||||||||||||
| EraTxBody ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxBody Associated Types
Methods mkBasicTxBody :: forall (l :: TxLevel). Typeable l => TxBody l ConwayEra inputsTxBodyL :: forall (l :: TxLevel). Lens' (TxBody l ConwayEra) (Set TxIn) outputsTxBodyL :: forall (l :: TxLevel). Lens' (TxBody l ConwayEra) (StrictSeq (TxOut ConwayEra)) feeTxBodyL :: Lens' (TxBody 'TopTx ConwayEra) Coin withdrawalsTxBodyL :: forall (l :: TxLevel). Lens' (TxBody l ConwayEra) Withdrawals auxDataHashTxBodyL :: forall (l :: TxLevel). Lens' (TxBody l ConwayEra) (StrictMaybe TxAuxDataHash) spendableInputsTxBodyF :: forall (l :: TxLevel). SimpleGetter (TxBody l ConwayEra) (Set TxIn) allInputsTxBodyF :: SimpleGetter (TxBody 'TopTx ConwayEra) (Set TxIn) certsTxBodyL :: forall (l :: TxLevel). Lens' (TxBody l ConwayEra) (StrictSeq (TxCert ConwayEra)) getTotalDepositsTxBody :: forall (l :: TxLevel). PParams ConwayEra -> (KeyHash 'StakePool -> Bool) -> TxBody l ConwayEra -> Coin getTotalRefundsTxBody :: forall (l :: TxLevel). PParams ConwayEra -> (Credential 'Staking -> Maybe Coin) -> (Credential 'DRepRole -> Maybe Coin) -> TxBody l ConwayEra -> Coin getGenesisKeyHashCountTxBody :: TxBody 'TopTx ConwayEra -> Int | |||||||||||||||||
| EraTxOut ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxOut Methods mkBasicTxOut :: Addr -> Value ConwayEra -> TxOut ConwayEra upgradeTxOut :: TxOut (PreviousEra ConwayEra) -> TxOut ConwayEra valueTxOutL :: Lens' (TxOut ConwayEra) (Value ConwayEra) compactValueTxOutL :: Lens' (TxOut ConwayEra) (CompactForm (Value ConwayEra)) valueEitherTxOutL :: Lens' (TxOut ConwayEra) (Either (Value ConwayEra) (CompactForm (Value ConwayEra))) addrTxOutL :: Lens' (TxOut ConwayEra) Addr compactAddrTxOutL :: Lens' (TxOut ConwayEra) CompactAddr addrEitherTxOutL :: Lens' (TxOut ConwayEra) (Either Addr CompactAddr) getMinCoinSizedTxOut :: PParams ConwayEra -> Sized (TxOut ConwayEra) -> Coin getMinCoinTxOut :: PParams ConwayEra -> TxOut ConwayEra -> Coin | |||||||||||||||||
| EraTxWits ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxWits Associated Types
| |||||||||||||||||
| EraPParams ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.PParams Associated Types
Methods applyPPUpdates :: PParams ConwayEra -> PParamsUpdate ConwayEra -> PParams ConwayEra emptyPParamsIdentity :: PParamsHKD Identity ConwayEra emptyPParamsStrictMaybe :: PParamsHKD StrictMaybe ConwayEra emptyUpgradePParamsUpdate :: UpgradePParams StrictMaybe ConwayEra upgradePParamsHKD :: forall (f :: Type -> Type). (HKDApplicative f, EraPParams (PreviousEra ConwayEra)) => UpgradePParams f ConwayEra -> PParamsHKD f (PreviousEra ConwayEra) -> PParamsHKD f ConwayEra downgradePParamsHKD :: forall (f :: Type -> Type). (HKDFunctor f, EraPParams (PreviousEra ConwayEra)) => DowngradePParams f ConwayEra -> PParamsHKD f ConwayEra -> PParamsHKD f (PreviousEra ConwayEra) hkdTxFeePerByteL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f CoinPerByte) hkdTxFeeFixedCompactL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f (CompactForm Coin)) hkdMaxBBSizeL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f Word32) hkdMaxTxSizeL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f Word32) hkdMaxBHSizeL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f Word16) hkdKeyDepositCompactL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f (CompactForm Coin)) hkdPoolDepositCompactL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f (CompactForm Coin)) hkdEMaxL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f EpochInterval) hkdNOptL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f Word16) hkdA0L :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f NonNegativeInterval) hkdRhoL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f UnitInterval) hkdTauL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f UnitInterval) hkdDL :: forall (f :: Type -> Type). (HKDFunctor f, AtMostEra "Alonzo" ConwayEra) => Lens' (PParamsHKD f ConwayEra) (HKD f UnitInterval) ppDG :: SimpleGetter (PParams ConwayEra) UnitInterval hkdExtraEntropyL :: forall (f :: Type -> Type). (HKDFunctor f, AtMostEra "Alonzo" ConwayEra) => Lens' (PParamsHKD f ConwayEra) (HKD f Nonce) hkdProtocolVersionL :: forall (f :: Type -> Type). (HKDFunctor f, AtMostEra "Babbage" ConwayEra) => Lens' (PParamsHKD f ConwayEra) (HKD f ProtVer) ppProtocolVersionL :: Lens' (PParams ConwayEra) ProtVer ppuProtocolVersionL :: Lens' (PParamsUpdate ConwayEra) (StrictMaybe ProtVer) hkdMinUTxOValueCompactL :: forall (f :: Type -> Type). (HKDFunctor f, AtMostEra "Mary" ConwayEra) => Lens' (PParamsHKD f ConwayEra) (HKD f (CompactForm Coin)) hkdMinPoolCostCompactL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f ConwayEra) (HKD f (CompactForm Coin)) eraPParams :: [PParam ConwayEra] | |||||||||||||||||
| EraTxCert ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxCert Associated Types
Methods upgradeTxCert :: TxCert (PreviousEra ConwayEra) -> Either (TxCertUpgradeError ConwayEra) (TxCert ConwayEra) getVKeyWitnessTxCert :: TxCert ConwayEra -> Maybe (KeyHash 'Witness) getScriptWitnessTxCert :: TxCert ConwayEra -> Maybe ScriptHash mkRegPoolTxCert :: StakePoolParams -> TxCert ConwayEra getRegPoolTxCert :: TxCert ConwayEra -> Maybe StakePoolParams mkRetirePoolTxCert :: KeyHash 'StakePool -> EpochNo -> TxCert ConwayEra getRetirePoolTxCert :: TxCert ConwayEra -> Maybe (KeyHash 'StakePool, EpochNo) lookupRegStakeTxCert :: TxCert ConwayEra -> Maybe (Credential 'Staking) lookupUnRegStakeTxCert :: TxCert ConwayEra -> Maybe (Credential 'Staking) getTotalDepositsTxCerts :: Foldable f => PParams ConwayEra -> (KeyHash 'StakePool -> Bool) -> f (TxCert ConwayEra) -> Coin getTotalRefundsTxCerts :: Foldable f => PParams ConwayEra -> (Credential 'Staking -> Maybe Coin) -> (Credential 'DRepRole -> Maybe Coin) -> f (TxCert ConwayEra) -> Coin | |||||||||||||||||
| EraTxLevel ConwayEra # | |||||||||||||||||
| EraGenesis ConwayEra # | |||||||||||||||||
| EraAccounts ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.State.Account Methods addAccountState :: Credential 'Staking -> AccountState ConwayEra -> Accounts ConwayEra -> Accounts ConwayEra accountsMapL :: Lens' (Accounts ConwayEra) (Map (Credential 'Staking) (AccountState ConwayEra)) balanceAccountStateL :: Lens' (AccountState ConwayEra) (CompactForm Coin) depositAccountStateL :: Lens' (AccountState ConwayEra) (CompactForm Coin) stakePoolDelegationAccountStateL :: Lens' (AccountState ConwayEra) (Maybe (KeyHash 'StakePool)) unregisterAccount :: Credential 'Staking -> Accounts ConwayEra -> (Maybe (AccountState ConwayEra), Accounts ConwayEra) | |||||||||||||||||
| EraCertState ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.State.CertState Associated Types
Methods certDStateL :: Lens' (CertState ConwayEra) (DState ConwayEra) certPStateL :: Lens' (CertState ConwayEra) (PState ConwayEra) obligationCertState :: CertState ConwayEra -> Obligations certsTotalDepositsTxBody :: forall (t :: TxLevel). EraTxBody ConwayEra => PParams ConwayEra -> CertState ConwayEra -> TxBody t ConwayEra -> Coin certsTotalRefundsTxBody :: forall (t :: TxLevel). EraTxBody ConwayEra => PParams ConwayEra -> CertState ConwayEra -> TxBody t ConwayEra -> Coin | |||||||||||||||||
| EraGov ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Governance Associated Types
Methods emptyGovState :: GovState ConwayEra curPParamsGovStateL :: Lens' (GovState ConwayEra) (PParams ConwayEra) prevPParamsGovStateL :: Lens' (GovState ConwayEra) (PParams ConwayEra) futurePParamsGovStateL :: Lens' (GovState ConwayEra) (FuturePParams ConwayEra) obligationGovState :: GovState ConwayEra -> Obligations | |||||||||||||||||
| EraStake ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.State.Stake Associated Types
Methods instantStakeCredentialsL :: Lens' (InstantStake ConwayEra) (Map (Credential 'Staking) (CompactForm Coin)) addInstantStake :: UTxO ConwayEra -> InstantStake ConwayEra -> InstantStake ConwayEra deleteInstantStake :: UTxO ConwayEra -> InstantStake ConwayEra -> InstantStake ConwayEra resolveInstantStake :: InstantStake ConwayEra -> Accounts ConwayEra -> ActiveStake | |||||||||||||||||
| EraUTxO ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.UTxO Associated Types
Methods consumed :: forall (t :: TxLevel). PParams ConwayEra -> CertState ConwayEra -> UTxO ConwayEra -> TxBody t ConwayEra -> Value ConwayEra getConsumedValue :: forall (t :: TxLevel). PParams ConwayEra -> (Credential 'Staking -> Maybe Coin) -> (Credential 'DRepRole -> Maybe Coin) -> UTxO ConwayEra -> TxBody t ConwayEra -> Value ConwayEra getProducedValue :: forall (t :: TxLevel). PParams ConwayEra -> (KeyHash 'StakePool -> Bool) -> TxBody t ConwayEra -> Value ConwayEra getScriptsProvided :: forall (t :: TxLevel). UTxO ConwayEra -> Tx t ConwayEra -> ScriptsProvided ConwayEra getScriptsNeeded :: forall (t :: TxLevel). UTxO ConwayEra -> TxBody t ConwayEra -> ScriptsNeeded ConwayEra getScriptsHashesNeeded :: ScriptsNeeded ConwayEra -> Set ScriptHash getWitsVKeyNeeded :: forall (t :: TxLevel). CertState ConwayEra -> UTxO ConwayEra -> TxBody t ConwayEra -> Set (KeyHash 'Witness) getMinFeeTxUtxo :: forall (t :: TxLevel). PParams ConwayEra -> Tx t ConwayEra -> UTxO ConwayEra -> Coin | |||||||||||||||||
| Era ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Internal.Definition.Era Associated Types
Methods eraName :: String | |||||||||||||||||
| MaryEraTxBody ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxBody | |||||||||||||||||
| ApplyTx ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway Associated Types
| |||||||||||||||||
| ApplyBlock ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway Methods applyBlock :: forall (ep :: EventPolicy). SingEP ep -> ValidationPolicy -> Globals -> NewEpochState ConwayEra -> Block BHeaderView ConwayEra -> (NewEpochState ConwayEra, [PredicateFailure (EraRule "BBODY" ConwayEra)], [Event (EraRule "BBODY" ConwayEra)]) applyTick :: forall (ep :: EventPolicy). SingEP ep -> Globals -> NewEpochState ConwayEra -> SlotNo -> (NewEpochState ConwayEra, [Event (EraRule "TICK" ConwayEra)]) | |||||||||||||||||
| ShelleyEraScript ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Scripts Methods mkRequireSignature :: KeyHash 'Witness -> NativeScript ConwayEra getRequireSignature :: NativeScript ConwayEra -> Maybe (KeyHash 'Witness) mkRequireAllOf :: StrictSeq (NativeScript ConwayEra) -> NativeScript ConwayEra getRequireAllOf :: NativeScript ConwayEra -> Maybe (StrictSeq (NativeScript ConwayEra)) mkRequireAnyOf :: StrictSeq (NativeScript ConwayEra) -> NativeScript ConwayEra getRequireAnyOf :: NativeScript ConwayEra -> Maybe (StrictSeq (NativeScript ConwayEra)) mkRequireMOf :: Int -> StrictSeq (NativeScript ConwayEra) -> NativeScript ConwayEra getRequireMOf :: NativeScript ConwayEra -> Maybe (Int, StrictSeq (NativeScript ConwayEra)) | |||||||||||||||||
| EraTransition ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Transition Associated Types
Methods mkTransitionConfig :: TranslationContext ConwayEra -> TransitionConfig (PreviousEra ConwayEra) -> TransitionConfig ConwayEra injectIntoTestState :: TransitionConfig ConwayEra -> NewEpochState ConwayEra -> NewEpochState ConwayEra tcPreviousEraConfigL :: Lens' (TransitionConfig ConwayEra) (TransitionConfig (PreviousEra ConwayEra)) tcTranslationContextL :: Lens' (TransitionConfig ConwayEra) (TranslationContext ConwayEra) tcShelleyGenesisL :: Lens' (TransitionConfig ConwayEra) ShelleyGenesis tcInitialPParamsG :: SimpleGetter (TransitionConfig ConwayEra) (PParams ConwayEra) toTransitionConfigKeyValuePairs :: KeyValue e a => TransitionConfig ConwayEra -> [a] parseTransitionConfigJSON :: Value -> Parser (TransitionConfig ConwayEra) | |||||||||||||||||
| ShelleyEraTxCert ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxCert Methods mkRegTxCert :: Credential 'Staking -> TxCert ConwayEra getRegTxCert :: TxCert ConwayEra -> Maybe (Credential 'Staking) mkUnRegTxCert :: Credential 'Staking -> TxCert ConwayEra getUnRegTxCert :: TxCert ConwayEra -> Maybe (Credential 'Staking) mkDelegStakeTxCert :: Credential 'Staking -> KeyHash 'StakePool -> TxCert ConwayEra getDelegStakeTxCert :: TxCert ConwayEra -> Maybe (Credential 'Staking, KeyHash 'StakePool) mkGenesisDelegTxCert :: GenesisDelegCert -> TxCert ConwayEra getGenesisDelegTxCert :: TxCert ConwayEra -> Maybe GenesisDelegCert mkMirTxCert :: MIRCert -> TxCert ConwayEra getMirTxCert :: TxCert ConwayEra -> Maybe MIRCert | |||||||||||||||||
| EraPlutusTxInfo 'PlutusV1 ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusTxCert :: proxy 'PlutusV1 -> ProtVer -> TxCert ConwayEra -> Either (ContextError ConwayEra) (PlutusTxCert 'PlutusV1) toPlutusScriptPurpose :: proxy 'PlutusV1 -> ProtVer -> PlutusPurpose AsIxItem ConwayEra -> Either (ContextError ConwayEra) (PlutusScriptPurpose 'PlutusV1) toPlutusTxInfo :: proxy 'PlutusV1 -> LedgerTxInfo ConwayEra -> Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV1) toPlutusArgs :: proxy 'PlutusV1 -> ProtVer -> PlutusTxInfo 'PlutusV1 -> PlutusPurpose AsIxItem ConwayEra -> Maybe (Data ConwayEra) -> Data ConwayEra -> Either (ContextError ConwayEra) (PlutusArgs 'PlutusV1) toPlutusTxInInfo :: proxy 'PlutusV1 -> UTxO ConwayEra -> TxIn -> Either (ContextError ConwayEra) (PlutusTxInInfo ConwayEra 'PlutusV1) | |||||||||||||||||
| EraPlutusTxInfo 'PlutusV2 ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusTxCert :: proxy 'PlutusV2 -> ProtVer -> TxCert ConwayEra -> Either (ContextError ConwayEra) (PlutusTxCert 'PlutusV2) toPlutusScriptPurpose :: proxy 'PlutusV2 -> ProtVer -> PlutusPurpose AsIxItem ConwayEra -> Either (ContextError ConwayEra) (PlutusScriptPurpose 'PlutusV2) toPlutusTxInfo :: proxy 'PlutusV2 -> LedgerTxInfo ConwayEra -> Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV2) toPlutusArgs :: proxy 'PlutusV2 -> ProtVer -> PlutusTxInfo 'PlutusV2 -> PlutusPurpose AsIxItem ConwayEra -> Maybe (Data ConwayEra) -> Data ConwayEra -> Either (ContextError ConwayEra) (PlutusArgs 'PlutusV2) toPlutusTxInInfo :: proxy 'PlutusV2 -> UTxO ConwayEra -> TxIn -> Either (ContextError ConwayEra) (PlutusTxInInfo ConwayEra 'PlutusV2) | |||||||||||||||||
| EraPlutusTxInfo 'PlutusV3 ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusTxCert :: proxy 'PlutusV3 -> ProtVer -> TxCert ConwayEra -> Either (ContextError ConwayEra) (PlutusTxCert 'PlutusV3) toPlutusScriptPurpose :: proxy 'PlutusV3 -> ProtVer -> PlutusPurpose AsIxItem ConwayEra -> Either (ContextError ConwayEra) (PlutusScriptPurpose 'PlutusV3) toPlutusTxInfo :: proxy 'PlutusV3 -> LedgerTxInfo ConwayEra -> Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV3) toPlutusArgs :: proxy 'PlutusV3 -> ProtVer -> PlutusTxInfo 'PlutusV3 -> PlutusPurpose AsIxItem ConwayEra -> Maybe (Data ConwayEra) -> Data ConwayEra -> Either (ContextError ConwayEra) (PlutusArgs 'PlutusV3) toPlutusTxInInfo :: proxy 'PlutusV3 -> UTxO ConwayEra -> TxIn -> Either (ContextError ConwayEra) (PlutusTxInInfo ConwayEra 'PlutusV3) | |||||||||||||||||
| ConwayEraPlutusTxInfo 'PlutusV3 ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxInfo Methods toPlutusChangedParameters :: proxy 'PlutusV3 -> PParamsUpdate ConwayEra -> ChangedParameters | |||||||||||||||||
| TranslateEra ConwayEra PParams # | |||||||||||||||||
| TranslateEra ConwayEra DState # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation Associated Types
| |||||||||||||||||
| TranslateEra ConwayEra PState # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation Associated Types
| |||||||||||||||||
| TranslateEra ConwayEra FuturePParams # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation Associated Types
| |||||||||||||||||
| TranslateEra ConwayEra UTxO # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation Associated Types
| |||||||||||||||||
| TranslateEra ConwayEra EpochState # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation Associated Types
| |||||||||||||||||
| TranslateEra ConwayEra LedgerState # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation Associated Types
| |||||||||||||||||
| TranslateEra ConwayEra NewEpochState # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation Associated Types
| |||||||||||||||||
| TranslateEra ConwayEra UTxOState # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation Associated Types
| |||||||||||||||||
| HasEraTxLevel ConwayTxBodyRaw ConwayEra # | |||||||||||||||||
| HasEraTxLevel Tx ConwayEra # | |||||||||||||||||
| HasEraTxLevel TxBody ConwayEra # | |||||||||||||||||
| InjectRuleEvent "EPOCH" ConwayHardForkEvent ConwayEra # | |||||||||||||||||
| InjectRuleEvent "GOV" ConwayGovEvent ConwayEra # | |||||||||||||||||
| InjectRuleEvent "NEWEPOCH" ConwayEpochEvent ConwayEra # | |||||||||||||||||
| InjectRuleEvent "NEWEPOCH" ConwayHardForkEvent ConwayEra # | |||||||||||||||||
| InjectRuleEvent "POOL" PoolEvent ConwayEra # | |||||||||||||||||
| InjectRuleEvent "TICK" ConwayEpochEvent ConwayEra # | |||||||||||||||||
| InjectRuleEvent "TICK" ConwayHardForkEvent ConwayEra # | |||||||||||||||||
| InjectRuleEvent "UTXOS" AlonzoUtxosEvent ConwayEra # | |||||||||||||||||
| InjectRuleEvent "UTXOS" ConwayUtxosEvent ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" AllegraUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" AlonzoBbodyPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" AlonzoUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" AlonzoUtxosPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" AlonzoUtxowPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" BabbageUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" BabbageUtxowPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" ConwayBbodyPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" ConwayCertPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" ConwayCertsPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" ConwayDelegPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" ConwayGovPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" ConwayGovCertPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" ConwayLedgerPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" ConwayUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" ConwayUtxosPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" ConwayUtxowPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" ShelleyPoolPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "CERT" ConwayCertPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "CERT" ConwayDelegPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "CERT" ConwayGovCertPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "CERT" ShelleyPoolPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "CERTS" ConwayCertPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "CERTS" ConwayCertsPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "CERTS" ConwayDelegPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "CERTS" ConwayGovCertPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "CERTS" ShelleyPoolPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "DELEG" ConwayDelegPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "GOV" ConwayGovPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" AllegraUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" BabbageUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" BabbageUtxowPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" ConwayCertPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" ConwayCertsPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" ConwayDelegPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" ConwayGovPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" ConwayGovCertPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" ConwayLedgerPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" ConwayUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" ConwayUtxosPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" ConwayUtxowPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" ConwayCertPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" ConwayCertsPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" ConwayDelegPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" ConwayGovPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" ConwayGovCertPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" ConwayUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "POOL" ShelleyPoolPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXO" AllegraUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXO" AlonzoUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXO" AlonzoUtxosPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXO" BabbageUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXO" ConwayUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXO" ConwayUtxosPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXOS" ConwayUtxosPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXOW" AllegraUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXOW" BabbageUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXOW" BabbageUtxowPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXOW" ConwayUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXOW" ConwayUtxosPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXOW" ConwayUtxowPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ConwayEra # | |||||||||||||||||
| InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ConwayEra # | |||||||||||||||||
| TranslateEra ConwayEra (Tx 'TopTx) # | |||||||||||||||||
| Typeable l => DecCBOR (Annotator (ConwayTxBodyRaw l ConwayEra)) # | |||||||||||||||||
| Typeable l => DecCBOR (Annotator (Tx l ConwayEra)) # | |||||||||||||||||
| Typeable l => DecCBOR (Annotator (TxBody l ConwayEra)) # | |||||||||||||||||
| DecCBOR (ApplyTxError ConwayEra) # | |||||||||||||||||
| EncCBOR (ApplyTxError ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway Methods encCBOR :: ApplyTxError ConwayEra -> Encoding | |||||||||||||||||
| SafeToHash (PlutusScript ConwayEra) # | |||||||||||||||||
| NFData (PlutusScript ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Scripts Methods rnf :: PlutusScript ConwayEra -> () Source # | |||||||||||||||||
| Semigroup (ApplyTxError ConwayEra) # | |||||||||||||||||
| Generic (PlutusScript ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Scripts Associated Types
| |||||||||||||||||
| Generic (ApplyTxError ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway Associated Types
| |||||||||||||||||
| Generic (TransitionConfig ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Transition Associated Types
| |||||||||||||||||
| Show (PlutusScript ConwayEra) # | |||||||||||||||||
| Show (ApplyTxError ConwayEra) # | |||||||||||||||||
| Show (TransitionConfig ConwayEra) # | |||||||||||||||||
| Eq (PlutusScript ConwayEra) # | |||||||||||||||||
| Eq (ApplyTxError ConwayEra) # | |||||||||||||||||
| Eq (TransitionConfig ConwayEra) # | |||||||||||||||||
| Ord (PlutusScript ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Scripts Methods compare :: PlutusScript ConwayEra -> PlutusScript ConwayEra -> Ordering Source # (<) :: PlutusScript ConwayEra -> PlutusScript ConwayEra -> Bool Source # (<=) :: PlutusScript ConwayEra -> PlutusScript ConwayEra -> Bool Source # (>) :: PlutusScript ConwayEra -> PlutusScript ConwayEra -> Bool Source # (>=) :: PlutusScript ConwayEra -> PlutusScript ConwayEra -> Bool Source # max :: PlutusScript ConwayEra -> PlutusScript ConwayEra -> PlutusScript ConwayEra Source # min :: PlutusScript ConwayEra -> PlutusScript ConwayEra -> PlutusScript ConwayEra Source # | |||||||||||||||||
| MemPack (PlutusScript ConwayEra) # | |||||||||||||||||
| NoThunks (PlutusScript ConwayEra) # | |||||||||||||||||
| NoThunks (TransitionConfig ConwayEra) # | |||||||||||||||||
| Inject (NonEmpty (ConwayLedgerPredFailure ConwayEra)) (ApplyTxError ConwayEra) # | |||||||||||||||||
| Typeable l => ToCBOR (Tx l ConwayEra) # | |||||||||||||||||
| Typeable l => ToCBOR (TxBody l ConwayEra) # | |||||||||||||||||
| Typeable l => DecCBOR (ConwayTxBodyRaw l ConwayEra) # | |||||||||||||||||
| EncCBOR (ConwayTxBodyRaw l ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxBody Methods encCBOR :: ConwayTxBodyRaw l ConwayEra -> Encoding | |||||||||||||||||
| EncCBOR (Tx l ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Tx Methods encCBOR :: Tx l ConwayEra -> Encoding | |||||||||||||||||
| EncCBOR (TxBody l ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxBody Methods encCBOR :: TxBody l ConwayEra -> Encoding | |||||||||||||||||
| SafeToHash (TxBody l ConwayEra) # | |||||||||||||||||
| EqRaw (Tx l ConwayEra) # | |||||||||||||||||
| EqRaw (TxBody l ConwayEra) # | |||||||||||||||||
| Memoized (TxBody l ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxBody Associated Types
| |||||||||||||||||
| NFData (ConwayTxBodyRaw l ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxBody Methods rnf :: ConwayTxBodyRaw l ConwayEra -> () Source # | |||||||||||||||||
| NFData (Tx l ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Tx Methods rnf :: Tx l ConwayEra -> () Source # | |||||||||||||||||
| NFData (TxBody l ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxBody Methods rnf :: TxBody l ConwayEra -> () Source # | |||||||||||||||||
| Generic (Tx l ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Tx Associated Types
| |||||||||||||||||
| Generic (TxBody l ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxBody Associated Types
| |||||||||||||||||
| Show (ConwayTxBodyRaw l ConwayEra) # | |||||||||||||||||
| Show (Tx l ConwayEra) # | |||||||||||||||||
| Show (TxBody l ConwayEra) # | |||||||||||||||||
| Eq (ConwayTxBodyRaw l ConwayEra) # | |||||||||||||||||
| Eq (Tx l ConwayEra) # | |||||||||||||||||
| Eq (TxBody l ConwayEra) # | |||||||||||||||||
| Typeable l => NoThunks (ConwayTxBodyRaw l ConwayEra) # | |||||||||||||||||
| Typeable l => NoThunks (Tx l ConwayEra) # | |||||||||||||||||
| Typeable l => NoThunks (TxBody l ConwayEra) # | |||||||||||||||||
| HashAnnotated (TxBody l ConwayEra) EraIndependentTxBody # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxBody Methods hashAnnotated :: TxBody l ConwayEra -> SafeHash EraIndependentTxBody | |||||||||||||||||
| type ContextError ConwayEra # | |||||||||||||||||
| data TxInfoResult ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxInfo data TxInfoResult ConwayEra = ConwayTxInfoResult (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV1)) (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV2)) (Either (ContextError ConwayEra) (PlutusTxInfo 'PlutusV3)) | |||||||||||||||||
| data PlutusScript ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Scripts data PlutusScript ConwayEra
| |||||||||||||||||
| type TxBodyUpgradeError ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Api.Era type TxBodyUpgradeError ConwayEra = ConwayTxBodyUpgradeError | |||||||||||||||||
| type TxUpgradeError ConwayEra # | |||||||||||||||||
| type BlockBody ConwayEra # | |||||||||||||||||
| type NativeScript ConwayEra # | |||||||||||||||||
| type Script ConwayEra # | |||||||||||||||||
| type TxAuxData ConwayEra # | |||||||||||||||||
| type TxOut ConwayEra # | |||||||||||||||||
| type TxWits ConwayEra # | |||||||||||||||||
| type Value ConwayEra # | |||||||||||||||||
| type TranslationContext ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation type TranslationContext ConwayEra = ConwayGenesis | |||||||||||||||||
| type TxCert ConwayEra # | |||||||||||||||||
| type TxCertUpgradeError ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxCert type TxCertUpgradeError ConwayEra = ConwayTxCertUpgradeError | |||||||||||||||||
| type Genesis ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Genesis type Genesis ConwayEra = ConwayGenesis | |||||||||||||||||
| type AccountState ConwayEra # | |||||||||||||||||
| type Accounts ConwayEra # | |||||||||||||||||
| type CertState ConwayEra # | |||||||||||||||||
| type GovState ConwayEra # | |||||||||||||||||
| type InstantStake ConwayEra # | |||||||||||||||||
| type ScriptsNeeded ConwayEra # | |||||||||||||||||
| type EraName ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Internal.Definition.Era type EraName ConwayEra = "Conway" | |||||||||||||||||
| type PreviousEra ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ConwayEra = BabbageEra | |||||||||||||||||
| type ProtVerHigh ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ConwayEra = 11 | |||||||||||||||||
| type ProtVerLow ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ConwayEra = 9 | |||||||||||||||||
| newtype ApplyTxError ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway | |||||||||||||||||
| data TransitionConfig ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Transition data TransitionConfig ConwayEra = ConwayTransitionConfig {
| |||||||||||||||||
| type PlutusPurpose f ConwayEra # | |||||||||||||||||
| newtype Tx l ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Tx | |||||||||||||||||
| newtype TxBody l ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxBody | |||||||||||||||||
| type EraRule "BBODY" ConwayEra # | |||||||||||||||||
| type EraRule "CERT" ConwayEra # | |||||||||||||||||
| type EraRule "CERTS" ConwayEra # | |||||||||||||||||
| type EraRule "DELEG" ConwayEra # | |||||||||||||||||
| type EraRule "DELEGS" ConwayEra # | |||||||||||||||||
| type EraRule "ENACT" ConwayEra # | |||||||||||||||||
| type EraRule "EPOCH" ConwayEra # | |||||||||||||||||
| type EraRule "GOV" ConwayEra # | |||||||||||||||||
| type EraRule "GOVCERT" ConwayEra # | |||||||||||||||||
| type EraRule "HARDFORK" ConwayEra # | |||||||||||||||||
| type EraRule "LEDGER" ConwayEra # | |||||||||||||||||
| type EraRule "LEDGERS" ConwayEra # | |||||||||||||||||
| type EraRule "MEMPOOL" ConwayEra # | |||||||||||||||||
| type EraRule "MIR" ConwayEra # | |||||||||||||||||
| type EraRule "NEWEPOCH" ConwayEra # | |||||||||||||||||
| type EraRule "NEWPP" ConwayEra # | |||||||||||||||||
| type EraRule "POOL" ConwayEra # | |||||||||||||||||
| type EraRule "POOLREAP" ConwayEra # | |||||||||||||||||
| type EraRule "PPUP" ConwayEra # | |||||||||||||||||
| type EraRule "RATIFY" ConwayEra # | |||||||||||||||||
| type EraRule "RUPD" ConwayEra # | |||||||||||||||||
| type EraRule "SNAP" ConwayEra # | |||||||||||||||||
| type EraRule "TICK" ConwayEra # | |||||||||||||||||
| type EraRule "TICKF" ConwayEra # | |||||||||||||||||
| type EraRule "UPEC" ConwayEra # | |||||||||||||||||
| type EraRule "UTXO" ConwayEra # | |||||||||||||||||
| type EraRule "UTXOS" ConwayEra # | |||||||||||||||||
| type EraRule "UTXOW" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "BBODY" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "CERT" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "CERTS" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "DELEG" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "DELEGS" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "ENACT" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "EPOCH" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "GOV" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "GOVCERT" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "HARDFORK" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "LEDGER" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "LEDGERS" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "MIR" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "NEWEPOCH" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "NEWPP" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "POOL" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "PPUP" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "TICK" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "UPEC" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "UTXO" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "UTXOS" ConwayEra # | |||||||||||||||||
| type EraRuleEvent "UTXOW" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "BBODY" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "CERT" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "CERTS" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "DELEG" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "DELEGS" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "GOV" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "GOVCERT" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "LEDGER" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "LEDGERS" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "MIR" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "NEWPP" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "POOL" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "PPUP" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "UPEC" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "UTXO" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "UTXOS" ConwayEra # | |||||||||||||||||
| type EraRuleFailure "UTXOW" ConwayEra # | |||||||||||||||||
| type DowngradePParams f ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.PParams type DowngradePParams f ConwayEra = () | |||||||||||||||||
| type PParamsHKD f ConwayEra # | |||||||||||||||||
| type UpgradePParams f ConwayEra # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.PParams type UpgradePParams f ConwayEra = UpgradeConwayPParams f | |||||||||||||||||
| type TranslationError ConwayEra PParams # | |||||||||||||||||
| type TranslationError ConwayEra DState # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||||||||||
| type TranslationError ConwayEra PState # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||||||||||
| type TranslationError ConwayEra FuturePParams # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||||||||||
| type TranslationError ConwayEra UTxO # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||||||||||
| type TranslationError ConwayEra EpochState # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||||||||||
| type TranslationError ConwayEra LedgerState # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||||||||||
| type TranslationError ConwayEra NewEpochState # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||||||||||
| type TranslationError ConwayEra UTxOState # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation | |||||||||||||||||
| type STxLevel l ConwayEra # | |||||||||||||||||
| type TranslationError ConwayEra (Tx 'TopTx) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra (Tx 'TopTx) = DecoderError | |||||||||||||||||
| type Rep (PlutusScript ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Scripts type Rep (PlutusScript ConwayEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.21.0.0-Eyq0L3I6GlQDR6cWBNpeW7" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV3))))) | |||||||||||||||||
| type Rep (ApplyTxError ConwayEra) # | |||||||||||||||||
| type Rep (TransitionConfig ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Transition type Rep (TransitionConfig ConwayEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.21.0.0-Eyq0L3I6GlQDR6cWBNpeW7" 'False) (C1 ('MetaCons "ConwayTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctcConwayGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayGenesis) :*: S1 ('MetaSel ('Just "ctcBabbageTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig BabbageEra)))) | |||||||||||||||||
| type MemoHashIndex (ConwayTxBodyRaw l ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxBody type MemoHashIndex (ConwayTxBodyRaw l ConwayEra) = EraIndependentTxBody | |||||||||||||||||
| type RawType (TxBody l ConwayEra) # | |||||||||||||||||
| type Rep (Tx l ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Tx type Rep (Tx l ConwayEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Conway.Tx" "cardano-ledger-conway-1.21.0.0-Eyq0L3I6GlQDR6cWBNpeW7" 'True) (C1 ('MetaCons "MkConwayTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unConwayTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l ConwayEra)))) | |||||||||||||||||
| type Rep (TxBody l ConwayEra) # | |||||||||||||||||
Defined in Cardano.Ledger.Conway.TxBody type Rep (TxBody l ConwayEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Conway.TxBody" "cardano-ledger-conway-1.21.0.0-Eyq0L3I6GlQDR6cWBNpeW7" 'True) (C1 ('MetaCons "MkConwayTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ConwayTxBodyRaw l ConwayEra))))) | |||||||||||||||||
Instances
| FromJSON Addr # | |||||
| FromJSONKey Addr # | |||||
| ToJSON Addr # | |||||
| ToJSONKey Addr # | |||||
| DecCBOR Addr # | |||||
| EncCBOR Addr # | |||||
Defined in Cardano.Ledger.Address Methods encCBOR :: Addr -> Encoding | |||||
| NFData Addr # | |||||
Defined in Cardano.Ledger.Address Methods rnf :: Addr -> () Source # | |||||
| Generic Addr # | |||||
Defined in Cardano.Ledger.Address Associated Types
| |||||
| Show Addr # | |||||
| Eq Addr # | |||||
| Ord Addr # | |||||
Defined in Cardano.Ledger.Address | |||||
| NoThunks Addr # | |||||
| type Rep Addr # | |||||
Defined in Cardano.Ledger.Address type Rep Addr = D1 ('MetaData "Addr" "Cardano.Ledger.Address" "cardano-ledger-core-1.19.0.0-AL5iQRcPWrvDqdYM90zzVa" 'False) (C1 ('MetaCons "Addr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'Payment)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakeReference))) :+: C1 ('MetaCons "AddrBootstrap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BootstrapAddress))) | |||||
Instances
| FromJSON TxId # | |||||
| ToJSON TxId # | |||||
| DecCBOR TxId # | |||||
| EncCBOR TxId # | |||||
Defined in Cardano.Ledger.TxIn Methods encCBOR :: TxId -> Encoding | |||||
| NFData TxId # | |||||
Defined in Cardano.Ledger.TxIn Methods rnf :: TxId -> () Source # | |||||
| Generic TxId # | |||||
Defined in Cardano.Ledger.TxIn Associated Types
| |||||
| Show TxId # | |||||
| Eq TxId # | |||||
| Ord TxId # | |||||
Defined in Cardano.Ledger.TxIn | |||||
| MemPack TxId # | |||||
| NoThunks TxId # | |||||
| EraTx era => HasOKey TxId (Tx l era) # | |||||
Defined in Cardano.Ledger.Core Methods toOKey :: Tx l era -> TxId | |||||
| EraTxBody era => HasOKey TxId (TxBody l era) # | |||||
Defined in Cardano.Ledger.Core Methods toOKey :: TxBody l era -> TxId | |||||
| type Rep TxId # | |||||
Defined in Cardano.Ledger.TxIn type Rep TxId = D1 ('MetaData "TxId" "Cardano.Ledger.TxIn" "cardano-ledger-core-1.19.0.0-AL5iQRcPWrvDqdYM90zzVa" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxBody)))) | |||||
Instances
| ToJSON TxIn # | |||||
| ToJSONKey TxIn # | |||||
| DecCBOR TxIn # | |||||
| DecShareCBOR TxIn # | |||||
| EncCBOR TxIn # | |||||
Defined in Cardano.Ledger.TxIn Methods encCBOR :: TxIn -> Encoding | |||||
| NFData TxIn # | |||||
Defined in Cardano.Ledger.TxIn Methods rnf :: TxIn -> () Source # | |||||
| Generic TxIn # | |||||
Defined in Cardano.Ledger.TxIn Associated Types
| |||||
| Show TxIn # | |||||
| Eq TxIn # | |||||
| Ord TxIn # | |||||
Defined in Cardano.Ledger.TxIn | |||||
| MemPack TxIn # | |||||
| NoThunks TxIn # | |||||
| type Share TxIn # | |||||
| type Rep TxIn # | |||||
Defined in Cardano.Ledger.TxIn type Rep TxIn = D1 ('MetaData "TxIn" "Cardano.Ledger.TxIn" "cardano-ledger-core-1.19.0.0-AL5iQRcPWrvDqdYM90zzVa" 'False) (C1 ('MetaCons "TxIn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 TxIx))) | |||||
type family TxOut era = (r :: Type) | r -> era #
Instances
| type TxOut AllegraEra # | |
Defined in Cardano.Ledger.Allegra.TxOut type TxOut AllegraEra = ShelleyTxOut AllegraEra | |
| type TxOut AlonzoEra # | |
Defined in Cardano.Ledger.Alonzo.TxOut type TxOut AlonzoEra = AlonzoTxOut AlonzoEra | |
| type TxOut BabbageEra # | |
Defined in Cardano.Ledger.Babbage.TxOut type TxOut BabbageEra = BabbageTxOut BabbageEra | |
| type TxOut ConwayEra # | |
| type TxOut DijkstraEra # | |
Defined in Cardano.Ledger.Dijkstra.TxOut type TxOut DijkstraEra = BabbageTxOut DijkstraEra | |
| type TxOut MaryEra # | |
Defined in Cardano.Ledger.Mary.TxOut type TxOut MaryEra = ShelleyTxOut MaryEra | |
| type TxOut ShelleyEra # | |
Defined in Cardano.Ledger.Shelley.TxOut type TxOut ShelleyEra = ShelleyTxOut ShelleyEra | |
Instances
| FromJSON Coin # | |||||
| ToJSON Coin # | |||||
| FromCBOR Coin # | |||||
| ToCBOR Coin # | |||||
| DecCBOR Coin # | |||||
| EncCBOR Coin # | |||||
Defined in Cardano.Ledger.Coin Methods encCBOR :: Coin -> Encoding | |||||
| HasZero Coin # | |||||
Defined in Cardano.Ledger.Coin Methods isZero :: Coin -> Bool | |||||
| Compactible Coin # | |||||
Defined in Cardano.Ledger.Coin Associated Types
| |||||
| ToPlutusData Coin # | |||||
| Val Coin # | |||||
Defined in Cardano.Ledger.Val Methods zero :: Coin (<×>) :: Integral i => i -> Coin -> Coin isZero :: Coin -> Bool modifyCoin :: (Coin -> Coin) -> Coin -> Coin size :: Coin -> Integer pointwise :: (Integer -> Integer -> Bool) -> Coin -> Coin -> Bool isAdaOnly :: Coin -> Bool isAdaOnlyCompact :: CompactForm Coin -> Bool coinCompact :: CompactForm Coin -> CompactForm Coin injectCompact :: CompactForm Coin -> CompactForm Coin modifyCompactCoin :: (CompactForm Coin -> CompactForm Coin) -> CompactForm Coin -> CompactForm Coin | |||||
| NFData Coin # | |||||
Defined in Cardano.Ledger.Coin Methods rnf :: Coin -> () Source # | |||||
| Monoid Coin # | |||||
| Semigroup Coin # | |||||
| Enum Coin # | |||||
| Generic Coin # | |||||
Defined in Cardano.Ledger.Coin Associated Types
| |||||
| Show Coin # | |||||
| Eq Coin # | |||||
| Ord Coin # | |||||
Defined in Cardano.Ledger.Coin | |||||
| Abelian Coin # | |||||
Defined in Cardano.Ledger.Coin | |||||
| Group Coin # | |||||
| NoThunks Coin # | |||||
| PartialOrd Coin # | |||||
| Uniform Coin # | |||||
Defined in Cardano.Ledger.Coin Methods uniformM :: StatefulGen g m => g -> m Coin | |||||
| UniformRange Coin # | |||||
| Inject Coin DeltaCoin # | |||||
Defined in Cardano.Ledger.Coin Methods inject :: Coin -> DeltaCoin | |||||
| Inject Coin MaryValue # | |||||
| FromJSON (CompactForm Coin) # | |||||
| ToJSON (CompactForm Coin) # | |||||
| ToCBOR (CompactForm Coin) # | |||||
| DecCBOR (CompactForm Coin) # | |||||
| EncCBOR (CompactForm Coin) # | |||||
Defined in Cardano.Ledger.Coin Methods encCBOR :: CompactForm Coin -> Encoding | |||||
| HasZero (CompactForm Coin) # | |||||
Defined in Cardano.Ledger.Coin Methods isZero :: CompactForm Coin -> Bool | |||||
| ToPlutusData (CompactForm Coin) # | |||||
| NFData (CompactForm Coin) # | |||||
Defined in Cardano.Ledger.Coin Methods rnf :: CompactForm Coin -> () Source # | |||||
| Monoid (CompactForm Coin) # | |||||
| Semigroup (CompactForm Coin) # | |||||
| Generic (CompactForm Coin) # | |||||
Defined in Cardano.Ledger.Coin Associated Types
| |||||
| Show (CompactForm Coin) # | |||||
| Eq (CompactForm Coin) # | |||||
| Ord (CompactForm Coin) # | |||||
Defined in Cardano.Ledger.Coin Methods compare :: CompactForm Coin -> CompactForm Coin -> Ordering Source # (<) :: CompactForm Coin -> CompactForm Coin -> Bool Source # (<=) :: CompactForm Coin -> CompactForm Coin -> Bool Source # (>) :: CompactForm Coin -> CompactForm Coin -> Bool Source # (>=) :: CompactForm Coin -> CompactForm Coin -> Bool Source # max :: CompactForm Coin -> CompactForm Coin -> CompactForm Coin Source # min :: CompactForm Coin -> CompactForm Coin -> CompactForm Coin Source # | |||||
| Abelian (CompactForm Coin) # | |||||
Defined in Cardano.Ledger.Coin | |||||
| Group (CompactForm Coin) # | |||||
| MemPack (CompactForm Coin) # | |||||
| NoThunks (CompactForm Coin) # | |||||
| Prim (CompactForm Coin) # | |||||
Defined in Cardano.Ledger.Coin Methods sizeOfType# :: Proxy (CompactForm Coin) -> Int# sizeOf# :: CompactForm Coin -> Int# alignmentOfType# :: Proxy (CompactForm Coin) -> Int# alignment# :: CompactForm Coin -> Int# indexByteArray# :: ByteArray# -> Int# -> CompactForm Coin readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CompactForm Coin #) writeByteArray# :: MutableByteArray# s -> Int# -> CompactForm Coin -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CompactForm Coin -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CompactForm Coin readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CompactForm Coin #) writeOffAddr# :: Addr# -> Int# -> CompactForm Coin -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CompactForm Coin -> State# s -> State# s | |||||
| Uniform (CompactForm Coin) # | |||||
Defined in Cardano.Ledger.Coin Methods uniformM :: StatefulGen g m => g -> m (CompactForm Coin) | |||||
| UniformRange (CompactForm Coin) # | |||||
| newtype CompactForm Coin # | |||||
Defined in Cardano.Ledger.Coin | |||||
| type Rep Coin # | |||||
Defined in Cardano.Ledger.Coin type Rep Coin = D1 ('MetaData "Coin" "Cardano.Ledger.Coin" "cardano-ledger-core-1.19.0.0-AL5iQRcPWrvDqdYM90zzVa" 'True) (C1 ('MetaCons "Coin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))) | |||||
| type Rep (CompactForm Coin) # | |||||
Defined in Cardano.Ledger.Coin type Rep (CompactForm Coin) = D1 ('MetaData "CompactForm" "Cardano.Ledger.Coin" "cardano-ledger-core-1.19.0.0-AL5iQRcPWrvDqdYM90zzVa" 'True) (C1 ('MetaCons "CompactCoin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCompactCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))) | |||||
Instances
| ToJSON MaryValue # | |||||
| DecCBOR MaryValue # | |||||
| EncCBOR MaryValue # | |||||
Defined in Cardano.Ledger.Mary.Value Methods encCBOR :: MaryValue -> Encoding | |||||
| ToKeyValuePairs MaryValue # | |||||
Defined in Cardano.Ledger.Mary.Value Methods toKeyValuePairs :: KeyValue e kv => MaryValue -> [kv] | |||||
| Compactible MaryValue # | |||||
| Val MaryValue # | |||||
Defined in Cardano.Ledger.Mary.Value Methods zero :: MaryValue (<+>) :: MaryValue -> MaryValue -> MaryValue (<×>) :: Integral i => i -> MaryValue -> MaryValue (<->) :: MaryValue -> MaryValue -> MaryValue isZero :: MaryValue -> Bool modifyCoin :: (Coin -> Coin) -> MaryValue -> MaryValue size :: MaryValue -> Integer pointwise :: (Integer -> Integer -> Bool) -> MaryValue -> MaryValue -> Bool isAdaOnly :: MaryValue -> Bool isAdaOnlyCompact :: CompactForm MaryValue -> Bool coinCompact :: CompactForm MaryValue -> CompactForm Coin injectCompact :: CompactForm Coin -> CompactForm MaryValue modifyCompactCoin :: (CompactForm Coin -> CompactForm Coin) -> CompactForm MaryValue -> CompactForm MaryValue | |||||
| NFData MaryValue # | |||||
Defined in Cardano.Ledger.Mary.Value Methods rnf :: MaryValue -> () Source # | |||||
| Monoid MaryValue # | |||||
| Semigroup MaryValue # | |||||
| Generic MaryValue # | |||||
Defined in Cardano.Ledger.Mary.Value Associated Types
| |||||
| Show MaryValue # | |||||
| Eq MaryValue # | |||||
| Abelian MaryValue # | |||||
Defined in Cardano.Ledger.Mary.Value | |||||
| Group MaryValue # | |||||
| NoThunks MaryValue # | |||||
| Inject Coin MaryValue # | |||||
| DecCBOR (CompactForm MaryValue) # | |||||
| EncCBOR (CompactForm MaryValue) # | |||||
Defined in Cardano.Ledger.Mary.Value Methods encCBOR :: CompactForm MaryValue -> Encoding | |||||
| NFData (CompactForm MaryValue) # | |||||
Defined in Cardano.Ledger.Mary.Value Methods rnf :: CompactForm MaryValue -> () Source # | |||||
| Show (CompactForm MaryValue) # | |||||
| Eq (CompactForm MaryValue) # | |||||
| MemPack (CompactForm MaryValue) # | |||||
| NoThunks (CompactForm MaryValue) # | |||||
| newtype CompactForm MaryValue # | |||||
Defined in Cardano.Ledger.Mary.Value | |||||
| type Rep MaryValue # | |||||
Defined in Cardano.Ledger.Mary.Value type Rep MaryValue = D1 ('MetaData "MaryValue" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.10.0.0-CVXEhgY93Md6fKZSmpBLuQ" 'False) (C1 ('MetaCons "MaryValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MultiAsset))) | |||||
Constructors
| PolicyID | |
Fields | |
Instances
| FromJSON PolicyID # | |||||
| FromJSONKey PolicyID # | |||||
| ToJSON PolicyID # | |||||
| ToJSONKey PolicyID # | |||||
| DecCBOR PolicyID # | |||||
| EncCBOR PolicyID # | |||||
Defined in Cardano.Ledger.Mary.Value Methods encCBOR :: PolicyID -> Encoding | |||||
| NFData PolicyID # | |||||
Defined in Cardano.Ledger.Mary.Value Methods rnf :: PolicyID -> () Source # | |||||
| Generic PolicyID # | |||||
Defined in Cardano.Ledger.Mary.Value Associated Types
| |||||
| Show PolicyID # | |||||
| Eq PolicyID # | |||||
| Ord PolicyID # | |||||
Defined in Cardano.Ledger.Mary.Value | |||||
| NoThunks PolicyID # | |||||
| type Rep PolicyID # | |||||
Defined in Cardano.Ledger.Mary.Value type Rep PolicyID = D1 ('MetaData "PolicyID" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.10.0.0-CVXEhgY93Md6fKZSmpBLuQ" 'True) (C1 ('MetaCons "PolicyID" 'PrefixI 'True) (S1 ('MetaSel ('Just "policyID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptHash))) | |||||
Constructors
| AssetName | |
Fields
| |
Instances
| ToJSON AssetName # | |
| ToJSONKey AssetName # | |
| DecCBOR AssetName # | |
| EncCBOR AssetName # | |
Defined in Cardano.Ledger.Mary.Value Methods encCBOR :: AssetName -> Encoding | |
| NFData AssetName # | |
Defined in Cardano.Ledger.Mary.Value Methods rnf :: AssetName -> () Source # | |
| Show AssetName # | |
| Eq AssetName # | |
| Ord AssetName # | |
Defined in Cardano.Ledger.Mary.Value | |
| NoThunks AssetName # | |
Instances
| FromJSON SlotNo # | |||||
| ToJSON SlotNo # | |||||
| FromCBOR SlotNo # | |||||
| ToCBOR SlotNo # | |||||
| DecCBOR SlotNo # | |||||
| EncCBOR SlotNo # | |||||
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR :: SlotNo -> Encoding | |||||
| NFData SlotNo # | |||||
Defined in Cardano.Slotting.Slot Methods rnf :: SlotNo -> () Source # | |||||
| Bounded SlotNo # | |||||
| Enum SlotNo # | |||||
Defined in Cardano.Slotting.Slot Methods succ :: SlotNo -> SlotNo Source # pred :: SlotNo -> SlotNo Source # toEnum :: Int -> SlotNo Source # fromEnum :: SlotNo -> Int Source # enumFrom :: SlotNo -> [SlotNo] Source # enumFromThen :: SlotNo -> SlotNo -> [SlotNo] Source # enumFromTo :: SlotNo -> SlotNo -> [SlotNo] Source # enumFromThenTo :: SlotNo -> SlotNo -> SlotNo -> [SlotNo] Source # | |||||
| Generic SlotNo # | |||||
Defined in Cardano.Slotting.Slot Associated Types
| |||||
| Num SlotNo # | |||||
Defined in Cardano.Slotting.Slot | |||||
| Show SlotNo # | |||||
| Eq SlotNo # | |||||
| Ord SlotNo # | |||||
| NoThunks SlotNo # | |||||
| Condense SlotNo # | |||||
Defined in Ouroboros.Consensus.Util.Condense Methods condense :: SlotNo -> String | |||||
| Serialise SlotNo # | |||||
| (Condense block, HasHeader block, Condense (HeaderHash block)) => Condense (AnchoredFragment block) # | |||||
Defined in Ouroboros.Consensus.Util.Condense Methods condense :: AnchoredFragment block -> String | |||||
| HasHeader block => Anchorable (WithOrigin SlotNo) (Anchor block) block # | |||||
Defined in Ouroboros.Network.AnchoredFragment Methods asAnchor :: block -> Anchor block getAnchorMeasure :: Proxy block -> Anchor block -> WithOrigin SlotNo | |||||
| Anchorable (WithOrigin SlotNo) (HeaderStateWithTime blk) (HeaderStateWithTime blk) # | |||||
Defined in Ouroboros.Consensus.HeaderStateHistory Methods asAnchor :: HeaderStateWithTime blk -> HeaderStateWithTime blk getAnchorMeasure :: Proxy (HeaderStateWithTime blk) -> HeaderStateWithTime blk -> WithOrigin SlotNo | |||||
| GetTip l => Anchorable (WithOrigin SlotNo) (StateRef m l) (StateRef m l) # | |||||
Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq Methods asAnchor :: StateRef m l -> StateRef m l getAnchorMeasure :: Proxy (StateRef m l) -> StateRef m l -> WithOrigin SlotNo | |||||
| type Rep SlotNo # | |||||
Defined in Cardano.Slotting.Slot type Rep SlotNo = D1 ('MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.1.0-52beD4kiPZrJZtqsYH16pK" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))) | |||||
newtype ScriptHash #
Constructors
| ScriptHash (Hash ADDRHASH EraIndependentScript) |
Instances
| FromJSON ScriptHash # | |||||
Defined in Cardano.Ledger.Hashes Methods parseJSON :: Value -> Parser ScriptHash parseJSONList :: Value -> Parser [ScriptHash] omittedField :: Maybe ScriptHash | |||||
| FromJSONKey ScriptHash # | |||||
Defined in Cardano.Ledger.Hashes Methods fromJSONKey :: FromJSONKeyFunction ScriptHash fromJSONKeyList :: FromJSONKeyFunction [ScriptHash] | |||||
| ToJSON ScriptHash # | |||||
Defined in Cardano.Ledger.Hashes Methods toJSON :: ScriptHash -> Value toEncoding :: ScriptHash -> Encoding toJSONList :: [ScriptHash] -> Value toEncodingList :: [ScriptHash] -> Encoding omitField :: ScriptHash -> Bool | |||||
| ToJSONKey ScriptHash # | |||||
Defined in Cardano.Ledger.Hashes | |||||
| FromCBOR ScriptHash # | |||||
Defined in Cardano.Ledger.Hashes | |||||
| ToCBOR ScriptHash # | |||||
Defined in Cardano.Ledger.Hashes Methods toCBOR :: ScriptHash -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ScriptHash -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ScriptHash] -> Size | |||||
| DecCBOR ScriptHash # | |||||
Defined in Cardano.Ledger.Hashes Methods decCBOR :: Decoder s ScriptHash dropCBOR :: Proxy ScriptHash -> Decoder s () label :: Proxy ScriptHash -> Text | |||||
| EncCBOR ScriptHash # | |||||
Defined in Cardano.Ledger.Hashes Methods encCBOR :: ScriptHash -> Encoding | |||||
| NFData ScriptHash # | |||||
Defined in Cardano.Ledger.Hashes Methods rnf :: ScriptHash -> () Source # | |||||
| Generic ScriptHash # | |||||
Defined in Cardano.Ledger.Hashes Associated Types
| |||||
| Show ScriptHash # | |||||
Defined in Cardano.Ledger.Hashes Methods showsPrec :: Int -> ScriptHash -> ShowS Source # show :: ScriptHash -> String Source # showList :: [ScriptHash] -> ShowS Source # | |||||
| Eq ScriptHash # | |||||
Defined in Cardano.Ledger.Hashes Methods (==) :: ScriptHash -> ScriptHash -> Bool Source # (/=) :: ScriptHash -> ScriptHash -> Bool Source # | |||||
| Ord ScriptHash # | |||||
Defined in Cardano.Ledger.Hashes Methods compare :: ScriptHash -> ScriptHash -> Ordering Source # (<) :: ScriptHash -> ScriptHash -> Bool Source # (<=) :: ScriptHash -> ScriptHash -> Bool Source # (>) :: ScriptHash -> ScriptHash -> Bool Source # (>=) :: ScriptHash -> ScriptHash -> Bool Source # max :: ScriptHash -> ScriptHash -> ScriptHash Source # min :: ScriptHash -> ScriptHash -> ScriptHash Source # | |||||
| MemPack ScriptHash # | |||||
Defined in Cardano.Ledger.Hashes Methods typeName :: String packedByteCount :: ScriptHash -> Int packM :: ScriptHash -> Pack s () unpackM :: Buffer b => Unpack s b ScriptHash | |||||
| NoThunks ScriptHash # | |||||
Defined in Cardano.Ledger.Hashes Methods noThunks :: Context -> ScriptHash -> IO (Maybe ThunkInfo) wNoThunks :: Context -> ScriptHash -> IO (Maybe ThunkInfo) showTypeOf :: Proxy ScriptHash -> String | |||||
| Indexable ScriptHash GuardsScriptHashView # | |||||
Defined in Cardano.Ledger.Dijkstra.TxBody Methods indexOf :: AsItem Word32 ScriptHash -> GuardsScriptHashView -> StrictMaybe (AsIx Word32 ScriptHash) fromIndex :: AsIx Word32 ScriptHash -> GuardsScriptHashView -> StrictMaybe (AsIxItem Word32 ScriptHash) | |||||
| type Rep ScriptHash # | |||||
Defined in Cardano.Ledger.Hashes type Rep ScriptHash = D1 ('MetaData "ScriptHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.19.0.0-AL5iQRcPWrvDqdYM90zzVa" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash ADDRHASH EraIndependentScript)))) | |||||
Instances
| HasKeyRole KeyHash # | |
| FromJSON (KeyHash r) # | |
| FromJSONKey (KeyHash r) # | |
| ToJSON (KeyHash r) # | |
| ToJSONKey (KeyHash r) # | |
| Typeable r => FromCBOR (KeyHash r) # | |
| Typeable r => ToCBOR (KeyHash r) # | |
| Typeable r => DecCBOR (KeyHash r) # | |
| EncCBOR (KeyHash r) # | |
Defined in Cardano.Ledger.Hashes Methods encCBOR :: KeyHash r -> Encoding | |
| Default (KeyHash r) # | |
Defined in Cardano.Ledger.Hashes Methods def :: KeyHash r | |
| NFData (KeyHash r) # | |
Defined in Cardano.Ledger.Hashes Methods rnf :: KeyHash r -> () Source # | |
| Generic (KeyHash r) # | |
| Show (KeyHash r) # | |
| Eq (KeyHash r) # | |
| Ord (KeyHash r) # | |
Defined in Cardano.Ledger.Hashes | |
| MemPack (KeyHash r) # | |
| NoThunks (KeyHash r) # | |
| type Rep (KeyHash r) # | |
Defined in Cardano.Ledger.Hashes | |
Constructors
| WrapExUnits | |
Fields
| |
Instances
| FromJSON ExUnits # | |||||
| ToJSON ExUnits # | |||||
| DecCBOR ExUnits # | |||||
| EncCBOR ExUnits # | |||||
Defined in Cardano.Ledger.Plutus.ExUnits Methods encCBOR :: ExUnits -> Encoding | |||||
| ToPlutusData ExUnits # | |||||
| NFData ExUnits # | |||||
Defined in Cardano.Ledger.Plutus.ExUnits Methods rnf :: ExUnits -> () Source # | |||||
| Monoid ExUnits # | |||||
| Semigroup ExUnits # | |||||
| Generic ExUnits # | |||||
Defined in Cardano.Ledger.Plutus.ExUnits Associated Types
| |||||
| Show ExUnits # | |||||
| Eq ExUnits # | |||||
| NoThunks ExUnits # | |||||
| type Rep ExUnits # | |||||
Defined in Cardano.Ledger.Plutus.ExUnits type Rep ExUnits = D1 ('MetaData "ExUnits" "Cardano.Ledger.Plutus.ExUnits" "cardano-ledger-core-1.19.0.0-AL5iQRcPWrvDqdYM90zzVa" 'True) (C1 ('MetaCons "WrapExUnits" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWrapExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ExUnits' Natural)))) | |||||
Instances
| TranslateEra AllegraEra PParams # | |||||
Defined in Cardano.Ledger.Allegra.Translation Associated Types
| |||||
| TranslateEra AlonzoEra PParams # | |||||
Defined in Cardano.Ledger.Alonzo.Translation Associated Types
| |||||
| TranslateEra BabbageEra PParams # | |||||
Defined in Cardano.Ledger.Babbage.Translation Associated Types
| |||||
| TranslateEra ConwayEra PParams # | |||||
| TranslateEra DijkstraEra PParams # | |||||
Defined in Cardano.Ledger.Dijkstra.Translation Associated Types
| |||||
| TranslateEra MaryEra PParams # | |||||
Defined in Cardano.Ledger.Mary.Translation Associated Types
| |||||
| EraPParams era => FromJSON (PParams era) # | |||||
| EraPParams era => ToJSON (PParams era) # | |||||
| EraPParams era => FromCBOR (PParams era) # | |||||
| EraPParams era => ToCBOR (PParams era) # | |||||
| EraPParams era => DecCBOR (PParams era) # | |||||
| EraPParams era => EncCBOR (PParams era) # | |||||
Defined in Cardano.Ledger.Core.PParams Methods encCBOR :: PParams era -> Encoding | |||||
| EraPParams era => ToKeyValuePairs (PParams era) # | |||||
Defined in Cardano.Ledger.Core.PParams Methods toKeyValuePairs :: KeyValue e kv => PParams era -> [kv] | |||||
| EraPParams era => Default (PParams era) # | |||||
Defined in Cardano.Ledger.Core.PParams Methods def :: PParams era | |||||
| NFData (PParamsHKD Identity era) => NFData (PParams era) # | |||||
Defined in Cardano.Ledger.Core.PParams Methods rnf :: PParams era -> () Source # | |||||
| Generic (PParams era) # | |||||
Defined in Cardano.Ledger.Core.PParams Associated Types
| |||||
| Show (PParamsHKD Identity era) => Show (PParams era) # | |||||
| Eq (PParamsHKD Identity era) => Eq (PParams era) # | |||||
| Ord (PParamsHKD Identity era) => Ord (PParams era) # | |||||
Defined in Cardano.Ledger.Core.PParams Methods compare :: PParams era -> PParams era -> Ordering Source # (<) :: PParams era -> PParams era -> Bool Source # (<=) :: PParams era -> PParams era -> Bool Source # (>) :: PParams era -> PParams era -> Bool Source # (>=) :: PParams era -> PParams era -> Bool Source # | |||||
| NoThunks (PParamsHKD Identity era) => NoThunks (PParams era) # | |||||
| type TranslationError AllegraEra PParams # | |||||
Defined in Cardano.Ledger.Allegra.Translation | |||||
| type TranslationError AlonzoEra PParams # | |||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||
| type TranslationError BabbageEra PParams # | |||||
Defined in Cardano.Ledger.Babbage.Translation | |||||
| type TranslationError ConwayEra PParams # | |||||
| type TranslationError DijkstraEra PParams # | |||||
Defined in Cardano.Ledger.Dijkstra.Translation | |||||
| type TranslationError MaryEra PParams # | |||||
Defined in Cardano.Ledger.Mary.Translation | |||||
| type Rep (PParams era) # | |||||
Defined in Cardano.Ledger.Core.PParams type Rep (PParams era) = D1 ('MetaData "PParams" "Cardano.Ledger.Core.PParams" "cardano-ledger-core-1.19.0.0-AL5iQRcPWrvDqdYM90zzVa" 'True) (C1 ('MetaCons "PParams" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParamsHKD Identity era)))) | |||||
type ConwayTxBody = TxBody 'TopTx ConwayEra Source #
Conway-era top-level transaction body.
Token identification
Unique identifier for a token managed by the cage. Corresponds to the on-chain asset name derived from SHA2-256(txId ++ index).
Instances
| Show TokenId Source # | |
Defined in Singular.Registry.Ledger | |
| Eq TokenId Source # | |
Defined in Singular.Registry.Ledger | |
| Ord TokenId Source # | |
Defined in Singular.Registry.Ledger | |
Merkle Patricia Forestry
MPF root hash representing the current state of a trie (32 bytes Blake2b-256).
Instances
| Show Root Source # | |
Defined in Singular.Registry.Ledger | |
| Eq Root Source # | |
Defined in Singular.Registry.Ledger | |
Token state
data TokenState Source #
Current on-chain state of a token.
Constructors
| TokenState | |
Fields
| |
Instances
| Show TokenState Source # | |
Defined in Singular.Registry.Ledger Methods showsPrec :: Int -> TokenState -> ShowS Source # show :: TokenState -> String Source # showList :: [TokenState] -> ShowS Source # | |
| Eq TokenState Source # | |
Defined in Singular.Registry.Ledger Methods (==) :: TokenState -> TokenState -> Bool Source # (/=) :: TokenState -> TokenState -> Bool Source # | |