Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Alonzo.Tx

Contents

Orphan instances

Description

This module exports implementations of many of the functions outlined in the Alonzo specification. The link to source of the specification https://github.com/intersectmbo/cardano-ledger/tree/master/eras/alonzo/formal-spec The most recent version of the document can be found here: https://github.com/intersectmbo/cardano-ledger/releases/latest/download/alonzo-ledger.pdf The functions can be found in Figures in that document, and sections of this code refer to those figures.

Synopsis

data CostModel
getLanguageView ∷ AlonzoEraPParams era ⇒ PParams era → Language → LangDepView
data Data era
type DataHash c = SafeHash c EraIndependentData
newtype IsValid = IsValid Bool
hashData ∷ Era era ⇒ Data era → DataHash (EraCrypto era)
nonNativeLanguages ∷ [Language]
hashScriptIntegrity ∷ ∀ era. AlonzoEraScript era ⇒ Set LangDepView → Redeemers era → TxDats era → StrictMaybe (ScriptIntegrityHash (EraCrypto era))
getCoin ∷ EraTxOut era ⇒ TxOut era → Coin
data EraIndependentScriptIntegrity
data ScriptIntegrity era = ScriptIntegrity !(Redeemers era) !(TxDats era) !(Set LangDepView)
type ScriptIntegrityHash c = SafeHash c EraIndependentScriptIntegrity
data AlonzoTx era = AlonzoTx {
- body ∷ !(TxBody era)
- wits ∷ !(TxWits era)
- isValid ∷ !IsValid
- auxiliaryData ∷ !(StrictMaybe (TxAuxData era))
}
class (EraTx era, AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTx era where
- isValidTxL ∷ Lens' (Tx era) IsValid
mkBasicAlonzoTx ∷ Monoid (TxWits era) ⇒ TxBody era → AlonzoTx era
bodyAlonzoTxL ∷ Lens' (AlonzoTx era) (TxBody era)
witsAlonzoTxL ∷ Lens' (AlonzoTx era) (TxWits era)
auxDataAlonzoTxL ∷ Lens' (AlonzoTx era) (StrictMaybe (TxAuxData era))
sizeAlonzoTxF ∷ ∀ era. EraTx era ⇒ SimpleGetter (AlonzoTx era) Integer
isValidAlonzoTxL ∷ Lens' (AlonzoTx era) IsValid
txdats' ∷ Era era ⇒ AlonzoTxWits era → TxDats era
txscripts' ∷ Era era ⇒ AlonzoTxWits era → Map (ScriptHash (EraCrypto era)) (Script era)
txrdmrs ∷ AlonzoEraScript era ⇒ AlonzoTxWits era → Redeemers era
data AlonzoTxBody era where
- pattern AlonzoTxBody ∷ (EraTxOut era, EraTxCert era) ⇒ Set (TxIn (EraCrypto era)) → Set (TxIn (EraCrypto era)) → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → Coin → ValidityInterval → StrictMaybe (Update era) → Set (KeyHash 'Witness (EraCrypto era)) → MultiAsset (EraCrypto era) → StrictMaybe (ScriptIntegrityHash (EraCrypto era)) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → StrictMaybe Network → AlonzoTxBody era
totExUnits ∷ (EraTx era, AlonzoEraTxWits era) ⇒ Tx era → ExUnits
alonzoMinFeeTx ∷ (EraTx era, AlonzoEraTxWits era, AlonzoEraPParams era) ⇒ PParams era → Tx era → Coin
minfee ∷ (EraTx era, AlonzoEraTxWits era, AlonzoEraPParams era) ⇒ PParams era → Tx era → Coin
isTwoPhaseScriptAddressFromMap ∷ ∀ era. EraScript era ⇒ Map (ScriptHash (EraCrypto era)) (Script era) → Addr (EraCrypto era) → Bool
txouts ∷ EraTxBody era ⇒ TxBody era → UTxO era
indexRedeemers ∷ (AlonzoEraTxWits era, EraTx era) ⇒ Tx era → PlutusPurpose AsIxItem era → Maybe (Data era, ExUnits)
getMapFromValue ∷ MaryValue c → Map (PolicyID c) (Map AssetName Integer)
alonzoSegwitTx ∷ AlonzoEraTx era ⇒ Annotator (TxBody era) → Annotator (TxWits era) → IsValid → Maybe (Annotator (TxAuxData era)) → Annotator (Tx era)
toCBORForSizeComputation ∷ (EncCBOR (TxBody era), EncCBOR (TxWits era), EncCBOR (TxAuxData era)) ⇒ AlonzoTx era → Encoding
toCBORForMempoolSubmission ∷ (EncCBOR (TxBody era), EncCBOR (TxWits era), EncCBOR (TxAuxData era)) ⇒ AlonzoTx era → Encoding
alonzoEqTxRaw ∷ AlonzoEraTx era ⇒ Tx era → Tx era → Bool

Documentation

data CostModel Source #

A language dependent cost model for the Plutus evaluator. Note that the EvaluationContext is entirely dependent on the cost model parameters (ie the Map Text Integer) and that this type uses the smart constructor mkCostModel to hide the evaluation context.

Instances

Instances details

ToJSON CostModel
Instance details Defined in Cardano.Ledger.Plutus.CostModels Methods toJSON ∷ CostModel → Value Source # toEncoding ∷ CostModel → Encoding Source # toJSONList ∷ [CostModel] → Value Source # toEncodingList ∷ [CostModel] → Encoding Source # omitField ∷ CostModel → Bool Source #
Generic CostModel
Instance details Defined in Cardano.Ledger.Plutus.CostModels Associated Types type Rep CostModel ∷ Type → Type Source # Methods from ∷ CostModel → Rep CostModel x Source # to ∷ Rep CostModel x → CostModel Source #
Show CostModel
Instance details Defined in Cardano.Ledger.Plutus.CostModels Methods showsPrec ∷ Int → CostModel → ShowS Source # show ∷ CostModel → String Source # showList ∷ [CostModel] → ShowS Source #
NFData CostModel
Instance details Defined in Cardano.Ledger.Plutus.CostModels Methods rnf ∷ CostModel → () Source #
Eq CostModel	Note that this Eq instance ignores the evaluation context, which is entirely dependent on the cost model parameters and is guarded by the smart constructor `mkCostModel`.
Instance details Defined in Cardano.Ledger.Plutus.CostModels Methods (==) ∷ CostModel → CostModel → Bool Source # (/=) ∷ CostModel → CostModel → Bool Source #
Ord CostModel	Note that this Ord instance ignores the evaluation context, which is entirely dependent on the cost model parameters and is guarded by the smart constructor `mkCostModel`.
Instance details Defined in Cardano.Ledger.Plutus.CostModels Methods compare ∷ CostModel → CostModel → Ordering Source # (<) ∷ CostModel → CostModel → Bool Source # (<=) ∷ CostModel → CostModel → Bool Source # (>) ∷ CostModel → CostModel → Bool Source # (>=) ∷ CostModel → CostModel → Bool Source # max ∷ CostModel → CostModel → CostModel Source # min ∷ CostModel → CostModel → CostModel Source #
NoThunks CostModel
Instance details Defined in Cardano.Ledger.Plutus.CostModels Methods noThunks ∷ Context → CostModel → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CostModel → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CostModel → String Source #
type Rep CostModel
Instance details Defined in Cardano.Ledger.Plutus.CostModels type Rep CostModel = D1 ('MetaData "CostModel" "Cardano.Ledger.Plutus.CostModels" "cardano-ledger-core-1.12.0.0-inplace" 'False) (C1 ('MetaCons "CostModel" 'PrefixI 'True) (S1 ('MetaSel ('Just "cmLanguage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Language) :: (S1 ('MetaSel ('Just "cmValues") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Int64]) :: S1 ('MetaSel ('Just "cmEvalCtx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EvaluationContext))))

getLanguageView ∷ AlonzoEraPParams era ⇒ PParams era → Language → LangDepView Source #

data Data era Source #

Instances

Instances details

Memoized Data
Instance details Defined in Cardano.Ledger.Plutus.Data Associated Types type RawType Data = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ Data era → MemoBytes (RawType Data) era wrapMemoBytes ∷ MemoBytes (RawType Data) era → Data era
Generic (Data era)
Instance details Defined in Cardano.Ledger.Plutus.Data Associated Types type Rep (Data era) ∷ Type → Type Source # Methods from ∷ Data era → Rep (Data era) x Source # to ∷ Rep (Data era) x → Data era Source #
HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (Data era)
Instance details Defined in Cardano.Ledger.Plutus.Data Methods showsPrec ∷ Int → Data era → ShowS Source # show ∷ Data era → String Source # showList ∷ [Data era] → ShowS Source #
Typeable era ⇒ ToCBOR (Data era)
Instance details Defined in Cardano.Ledger.Plutus.Data Methods toCBOR ∷ Data era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Data era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Data era] → Size Source #
Era era ⇒ DecCBOR (Annotator (Data era))
Instance details Defined in Cardano.Ledger.Plutus.Data Methods decCBOR ∷ Decoder s (Annotator (Data era)) Source # dropCBOR ∷ Proxy (Annotator (Data era)) → Decoder s () Source # label ∷ Proxy (Annotator (Data era)) → Text Source #
Typeable era ⇒ EncCBOR (Data era)	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Plutus.Data Methods encCBOR ∷ Data era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Data era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Data era] → Size Source #
SafeToHash (Data era)
Instance details Defined in Cardano.Ledger.Plutus.Data Methods originalBytes ∷ Data era → ByteString Source # originalBytesSize ∷ Data era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → Data era → SafeHash c index Source #
NFData (Data era)
Instance details Defined in Cardano.Ledger.Plutus.Data Methods rnf ∷ Data era → () Source #
Eq (Data era)
Instance details Defined in Cardano.Ledger.Plutus.Data Methods (==) ∷ Data era → Data era → Bool Source # (/=) ∷ Data era → Data era → Bool Source #
Typeable era ⇒ NoThunks (Data era)
Instance details Defined in Cardano.Ledger.Plutus.Data Methods noThunks ∷ Context → Data era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Data era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Data era) → String Source #
EraCrypto era ~ c ⇒ HashAnnotated (Data era) EraIndependentData c
Instance details Defined in Cardano.Ledger.Plutus.Data Methods indexProxy ∷ Data era → Proxy EraIndependentData Source # hashAnnotated ∷ Data era → SafeHash c EraIndependentData Source #
type RawType Data
Instance details Defined in Cardano.Ledger.Plutus.Data type RawType Data = PlutusData
type Rep (Data era)
Instance details Defined in Cardano.Ledger.Plutus.Data type Rep (Data era) = D1 ('MetaData "Data" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.12.0.0-inplace" 'True) (C1 ('MetaCons "DataConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes PlutusData era))))

type DataHash c = SafeHash c EraIndependentData Source #

newtype IsValid Source #

Tag indicating whether non-native scripts in this transaction are expected to validate. This is added by the block creator when constructing the block.

Constructors

IsValid Bool

Instances

Instances details

ToJSON IsValid Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods toJSON ∷ IsValid → Value Source # toEncoding ∷ IsValid → Encoding Source # toJSONList ∷ [IsValid] → Value Source # toEncodingList ∷ [IsValid] → Encoding Source # omitField ∷ IsValid → Bool Source #
Generic IsValid Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Associated Types type Rep IsValid ∷ Type → Type Source # Methods from ∷ IsValid → Rep IsValid x Source # to ∷ Rep IsValid x → IsValid Source #
Show IsValid Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods showsPrec ∷ Int → IsValid → ShowS Source # show ∷ IsValid → String Source # showList ∷ [IsValid] → ShowS Source #
ToCBOR IsValid Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods toCBOR ∷ IsValid → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy IsValid → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [IsValid] → Size Source #
DecCBOR IsValid Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods decCBOR ∷ Decoder s IsValid Source # dropCBOR ∷ Proxy IsValid → Decoder s () Source # label ∷ Proxy IsValid → Text Source #
EncCBOR IsValid Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods encCBOR ∷ IsValid → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy IsValid → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [IsValid] → Size Source #
NFData IsValid Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods rnf ∷ IsValid → () Source #
Eq IsValid Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods (==) ∷ IsValid → IsValid → Bool Source # (/=) ∷ IsValid → IsValid → Bool Source #
NoThunks IsValid Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods noThunks ∷ Context → IsValid → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → IsValid → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy IsValid → String Source #
type Rep IsValid Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Rep IsValid = D1 ('MetaData "IsValid" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.8.0.0-inplace" 'True) (C1 ('MetaCons "IsValid" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

hashData ∷ Era era ⇒ Data era → DataHash (EraCrypto era) Source #

nonNativeLanguages ∷ [Language] Source #

hashScriptIntegrity ∷ ∀ era. AlonzoEraScript era ⇒ Set LangDepView → Redeemers era → TxDats era → StrictMaybe (ScriptIntegrityHash (EraCrypto era)) Source #

getCoin ∷ EraTxOut era ⇒ TxOut era → Coin Source #

Deprecated: In favor of coinTxOutL

data EraIndependentScriptIntegrity Source #

Instances

Instances details

(Era era, c ~ EraCrypto era) ⇒ HashAnnotated (ScriptIntegrity era) EraIndependentScriptIntegrity c Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods indexProxy ∷ ScriptIntegrity era → Proxy EraIndependentScriptIntegrity Source # hashAnnotated ∷ ScriptIntegrity era → SafeHash c EraIndependentScriptIntegrity Source #

data ScriptIntegrity era Source #

A ScriptIntegrityHash is the hash of three things. The first two come from the witnesses and the last comes from the Protocol Parameters.

Constructors

ScriptIntegrity !(Redeemers era) !(TxDats era) !(Set LangDepView)

Instances

Instances details

Generic (ScriptIntegrity era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Associated Types type Rep (ScriptIntegrity era) ∷ Type → Type Source # Methods from ∷ ScriptIntegrity era → Rep (ScriptIntegrity era) x Source # to ∷ Rep (ScriptIntegrity era) x → ScriptIntegrity era Source #
AlonzoEraScript era ⇒ Show (ScriptIntegrity era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods showsPrec ∷ Int → ScriptIntegrity era → ShowS Source # show ∷ ScriptIntegrity era → String Source # showList ∷ [ScriptIntegrity era] → ShowS Source #
Era era ⇒ SafeToHash (ScriptIntegrity era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods originalBytes ∷ ScriptIntegrity era → ByteString Source # originalBytesSize ∷ ScriptIntegrity era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → ScriptIntegrity era → SafeHash c index Source #
AlonzoEraScript era ⇒ Eq (ScriptIntegrity era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods (==) ∷ ScriptIntegrity era → ScriptIntegrity era → Bool Source # (/=) ∷ ScriptIntegrity era → ScriptIntegrity era → Bool Source #
AlonzoEraScript era ⇒ NoThunks (ScriptIntegrity era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods noThunks ∷ Context → ScriptIntegrity era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ScriptIntegrity era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ScriptIntegrity era) → String Source #
(Era era, c ~ EraCrypto era) ⇒ HashAnnotated (ScriptIntegrity era) EraIndependentScriptIntegrity c Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods indexProxy ∷ ScriptIntegrity era → Proxy EraIndependentScriptIntegrity Source # hashAnnotated ∷ ScriptIntegrity era → SafeHash c EraIndependentScriptIntegrity Source #
type Rep (ScriptIntegrity era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Rep (ScriptIntegrity era) = D1 ('MetaData "ScriptIntegrity" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.8.0.0-inplace" 'False) (C1 ('MetaCons "ScriptIntegrity" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Redeemers era)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxDats era)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set LangDepView)))))

type ScriptIntegrityHash c = SafeHash c EraIndependentScriptIntegrity Source #

data AlonzoTx era Source #

Constructors

AlonzoTx
Fields body ∷ !(TxBody era) wits ∷ !(TxWits era) isValid ∷ !IsValid auxiliaryData ∷ !(StrictMaybe (TxAuxData era))

Instances

Instances details

Generic (AlonzoTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Associated Types type Rep (AlonzoTx era) ∷ Type → Type Source # Methods from ∷ AlonzoTx era → Rep (AlonzoTx era) x Source # to ∷ Rep (AlonzoTx era) x → AlonzoTx era Source #
(Era era, Show (TxBody era), Show (TxAuxData era), Show (Script era), Show (TxWits era)) ⇒ Show (AlonzoTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods showsPrec ∷ Int → AlonzoTx era → ShowS Source # show ∷ AlonzoTx era → String Source # showList ∷ [AlonzoTx era] → ShowS Source #
(Era era, EncCBOR (TxBody era), EncCBOR (TxAuxData era), EncCBOR (TxWits era)) ⇒ ToCBOR (AlonzoTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods toCBOR ∷ AlonzoTx era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTx era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTx era] → Size Source #
(Typeable era, DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxAuxData era))) ⇒ DecCBOR (Annotator (AlonzoTx era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods decCBOR ∷ Decoder s (Annotator (AlonzoTx era)) Source # dropCBOR ∷ Proxy (Annotator (AlonzoTx era)) → Decoder s () Source # label ∷ Proxy (Annotator (AlonzoTx era)) → Text Source #
(Era era, EncCBOR (TxBody era), EncCBOR (TxAuxData era), EncCBOR (TxWits era)) ⇒ EncCBOR (AlonzoTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods encCBOR ∷ AlonzoTx era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTx era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTx era] → Size Source #
(Tx era ~ AlonzoTx era, AlonzoEraTx era) ⇒ EqRaw (AlonzoTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods eqRaw ∷ AlonzoTx era → AlonzoTx era → Bool Source #
(Era era, NFData (TxWits era), NFData (TxAuxData era), NFData (TxBody era)) ⇒ NFData (AlonzoTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods rnf ∷ AlonzoTx era → () Source #
(Era era, Eq (TxBody era), Eq (TxWits era), Eq (TxAuxData era)) ⇒ Eq (AlonzoTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods (==) ∷ AlonzoTx era → AlonzoTx era → Bool Source # (/=) ∷ AlonzoTx era → AlonzoTx era → Bool Source #
(Era era, NoThunks (TxWits era), NoThunks (TxAuxData era), NoThunks (TxBody era)) ⇒ NoThunks (AlonzoTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods noThunks ∷ Context → AlonzoTx era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTx era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTx era) → String Source #
type Rep (AlonzoTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Rep (AlonzoTx era) = D1 ('MetaData "AlonzoTx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.8.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTx" 'PrefixI 'True) ((S1 ('MetaSel ('Just "body") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxBody era)) :: S1 ('MetaSel ('Just "wits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxWits era))) :: (S1 ('MetaSel ('Just "isValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IsValid) :*: S1 ('MetaSel ('Just "auxiliaryData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (TxAuxData era))))))

class (EraTx era, AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTx era where Source #

Methods

isValidTxL ∷ Lens' (Tx era) IsValid Source #

Instances

Instances details

Crypto c ⇒ AlonzoEraTx (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods isValidTxL ∷ Lens' (Tx (AlonzoEra c)) IsValid Source #

mkBasicAlonzoTx ∷ Monoid (TxWits era) ⇒ TxBody era → AlonzoTx era Source #

bodyAlonzoTxL ∷ Lens' (AlonzoTx era) (TxBody era) Source #

TxBody setter and getter for AlonzoTx.

witsAlonzoTxL ∷ Lens' (AlonzoTx era) (TxWits era) Source #

TxWits setter and getter for AlonzoTx.

auxDataAlonzoTxL ∷ Lens' (AlonzoTx era) (StrictMaybe (TxAuxData era)) Source #

TxAuxData setter and getter for AlonzoTx.

sizeAlonzoTxF ∷ ∀ era. EraTx era ⇒ SimpleGetter (AlonzoTx era) Integer Source #

txsize computes the length of the serialised bytes

isValidAlonzoTxL ∷ Lens' (AlonzoTx era) IsValid Source #

txdats' ∷ Era era ⇒ AlonzoTxWits era → TxDats era Source #

txscripts' ∷ Era era ⇒ AlonzoTxWits era → Map (ScriptHash (EraCrypto era)) (Script era) Source #

txrdmrs ∷ AlonzoEraScript era ⇒ AlonzoTxWits era → Redeemers era Source #

data AlonzoTxBody era where Source #

Bundled Patterns

pattern AlonzoTxBody ∷ (EraTxOut era, EraTxCert era) ⇒ Set (TxIn (EraCrypto era)) → Set (TxIn (EraCrypto era)) → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → Coin → ValidityInterval → StrictMaybe (Update era) → Set (KeyHash 'Witness (EraCrypto era)) → MultiAsset (EraCrypto era) → StrictMaybe (ScriptIntegrityHash (EraCrypto era)) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → StrictMaybe Network → AlonzoTxBody era

Instances

Instances details

Memoized AlonzoTxBody Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Associated Types type RawType AlonzoTxBody = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ AlonzoTxBody era → MemoBytes (RawType AlonzoTxBody) era wrapMemoBytes ∷ MemoBytes (RawType AlonzoTxBody) era → AlonzoTxBody era
Generic (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Associated Types type Rep (AlonzoTxBody era) ∷ Type → Type Source # Methods from ∷ AlonzoTxBody era → Rep (AlonzoTxBody era) x Source # to ∷ Rep (AlonzoTxBody era) x → AlonzoTxBody era Source #
(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods showsPrec ∷ Int → AlonzoTxBody era → ShowS Source # show ∷ AlonzoTxBody era → String Source # showList ∷ [AlonzoTxBody era] → ShowS Source #
Typeable era ⇒ ToCBOR (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods toCBOR ∷ AlonzoTxBody era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxBody era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxBody era] → Size Source #
(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (Annotator (AlonzoTxBody era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods decCBOR ∷ Decoder s (Annotator (AlonzoTxBody era)) Source # dropCBOR ∷ Proxy (Annotator (AlonzoTxBody era)) → Decoder s () Source # label ∷ Proxy (Annotator (AlonzoTxBody era)) → Text Source #
Era era ⇒ EncCBOR (AlonzoTxBody era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods encCBOR ∷ AlonzoTxBody era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxBody era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxBody era] → Size Source #
(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era)) ⇒ EqRaw (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods eqRaw ∷ AlonzoTxBody era → AlonzoTxBody era → Bool Source #
SafeToHash (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods originalBytes ∷ AlonzoTxBody era → ByteString Source # originalBytesSize ∷ AlonzoTxBody era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → AlonzoTxBody era → SafeHash c index Source #
(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods rnf ∷ AlonzoTxBody era → () Source #
(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods (==) ∷ AlonzoTxBody era → AlonzoTxBody era → Bool Source # (/=) ∷ AlonzoTxBody era → AlonzoTxBody era → Bool Source #
(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods noThunks ∷ Context → AlonzoTxBody era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTxBody era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTxBody era) → String Source #
c ~ EraCrypto era ⇒ HashAnnotated (AlonzoTxBody era) EraIndependentTxBody c Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods indexProxy ∷ AlonzoTxBody era → Proxy EraIndependentTxBody Source # hashAnnotated ∷ AlonzoTxBody era → SafeHash c EraIndependentTxBody Source #
type RawType AlonzoTxBody Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type RawType AlonzoTxBody = AlonzoTxBodyRaw
type Rep (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type Rep (AlonzoTxBody era) = D1 ('MetaData "AlonzoTxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.8.0.0-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxBodyRaw era))))

totExUnits ∷ (EraTx era, AlonzoEraTxWits era) ⇒ Tx era → ExUnits Source #

alonzoMinFeeTx ∷ (EraTx era, AlonzoEraTxWits era, AlonzoEraPParams era) ⇒ PParams era → Tx era → Coin Source #

minfee ∷ (EraTx era, AlonzoEraTxWits era, AlonzoEraPParams era) ⇒ PParams era → Tx era → Coin Source #

Deprecated: In favor of getMinFeeTx

isTwoPhaseScriptAddressFromMap ∷ ∀ era. EraScript era ⇒ Map (ScriptHash (EraCrypto era)) (Script era) → Addr (EraCrypto era) → Bool Source #

Compute if an Addr has the hash of a TwoPhaseScript, we can tell what kind of Script from the Hash, by looking it up in the Map

txouts ∷ EraTxBody era ⇒ TxBody era → UTxO era Source #

Compute the transaction outputs of a transaction.

indexRedeemers ∷ (AlonzoEraTxWits era, EraTx era) ⇒ Tx era → PlutusPurpose AsIxItem era → Maybe (Data era, ExUnits) Source #

Deprecated: As no longer needed

Find the Data and ExUnits assigned to a plutus script.

getMapFromValue ∷ MaryValue c → Map (PolicyID c) (Map AssetName Integer) Source #

Deprecated: No longer used

alonzoSegwitTx ∷ AlonzoEraTx era ⇒ Annotator (TxBody era) → Annotator (TxWits era) → IsValid → Maybe (Annotator (TxAuxData era)) → Annotator (Tx era) Source #

Construct an annotated Alonzo style transaction.

toCBORForSizeComputation ∷ (EncCBOR (TxBody era), EncCBOR (TxWits era), EncCBOR (TxAuxData era)) ⇒ AlonzoTx era → Encoding Source #

This ensures that the size of transactions from Mary is unchanged. The individual components all store their bytes; the only work we do in this function is concatenating

toCBORForMempoolSubmission ∷ (EncCBOR (TxBody era), EncCBOR (TxWits era), EncCBOR (TxAuxData era)) ⇒ AlonzoTx era → Encoding Source #

Encode to CBOR for the purposes of transmission from node to node, or from wallet to node.

Note that this serialisation is neither the serialisation used on-chain (where Txs are deconstructed using segwit), nor the serialisation used for computing the transaction size (which omits the IsValid field for compatibility with Mary - see toCBORForSizeComputation).

alonzoEqTxRaw ∷ AlonzoEraTx era ⇒ Tx era → Tx era → Bool Source #

Orphan instances

Crypto c ⇒ EraTx (AlonzoEra c) Source #

Instance details

Associated Types

type Tx (AlonzoEra c) = (r ∷ Type) Source #

type TxUpgradeError (AlonzoEra c) Source #

Methods

mkBasicTx ∷ TxBody (AlonzoEra c) → Tx (AlonzoEra c) Source #

bodyTxL ∷ Lens' (Tx (AlonzoEra c)) (TxBody (AlonzoEra c)) Source #

witsTxL ∷ Lens' (Tx (AlonzoEra c)) (TxWits (AlonzoEra c)) Source #

auxDataTxL ∷ Lens' (Tx (AlonzoEra c)) (StrictMaybe (AuxiliaryData (AlonzoEra c))) Source #

sizeTxF ∷ SimpleGetter (Tx (AlonzoEra c)) Integer Source #

validateNativeScript ∷ Tx (AlonzoEra c) → NativeScript (AlonzoEra c) → Bool Source #

getMinFeeTx ∷ PParams (AlonzoEra c) → Tx (AlonzoEra c) → Int → Coin Source #

upgradeTx ∷ Tx (PreviousEra (AlonzoEra c)) → Either (TxUpgradeError (AlonzoEra c)) (Tx (AlonzoEra c)) Source #