Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Alonzo.Tx

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/input-output-hk/cardano-ledger/tree/master/eras/alonzo/formal-spec The most recent version of the document can be found here: https://hydra.iohk.io/job/Cardano/cardano-ledger/specs.alonzo-ledger/latest/download-by-type/doc-pdf/alonzo-changes The functions can be found in Figures in that document, and sections of this code refer to those figures.

Synopsis

data CostModel
getLanguageView :: forall era. HasField "_costmdls" ( PParams era) CostModels => PParams era -> Language -> LangDepView
data Data era
type DataHash crypto = SafeHash crypto EraIndependentData
newtype IsValid = IsValid Bool
hashData :: Era era => Data era -> DataHash ( Crypto era)
nonNativeLanguages :: [ Language ]
hashScriptIntegrity :: forall era. Era era => Set LangDepView -> Redeemers era -> TxDats era -> StrictMaybe ( ScriptIntegrityHash ( Crypto era))
getCoin :: Era era => TxOut era -> Coin
data EraIndependentScriptIntegrity
data ScriptIntegrity era = ScriptIntegrity !( Redeemers era) !( TxDats era) !( Set LangDepView )
type ScriptIntegrityHash crypto = SafeHash crypto EraIndependentScriptIntegrity
data ValidatedTx era = ValidatedTx {
- body :: !( TxBody era)
- wits :: !( TxWitness era)
- isValid :: ! IsValid
- auxiliaryData :: !( StrictMaybe ( AuxiliaryData era))
}
txdats' :: TxWitness era -> TxDats era
txscripts' :: TxWitness era -> Map ( ScriptHash ( Crypto era)) ( Script era)
txrdmrs :: TxWitness era -> ( Era era, Script era ~ Script era) => Redeemers era
data TxBody era where
- pattern TxBody :: AlonzoBody era => Set ( TxIn ( Crypto era)) -> Set ( TxIn ( Crypto era)) -> StrictSeq ( TxOut era) -> StrictSeq ( DCert ( Crypto era)) -> Wdrl ( Crypto era) -> Coin -> ValidityInterval -> StrictMaybe ( Update era) -> Set ( KeyHash ' Witness ( Crypto era)) -> Value ( Crypto era) -> StrictMaybe ( ScriptIntegrityHash ( Crypto era)) -> StrictMaybe ( AuxiliaryDataHash ( Crypto era)) -> StrictMaybe Network -> TxBody era
totExUnits :: ( HasField "wits" ( Tx era) ( Witnesses era), HasField "txrdmrs" ( Witnesses era) ( Redeemers era)) => Tx era -> ExUnits
isTwoPhaseScriptAddress :: forall era. ValidateScript era => ValidatedTx era -> Addr ( Crypto era) -> Bool
minfee :: ( HasField "_minfeeA" ( PParams era) Natural , HasField "_minfeeB" ( PParams era) Natural , HasField "_prices" ( PParams era) Prices , HasField "wits" ( Tx era) ( Witnesses era), HasField "txrdmrs" ( Witnesses era) ( Redeemers era), HasField "txsize" ( Tx era) Integer ) => PParams era -> Tx era -> Coin
class Indexable elem container where
- indexOf :: elem -> container -> StrictMaybe Word64
- fromIndex :: Word64 -> container -> StrictMaybe elem
data ScriptPurpose crypto
- = Minting !( PolicyID crypto)
- | Spending !( TxIn crypto)
- | Rewarding !( RewardAcnt crypto)
- | Certifying !( DCert crypto)
isTwoPhaseScriptAddressFromMap :: forall era. ValidateScript era => Map ( ScriptHash ( Crypto era)) ( Script era) -> Addr ( Crypto era) -> Bool
alonzoInputHashes :: forall era. ( HasField "inputs" ( TxBody era) ( Set ( TxIn ( Crypto era))), ValidateScript era, TxOut era ~ TxOut era) => Map ( ScriptHash ( Crypto era)) ( Script era) -> ValidatedTx era -> UTxO era -> ( Set ( DataHash ( Crypto era)), Set ( TxIn ( Crypto era)))
txouts :: Era era => TxBody era -> UTxO era
indexedRdmrs :: forall era tx. ( Era era, HasField "inputs" ( TxBody era) ( Set ( TxIn ( Crypto era))), HasField "wdrls" ( TxBody era) ( Wdrl ( Crypto era)), HasField "certs" ( TxBody era) ( StrictSeq ( DCert ( Crypto era))), HasField "wits" tx ( TxWitness era), HasField "body" tx ( TxBody era)) => tx -> ScriptPurpose ( Crypto era) -> Maybe ( Data era, ExUnits )
rdptr :: forall era. ( HasField "inputs" ( TxBody era) ( Set ( TxIn ( Crypto era))), HasField "wdrls" ( TxBody era) ( Wdrl ( Crypto era)), HasField "certs" ( TxBody era) ( StrictSeq ( DCert ( Crypto era))), HasField "minted" ( TxBody era) ( Set ( ScriptHash ( Crypto era)))) => TxBody era -> ScriptPurpose ( Crypto era) -> StrictMaybe RdmrPtr
rdptrInv :: forall era. ( HasField "inputs" ( TxBody era) ( Set ( TxIn ( Crypto era))), HasField "wdrls" ( TxBody era) ( Wdrl ( Crypto era)), HasField "certs" ( TxBody era) ( StrictSeq ( DCert ( Crypto era))), HasField "minted" ( TxBody era) ( Set ( ScriptHash ( Crypto era)))) => TxBody era -> RdmrPtr -> StrictMaybe ( ScriptPurpose ( Crypto era))
getMapFromValue :: Value crypto -> Map ( PolicyID crypto) ( Map AssetName Integer )
segwitTx :: Annotator ( TxBody era) -> Annotator ( TxWitness era) -> IsValid -> Maybe ( Annotator ( AuxiliaryData era)) -> Annotator ( ValidatedTx era)
toCBORForSizeComputation :: ( Typeable era, ToCBOR ( TxBody era), ToCBOR ( AuxiliaryData era)) => ValidatedTx era -> Encoding
toCBORForMempoolSubmission :: ( Typeable era, ToCBOR ( TxBody era), ToCBOR ( AuxiliaryData era)) => ValidatedTx era -> Encoding

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

Eq CostModel Source #	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.Alonzo.Scripts Methods (==) :: CostModel -> CostModel -> Bool Source # (/=) :: CostModel -> CostModel -> Bool Source #
Ord CostModel Source #	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.Alonzo.Scripts 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 #
Show CostModel Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods showsPrec :: Int -> CostModel -> ShowS Source # show :: CostModel -> String Source # showList :: [ CostModel ] -> ShowS Source #
Generic CostModel Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types type Rep CostModel :: Type -> Type Source # Methods from :: CostModel -> Rep CostModel x Source # to :: Rep CostModel x -> CostModel Source #
NFData CostModel Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods rnf :: CostModel -> () Source #
ToJSON CostModel Source #
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods toJSON :: CostModel -> Value Source # toEncoding :: CostModel -> Encoding Source # toJSONList :: [ CostModel ] -> Value Source # toEncodingList :: [ CostModel ] -> Encoding Source #
ToCBOR CostModel Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods toCBOR :: CostModel -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy CostModel -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ CostModel ] -> Size Source #
SafeToHash CostModel Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods originalBytes :: CostModel -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> CostModel -> SafeHash c index Source #
NoThunks CostModel Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods noThunks :: Context -> CostModel -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> CostModel -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy CostModel -> String Source #
HashWithCrypto CostModel CostModel Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods hashWithCrypto :: HasAlgorithm crypto => Proxy crypto -> CostModel -> SafeHash crypto CostModel Source #
type Rep CostModel Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep CostModel = D1 (' MetaData "CostModel" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' False ) ( C1 (' MetaCons "CostModel" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Language ) :: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map Text Integer )) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 EvaluationContext ))))

getLanguageView :: forall era. HasField "_costmdls" ( PParams era) CostModels => PParams era -> Language -> LangDepView Source #

data Data era Source #

Instances

Instances details

c ~ Crypto era => HasField "txdatahash" ( ValidatedTx era) ( Map ( DataHash c) ( Data era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods getField :: ValidatedTx era -> Map ( DataHash c) ( Data era) Source #
Eq ( Data era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods (==) :: Data era -> Data era -> Bool Source # (/=) :: Data era -> Data era -> Bool Source #
Ord ( Data era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods compare :: Data era -> Data era -> Ordering Source # (<) :: Data era -> Data era -> Bool Source # (<=) :: Data era -> Data era -> Bool Source # (>) :: Data era -> Data era -> Bool Source # (>=) :: Data era -> Data era -> Bool Source # max :: Data era -> Data era -> Data era Source # min :: Data era -> Data era -> Data era Source #
Show ( Data era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods showsPrec :: Int -> Data era -> ShowS Source # show :: Data era -> String Source # showList :: [ Data era] -> ShowS Source #
Generic ( Data era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.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 #
NFData ( Data era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods rnf :: Data era -> () Source #
Typeable era => ToCBOR ( Data era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods toCBOR :: Data era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Data era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Data era] -> Size Source #
Typeable era => FromCBOR ( Annotator ( Data era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods fromCBOR :: Decoder s ( Annotator ( Data era)) Source # label :: Proxy ( Annotator ( Data era)) -> Text Source #
SafeToHash ( Data era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods originalBytes :: Data era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> Data era -> SafeHash c index Source #
NoThunks ( Data era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods noThunks :: Context -> Data era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Data era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Data era) -> String Source #
Crypto era ~ c => HashAnnotated ( Data era) EraIndependentData c Source #
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods indexProxy :: Data era -> Proxy EraIndependentData Source #
type Rep ( Data era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Data type Rep ( Data era) = D1 (' MetaData "Data" "Cardano.Ledger.Alonzo.Data" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' True ) ( C1 (' MetaCons "DataConstr" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( MemoBytes Data ))))

type DataHash crypto = SafeHash crypto 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

Eq IsValid Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods (==) :: IsValid -> IsValid -> Bool Source # (/=) :: IsValid -> IsValid -> Bool 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 #
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 #
NFData IsValid Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods rnf :: IsValid -> () Source #
ToCBOR IsValid Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods toCBOR :: IsValid -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy IsValid -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ IsValid ] -> Size Source #
FromCBOR IsValid Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods fromCBOR :: Decoder s IsValid Source # label :: Proxy IsValid -> Text 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-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' True ) ( C1 (' MetaCons "IsValid" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Bool )))

hashData :: Era era => Data era -> DataHash ( Crypto era) Source #

nonNativeLanguages :: [ Language ] Source #

hashScriptIntegrity :: forall era. Era era => Set LangDepView -> Redeemers era -> TxDats era -> StrictMaybe ( ScriptIntegrityHash ( Crypto era)) Source #

getCoin :: Era era => TxOut era -> Coin Source #

data EraIndependentScriptIntegrity Source #

Instances

Instances details

c ~ Crypto era => HasField "scriptIntegrityHash" ( TxBody era) ( StrictMaybe ( ScriptIntegrityHash c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> StrictMaybe ( ScriptIntegrityHash c) Source #
( Era era, c ~ Crypto era) => HashAnnotated ( ScriptIntegrity era) EraIndependentScriptIntegrity c Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods indexProxy :: ScriptIntegrity era -> Proxy 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

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 #
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 #
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 #
Era era => SafeToHash ( ScriptIntegrity era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods originalBytes :: ScriptIntegrity era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> ScriptIntegrity era -> SafeHash c index Source #
Typeable 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 ~ Crypto era) => HashAnnotated ( ScriptIntegrity era) EraIndependentScriptIntegrity c Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods indexProxy :: ScriptIntegrity era -> Proxy 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-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' 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 crypto = SafeHash crypto EraIndependentScriptIntegrity Source #

data ValidatedTx era Source #

Constructors

ValidatedTx
Fields body :: !( TxBody era) wits :: !( TxWitness era) isValid :: ! IsValid auxiliaryData :: !( StrictMaybe ( AuxiliaryData era))

Instances

Instances details

( Typeable era, ToCBOR ( TxBody era), ToCBOR ( AuxiliaryData era)) => HasField "txsize" ( ValidatedTx era) Integer Source #	txsize computes the length of the serialised bytes
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods getField :: ValidatedTx era -> Integer Source #
c ~ Crypto era => HasField "addrWits" ( ValidatedTx era) ( Set ( WitVKey ' Witness c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods getField :: ValidatedTx era -> Set ( WitVKey ' Witness c) Source #
c ~ Crypto era => HasField "bootWits" ( ValidatedTx era) ( Set ( BootstrapWitness c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods getField :: ValidatedTx era -> Set ( BootstrapWitness c) Source #
(c ~ Crypto era, script ~ Script era) => HasField "scriptWits" ( ValidatedTx era) ( Map ( ScriptHash c) script) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods getField :: ValidatedTx era -> Map ( ScriptHash c) script Source #
c ~ Crypto era => HasField "txdatahash" ( ValidatedTx era) ( Map ( DataHash c) ( Data era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods getField :: ValidatedTx era -> Map ( DataHash c) ( Data era) Source #
( Era era, Eq ( AuxiliaryData era), Eq ( Script era), Eq ( TxBody era), Eq ( Value era), Eq ( PParamsDelta era), Compactible ( Value era)) => Eq ( ValidatedTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods (==) :: ValidatedTx era -> ValidatedTx era -> Bool Source # (/=) :: ValidatedTx era -> ValidatedTx era -> Bool Source #
( Era era, Compactible ( Value era), Show ( AuxiliaryData era), Show ( Script era), Show ( TxBody era), Show ( Value era), Show ( PParamsDelta era)) => Show ( ValidatedTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods showsPrec :: Int -> ValidatedTx era -> ShowS Source # show :: ValidatedTx era -> String Source # showList :: [ ValidatedTx era] -> ShowS Source #
Generic ( ValidatedTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Associated Types type Rep ( ValidatedTx era) :: Type -> Type Source # Methods from :: ValidatedTx era -> Rep ( ValidatedTx era) x Source # to :: Rep ( ValidatedTx era) x -> ValidatedTx era Source #
( Era era, Script era ~ Script era, crypto ~ Crypto era, NFData ( AuxiliaryData era), NFData ( Script era), NFData ( TxBody era), NFData ( Value era), NFData ( PParamsDelta era), NFData ( TxDats era), NFData ( Redeemers era), NFData ( VerKeyDSIGN ( DSIGN crypto)), NFData ( SigDSIGN ( DSIGN crypto))) => NFData ( ValidatedTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods rnf :: ValidatedTx era -> () Source #
( Typeable era, ToCBOR ( TxBody era), ToCBOR ( AuxiliaryData era)) => ToCBOR ( ValidatedTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods toCBOR :: ValidatedTx era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( ValidatedTx era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ ValidatedTx era] -> Size Source #
( Era era, FromCBOR ( Annotator ( TxBody era)), FromCBOR ( Annotator ( AuxiliaryData era)), FromCBOR ( Annotator ( Witnesses era)), ValidateScript era, Script era ~ Script era) => FromCBOR ( Annotator ( ValidatedTx era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods fromCBOR :: Decoder s ( Annotator ( ValidatedTx era)) Source # label :: Proxy ( Annotator ( ValidatedTx era)) -> Text Source #
( Era era, NoThunks ( AuxiliaryData era), NoThunks ( Script era), NoThunks ( TxBody era), NoThunks ( Value era), NoThunks ( PParamsDelta era)) => NoThunks ( ValidatedTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods noThunks :: Context -> ValidatedTx era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ValidatedTx era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( ValidatedTx era) -> String Source #
type Rep ( ValidatedTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Rep ( ValidatedTx era) = D1 (' MetaData "ValidatedTx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' False ) ( C1 (' MetaCons "ValidatedTx" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "body") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( TxBody era)) :: S1 (' MetaSel (' Just "wits") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( TxWitness era))) :: ( S1 (' MetaSel (' Just "isValid") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 IsValid ) :*: S1 (' MetaSel (' Just "auxiliaryData") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictMaybe ( AuxiliaryData era))))))

txdats' :: TxWitness era -> TxDats era Source #

txscripts' :: TxWitness era -> Map ( ScriptHash ( Crypto era)) ( Script era) Source #

txrdmrs :: TxWitness era -> ( Era era, Script era ~ Script era) => Redeemers era Source #

data TxBody era where Source #

Bundled Patterns

pattern TxBody :: AlonzoBody era => Set ( TxIn ( Crypto era)) -> Set ( TxIn ( Crypto era)) -> StrictSeq ( TxOut era) -> StrictSeq ( DCert ( Crypto era)) -> Wdrl ( Crypto era) -> Coin -> ValidityInterval -> StrictMaybe ( Update era) -> Set ( KeyHash ' Witness ( Crypto era)) -> Value ( Crypto era) -> StrictMaybe ( ScriptIntegrityHash ( Crypto era)) -> StrictMaybe ( AuxiliaryDataHash ( Crypto era)) -> StrictMaybe Network -> TxBody era

Instances

Instances details

HasField "txfee" ( TxBody era) Coin Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> Coin Source #
HasField "vldt" ( TxBody era) ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> ValidityInterval Source #
c ~ Crypto era => HasField "adHash" ( TxBody era) ( StrictMaybe ( AuxiliaryDataHash c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> StrictMaybe ( AuxiliaryDataHash c) Source #
Crypto era ~ crypto => HasField "certs" ( TxBody era) ( StrictSeq ( DCert crypto)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> StrictSeq ( DCert crypto) Source #
Crypto era ~ c => HasField "collateral" ( TxBody era) ( Set ( TxIn c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> Set ( TxIn c) Source #
Crypto era ~ c => HasField "inputs" ( TxBody era) ( Set ( TxIn c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> Set ( TxIn c) Source #
Crypto era ~ c => HasField "mint" ( TxBody era) ( Value c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> Value c Source #
Crypto era ~ c => HasField "minted" ( TxBody era) ( Set ( ScriptHash c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> Set ( ScriptHash c) Source #
HasField "outputs" ( TxBody era) ( StrictSeq ( TxOut era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> StrictSeq ( TxOut era) Source #
Crypto era ~ crypto => HasField "referenceInputs" ( TxBody era) ( Set ( TxIn crypto)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> Set ( TxIn crypto) Source #
Crypto era ~ c => HasField "reqSignerHashes" ( TxBody era) ( Set ( KeyHash ' Witness c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> Set ( KeyHash ' Witness c) Source #
c ~ Crypto era => HasField "scriptIntegrityHash" ( TxBody era) ( StrictMaybe ( ScriptIntegrityHash c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> StrictMaybe ( ScriptIntegrityHash c) Source #
HasField "txnetworkid" ( TxBody era) ( StrictMaybe Network ) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> StrictMaybe Network Source #
HasField "update" ( TxBody era) ( StrictMaybe ( Update era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> StrictMaybe ( Update era) Source #
Crypto era ~ crypto => HasField "wdrls" ( TxBody era) ( Wdrl crypto) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> Wdrl crypto Source #
Crypto ( Crypto era) => Eq ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods (==) :: TxBody era -> TxBody era -> Bool Source # (/=) :: TxBody era -> TxBody era -> Bool Source #
( Era era, Compactible ( Value era), Show ( Value era), Show ( PParamsDelta era)) => Show ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods showsPrec :: Int -> TxBody era -> ShowS Source # show :: TxBody era -> String Source # showList :: [ TxBody era] -> ShowS Source #
( Crypto ( Crypto era), Typeable era, NFData ( Value era), NFData ( PParamsDelta era)) => NFData ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods rnf :: TxBody era -> () Source #
Typeable era => ToCBOR ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods toCBOR :: TxBody era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxBody era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxBody era] -> Size Source #
( Era era, Typeable ( Script era), Typeable ( AuxiliaryData era), Compactible ( Value era), Show ( Value era), DecodeNonNegative ( Value era), FromCBOR ( Annotator ( Script era)), SerialisableData ( PParamsDelta era)) => FromCBOR ( Annotator ( TxBody era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods fromCBOR :: Decoder s ( Annotator ( TxBody era)) Source # label :: Proxy ( Annotator ( TxBody era)) -> Text Source #
SafeToHash ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods originalBytes :: TxBody era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> TxBody era -> SafeHash c index Source #
( Typeable era, NoThunks ( Value era), NoThunks ( PParamsDelta era)) => NoThunks ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods noThunks :: Context -> TxBody era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxBody era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxBody era) -> String Source #
c ~ Crypto era => HashAnnotated ( TxBody era) EraIndependentTxBody c Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods indexProxy :: TxBody era -> Proxy EraIndependentTxBody Source #

totExUnits :: ( HasField "wits" ( Tx era) ( Witnesses era), HasField "txrdmrs" ( Witnesses era) ( Redeemers era)) => Tx era -> ExUnits Source #

isTwoPhaseScriptAddress :: forall era. ValidateScript era => ValidatedTx era -> Addr ( Crypto era) -> Bool Source #

minfee :: ( HasField "_minfeeA" ( PParams era) Natural , HasField "_minfeeB" ( PParams era) Natural , HasField "_prices" ( PParams era) Prices , HasField "wits" ( Tx era) ( Witnesses era), HasField "txrdmrs" ( Witnesses era) ( Redeemers era), HasField "txsize" ( Tx era) Integer ) => PParams era -> Tx era -> Coin Source #

class Indexable elem container where Source #

Methods

indexOf :: elem -> container -> StrictMaybe Word64 Source #

fromIndex :: Word64 -> container -> StrictMaybe elem Source #

Instances

Instances details

Eq k => Indexable k ( StrictSeq k) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods indexOf :: k -> StrictSeq k -> StrictMaybe Word64 Source # fromIndex :: Word64 -> StrictSeq k -> StrictMaybe k Source #
Ord k => Indexable k ( Set k) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods indexOf :: k -> Set k -> StrictMaybe Word64 Source # fromIndex :: Word64 -> Set k -> StrictMaybe k Source #
Ord k => Indexable k ( Map k v) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods indexOf :: k -> Map k v -> StrictMaybe Word64 Source # fromIndex :: Word64 -> Map k v -> StrictMaybe k Source #

data ScriptPurpose crypto Source #

Constructors

Minting !( PolicyID crypto)
Spending !( TxIn crypto)
Rewarding !( RewardAcnt crypto)
Certifying !( DCert crypto)

Instances

Instances details

Eq ( ScriptPurpose crypto) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods (==) :: ScriptPurpose crypto -> ScriptPurpose crypto -> Bool Source # (/=) :: ScriptPurpose crypto -> ScriptPurpose crypto -> Bool Source #
Show ( ScriptPurpose crypto) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods showsPrec :: Int -> ScriptPurpose crypto -> ShowS Source # show :: ScriptPurpose crypto -> String Source # showList :: [ ScriptPurpose crypto] -> ShowS Source #
Generic ( ScriptPurpose crypto) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Associated Types type Rep ( ScriptPurpose crypto) :: Type -> Type Source # Methods from :: ScriptPurpose crypto -> Rep ( ScriptPurpose crypto) x Source # to :: Rep ( ScriptPurpose crypto) x -> ScriptPurpose crypto Source #
Crypto crypto => NFData ( ScriptPurpose crypto) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods rnf :: ScriptPurpose crypto -> () Source #
( Typeable c, Crypto c) => ToCBOR ( ScriptPurpose c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods toCBOR :: ScriptPurpose c -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( ScriptPurpose c) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ ScriptPurpose c] -> Size Source #
( Typeable c, Crypto c) => FromCBOR ( ScriptPurpose c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods fromCBOR :: Decoder s ( ScriptPurpose c) Source # label :: Proxy ( ScriptPurpose c) -> Text Source #
NoThunks ( ScriptPurpose crypto) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods noThunks :: Context -> ScriptPurpose crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ScriptPurpose crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( ScriptPurpose crypto) -> String Source #
type Rep ( ScriptPurpose crypto) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Rep ( ScriptPurpose crypto) = D1 (' MetaData "ScriptPurpose" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' False ) (( C1 (' MetaCons "Minting" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( PolicyID crypto))) :+: C1 (' MetaCons "Spending" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( TxIn crypto)))) :+: ( C1 (' MetaCons "Rewarding" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( RewardAcnt crypto))) :+: C1 (' MetaCons "Certifying" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( DCert crypto)))))

isTwoPhaseScriptAddressFromMap :: forall era. ValidateScript era => Map ( ScriptHash ( Crypto era)) ( Script era) -> Addr ( Crypto 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

alonzoInputHashes :: forall era. ( HasField "inputs" ( TxBody era) ( Set ( TxIn ( Crypto era))), ValidateScript era, TxOut era ~ TxOut era) => Map ( ScriptHash ( Crypto era)) ( Script era) -> ValidatedTx era -> UTxO era -> ( Set ( DataHash ( Crypto era)), Set ( TxIn ( Crypto era))) Source #

txouts :: Era era => TxBody era -> UTxO era Source #

Compute the transaction outputs of a transaction.

indexedRdmrs :: forall era tx. ( Era era, HasField "inputs" ( TxBody era) ( Set ( TxIn ( Crypto era))), HasField "wdrls" ( TxBody era) ( Wdrl ( Crypto era)), HasField "certs" ( TxBody era) ( StrictSeq ( DCert ( Crypto era))), HasField "wits" tx ( TxWitness era), HasField "body" tx ( TxBody era)) => tx -> ScriptPurpose ( Crypto era) -> Maybe ( Data era, ExUnits ) Source #

Find the Data and ExUnits assigned to a script.

rdptr :: forall era. ( HasField "inputs" ( TxBody era) ( Set ( TxIn ( Crypto era))), HasField "wdrls" ( TxBody era) ( Wdrl ( Crypto era)), HasField "certs" ( TxBody era) ( StrictSeq ( DCert ( Crypto era))), HasField "minted" ( TxBody era) ( Set ( ScriptHash ( Crypto era)))) => TxBody era -> ScriptPurpose ( Crypto era) -> StrictMaybe RdmrPtr Source #

rdptrInv :: forall era. ( HasField "inputs" ( TxBody era) ( Set ( TxIn ( Crypto era))), HasField "wdrls" ( TxBody era) ( Wdrl ( Crypto era)), HasField "certs" ( TxBody era) ( StrictSeq ( DCert ( Crypto era))), HasField "minted" ( TxBody era) ( Set ( ScriptHash ( Crypto era)))) => TxBody era -> RdmrPtr -> StrictMaybe ( ScriptPurpose ( Crypto era)) Source #

getMapFromValue :: Value crypto -> Map ( PolicyID crypto) ( Map AssetName Integer ) Source #

segwitTx :: Annotator ( TxBody era) -> Annotator ( TxWitness era) -> IsValid -> Maybe ( Annotator ( AuxiliaryData era)) -> Annotator ( ValidatedTx era) Source #

toCBORForSizeComputation :: ( Typeable era, ToCBOR ( TxBody era), ToCBOR ( AuxiliaryData era)) => ValidatedTx 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 :: ( Typeable era, ToCBOR ( TxBody era), ToCBOR ( AuxiliaryData era)) => ValidatedTx 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 ).