Modulecardano-ledger-api-1.14.0.0

Cardano.Ledger.Api.Tx

42 types
32 classes
65 values

Packagecardano-ledger-api-1.14.0.0
Exports212
LicenceApache-2.0

valueinvalidBeforeL :: Lens' ValidityInterval (StrictMaybe SlotNo)

valueinvalidHereAfterL :: Lens' ValidityInterval (StrictMaybe SlotNo)

valueevalTxExUnits

:: (AlonzoEraTx era, AlonzoEraUTxO era, EraPlutusContext era, ScriptsNeeded era ~ AlonzoScriptsNeeded era)
=> PParams era
-> Tx TopTx era
-> UTxO era
-> EpochInfo (Either Text)
-> SystemStart
-> RedeemerReport era

valueevalTxExUnitsWithLogs

:: (AlonzoEraTx era, AlonzoEraUTxO era, EraPlutusContext era, ScriptsNeeded era ~ AlonzoScriptsNeeded era)
=> PParams era
-> Tx TopTx era
-> UTxO era
-> EpochInfo (Either Text)
-> SystemStart
-> RedeemerReportWithLogs era

patternpattern CertifyingPurpose :: AlonzoEraScript era => f Word32 (TxCert era) -> PlutusPurpose f era

patternpattern MintingPurpose :: AlonzoEraScript era => f Word32 PolicyID -> PlutusPurpose f era

patternpattern RewardingPurpose :: AlonzoEraScript era => f Word32 AccountAddress -> PlutusPurpose f era

Deprecated. In favor of WithdrawingPurpose

patternpattern SpendingPurpose :: AlonzoEraScript era => f Word32 TxIn -> PlutusPurpose f era

patternpattern WithdrawingPurpose :: AlonzoEraScript era => f Word32 AccountAddress -> PlutusPurpose f era

valueisPlutusScript :: AlonzoEraScript era => Script era -> Bool

patternpattern IsValid :: Bool -> IsPhase2Valid

Deprecated. In favor of IsPhase2Valid

valuegetAlonzoTxAuxDataScripts

valuemkAlonzoTxAuxData

:: (Foldable f, AlonzoEraScript era)
=> Map Word64 Metadatum
-> f (AlonzoScript era)
-> AlonzoTxAuxData era

valuehashDataTxWitsL :: AlonzoEraTxWits era => Lens (TxWits era) (TxWits era) (TxDats era) [Data era]

valueunRedeemers

:: Redeemers era
-> Map (PlutusPurpose AsIx era) (Data era, ExUnits)

valueunRedeemersL :: AlonzoEraScript era => Lens' (Redeemers era) (Map (PlutusPurpose AsIx era) (Data era, ExUnits))

valueunTxDats :: TxDats era -> Map DataHash (Data era)

valueunTxDatsL :: Era era => Lens' (TxDats era) (Map DataHash (Data era))

patternpattern AnyEraCertifyingPurpose :: AnyEraScript era => f Word32 (TxCert era) -> PlutusPurpose f era

patternpattern AnyEraGuardingPurpose :: AnyEraScript era => f Word32 ScriptHash -> PlutusPurpose f era

patternpattern AnyEraMintingPurpose :: AnyEraScript era => f Word32 PolicyID -> PlutusPurpose f era

patternpattern AnyEraProposingPurpose :: AnyEraScript era => f Word32 (ProposalProcedure era) -> PlutusPurpose f era

patternpattern AnyEraRewardingPurpose :: AnyEraScript era => f Word32 AccountAddress -> PlutusPurpose f era

Deprecated. In favor of AnyEraWithdrawingPurpose

patternpattern AnyEraSpendingPurpose :: AnyEraScript era => f Word32 TxIn -> PlutusPurpose f era

patternpattern AnyEraVotingPurpose :: AnyEraScript era => f Word32 Voter -> PlutusPurpose f era

patternpattern AnyEraWithdrawingPurpose :: AnyEraScript era => f Word32 AccountAddress -> PlutusPurpose f era

valueproducedTxOuts :: AnyEraTx era => Tx TopTx era -> UTxO era

valuedecodeAddrLenient :: MonadFail m => ByteString -> m Addr

valuedecodeAddrLenientEither :: ByteString -> Either String DecAddr

valuedecodeAddrShort :: MonadFail m => ShortByteString -> m Addr

valuedecodeAddrShortEither :: ShortByteString -> Either String Addr

valueevalBalanceTxBody

:: EraUTxO era
=> PParams era
-> Credential Staking -> Maybe Coin
-> KeyHash StakePool -> Bool
-> UTxO era
-> TxBody TopTx era
-> Value era

pattern

pattern AnyEraAuthCommitteeHotKeyTxCert :: AnyEraTxCert era => Credential ColdCommitteeRole -> Credential HotCommitteeRole -> TxCert era

patternpattern AnyEraDelegTxCert :: AnyEraTxCert era => Credential Staking -> Delegatee -> TxCert era

pattern

pattern AnyEraGenesisDelegTxCert :: AnyEraTxCert era => KeyHash GenesisRole -> KeyHash GenesisDelegate -> VRFVerKeyHash GenDelegVRF -> TxCert era

patternpattern AnyEraMirTxCert :: AnyEraTxCert era => MIRCert -> TxCert era

patternpattern AnyEraRegDRepTxCert :: AnyEraTxCert era => Credential DRepRole -> Coin -> StrictMaybe Anchor -> TxCert era

patternpattern AnyEraRegDepositDelegTxCert :: AnyEraTxCert era => Credential Staking -> Delegatee -> Coin -> TxCert era

patternpattern AnyEraRegDepositTxCert :: AnyEraTxCert era => Credential Staking -> Coin -> TxCert era

patternpattern AnyEraRegPoolTxCert :: EraTxCert era => StakePoolParams -> TxCert era

patternpattern AnyEraRegTxCert :: AnyEraTxCert era => Credential Staking -> TxCert era

pattern

pattern AnyEraResignCommitteeColdTxCert :: AnyEraTxCert era => Credential ColdCommitteeRole -> StrictMaybe Anchor -> TxCert era

patternpattern AnyEraRetirePoolTxCert :: EraTxCert era => KeyHash StakePool -> EpochNo -> TxCert era

patternpattern AnyEraUnRegDRepTxCert :: AnyEraTxCert era => Credential DRepRole -> Coin -> TxCert era

patternpattern AnyEraUnRegDepositTxCert :: AnyEraTxCert era => Credential Staking -> Coin -> TxCert era

patternpattern AnyEraUnRegTxCert :: AnyEraTxCert era => Credential Staking -> TxCert era

patternpattern AnyEraUpdateDRepTxCert :: AnyEraTxCert era => Credential DRepRole -> StrictMaybe Anchor -> TxCert era

valueensureMinCoinSizedTxOut

:: EraTxOut era
=> PParams era
-> Sized (TxOut era)
-> Sized (TxOut era)

valuesetMinCoinSizedTxOut

:: EraTxOut era
=> PParams era
-> Sized (TxOut era)
-> Sized (TxOut era)

patternpattern ProposingPurpose :: ConwayEraScript era => f Word32 (ProposalProcedure era) -> PlutusPurpose f era

patternpattern VotingPurpose :: ConwayEraScript era => f Word32 Voter -> PlutusPurpose f era

pattern

pattern AuthCommitteeHotKeyTxCert :: ConwayEraTxCert era => Credential ColdCommitteeRole -> Credential HotCommitteeRole -> TxCert era

patternpattern DelegTxCert :: ConwayEraTxCert era => Credential Staking -> Delegatee -> TxCert era

patternpattern RegDRepTxCert :: ConwayEraTxCert era => Credential DRepRole -> Coin -> StrictMaybe Anchor -> TxCert era

patternpattern RegDepositDelegTxCert :: ConwayEraTxCert era => Credential Staking -> Delegatee -> Coin -> TxCert era

patternpattern RegDepositTxCert :: ConwayEraTxCert era => Credential Staking -> Coin -> TxCert era

pattern

pattern ResignCommitteeColdTxCert :: ConwayEraTxCert era => Credential ColdCommitteeRole -> StrictMaybe Anchor -> TxCert era

patternpattern UnRegDRepTxCert :: ConwayEraTxCert era => Credential DRepRole -> Coin -> TxCert era

patternpattern UnRegDepositTxCert :: ConwayEraTxCert era => Credential Staking -> Coin -> TxCert era

valuegetDelegateeTxCert :: ConwayEraTxCert era => TxCert era -> Maybe Delegatee

valuegetStakePoolDelegatee :: Delegatee -> Maybe (KeyHash StakePool)

patternpattern RewardAccount :: Network -> Credential Staking -> AccountAddress

Deprecated. In favor of AccountAddress

valuedecodeAddr :: MonadFail m => ByteString -> m Addr

valuedecodeAddrEither :: ByteString -> Either String Addr

valuedeserialiseAccountAddress :: ByteString -> Maybe AccountAddress

valuedeserialiseRewardAccount :: ByteString -> Maybe AccountAddress

Deprecated. In favor of deserialiseAccountAddress

valuegetNetwork :: Addr -> Network

valueserialiseAccountAddress :: AccountAddress -> ByteString

valueserialiseAddr :: Addr -> ByteString

valueserialiseRewardAccount :: AccountAddress -> ByteString

Deprecated. In favor of serialiseAccountAddress

valuebinaryUpgradeTx

:: (Era era, ToCBOR (Tx l (PreviousEra era)), DecCBOR (Annotator (Tx l era)))
=> Tx l (PreviousEra era)
-> Except DecoderError (Tx l era)

valuebinaryUpgradeTxAuxData

:: (Era era, ToCBOR (TxAuxData (PreviousEra era)), DecCBOR (Annotator (TxAuxData era)))
=> TxAuxData (PreviousEra era)
-> Except DecoderError (TxAuxData era)

valuebinaryUpgradeTxBody

:: (Era era, ToCBOR (TxBody l (PreviousEra era)), DecCBOR (Annotator (TxBody l era)))
=> TxBody l (PreviousEra era)
-> Except DecoderError (TxBody l era)

valuebinaryUpgradeTxWits

:: (Era era, ToCBOR (TxWits (PreviousEra era)), DecCBOR (Annotator (TxWits era)))
=> TxWits (PreviousEra era)
-> Except DecoderError (TxWits era)

valuebootAddrTxOutF :: EraTxOut era => SimpleGetter (TxOut era) (Maybe BootstrapAddress)

valuecoinTxOutL :: (HasCallStack, EraTxOut era) => Lens' (TxOut era) Coin

valuehashScript :: EraScript era => Script era -> ScriptHash

valuehashScriptTxWitsL :: EraTxWits era => Lens (TxWits era) (TxWits era) (Map ScriptHash (Script era)) [Script era]

valuehashTxAuxData :: EraTxAuxData era => TxAuxData era -> TxAuxDataHash

valueisAdaOnlyTxOutF :: EraTxOut era => SimpleGetter (TxOut era) Bool

valueisNativeScript :: EraScript era => Script era -> Bool

valuetxIdTx :: EraTx era => Tx l era -> TxId

valuetxIdTxBody :: EraTxBody era => TxBody l era -> TxId

patternpattern RegPoolTxCert :: EraTxCert era => StakePoolParams -> TxCert era

patternpattern RetirePoolTxCert :: EraTxCert era => KeyHash StakePool -> EpochNo -> TxCert era

valueisRegStakeTxCert :: EraTxCert era => TxCert era -> Bool

valueisUnRegStakeTxCert :: EraTxCert era => TxCert era -> Bool

valuewitVKeyHash :: WitVKey kr -> KeyHash Witness

valuebinaryDataToData :: Era era => BinaryData era -> Data era

valuedataToBinaryData :: Data era -> BinaryData era

valuedatumDataHash :: Datum era -> StrictMaybe DataHash

valuegetPlutusData :: Data era -> Data

valuehashBinaryData :: BinaryData era -> DataHash

valuehashData :: Data era -> DataHash

valuemakeBinaryData

:: Era era
=> ShortByteString
-> Either String (BinaryData era)

valuecalcMinFeeTx

:: (EraUTxO era, EraCertState era)
=> UTxO era
-> PParams era
-> Tx TopTx era
-> Int
-> Coin

valueensureMinCoinTxOut :: EraTxOut era => PParams era -> TxOut era -> TxOut era

valueestimateMinFeeTx

:: EraTx era
=> PParams era
-> Tx TopTx era
-> Int
-> Int
-> Int
-> Coin

valuesetMinCoinTxOut :: EraTxOut era => PParams era -> TxOut era -> TxOut era

valuesetMinFeeTx

:: EraTx era
=> PParams era
-> Tx TopTx era
-> Int
-> Tx TopTx era

valuesetMinFeeTxUtxo

:: EraUTxO era
=> PParams era
-> Tx TopTx era
-> UTxO era
-> Tx TopTx era

patternpattern GuardingPurpose :: DijkstraEraScript era => f Word32 ScriptHash -> PlutusPurpose f era

patternpattern DelegStakeTxCert :: ShelleyEraTxCert era => Credential Staking -> KeyHash StakePool -> TxCert era

pattern

pattern GenesisDelegTxCert :: (ShelleyEraTxCert era, AtMostEra "Babbage" era) => KeyHash GenesisRole -> KeyHash GenesisDelegate -> VRFVerKeyHash GenDelegVRF -> TxCert era

patternpattern MirTxCert :: (ShelleyEraTxCert era, AtMostEra "Babbage" era) => MIRCert -> TxCert era

patternpattern RegTxCert :: ShelleyEraTxCert era => Credential Staking -> TxCert era

patternpattern UnRegTxCert :: ShelleyEraTxCert era => Credential Staking -> TxCert era

datadata ValidityInterval

Constructors

ValidityInterval
- invalidBefore :: !StrictMaybe SlotNo
- invalidHereafter :: !StrictMaybe SlotNo

Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Ord ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Show ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Generic ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
NFData ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
FromJSON ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
ToJSON ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
NoThunks ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
DecCBOR ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
EncCBOR ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
type Rep ValidityInterval = D1 ('MetaData "ValidityInterval" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.10.1.0-CrQS1ZJSGfrBK4W3kaLbYJ" 'False) (C1 ('MetaCons "ValidityInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "invalidBefore") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo)) :*: S1 ('MetaSel ('Just "invalidHereafter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo))))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts

classclass EraTxAuxData era => AllegraEraTxAuxData era where

Methods

nativeScriptsTxAuxDataL :: Lens' (TxAuxData era) (StrictSeq (NativeScript era))

Instances6AllegraEraTxAuxData

AllegraEraTxAuxData AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
AllegraEraTxAuxData MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxAuxData · orphan
StAnnTxCache AlonzoEra ~ Map ScriptHash (SupportedPlutusRunnable AlonzoEra) => AllegraEraTxAuxData AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData · orphan
StAnnTxCache BabbageEra ~ Map ScriptHash (SupportedPlutusRunnable BabbageEra) => AllegraEraTxAuxData BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxAuxData · orphan
StAnnTxCache ConwayEra ~ Map ScriptHash (SupportedPlutusRunnable ConwayEra) => AllegraEraTxAuxData ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxAuxData · orphan
StAnnTxCache DijkstraEra ~ Map ScriptHash (SupportedPlutusRunnable DijkstraEra) => AllegraEraTxAuxData DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxAuxData · orphan

newtypenewtype AllegraTxAuxData era

Constructors

MkAlegraTxAuxData (MemoBytes (AllegraTxAuxDataRaw era))

Instances19TranslateEra, Eq, Show, Generic, NFData, FromJSON, …

TranslateEra MaryEra AllegraTxAuxDataDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan
Eq (NativeScript era) => Eq (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
Show (NativeScript era) => Show (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
Generic (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
NFData (NativeScript era) => NFData (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
(Era era, EncCBOR (NativeScript era), FromJSON (NativeScript era)) => FromJSON (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
(Era era, EncCBOR (NativeScript era), ToJSON (NativeScript era)) => ToJSON (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
(Era era, NoThunks (NativeScript era)) => NoThunks (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
Typeable era => ToCBOR (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
AllegraEraScript era => DecCBOR (Annotator (AllegraTxAuxData era))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
Era era => EncCBOR (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
(Era era, EncCBOR (NativeScript era), ToJSON (NativeScript era)) => ToKeyValuePairs (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
SafeToHash (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
Eq (NativeScript era) => EqRaw (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
Memoized (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
HashAnnotated (AllegraTxAuxData era) EraIndependentTxAuxDataDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
type Rep (AllegraTxAuxData era) = D1 ('MetaData "AllegraTxAuxData" "Cardano.Ledger.Allegra.TxAuxData" "cardano-ledger-allegra-1.10.1.0-CrQS1ZJSGfrBK4W3kaLbYJ" 'True) (C1 ('MetaCons "MkAlegraTxAuxData" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxAuxDataRaw era)))))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
type TranslationError MaryEra AllegraTxAuxData = VoidDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan
type RawType (AllegraTxAuxData era) = AllegraTxAuxDataRaw eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData

pattern

pattern AllegraTxAuxData :: (Era era, EncCBOR (NativeScript era)) => Map Word64 Metadatum -> StrictSeq (NativeScript era) -> AllegraTxAuxData era

classclass EraTxBody era => AllegraEraTxBody era where

Methods

vldtTxBodyL :: Lens' (TxBody l era) ValidityInterval

Instances6AllegraEraTxBody

AllegraEraTxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody
AllegraEraTxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
AllegraEraTxBody BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
AllegraEraTxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
AllegraEraTxBody MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => AllegraEraTxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan

typetype RedeemerReport era = Map (PlutusPurpose AsIx era) (Either (TransactionScriptFailure era) ExUnits)

typetype RedeemerReportWithLogs era = Map (PlutusPurpose AsIx era) (Either (TransactionScriptFailure era) ([Text], ExUnits))

datadata TransactionScriptFailure era

Constructors

RedeemerPointsToUnknownScriptHash !(PlutusPurpose AsIx era)
MissingScript !(PlutusPurpose AsIx era) !(Map (PlutusPurpose AsIx era) (PlutusPurpose AsItem era, Maybe (PlutusScript era), ScriptHash))
MissingDatum !DataHash
ValidationFailure !ExUnits !EvaluationError ![Text] !PlutusWithContext
UnknownTxIn !TxIn
InvalidTxIn !TxIn
IncompatibleBudget !ExBudget
NoCostModelInLedgerState !Language
ContextError !(ContextError era)

Instances4Eq, Show, Generic, Rep

(Era era, Eq (TxCert era), Eq (PlutusScript era), Eq (ContextError era), Eq (PlutusPurpose AsIx era), Eq (PlutusPurpose AsItem era)) => Eq (TransactionScriptFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Evaluate
(Era era, Show (TxCert era), Show (ContextError era), Show (PlutusScript era), Show (PlutusPurpose AsIx era), Show (PlutusPurpose AsItem era)) => Show (TransactionScriptFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Evaluate
Generic (TransactionScriptFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Evaluate
type Rep (TransactionScriptFailure era) = D1 ('MetaData "TransactionScriptFailure" "Cardano.Ledger.Alonzo.Plutus.Evaluate" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'False) (((C1 ('MetaCons "RedeemerPointsToUnknownScriptHash" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusPurpose AsIx era))) :+: C1 ('MetaCons "MissingScript" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusPurpose AsIx era)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (PlutusPurpose AsIx era) (PlutusPurpose AsItem era, Maybe (PlutusScript era), ScriptHash))))) :+: (C1 ('MetaCons "MissingDatum" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash)) :+: C1 ('MetaCons "ValidationFailure" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EvaluationError)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Text]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PlutusWithContext))))) :+: ((C1 ('MetaCons "UnknownTxIn" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxIn)) :+: C1 ('MetaCons "InvalidTxIn" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxIn))) :+: (C1 ('MetaCons "IncompatibleBudget" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExBudget)) :+: (C1 ('MetaCons "NoCostModelInLedgerState" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Language)) :+: C1 ('MetaCons "ContextError" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ContextError era)))))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Evaluate

class

class (EraScript era, Eq (PlutusScript era), Ord (PlutusScript era), Show (PlutusScript era), NoThunks (PlutusScript era), NFData (PlutusScript era), SafeToHash (PlutusScript era), Eq (PlutusPurpose AsItem era), Show (PlutusPurpose AsItem era), EncCBOR (PlutusPurpose AsItem era), DecCBOR (PlutusPurpose AsItem era), NoThunks (PlutusPurpose AsItem era), NFData (PlutusPurpose AsItem era), Eq (PlutusPurpose AsIx era), Ord (PlutusPurpose AsIx era), Show (PlutusPurpose AsIx era), EncCBOR (PlutusPurpose AsIx era), DecCBOR (PlutusPurpose AsIx era), EncCBORGroup (PlutusPurpose AsIx era), DecCBORGroup (PlutusPurpose AsIx era), NoThunks (PlutusPurpose AsIx era), NFData (PlutusPurpose AsIx era), Eq (PlutusPurpose AsIxItem era), Show (PlutusPurpose AsIxItem era), NoThunks (PlutusPurpose AsIxItem era), NFData (PlutusPurpose AsIxItem era), AllegraEraScript era) => AlonzoEraScript era where

Associated types

data family PlutusScript era
type family PlutusPurpose (f :: Type -> Type -> Type) era

Methods

toSpendingPurpose :: PlutusPurpose f era -> Maybe (f Word32 TxIn)
toMintingPurpose :: PlutusPurpose f era -> Maybe (f Word32 PolicyID)
toCertifyingPurpose :: PlutusPurpose f era -> Maybe (f Word32 (TxCert era))
toWithdrawingPurpose :: PlutusPurpose f era -> Maybe (f Word32 AccountAddress)
toRewardingPurpose :: PlutusPurpose f era -> Maybe (f Word32 AccountAddress)

Instances4AlonzoEraScript

AlonzoEraScript AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
AlonzoEraScript BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
AlonzoEraScript ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
AlonzoEraScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan

datadata AlonzoPlutusPurpose (f :: Type -> Type -> Type) era

Constructors

AlonzoSpending !(f Word32 TxIn)
AlonzoMinting !(f Word32 PolicyID)
AlonzoCertifying !(f Word32 (TxCert era))
AlonzoWithdrawing !(f Word32 AccountAddress)

Instances18Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Eq (TxCert era) => Eq (AlonzoPlutusPurpose AsItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Eq (TxCert era) => Eq (AlonzoPlutusPurpose AsIxItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Ord (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Show (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Show (TxCert era) => Show (AlonzoPlutusPurpose AsItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Show (TxCert era) => Show (AlonzoPlutusPurpose AsIxItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Generic (AlonzoPlutusPurpose f era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(forall a b. (NFData a, NFData b) => NFData (f a b), NFData (TxCert era), Era era) => NFData (AlonzoPlutusPurpose f era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(forall a b. (ToJSON a, ToJSON b) => ToJSON (f a b), ToJSON (TxCert era), Era era) => ToJSON (AlonzoPlutusPurpose f era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks (TxCert era) => NoThunks (AlonzoPlutusPurpose AsItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks (TxCert era) => NoThunks (AlonzoPlutusPurpose AsIxItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(forall a b. (EncCBOR a, EncCBOR b) => EncCBOR (f a b), forall a b. (DecCBOR a, DecCBOR b) => DecCBOR (f a b), Era era, Typeable f, EncCBOR (TxCert era), DecCBOR (TxCert era)) => DecCBOR (AlonzoPlutusPurpose f era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(forall a b. (EncCBOR a, EncCBOR b) => EncCBOR (f a b), Era era, EncCBOR (TxCert era)) => EncCBOR (AlonzoPlutusPurpose f era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(forall a b. (DecCBOR a, DecCBOR b) => DecCBOR (f a b), Era era, Typeable f, DecCBOR (TxCert era)) => DecCBORGroup (AlonzoPlutusPurpose f era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(forall a b. (EncCBOR a, EncCBOR b) => EncCBOR (f a b), Era era, EncCBOR (TxCert era)) => EncCBORGroup (AlonzoPlutusPurpose f era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
type Rep (AlonzoPlutusPurpose f era) = D1 ('MetaData "AlonzoPlutusPurpose" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'False) ((C1 ('MetaCons "AlonzoSpending" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 TxIn))) :+: C1 ('MetaCons "AlonzoMinting" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 PolicyID)))) :+: (C1 ('MetaCons "AlonzoCertifying" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))) :+: C1 ('MetaCons "AlonzoWithdrawing" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 AccountAddress)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts

patternpattern AlonzoRewarding :: f Word32 AccountAddress -> AlonzoPlutusPurpose f era

Deprecated. In favor of AlonzoWithdrawing

newtypenewtype AsItem ix it

Constructors

AsItem
- unAsItem :: it

Instances21Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq (TxCert era) => Eq (AlonzoPlutusPurpose AsItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Eq it => Eq (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraTxCert era, EraPParams era) => Eq (DijkstraPlutusPurpose AsItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(Eq (TxCert era), EraPParams era) => Eq (ConwayPlutusPurpose AsItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Ord it => Ord (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraPParams era, EraTxCert era) => Ord (DijkstraPlutusPurpose AsItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Show (TxCert era) => Show (AlonzoPlutusPurpose AsItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Show it => Show (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraPParams era, EraTxCert era) => Show (DijkstraPlutusPurpose AsItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(Show (TxCert era), EraPParams era) => Show (ConwayPlutusPurpose AsItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Generic it => Generic (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NFData it => NFData (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraPParams era, NFData (TxCert era)) => NFData (DijkstraPlutusPurpose AsItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
ToJSON it => ToJSON (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks (TxCert era) => NoThunks (AlonzoPlutusPurpose AsItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks it => NoThunks (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraPParams era, NoThunks (TxCert era)) => NoThunks (DijkstraPlutusPurpose AsItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(NoThunks (TxCert era), EraPParams era) => NoThunks (ConwayPlutusPurpose AsItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(Typeable ix, DecCBOR it) => DecCBOR (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
EncCBOR it => EncCBOR (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
type Rep (AsItem ix it) = Rep itDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts

newtypenewtype AsIx ix it

Constructors

AsIx
- unAsIx :: ix

Instances23Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Eq (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Eq ix => Eq (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraTxCert era, EraPParams era) => Eq (DijkstraPlutusPurpose AsIx era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Ord (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Ord (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Ord ix => Ord (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraPParams era, EraTxCert era) => Ord (DijkstraPlutusPurpose AsIx era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Show (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Show (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Show ix => Show (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraPParams era, EraTxCert era) => Show (DijkstraPlutusPurpose AsIx era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Generic ix => Generic (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NFData ix => NFData (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraPParams era, NFData (TxCert era)) => NFData (DijkstraPlutusPurpose AsIx era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
ToJSON ix => ToJSON (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
NoThunks ix => NoThunks (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraPParams era, NoThunks (TxCert era)) => NoThunks (DijkstraPlutusPurpose AsIx era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(Typeable it, DecCBOR ix) => DecCBOR (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
EncCBOR ix => EncCBOR (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
type Rep (AsIx ix it) = Rep ixDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts

familytype family PlutusPurpose (f :: Type -> Type -> Type) era

Instances4PlutusPurpose

type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
type PlutusPurpose f BabbageEra = AlonzoPlutusPurpose f BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
type PlutusPurpose f ConwayEra = ConwayPlutusPurpose f ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
type PlutusPurpose f DijkstraEra = DijkstraPlutusPurpose f DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan

familydata family PlutusScript era

Instances42Eq, Ord, Show, Generic, NFData, MemPack, …

Eq (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Eq (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
Eq (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
Eq (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
Ord (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Ord (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
Ord (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
Ord (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
Show (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Show (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
Show (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
Show (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
Generic (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Generic (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
Generic (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
Generic (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
NFData (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NFData (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
NFData (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
NFData (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
MemPack (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
MemPack (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
MemPack (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
MemPack (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
NoThunks (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
NoThunks (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
NoThunks (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
AlonzoEraScript era => ToCBOR (PlutusScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
AlonzoEraScript era => EncCBOR (PlutusScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
SafeToHash (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
SafeToHash (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
SafeToHash (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
SafeToHash (PlutusScript DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
type Rep (PlutusScript BabbageEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.14.0.0-IorkXQjtMXvLMg0K4UxcYR" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
type Rep (PlutusScript ConwayEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV3)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
type Rep (PlutusScript DijkstraEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc" 'False) ((C1 ('MetaCons "DijkstraPlutusV1" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "DijkstraPlutusV2" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2)))) :+: (C1 ('MetaCons "DijkstraPlutusV3" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV3))) :+: C1 ('MetaCons "DijkstraPlutusV4" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV4)))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
data PlutusScript AlonzoEra
- AlonzoPlutusV1 (Plutus 'PlutusV1)
Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
data PlutusScript BabbageEra
- BabbagePlutusV1 !(Plutus 'PlutusV1)
- BabbagePlutusV2 !(Plutus 'PlutusV2)
Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
data PlutusScript ConwayEra
- ConwayPlutusV1 !(Plutus 'PlutusV1)
- ConwayPlutusV2 !(Plutus 'PlutusV2)
- ConwayPlutusV3 !(Plutus 'PlutusV3)
Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
data PlutusScript DijkstraEra
- DijkstraPlutusV1 !(Plutus 'PlutusV1)
- DijkstraPlutusV2 !(Plutus 'PlutusV2)
- DijkstraPlutusV3 !(Plutus 'PlutusV3)
- DijkstraPlutusV4 !(Plutus 'PlutusV4)
Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan

class

class (EraTx era, AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraScript era, AlonzoEraTxAuxData era) => AlonzoEraTx era where

Methods

isPhase2ValidTxL :: Lens' (Tx TopTx era) IsPhase2Valid
isValidTxL :: Lens' (Tx TopTx era) IsPhase2Valid

Instances4AlonzoEraTx

AlonzoEraTx AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
AlonzoEraTx BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Tx · orphan
AlonzoEraTx ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
AlonzoEraTx DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan

datadata IsPhase2Valid

Phase2Invalid Phase2Valid

Instances13Eq, Show, Generic, Semigroup, Monoid, NFData, …

Eq IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
Show IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
Generic IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
Semigroup IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
Monoid IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
NFData IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
FromJSON IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
ToJSON IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
NoThunks IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
ToCBOR IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
DecCBOR IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
EncCBOR IsPhase2ValidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
type Rep IsPhase2Valid = D1 ('MetaData "IsPhase2Valid" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'False) (C1 ('MetaCons "Phase2Invalid" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Phase2Valid" 'PrefixI 'False) U1)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx

typetype IsValid = IsPhase2Valid

Deprecated. In favor of IsPhase2Valid

classclass AllegraEraTxAuxData era => AlonzoEraTxAuxData era where

Methods

plutusScriptsTxAuxDataL :: Lens' (TxAuxData era) (Map Language (NonEmpty PlutusBinary))

Instances4AlonzoEraTxAuxData

StAnnTxCache AlonzoEra ~ Map ScriptHash (SupportedPlutusRunnable AlonzoEra) => AlonzoEraTxAuxData AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
StAnnTxCache BabbageEra ~ Map ScriptHash (SupportedPlutusRunnable BabbageEra) => AlonzoEraTxAuxData BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxAuxData · orphan
StAnnTxCache ConwayEra ~ Map ScriptHash (SupportedPlutusRunnable ConwayEra) => AlonzoEraTxAuxData ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxAuxData · orphan
StAnnTxCache DijkstraEra ~ Map ScriptHash (SupportedPlutusRunnable DijkstraEra) => AlonzoEraTxAuxData DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxAuxData · orphan

newtypenewtype AlonzoTxAuxData era

Constructors

MkAlonzoTxAuxData (MemoBytes (AlonzoTxAuxDataRaw era))

Instances16Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq (NativeScript era) => Eq (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Show (NativeScript era) => Show (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Generic (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
NFData (NativeScript era) => NFData (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
(AlonzoEraScript era, FromJSON (NativeScript era)) => FromJSON (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
(AlonzoEraScript era, ToJSON (NativeScript era)) => ToJSON (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
NoThunks (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Typeable era => ToCBOR (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
(Era era, DecCBOR (Annotator (NativeScript era)), Typeable (NativeScript era)) => DecCBOR (Annotator (AlonzoTxAuxData era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Era era => EncCBOR (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
SafeToHash (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Eq (NativeScript era) => EqRaw (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Memoized (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
HashAnnotated (AlonzoTxAuxData era) EraIndependentTxAuxDataDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'True) (C1 ('MetaCons "MkAlonzoTxAuxData" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxAuxDataRaw era)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
type RawType (AlonzoTxAuxData era) = AlonzoTxAuxDataRaw eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData

pattern

pattern AlonzoTxAuxData :: (HasCallStack, AlonzoEraScript era) => Map Word64 Metadatum -> StrictSeq (NativeScript era) -> Map Language (NonEmpty PlutusBinary) -> AlonzoTxAuxData era

pattern

pattern AlonzoTxAuxData' :: Map Word64 Metadatum -> StrictSeq (NativeScript era) -> Map Language (NonEmpty PlutusBinary) -> AlonzoTxAuxData era

valueatadMetadata

:: (HasCallStack, AlonzoEraScript era)
=> AlonzoTxAuxData era
-> Map Word64 Metadatum

valueatadMetadata' :: AlonzoTxAuxData era -> Map Word64 Metadatum

valueatadNativeScripts

:: (HasCallStack, AlonzoEraScript era)
=> AlonzoTxAuxData era
-> StrictSeq (NativeScript era)

valueatadNativeScripts' :: AlonzoTxAuxData era -> StrictSeq (NativeScript era)

valueatadPlutusScripts

:: (HasCallStack, AlonzoEraScript era)
=> AlonzoTxAuxData era
-> Map Language (NonEmpty PlutusBinary)

valueatadPlutusScripts'

:: AlonzoTxAuxData era
-> Map Language (NonEmpty PlutusBinary)

classclass (MaryEraTxBody era, AlonzoEraTxOut era) => AlonzoEraTxBody era where

Methods

collateralInputsTxBodyL :: Lens' (TxBody TopTx era) (Set TxIn)
reqSignerHashesTxBodyL :: AtMostEra "Conway" era => Lens' (TxBody l era) (Set (KeyHash Guard))
scriptIntegrityHashTxBodyL :: Lens' (TxBody l era) (StrictMaybe ScriptIntegrityHash)
networkIdTxBodyL :: Lens' (TxBody l era) (StrictMaybe Network)
redeemerPointer :: TxBody l era -> PlutusPurpose AsItem era -> StrictMaybe (PlutusPurpose AsIx era)
redeemerPointerInverse :: TxBody l era -> PlutusPurpose AsIx era -> StrictMaybe (PlutusPurpose AsIxItem era)

Instances4AlonzoEraTxBody

AlonzoEraTxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
AlonzoEraTxBody BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
AlonzoEraTxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => AlonzoEraTxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan

typetype ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity

classclass (AlonzoEraPParams era, EraTxOut era) => AlonzoEraTxOut era where

Methods

dataHashTxOutL :: Lens' (TxOut era) (StrictMaybe DataHash)
datumTxOutF :: SimpleGetter (TxOut era) (Datum era)

Instances4AlonzoEraTxOut

AlonzoEraTxOut AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
AlonzoEraTxOut BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut · orphan
AlonzoEraTxOut ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxOut · orphan
AlonzoEraTxOut DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxOut · orphan

classclass (EraTxWits era, AlonzoEraScript era) => AlonzoEraTxWits era where

Methods

datsTxWitsL :: Lens' (TxWits era) (TxDats era)
rdmrsTxWitsL :: Lens' (TxWits era) (Redeemers era)

Instances4AlonzoEraTxWits

AlonzoEraTxWits AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
AlonzoEraTxWits BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxWits · orphan
AlonzoEraTxWits ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxWits · orphan
AlonzoEraTxWits DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxWits · orphan

newtypenewtype Redeemers era

Constructors

MkRedeemers (MemoBytes (RedeemersRaw era))

Instances14Eq, Show, Generic, Semigroup, Monoid, NFData, …

AlonzoEraScript era => Eq (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
AlonzoEraScript era => Show (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Generic (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
AlonzoEraScript era => Semigroup (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
AlonzoEraScript era => Monoid (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
AlonzoEraScript era => NFData (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
AlonzoEraScript era => NoThunks (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Typeable era => ToCBOR (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
AlonzoEraScript era => DecCBOR (Annotator (Redeemers era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
AlonzoEraScript era => EncCBOR (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
SafeToHash (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Memoized (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
type Rep (Redeemers era) = Rep (MemoBytes (RedeemersRaw era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
type RawType (Redeemers era) = RedeemersRaw eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits

patternpattern Redeemers :: AlonzoEraScript era => Map (PlutusPurpose AsIx era) (Data era, ExUnits) -> Redeemers era

newtypenewtype TxDats era

Constructors

MkTxDats (MemoBytes (TxDatsRaw era))

Instances14Eq, Show, Generic, Semigroup, Monoid, NFData, …

Eq (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Show (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Generic (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Era era => Semigroup (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Era era => Monoid (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
NFData (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Typeable era => NoThunks (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Typeable era => ToCBOR (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Era era => DecCBOR (Annotator (TxDats era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Era era => EncCBOR (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
SafeToHash (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Memoized (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
type Rep (TxDats era) = D1 ('MetaData "TxDats" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'True) (C1 ('MetaCons "MkTxDats" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (TxDatsRaw era)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
type RawType (TxDats era) = TxDatsRaw eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits

patternpattern TxDats :: Era era => Map DataHash (Data era) -> TxDats era

methodupgradeTx

:: EraTx (PreviousEra era)
=> Tx l (PreviousEra era)
-> Either (TxUpgradeError era) (Tx l era)

methodupgradeTxAuxData

:: EraTxAuxData (PreviousEra era)
=> TxAuxData (PreviousEra era)
-> TxAuxData era

methodupgradeTxBody

:: EraTxBody (PreviousEra era)
=> TxBody l (PreviousEra era)
-> Either (TxBodyUpgradeError era) (TxBody l era)

methodupgradeTxWits

:: EraTxWits (PreviousEra era)
=> TxWits (PreviousEra era)
-> TxWits era

classclass EraScript era => AnyEraScript era where

Methods

anyEraMaxLanguage :: Maybe Language
anyEraToPlutusScript :: Script era -> Maybe (PlutusScript era)
anyEraToSpendingPurpose :: PlutusPurpose f era -> Maybe (f Word32 TxIn)
anyEraToMintingPurpose :: PlutusPurpose f era -> Maybe (f Word32 PolicyID)
anyEraToCertifyingPurpose :: PlutusPurpose f era -> Maybe (f Word32 (TxCert era))
anyEraToWithdrawingPurpose :: PlutusPurpose f era -> Maybe (f Word32 AccountAddress)
anyEraToRewardingPurpose :: PlutusPurpose f era -> Maybe (f Word32 AccountAddress)
anyEraToVotingPurpose :: PlutusPurpose f era -> Maybe (f Word32 Voter)
anyEraToProposingPurpose :: PlutusPurpose f era -> Maybe (f Word32 (ProposalProcedure era))
anyEraToGuardingPurpose :: PlutusPurpose f era -> Maybe (f Word32 ScriptHash)

Instances7AnyEraScript, …

AnyEraScript AllegraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Scripts
AnyEraScript AlonzoEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Scripts
AnyEraScript BabbageEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Scripts
AnyEraScript ConwayEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Scripts
AnyEraScript DijkstraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Scripts
AnyEraScript MaryEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Scripts
AnyEraScript ShelleyEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Scripts

classclass (EraTx era, AnyEraTxBody era, AnyEraTxWits era, AnyEraTxAuxData era) => AnyEraTx era where

Methods

isPhase2ValidTxG :: SimpleGetter (Tx TopTx era) (Maybe IsPhase2Valid)
isValidTxG :: SimpleGetter (Tx TopTx era) (Maybe IsPhase2Valid)

Instances7AnyEraTx, …

AnyEraTx AllegraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx
AnyEraTx AlonzoEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx
AnyEraTx BabbageEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx
AnyEraTx ConwayEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx
AnyEraTx DijkstraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx
AnyEraTx MaryEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx
AnyEraTx ShelleyEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx

datadata DecAddr

Constructors

Instances2Eq, Show

Eq DecAddrDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Address
Show DecAddrDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Address

classclass EraTxAuxData era => AnyEraTxAuxData era where

Methods

nativeScriptsTxAuxDataG :: SimpleGetter (TxAuxData era) (Maybe (StrictSeq (NativeScript era)))
plutusScriptsTxAuxDataG :: SimpleGetter (TxAuxData era) (Maybe (Map Language (NonEmpty PlutusBinary)))

Instances7AnyEraTxAuxData, …

AnyEraTxAuxData AllegraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.AuxData
AnyEraTxAuxData AlonzoEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.AuxData
AnyEraTxAuxData BabbageEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.AuxData
AnyEraTxAuxData ConwayEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.AuxData
AnyEraTxAuxData DijkstraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.AuxData
AnyEraTxAuxData MaryEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.AuxData
AnyEraTxAuxData ShelleyEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.AuxData

classclass (EraTxBody era, AnyEraTxOut era, AnyEraTxCert era) => AnyEraTxBody era where

Methods

updateTxBodyG :: SimpleGetter (TxBody TopTx era) (Maybe (Maybe (Update era)))
vldtTxBodyG :: SimpleGetter (TxBody TopTx era) ValidityInterval
mintTxBodyG :: SimpleGetter (TxBody l era) (Maybe MultiAsset)
collateralInputsTxBodyG :: SimpleGetter (TxBody TopTx era) (Maybe (Set TxIn))
scriptIntegrityHashTxBodyG :: SimpleGetter (TxBody l era) (Maybe (Maybe ScriptIntegrityHash))
networkIdTxBodyG :: SimpleGetter (TxBody l era) (Maybe (Maybe Network))
sizedOutputsTxBodyG :: SimpleGetter (TxBody l era) (Maybe (StrictSeq (Sized (TxOut era))))
referenceInputsTxBodyG :: SimpleGetter (TxBody l era) (Maybe (Set TxIn))
totalCollateralTxBodyG :: SimpleGetter (TxBody TopTx era) (Maybe (Maybe Coin))
collateralReturnTxBodyG :: SimpleGetter (TxBody TopTx era) (Maybe (Maybe (TxOut era)))
sizedCollateralReturnTxBodyG :: SimpleGetter (TxBody TopTx era) (Maybe (Maybe (Sized (TxOut era))))
currentTreasuryValueTxBodyG :: SimpleGetter (TxBody l era) (Maybe (Maybe Coin))
votingProceduresTxBodyG :: SimpleGetter (TxBody l era) (Maybe (VotingProcedures era))
proposalProceduresTxBodyG :: SimpleGetter (TxBody l era) (Maybe (OSet (ProposalProcedure era)))
treasuryDonationTxBodyG :: SimpleGetter (TxBody l era) (Maybe Coin)
guardsTxBodyG :: SimpleGetter (TxBody l era) (Maybe (OSet (Credential Guard)))

Instances7AnyEraTxBody, …

AnyEraTxBody AllegraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Body
AnyEraTxBody AlonzoEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Body
AnyEraTxBody BabbageEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Body
AnyEraTxBody ConwayEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Body
AnyEraTxBody DijkstraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Body
AnyEraTxBody MaryEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Body
AnyEraTxBody ShelleyEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Body

classclass EraTxCert era => AnyEraTxCert era where

Methods

anyEraToRegTxCert :: TxCert era -> Maybe (Credential Staking)
anyEraToUnRegTxCert :: TxCert era -> Maybe (Credential Staking)
anyEraToGenesisDelegTxCert :: TxCert era -> Maybe GenesisDelegCert
anyEraToMirTxCert :: TxCert era -> Maybe MIRCert
anyEraToRegDepositTxCert :: TxCert era -> Maybe (Credential Staking, Coin)
anyEraToUnRegDepositTxCert :: TxCert era -> Maybe (Credential Staking, Coin)
anyEraToDelegTxCert :: TxCert era -> Maybe (Credential Staking, Delegatee)
anyEraToRegDepositDelegTxCert :: TxCert era -> Maybe (Credential Staking, Delegatee, Coin)
anyEraToAuthCommitteeHotKeyTxCert :: TxCert era -> Maybe (Credential ColdCommitteeRole, Credential HotCommitteeRole)
anyEraToResignCommitteeColdTxCert :: TxCert era -> Maybe (Credential ColdCommitteeRole, StrictMaybe Anchor)
anyEraToRegDRepTxCert :: TxCert era -> Maybe (Credential DRepRole, Coin, StrictMaybe Anchor)
anyEraToUnRegDRepTxCert :: TxCert era -> Maybe (Credential DRepRole, Coin)
anyEraToUpdateDRepTxCert :: TxCert era -> Maybe (Credential DRepRole, StrictMaybe Anchor)

Instances7AnyEraTxCert, …

AnyEraTxCert AllegraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Cert
AnyEraTxCert AlonzoEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Cert
AnyEraTxCert BabbageEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Cert
AnyEraTxCert ConwayEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Cert
AnyEraTxCert DijkstraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Cert
AnyEraTxCert MaryEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Cert
AnyEraTxCert ShelleyEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Cert

classclass (EraTxOut era, AnyEraScript era) => AnyEraTxOut era where

Methods

datumTxOutG :: SimpleGetter (TxOut era) (Maybe (Datum era))
referenceScriptTxOutG :: SimpleGetter (TxOut era) (Maybe (Maybe (Script era)))

Instances7AnyEraTxOut, …

AnyEraTxOut AllegraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Out
AnyEraTxOut AlonzoEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Out
AnyEraTxOut BabbageEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Out
AnyEraTxOut ConwayEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Out
AnyEraTxOut DijkstraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Out
AnyEraTxOut MaryEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Out
AnyEraTxOut ShelleyEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Out

classclass (EraTxWits era, AnyEraScript era) => AnyEraTxWits era where

Methods

datsTxWitsG :: SimpleGetter (TxWits era) (Maybe (TxDats era))
rdmrsTxWitsG :: SimpleGetter (TxWits era) (Maybe (Redeemers era))

Instances7AnyEraTxWits, …

AnyEraTxWits AllegraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Wits
AnyEraTxWits AlonzoEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Wits
AnyEraTxWits BabbageEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Wits
AnyEraTxWits ConwayEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Wits
AnyEraTxWits DijkstraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Wits
AnyEraTxWits MaryEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Wits
AnyEraTxWits ShelleyEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Wits

classclass (AlonzoEraTxBody era, BabbageEraTxOut era) => BabbageEraTxBody era where

Methods

sizedOutputsTxBodyL :: Lens' (TxBody l era) (StrictSeq (Sized (TxOut era)))
referenceInputsTxBodyL :: Lens' (TxBody l era) (Set TxIn)
totalCollateralTxBodyL :: Lens' (TxBody TopTx era) (StrictMaybe Coin)
collateralReturnTxBodyL :: Lens' (TxBody TopTx era) (StrictMaybe (TxOut era))
sizedCollateralReturnTxBodyL :: Lens' (TxBody TopTx era) (StrictMaybe (Sized (TxOut era)))
allSizedOutputsTxBodyF :: SimpleGetter (TxBody l era) (StrictSeq (Sized (TxOut era)))

Instances3BabbageEraTxBody

BabbageEraTxBody BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody
BabbageEraTxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
(NFData (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => BabbageEraTxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan

classclass (AlonzoEraTxOut era, AlonzoEraScript era) => BabbageEraTxOut era where

Methods

referenceScriptTxOutL :: Lens' (TxOut era) (StrictMaybe (Script era))
dataTxOutL :: Lens' (TxOut era) (StrictMaybe (Data era))
datumTxOutL :: Lens' (TxOut era) (Datum era)

Instances3BabbageEraTxOut

BabbageEraTxOut BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
BabbageEraTxOut ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxOut · orphan
BabbageEraTxOut DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxOut · orphan

datadata ProposalProcedure era

Constructors

ProposalProcedure
- pProcDeposit :: !Coin
- pProcReturnAddr :: !AccountAddress
- pProcGovAction :: !GovAction era
- pProcAnchor :: !Anchor

Instances13TranslateEra, Eq, Ord, Show, Generic, NFData, …

TranslateEra DijkstraEra ProposalProcedureDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan
EraPParams era => Eq (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => Ord (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => Show (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Generic (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => NFData (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => ToJSON (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => NoThunks (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => DecCBOR (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => EncCBOR (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => ToKeyValuePairs (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep (ProposalProcedure era) = D1 ('MetaData "ProposalProcedure" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "ProposalProcedure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pProcDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "pProcReturnAddr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AccountAddress)) :*: (S1 ('MetaSel ('Just "pProcGovAction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovAction era)) :*: S1 ('MetaSel ('Just "pProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Anchor))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type TranslationError DijkstraEra ProposalProcedure = VoidDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Translation · orphan

datadata VotingProcedure era

Constructors

VotingProcedure
- vProcVote :: !Vote
- vProcAnchor :: !StrictMaybe Anchor

Instances10Eq, Show, Generic, NFData, ToJSON, NoThunks, …

Eq (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Show (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Generic (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
NFData (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => ToJSON (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
NoThunks (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => DecCBOR (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => EncCBOR (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => ToKeyValuePairs (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep (VotingProcedure era) = D1 ('MetaData "VotingProcedure" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "VotingProcedure" 'PrefixI 'True) (S1 ('MetaSel ('Just "vProcVote") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Vote) :*: S1 ('MetaSel ('Just "vProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

newtypenewtype VotingProcedures era

Constructors

VotingProcedures
- unVotingProcedures :: Map Voter (Map GovActionId (VotingProcedure era))

Instances10Indexable, Eq, Show, Generic, NFData, ToJSON, …

Indexable Voter (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Eq (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Show (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Generic (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => NFData (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => ToJSON (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
NoThunks (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => DecCBOR (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => EncCBOR (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep (VotingProcedures era) = D1 ('MetaData "VotingProcedures" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'True) (C1 ('MetaCons "VotingProcedures" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVotingProcedures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Voter (Map GovActionId (VotingProcedure era))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

classclass AlonzoEraScript era => ConwayEraScript era where

Methods

toVotingPurpose :: PlutusPurpose f era -> Maybe (f Word32 Voter)
toProposingPurpose :: PlutusPurpose f era -> Maybe (f Word32 (ProposalProcedure era))

Instances2ConwayEraScript

ConwayEraScript ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
ConwayEraScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan

datadata ConwayPlutusPurpose (f :: Type -> Type -> Type) era

Constructors

ConwaySpending !(f Word32 TxIn)
ConwayMinting !(f Word32 PolicyID)
ConwayCertifying !(f Word32 (TxCert era))
ConwayWithdrawing !(f Word32 AccountAddress)
ConwayVoting !(f Word32 Voter)
ConwayProposing !(f Word32 (ProposalProcedure era))

Instances19Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(Eq (TxCert era), EraPParams era) => Eq (ConwayPlutusPurpose AsItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(Eq (TxCert era), EraPParams era) => Eq (ConwayPlutusPurpose AsIxItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Ord (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Show (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(Show (TxCert era), EraPParams era) => Show (ConwayPlutusPurpose AsItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(Show (TxCert era), EraPParams era) => Show (ConwayPlutusPurpose AsIxItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Generic (ConwayPlutusPurpose f era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(forall a b. (NFData a, NFData b) => NFData (f a b), NFData (TxCert era), EraPParams era) => NFData (ConwayPlutusPurpose f era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(forall a b. (ToJSON a, ToJSON b) => ToJSON (f a b), ToJSON (TxCert era), EraPParams era) => ToJSON (ConwayPlutusPurpose f era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
NoThunks (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(NoThunks (TxCert era), EraPParams era) => NoThunks (ConwayPlutusPurpose AsItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(NoThunks (TxCert era), EraPParams era) => NoThunks (ConwayPlutusPurpose AsIxItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(forall a b. (EncCBOR a, EncCBOR b) => EncCBOR (f a b), forall a b. (DecCBOR a, DecCBOR b) => DecCBOR (f a b), EraPParams era, Typeable f, EncCBOR (TxCert era), DecCBOR (TxCert era)) => DecCBOR (ConwayPlutusPurpose f era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(forall a b. (EncCBOR a, EncCBOR b) => EncCBOR (f a b), EraPParams era, EncCBOR (TxCert era)) => EncCBOR (ConwayPlutusPurpose f era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(forall a b. (DecCBOR a, DecCBOR b) => DecCBOR (f a b), EraPParams era, Typeable f, DecCBOR (TxCert era)) => DecCBORGroup (ConwayPlutusPurpose f era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(forall a b. (EncCBOR a, EncCBOR b) => EncCBOR (f a b), EraPParams era, EncCBOR (TxCert era)) => EncCBORGroup (ConwayPlutusPurpose f era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Inject (ConwayPlutusPurpose f era) (DijkstraPlutusPurpose f era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
type Rep (ConwayPlutusPurpose f era) = D1 ('MetaData "ConwayPlutusPurpose" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) ((C1 ('MetaCons "ConwaySpending" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 TxIn))) :+: (C1 ('MetaCons "ConwayMinting" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 PolicyID))) :+: C1 ('MetaCons "ConwayCertifying" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))))) :+: (C1 ('MetaCons "ConwayWithdrawing" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 AccountAddress))) :+: (C1 ('MetaCons "ConwayVoting" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 Voter))) :+: C1 ('MetaCons "ConwayProposing" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (ProposalProcedure era)))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts

patternpattern ConwayRewarding :: f Word32 AccountAddress -> ConwayPlutusPurpose f era

Deprecated. In favor of ConwayWithdrawing

class

class (BabbageEraTxBody era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraScript era) => ConwayEraTxBody era where

Methods

currentTreasuryValueTxBodyL :: Lens' (TxBody l era) (StrictMaybe Coin)
votingProceduresTxBodyL :: Lens' (TxBody l era) (VotingProcedures era)
proposalProceduresTxBodyL :: Lens' (TxBody l era) (OSet (ProposalProcedure era))
treasuryDonationTxBodyL :: Lens' (TxBody l era) Coin

Instances2ConwayEraTxBody

ConwayEraTxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody
(NFData (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => ConwayEraTxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan

classclass EraTxCert era => ConwayEraTxCert era where

Methods

getRegDepositTxCert :: TxCert era -> Maybe (Credential Staking, Coin)
getUnRegDepositTxCert :: TxCert era -> Maybe (Credential Staking, Coin)
getDelegTxCert :: TxCert era -> Maybe (Credential Staking, Delegatee)
getRegDepositDelegTxCert :: TxCert era -> Maybe (Credential Staking, Delegatee, Coin)
getAuthCommitteeHotKeyTxCert :: TxCert era -> Maybe (Credential ColdCommitteeRole, Credential HotCommitteeRole)
getResignCommitteeColdTxCert :: TxCert era -> Maybe (Credential ColdCommitteeRole, StrictMaybe Anchor)
getRegDRepTxCert :: TxCert era -> Maybe (Credential DRepRole, Coin, StrictMaybe Anchor)
getUpdateDRepTxCert :: TxCert era -> Maybe (Credential DRepRole, StrictMaybe Anchor)

Instances2ConwayEraTxCert

ConwayEraTxCert ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
ConwayEraTxCert DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxCert · orphan

datadata Delegatee

Constructors

DelegStake !(KeyHash StakePool)
DelegVote !DRep
DelegStakeVote !(KeyHash StakePool) !DRep

Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Ord DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Show DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Generic DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
NFData DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
FromJSON DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
ToJSON DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
NoThunks DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
DecCBOR DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
EncCBOR DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
type Rep Delegatee = D1 ('MetaData "Delegatee" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "DelegStake" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash StakePool))) :+: (C1 ('MetaCons "DelegVote" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DRep)) :+: C1 ('MetaCons "DelegStakeVote" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash StakePool)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DRep))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert

datadata AccountAddress

Constructors

AccountAddress
- aaNetworkId :: !Network
- aaId :: !AccountId

Instances14Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Ord AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Show AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Generic AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NFData AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
FromJSON AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
FromJSONKey AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
ToJSON AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
ToJSONKey AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Default AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NoThunks AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
DecCBOR AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
EncCBOR AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
type Rep AccountAddress = D1 ('MetaData "AccountAddress" "Cardano.Ledger.Address" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "AccountAddress" 'PrefixI 'True) (S1 ('MetaSel ('Just "aaNetworkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Just "aaId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AccountId)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address

newtypenewtype AccountId

Constructors

AccountId
- unAccountId :: Credential Staking

Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Ord AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Show AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Generic AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NFData AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
FromJSON AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
ToJSON AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NoThunks AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
DecCBOR AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
EncCBOR AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
type Rep AccountId = D1 ('MetaData "AccountId" "Cardano.Ledger.Address" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "AccountId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAccountId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential Staking))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address

datadata Addr

Constructors

Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Ord AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Show AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Generic AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NFData AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
FromJSON AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
FromJSONKey AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
ToJSON AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
ToJSONKey AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NoThunks AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
DecCBOR AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
EncCBOR AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
type Rep Addr = D1 ('MetaData "Addr" "Cardano.Ledger.Address" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "Addr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential Payment)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakeReference))) :+: C1 ('MetaCons "AddrBootstrap" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BootstrapAddress)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address

newtypenewtype BootstrapAddress

Constructors

BootstrapAddress
- unBootstrapAddress :: Address

Instances7Eq, Ord, Show, Generic, NFData, NoThunks, …

Eq BootstrapAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Ord BootstrapAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Show BootstrapAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Generic BootstrapAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NFData BootstrapAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NoThunks BootstrapAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
type Rep BootstrapAddress = D1 ('MetaData "BootstrapAddress" "Cardano.Ledger.Address" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "BootstrapAddress" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBootstrapAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Address)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address

newtypenewtype DirectDeposits

Constructors

DirectDeposits
- unDirectDeposits :: Map AccountAddress Coin

Instances10Eq, Show, Generic, Semigroup, Monoid, NFData, …

Eq DirectDepositsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Show DirectDepositsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Generic DirectDepositsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Semigroup DirectDepositsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Monoid DirectDepositsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NFData DirectDepositsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NoThunks DirectDepositsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
DecCBOR DirectDepositsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
EncCBOR DirectDepositsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
type Rep DirectDeposits = D1 ('MetaData "DirectDeposits" "Cardano.Ledger.Address" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "DirectDeposits" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDirectDeposits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map AccountAddress Coin))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address

newtypenewtype Withdrawals

Constructors

Withdrawals
- unWithdrawals :: Map AccountAddress Coin

Instances10Eq, Show, Generic, Semigroup, Monoid, NFData, …

Eq WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Show WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Generic WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Semigroup WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Monoid WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NFData WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NoThunks WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
DecCBOR WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
EncCBOR WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
type Rep Withdrawals = D1 ('MetaData "Withdrawals" "Cardano.Ledger.Address" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "Withdrawals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWithdrawals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map AccountAddress Coin))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address

class

class (Era era, Show (Script era), Eq (Script era), EqRaw (Script era), ToJSON (Script era), FromJSON (Script era), ToCBOR (Script era), EncCBOR (Script era), DecCBOR (Annotator (Script era)), NFData (Script era), NoThunks (Script era), SafeToHash (Script era), Eq (NativeScript era), Show (NativeScript era), NFData (NativeScript era), NoThunks (NativeScript era), ToJSON (NativeScript era), FromJSON (NativeScript era), ToCBOR (NativeScript era), EncCBOR (NativeScript era), DecCBOR (Annotator (NativeScript era))) => EraScript era where

Associated types

type family Script era
type family NativeScript era

Methods

upgradeScript :: EraScript (PreviousEra era) => Script (PreviousEra era) -> Script era
scriptPrefixTag :: Script era -> ByteString
getNativeScript :: Script era -> Maybe (NativeScript era)

Instances7EraScript, …

EraScript AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts · orphan
EraScript AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts · orphan
EraScript BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
EraScript ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
EraScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
EraScript MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Scripts · orphan
EraScript ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts · orphan

class

class (EraTxBody era, EraTxWits era, EraTxAuxData era, EraPParams era, HasEraTxLevel Tx era, Monoid (StAnnTxCache era), forall (l :: TxLevel). Typeable l => NoThunks (Tx l era), forall (l :: TxLevel). Typeable l => DecCBOR (Annotator (Tx l era)), forall (l :: TxLevel). Typeable l => ToCBOR (Tx l era), forall (l :: TxLevel). EncCBOR (Tx l era), forall (l :: TxLevel). NFData (Tx l era), forall (l :: TxLevel). Show (Tx l era), forall (l :: TxLevel). Eq (Tx l era)) => EraTx era where

Associated types

data family Tx (l :: TxLevel) era

Methods

mkBasicTx :: TxBody l era -> Tx l era
bodyTxL :: Lens' (Tx l era) (TxBody l era)
witsTxL :: Lens' (Tx l era) (TxWits era)
auxDataTxL :: Lens' (Tx l era) (StrictMaybe (TxAuxData era))
sizeTxF :: HasCallStack => SimpleGetter (Tx l era) Word32
validateNativeScript :: Tx l era -> NativeScript era -> Bool
getMinFeeTx :: PParams era -> Tx l era -> Int -> Coin

Instances7EraTx, …

EraTx AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
EraTx AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
EraTx BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Tx · orphan
EraTx ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Tx · orphan
EraTx DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Tx · orphan
EraTx MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
EraTx ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan

class

class (Era era, Eq (TxAuxData era), EqRaw (TxAuxData era), Show (TxAuxData era), NoThunks (TxAuxData era), NFData (TxAuxData era), ToJSON (TxAuxData era), FromJSON (TxAuxData era), ToCBOR (TxAuxData era), EncCBOR (TxAuxData era), DecCBOR (Annotator (TxAuxData era)), HashAnnotated (TxAuxData era) EraIndependentTxAuxData) => EraTxAuxData era where

Associated types

type family TxAuxData era

Methods

mkBasicTxAuxData :: TxAuxData era
metadataTxAuxDataL :: Lens' (TxAuxData era) (Map Word64 Metadatum)
validateTxAuxData :: StAnnTxCache era -> ProtVer -> TxAuxData era -> Bool

Instances7EraTxAuxData, …

EraTxAuxData AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData · orphan
EraTxAuxData MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxAuxData · orphan
EraTxAuxData ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData · orphan
StAnnTxCache AlonzoEra ~ Map ScriptHash (SupportedPlutusRunnable AlonzoEra) => EraTxAuxData AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData · orphan
StAnnTxCache BabbageEra ~ Map ScriptHash (SupportedPlutusRunnable BabbageEra) => EraTxAuxData BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxAuxData · orphan
StAnnTxCache ConwayEra ~ Map ScriptHash (SupportedPlutusRunnable ConwayEra) => EraTxAuxData ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxAuxData · orphan
StAnnTxCache DijkstraEra ~ Map ScriptHash (SupportedPlutusRunnable DijkstraEra) => EraTxAuxData DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxAuxData · orphan

class

class (EraTxOut era, EraTxCert era, EraPParams era, HasEraTxLevel TxBody era, forall (l :: TxLevel). HashAnnotated (TxBody l era) EraIndependentTxBody, forall (l :: TxLevel). EncCBOR (TxBody l era), forall (l :: TxLevel). Typeable l => DecCBOR (Annotator (TxBody l era)), forall (l :: TxLevel). Typeable l => ToCBOR (TxBody l era), forall (l :: TxLevel). Typeable l => NoThunks (TxBody l era), forall (l :: TxLevel). NFData (TxBody l era), forall (l :: TxLevel). Show (TxBody l era), forall (l :: TxLevel). Eq (TxBody l era), forall (l :: TxLevel). EqRaw (TxBody l era)) => EraTxBody era where

Associated types

data family TxBody (l :: TxLevel) era

Methods

mkBasicTxBody :: Typeable l => TxBody l era
inputsTxBodyL :: Lens' (TxBody l era) (Set TxIn)
outputsTxBodyL :: Lens' (TxBody l era) (StrictSeq (TxOut era))
feeTxBodyL :: Lens' (TxBody TopTx era) Coin
withdrawalsTxBodyL :: Lens' (TxBody l era) Withdrawals
auxDataHashTxBodyL :: Lens' (TxBody l era) (StrictMaybe TxAuxDataHash)
spendableInputsTxBodyF :: SimpleGetter (TxBody l era) (Set TxIn)
allInputsTxBodyF :: SimpleGetter (TxBody TopTx era) (Set TxIn)
certsTxBodyL :: Lens' (TxBody l era) (StrictSeq (TxCert era))

Instances7EraTxBody, …

EraTxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
EraTxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
EraTxBody BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
EraTxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
EraTxBody MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
EraTxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => EraTxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan

class

class (Val (Value era), ToJSON (TxOut era), DecCBOR (Value era), DecCBOR (CompactForm (Value era)), MemPack (CompactForm (Value era)), EncCBOR (Value era), EncCBOR (TxOut era), DecCBOR (TxOut era), DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential Staking), NoThunks (TxOut era), NFData (TxOut era), Show (TxOut era), Eq (TxOut era), MemPack (TxOut era), EraPParams era) => EraTxOut era where

Associated types

type family TxOut era

Methods

mkBasicTxOut :: HasCallStack => Addr -> Value era -> TxOut era
upgradeTxOut :: EraTxOut (PreviousEra era) => TxOut (PreviousEra era) -> TxOut era
valueTxOutL :: Lens' (TxOut era) (Value era)
addrTxOutL :: Lens' (TxOut era) Addr
getMinCoinSizedTxOut :: PParams era -> Sized (TxOut era) -> Coin
getMinCoinTxOut :: PParams era -> TxOut era -> Coin

Instances7EraTxOut, …

EraTxOut AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxOut · orphan
EraTxOut AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut · orphan
EraTxOut BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut · orphan
EraTxOut ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxOut · orphan
EraTxOut DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxOut · orphan
EraTxOut MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxOut · orphan
EraTxOut ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut · orphan

class

class (EraScript era, Eq (TxWits era), EqRaw (TxWits era), Show (TxWits era), Monoid (TxWits era), NoThunks (TxWits era), ToCBOR (TxWits era), EncCBOR (TxWits era), DecCBOR (Annotator (TxWits era))) => EraTxWits era where

Associated types

type family TxWits era

Methods

mkBasicTxWits :: TxWits era
addrTxWitsL :: Lens' (TxWits era) (Set (WitVKey Witness))
bootAddrTxWitsL :: Lens' (TxWits era) (Set BootstrapWitness)
scriptTxWitsL :: Lens' (TxWits era) (Map ScriptHash (Script era))

Instances7EraTxWits, …

EraTxWits AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxWits · orphan
EraTxWits AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits · orphan
EraTxWits BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxWits · orphan
EraTxWits ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxWits · orphan
EraTxWits DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxWits · orphan
EraTxWits MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxWits · orphan
EraTxWits ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxWits · orphan

familytype family NativeScript era

Instances7NativeScript, …

type NativeScript AllegraEra = Timelock AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts · orphan
type NativeScript AlonzoEra = Timelock AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts · orphan
type NativeScript BabbageEra = Timelock BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
type NativeScript ConwayEra = Timelock ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
type NativeScript DijkstraEra = DijkstraNativeScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
type NativeScript MaryEra = Timelock MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Scripts · orphan
type NativeScript ShelleyEra = MultiSig ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts · orphan

familytype family Script era

Instances7Script, …

type Script AllegraEra = Timelock AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts · orphan
type Script AlonzoEra = AlonzoScript AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts · orphan
type Script BabbageEra = AlonzoScript BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
type Script ConwayEra = AlonzoScript ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
type Script DijkstraEra = AlonzoScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan
type Script MaryEra = Timelock MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Scripts · orphan
type Script ShelleyEra = MultiSig ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts · orphan

familytype family TxAuxData era

Instances7TxAuxData, …

type TxAuxData AllegraEra = AllegraTxAuxData AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData · orphan
type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData · orphan
type TxAuxData BabbageEra = AlonzoTxAuxData BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxAuxData · orphan
type TxAuxData ConwayEra = AlonzoTxAuxData ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxAuxData · orphan
type TxAuxData DijkstraEra = AlonzoTxAuxData DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxAuxData · orphan
type TxAuxData MaryEra = AllegraTxAuxData MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxAuxData · orphan
type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData · orphan

familydata family TxBody (l :: TxLevel) era

Instances113HasEraTxLevel, HasOKey, DecCBOR, Eq, Show, Generic, …

HasEraTxLevel TxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
HasEraTxLevel TxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
HasEraTxLevel TxBody BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
HasEraTxLevel TxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
HasEraTxLevel TxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
HasEraTxLevel TxBody MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
HasEraTxLevel TxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EraTxBody era => HasOKey TxId (TxBody l era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core
Typeable l => DecCBOR (Annotator (TxBody l AllegraEra))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Typeable l => DecCBOR (Annotator (TxBody l AlonzoEra))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Typeable l => DecCBOR (Annotator (TxBody l BabbageEra))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
Typeable l => DecCBOR (Annotator (TxBody l ConwayEra))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
Typeable l => DecCBOR (Annotator (TxBody l MaryEra))Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
Typeable l => DecCBOR (Annotator (TxBody l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
(Typeable l, Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => DecCBOR (Annotator (TxBody l DijkstraEra))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
Eq (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Eq (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Eq (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
Eq (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
Eq (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
Eq (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => Eq (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
Show (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Show (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Show (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
Show (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
Show (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
Show (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
(Show (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => Show (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
Generic (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Generic (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Generic (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
Generic (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
Generic (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
Generic (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
Generic (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
NFData (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
NFData (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
NFData (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
NFData (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
NFData (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
NFData (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
(NFData (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => NFData (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
Typeable l => NoThunks (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Typeable l => NoThunks (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Typeable l => NoThunks (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
Typeable l => NoThunks (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
Typeable l => NoThunks (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
Typeable l => NoThunks (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
(Typeable l, Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => NoThunks (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
Typeable l => ToCBOR (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Typeable l => ToCBOR (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Typeable l => ToCBOR (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
Typeable l => ToCBOR (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
Typeable l => ToCBOR (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
Typeable l => ToCBOR (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
Typeable l => ToCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EncCBOR (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
EncCBOR (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
EncCBOR (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
EncCBOR (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
EncCBOR (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
EncCBOR (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
EncCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
SafeToHash (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
SafeToHash (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
SafeToHash (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
SafeToHash (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
SafeToHash (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
SafeToHash (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
SafeToHash (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EqRaw (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
EqRaw (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
EqRaw (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
EqRaw (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
EqRaw (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
EqRaw (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => EqRaw (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
Memoized (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Memoized (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Memoized (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
Memoized (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
Memoized (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
Memoized (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
Memoized (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
HashAnnotated (TxBody l AllegraEra) EraIndependentTxBodyDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
HashAnnotated (TxBody l AlonzoEra) EraIndependentTxBodyDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
HashAnnotated (TxBody l BabbageEra) EraIndependentTxBodyDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
HashAnnotated (TxBody l ConwayEra) EraIndependentTxBodyDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
HashAnnotated (TxBody l DijkstraEra) EraIndependentTxBodyDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
HashAnnotated (TxBody l MaryEra) EraIndependentTxBodyDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBodyDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.10.1.0-CrQS1ZJSGfrBK4W3kaLbYJ" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
type Rep (TxBody l BabbageEra) = Rep (MemoBytes (BabbageTxBodyRaw l BabbageEra))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
type Rep (TxBody l ConwayEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Conway.TxBody" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'True) (C1 ('MetaCons "MkConwayTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ConwayTxBodyRaw l ConwayEra)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
type Rep (TxBody l DijkstraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Dijkstra.TxBody" "cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc" 'True) (C1 ('MetaCons "MkDijkstraTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraTxBodyRaw l DijkstraEra)))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.11.0.0-BDX9Jw3i0LOAEIgnwJZDrh" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
data TxBody l AllegraEra
- MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))
Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
data TxBody l AlonzoEra
- MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))
Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
data TxBody l BabbageEra
- MkBabbageTxBody (MemoBytes (BabbageTxBodyRaw l BabbageEra))
Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
data TxBody l ConwayEra
- MkConwayTxBody (MemoBytes (ConwayTxBodyRaw l ConwayEra))
Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
data TxBody l DijkstraEra
- MkDijkstraTxBody (MemoBytes (DijkstraTxBodyRaw l DijkstraEra))
Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
data TxBody l MaryEra
- MkMaryTxBody (MemoBytes (MaryTxBodyRaw l))
Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
data TxBody l ShelleyEra
- MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
type RawType (TxBody l BabbageEra) = BabbageTxBodyRaw l BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
type RawType (TxBody l ConwayEra) = ConwayTxBodyRaw l ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
type RawType (TxBody l DijkstraEra) = DijkstraTxBodyRaw l DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan
type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan

familytype family TxOut era

Instances7TxOut, …

type TxOut AllegraEra = ShelleyTxOut AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxOut · orphan
type TxOut AlonzoEra = AlonzoTxOut AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut · orphan
type TxOut BabbageEra = BabbageTxOut BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut · orphan
type TxOut ConwayEra = BabbageTxOut ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxOut · orphan
type TxOut DijkstraEra = BabbageTxOut DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxOut · orphan
type TxOut MaryEra = ShelleyTxOut MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxOut · orphan
type TxOut ShelleyEra = ShelleyTxOut ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut · orphan

familytype family TxWits era

Instances7TxWits, …

type TxWits AllegraEra = ShelleyTxWits AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxWits · orphan
type TxWits AlonzoEra = AlonzoTxWits AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits · orphan
type TxWits BabbageEra = AlonzoTxWits BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxWits · orphan
type TxWits ConwayEra = AlonzoTxWits ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxWits · orphan
type TxWits DijkstraEra = AlonzoTxWits DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxWits · orphan
type TxWits MaryEra = ShelleyTxWits MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxWits · orphan
type TxWits ShelleyEra = ShelleyTxWits ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxWits · orphan

class

class (Era era, ToJSON (TxCert era), DecCBOR (TxCert era), EncCBOR (TxCert era), ToCBOR (TxCert era), FromCBOR (TxCert era), NoThunks (TxCert era), NFData (TxCert era), Show (TxCert era), Ord (TxCert era), Eq (TxCert era)) => EraTxCert era where

Associated types

type family TxCert era
type family TxCertUpgradeError era

Methods

upgradeTxCert :: EraTxCert (PreviousEra era) => TxCert (PreviousEra era) -> Either (TxCertUpgradeError era) (TxCert era)
getVKeyWitnessTxCert :: TxCert era -> Maybe (KeyHash Witness)
getScriptWitnessTxCert :: TxCert era -> Maybe ScriptHash
getRegPoolTxCert :: TxCert era -> Maybe StakePoolParams
getRetirePoolTxCert :: TxCert era -> Maybe (KeyHash StakePool, EpochNo)
lookupRegStakeTxCert :: TxCert era -> Maybe (Credential Staking)
lookupUnRegStakeTxCert :: TxCert era -> Maybe (Credential Staking)

Instances7EraTxCert, …

EraTxCert AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxCert · orphan
EraTxCert AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxCert · orphan
EraTxCert BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxCert · orphan
EraTxCert ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert · orphan
EraTxCert DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxCert · orphan
EraTxCert MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxCert · orphan
EraTxCert ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert · orphan

familytype family TxCert era

Instances7TxCert, …

type TxCert AllegraEra = ShelleyTxCert AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxCert · orphan
type TxCert AlonzoEra = ShelleyTxCert AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxCert · orphan
type TxCert BabbageEra = ShelleyTxCert BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxCert · orphan
type TxCert ConwayEra = ConwayTxCert ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert · orphan
type TxCert DijkstraEra = DijkstraTxCert DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxCert · orphan
type TxCert MaryEra = ShelleyTxCert MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxCert · orphan
type TxCert ShelleyEra = ShelleyTxCert ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert · orphan

familytype family TxCertUpgradeError era

Instances7TxCertUpgradeError, …

type TxCertUpgradeError AllegraEra = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxCert · orphan
type TxCertUpgradeError AlonzoEra = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxCert · orphan
type TxCertUpgradeError BabbageEra = VoidDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxCert · orphan
type TxCertUpgradeError ConwayEra = ConwayTxCertUpgradeErrorDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert · orphan
type TxCertUpgradeError DijkstraEra = DijkstraTxCertUpgradeErrorDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxCert · orphan
type TxCertUpgradeError MaryEra = VoidDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxCert · orphan
type TxCertUpgradeError ShelleyEra = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert · orphan

typetype DataHash = SafeHash EraIndependentData

newtypenewtype ScriptHash

Instances17Eq, Ord, Show, Generic, Storable, NFData, …

Eq ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Ord ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Show ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Generic ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Storable ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NFData ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
FromJSON ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
FromJSONKey ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToJSON ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToJSONKey ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
MemPack ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NoThunks ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToCBOR ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
DecCBOR ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
EncCBOR ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Indexable ScriptHash GuardsScriptHashViewDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody
type Rep ScriptHash = D1 ('MetaData "ScriptHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash ADDRHASH EraIndependentScript))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes

newtypenewtype TxAuxDataHash

Constructors

TxAuxDataHash
- unTxAuxDataHash :: SafeHash EraIndependentTxAuxData

Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Ord TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Show TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Generic TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NFData TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToJSON TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NoThunks TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
DecCBOR TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
EncCBOR TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
type Rep TxAuxDataHash = D1 ('MetaData "TxAuxDataHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "TxAuxDataHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxAuxDataHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxAuxData))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes

datadata BootstrapWitness

Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …

Eq BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
Ord BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
Show BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
Generic BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
NFData BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
NoThunks BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
DecCBOR BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
EncCBOR BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
type Rep BootstrapWitness = D1 ('MetaData "BootstrapWitness" "Cardano.Ledger.Keys.Bootstrap" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "BootstrapWitness" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bwKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (VKey Witness)) :*: S1 ('MetaSel ('Just "bwSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody)))) :*: (S1 ('MetaSel ('Just "bwChainCode") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ChainCode) :*: S1 ('MetaSel ('Just "bwAttributes") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByteArray))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap

datadata KeyRole

Witness

constructorWitness

datadata WitVKey (kr :: KeyRole)

Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …

Eq (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
Typeable kr => Ord (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
Show (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
Generic (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
NFData (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
Typeable kr => NoThunks (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
Typeable kr => DecCBOR (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
EncCBOR (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
type Rep (WitVKey kr) = D1 ('MetaData "WitVKey" "Cardano.Ledger.Keys.WitVKey" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "WitVKeyInternal" 'PrefixI 'True) (S1 ('MetaSel ('Just "wvkKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (VKey kr)) :*: (S1 ('MetaSel ('Just "wvkSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody))) :*: S1 ('MetaSel ('Just "wvkKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash Witness)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey

patternpattern WitVKey :: VKey kr -> SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) -> WitVKey kr

datadata Metadatum

Constructors

Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
Ord MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
Show MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
Generic MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
NFData MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
FromJSON MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
ToJSON MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
NoThunks MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
DecCBOR MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
EncCBOR MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
type Rep Metadatum = D1 ('MetaData "Metadatum" "Cardano.Ledger.Metadata" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) ((C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Metadatum, Metadatum)])) :+: C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Metadatum]))) :+: (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: (C1 ('MetaCons "B" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByteArray)) :+: C1 ('MetaCons "S" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata

datadata CostModels

Instances12Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Ord CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Show CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Generic CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NFData CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
FromJSON CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
ToJSON CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NoThunks CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
DecCBOR CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
EncCBOR CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
ToPlutusData CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusData
type Rep CostModels = D1 ('MetaData "CostModels" "Cardano.Ledger.Plutus.CostModels" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "CostModels" 'PrefixI 'True) (S1 ('MetaSel ('Just "_costModelsValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Language CostModel)) :*: S1 ('MetaSel ('Just "_costModelsUnknown") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Word8 [Int64]))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels

newtypenewtype BinaryData era

Instances11Eq, Ord, Show, Generic, MemPack, NoThunks, …

Eq (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Ord (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Show (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Generic (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
MemPack (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NoThunks (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => DecCBOR (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
EncCBOR (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
SafeToHash (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
HashAnnotated (BinaryData era) EraIndependentDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type Rep (BinaryData era) = D1 ('MetaData "BinaryData" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "BinaryData" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data

newtypenewtype Data era

Instances16Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Show (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Generic (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NFData (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => FromJSON (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
ToJSON (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => NoThunks (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => ToCBOR (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => DecCBOR (Annotator (Data era))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => DecCBOR (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => EncCBOR (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
SafeToHash (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Memoized (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
HashAnnotated (Data era) EraIndependentDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type Rep (Data era) = D1 ('MetaData "Data" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "MkData" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (PlutusData era)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type RawType (Data era) = PlutusData eraDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data

patternpattern Data :: Era era => Data -> Data era

datadata Datum era

Constructors

Instances10Eq, Ord, Show, Generic, ToJSON, MemPack, …

Eq (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Ord (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Show (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Generic (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => ToJSON (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => MemPack (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NoThunks (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => DecCBOR (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => EncCBOR (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type Rep (Datum era) = D1 ('MetaData "Datum" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "NoDatum" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "DatumHash" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash)) :+: C1 ('MetaCons "Datum" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (BinaryData era)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data

datadata Language

PlutusV1 PlutusV2 PlutusV3 PlutusV4

Instances20Bounded, Enum, Eq, Ord, Read, Show, …

Bounded LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Enum LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Eq LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Ord LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Read LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Show LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Ix LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Generic LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
NFData LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Random LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Uniform LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
UniformRange LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
FromJSON LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
FromJSONKey LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
ToJSON LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
ToJSONKey LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
NoThunks LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
DecCBOR LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
EncCBOR LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
type Rep Language = D1 ('MetaData "Language" "Cardano.Ledger.Plutus.Language" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) ((C1 ('MetaCons "PlutusV1" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PlutusV2" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "PlutusV3" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PlutusV4" 'PrefixI 'False) U1))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language

newtypenewtype PlutusBinary

Constructors

PlutusBinary
- unPlutusBinary :: ShortByteString

Instances15Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Ord PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Show PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Generic PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
NFData PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
FromJSON PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
ToJSON PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
MemPack PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
NoThunks PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
ToCBOR PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
DecCBOR PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
EncCBOR PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
SafeToHash PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
DecCBOR (Annotator PlutusBinary)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
type Rep PlutusBinary = D1 ('MetaData "PlutusBinary" "Cardano.Ledger.Plutus.Language" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "PlutusBinary" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPlutusBinary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language

datadata AccountBalanceInterval era

Constructors

AccountBalanceLowerBound !(Inclusive Coin)
AccountBalanceUpperBound !(Exclusive Coin)
AccountBalanceBothBounds !(Inclusive Coin) !(Exclusive Coin)
AccountBalanceExact !Coin

Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …

Eq (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Ord (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Show (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Generic (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
NFData (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
NoThunks (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Typeable era => DecCBOR (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
EncCBOR (AccountBalanceInterval era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
type Rep (AccountBalanceInterval era) = D1 ('MetaData "AccountBalanceInterval" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc" 'False) ((C1 ('MetaCons "AccountBalanceLowerBound" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Inclusive Coin))) :+: C1 ('MetaCons "AccountBalanceUpperBound" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Exclusive Coin)))) :+: (C1 ('MetaCons "AccountBalanceBothBounds" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Inclusive Coin)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Exclusive Coin))) :+: C1 ('MetaCons "AccountBalanceExact" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts

newtypenewtype AccountBalanceIntervals era

Constructors

AccountBalanceIntervals
- unAccountBalanceIntervals :: Map AccountId (AccountBalanceInterval era)

Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …

Eq (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Ord (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Show (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Generic (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
NFData (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
NoThunks (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Typeable era => DecCBOR (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
EncCBOR (AccountBalanceIntervals era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
type Rep (AccountBalanceIntervals era) = D1 ('MetaData "AccountBalanceIntervals" "Cardano.Ledger.Dijkstra.Scripts" "cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc" 'True) (C1 ('MetaCons "AccountBalanceIntervals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAccountBalanceIntervals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map AccountId (AccountBalanceInterval era)))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts

classclass ConwayEraScript era => DijkstraEraScript era where

Methods

toGuardingPurpose :: PlutusPurpose f era -> Maybe (f Word32 ScriptHash)

Instances1DijkstraEraScript

DijkstraEraScript DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts

classclass ConwayEraTxBody era => DijkstraEraTxBody era where

Methods

guardsTxBodyL :: Lens' (TxBody l era) (OSet (Credential Guard))
directDepositsTxBodyL :: Lens' (TxBody l era) DirectDeposits

Instances1DijkstraEraTxBody

(NFData (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => DijkstraEraTxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody

classclass AllegraEraTxBody era => MaryEraTxBody era where

Methods

mintTxBodyL :: Lens' (TxBody l era) MultiAsset
mintedTxBodyF :: SimpleGetter (TxBody l era) (Set PolicyID)
mintValueTxBodyF :: SimpleGetter (TxBody l era) (Value era)

Instances5MaryEraTxBody

MaryEraTxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
MaryEraTxBody BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
MaryEraTxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan
MaryEraTxBody MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody
(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => MaryEraTxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan

newtypenewtype ShelleyTxAuxData era

Constructors

MkShelleyTxAuxData (MemoBytes (ShelleyTxAuxDataRaw era))

Instances16Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
Show (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
Generic (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
NFData (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
Era era => FromJSON (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
Era era => ToJSON (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
NoThunks (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
Typeable era => ToCBOR (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
Era era => DecCBOR (Annotator (ShelleyTxAuxData era))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
Era era => EncCBOR (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
SafeToHash (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
EqRaw (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
Memoized (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
HashAnnotated (ShelleyTxAuxData era) EraIndependentTxAuxDataDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
type Rep (ShelleyTxAuxData era) = D1 ('MetaData "ShelleyTxAuxData" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "MkShelleyTxAuxData" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxAuxDataRaw era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
type RawType (ShelleyTxAuxData era) = ShelleyTxAuxDataRaw eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData

patternpattern ShelleyTxAuxData :: Era era => Map Word64 Metadatum -> ShelleyTxAuxData era

classclass (ShelleyEraTxCert era, EraTxBody era, AtMostEra "Babbage" era) => ShelleyEraTxBody era where

Methods

ttlTxBodyL :: ExactEra ShelleyEra era => Lens' (TxBody TopTx era) SlotNo
updateTxBodyL :: Lens' (TxBody TopTx era) (StrictMaybe (Update era))

Instances5ShelleyEraTxBody

ShelleyEraTxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
ShelleyEraTxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
ShelleyEraTxBody BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
ShelleyEraTxBody MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
ShelleyEraTxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody

classclass (EraTxCert era, AtMostEra "Conway" era) => ShelleyEraTxCert era where

Methods

getRegTxCert :: TxCert era -> Maybe (Credential Staking)
getUnRegTxCert :: TxCert era -> Maybe (Credential Staking)
getDelegStakeTxCert :: TxCert era -> Maybe (Credential Staking, KeyHash StakePool)
getGenesisDelegTxCert :: AtMostEra "Babbage" era => TxCert era -> Maybe GenesisDelegCert
getMirTxCert :: AtMostEra "Babbage" era => TxCert era -> Maybe MIRCert

Instances6ShelleyEraTxCert

ShelleyEraTxCert AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxCert · orphan
ShelleyEraTxCert AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxCert · orphan
ShelleyEraTxCert BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxCert · orphan
ShelleyEraTxCert ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert · orphan
ShelleyEraTxCert MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxCert · orphan
ShelleyEraTxCert ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert