Cardano.Ledger.Api.Tx.Body · cardano-ledger-api-1.14.0.0

valueinvalidBeforeL :: Lens' ValidityInterval (StrictMaybe SlotNo)

#

valueinvalidHereAfterL :: Lens' ValidityInterval (StrictMaybe SlotNo)

#

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

#

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

#

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

#

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

valuebinaryUpgradeTxBody

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

#

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

#

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

#

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

#

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

#

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

#

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

#

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)

#

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

#

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

#

patternpattern GuardingPurpose :: DijkstraEraScript era => f Word32 ScriptHash -> PlutusPurpose f 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 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

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

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

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

methodupgradeTxBody

:: EraTxBody (PreviousEra era)
=> TxBody l (PreviousEra era)
-> Either (TxBodyUpgradeError era) (TxBody l 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

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

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

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

methodvalidateNativeScript :: Tx l era -> NativeScript era -> Bool

#

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

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

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

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