Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Babbage.TxBody

Synopsis

data TxOut era where
- TxOutCompactDatum !( CompactAddr ( Crypto era)) !( CompactForm ( Value era)) !( BinaryData era)
- TxOutCompactRefScript !( CompactAddr ( Crypto era)) !( CompactForm ( Value era)) !( Datum era) !( Script era)
- pattern TxOut :: forall era. ( Era era, Compactible ( Value era), Val ( Value era), HasCallStack ) => Addr ( Crypto era) -> Value era -> Datum era -> StrictMaybe ( Script era) -> TxOut era
- pattern TxOutCompact :: ( Era era, HasCallStack ) => CompactAddr ( Crypto era) -> CompactForm ( Value era) -> TxOut era
- pattern TxOutCompactDH :: ( Era era, HasCallStack ) => CompactAddr ( Crypto era) -> CompactForm ( Value era) -> DataHash ( Crypto era) -> TxOut era
data TxBody era where
- pattern TxBody :: BabbageBody era => Set ( TxIn ( Crypto era)) -> Set ( TxIn ( Crypto era)) -> Set ( TxIn ( Crypto era)) -> StrictSeq ( Sized ( TxOut era)) -> StrictMaybe ( Sized ( TxOut era)) -> StrictMaybe Coin -> 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
data Datum era
- = NoDatum
- | DatumHash !( DataHash ( Crypto era))
- | Datum !( BinaryData era)
spendInputs' :: TxBody era -> Set ( TxIn ( Crypto era))
collateralInputs' :: TxBody era -> Set ( TxIn ( Crypto era))
referenceInputs' :: TxBody era -> Set ( TxIn ( Crypto era))
outputs' :: TxBody era -> StrictSeq ( TxOut era)
collateralReturn' :: TxBody era -> StrictMaybe ( TxOut era)
totalCollateral' :: TxBody era -> StrictMaybe Coin
certs' :: TxBody era -> StrictSeq ( DCert ( Crypto era))
wdrls' :: TxBody era -> Wdrl ( Crypto era)
txfee' :: TxBody era -> Coin
vldt' :: TxBody era -> ValidityInterval
update' :: TxBody era -> StrictMaybe ( Update era)
reqSignerHashes' :: TxBody era -> Set ( KeyHash ' Witness ( Crypto era))
mint' :: TxBody era -> Value ( Crypto era)
scriptIntegrityHash' :: TxBody era -> StrictMaybe ( ScriptIntegrityHash ( Crypto era))
adHash' :: TxBody era -> StrictMaybe ( AuxiliaryDataHash ( Crypto era))
txnetworkid' :: TxBody era -> StrictMaybe Network
getBabbageTxOutEitherAddr :: HashAlgorithm ( ADDRHASH ( Crypto era)) => TxOut era -> Either ( Addr ( Crypto era)) ( CompactAddr ( Crypto era))
type BabbageBody era = ( Era era, ToCBOR ( Value era), ToCBOR ( Script era), SerialisableData ( PParamsDelta era))
data EraIndependentScriptIntegrity
type ScriptIntegrityHash crypto = SafeHash crypto EraIndependentScriptIntegrity
txOutData :: TxOut era -> Maybe ( Data era)
txOutDataHash :: Era era => TxOut era -> Maybe ( DataHash ( Crypto era))
txOutScript :: TxOut era -> Maybe ( Script era)

Documentation

data TxOut era Source #

Constructors

TxOutCompactDatum !( CompactAddr ( Crypto era)) !( CompactForm ( Value era)) !( BinaryData era)
TxOutCompactRefScript !( CompactAddr ( Crypto era)) !( CompactForm ( Value era)) !( Datum era) !( Script era)

Bundled Patterns

pattern TxOut :: forall era. ( Era era, Compactible ( Value era), Val ( Value era), HasCallStack ) => Addr ( Crypto era) -> Value era -> Datum era -> StrictMaybe ( Script era) -> TxOut era
pattern TxOutCompact :: ( Era era, HasCallStack ) => CompactAddr ( Crypto era) -> CompactForm ( Value era) -> TxOut era
pattern TxOutCompactDH :: ( Era era, HasCallStack ) => CompactAddr ( Crypto era) -> CompactForm ( Value era) -> DataHash ( Crypto era) -> TxOut era

Instances

Instances details

( Era era, Value era ~ val, Compactible val) => HasField "value" ( TxOut era) val Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxOut era -> val Source #
HasField "collateralReturn" ( TxBody era) ( StrictMaybe ( TxOut era)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictMaybe ( TxOut era) Source #
( Era era, c ~ Crypto era) => HasField "datahash" ( TxOut era) ( StrictMaybe ( DataHash c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxOut era -> StrictMaybe ( DataHash c) Source #
HasField "outputs" ( TxBody era) ( StrictSeq ( TxOut era)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictSeq ( TxOut era) Source #
( Era era, s ~ Script era) => HasField "referenceScript" ( TxOut era) ( StrictMaybe s) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxOut era -> StrictMaybe s Source #
HasField "sizedCollateralReturn" ( TxBody era) ( StrictMaybe ( Sized ( TxOut era))) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictMaybe ( Sized ( TxOut era)) Source #
HasField "sizedOutputs" ( TxBody era) ( StrictSeq ( Sized ( TxOut era))) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictSeq ( Sized ( TxOut era)) Source #
( Eq ( Value era), Eq ( Script era), Compactible ( Value era)) => Eq ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods (==) :: TxOut era -> TxOut era -> Bool Source # (/=) :: TxOut era -> TxOut era -> Bool Source #
( Era era, Show ( Value era), Show ( Script era), Show ( CompactForm ( Value era))) => Show ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods showsPrec :: Int -> TxOut era -> ShowS Source # show :: TxOut era -> String Source # showList :: [ TxOut era] -> ShowS Source #
NFData ( TxOut era) Source #	Already in NF
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods rnf :: TxOut era -> () Source #
( Era era, ToCBOR ( Value era), ToCBOR ( Script era)) => ToCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods toCBOR :: TxOut era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxOut era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxOut era] -> Size Source #
( Era era, DecodeNonNegative ( Value era), Show ( Value era), FromCBOR ( Annotator ( Script era)), Compactible ( Value era)) => FromCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods fromCBOR :: Decoder s ( TxOut era) Source # label :: Proxy ( TxOut era) -> Text Source #
( Era era, DecodeNonNegative ( Value era), Show ( Value era), FromCBOR ( Annotator ( Script era)), Compactible ( Value era)) => FromSharedCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Associated Types type Share ( TxOut era) Source # Methods getShare :: TxOut era -> Share ( TxOut era) Source # fromSharedCBOR :: Share ( TxOut era) -> Decoder s ( TxOut era) Source # fromSharedPlusCBOR :: StateT ( Share ( TxOut era)) ( Decoder s) ( TxOut era) Source #
NoThunks ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods noThunks :: Context -> TxOut era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxOut era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxOut era) -> String Source #
type Share ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody type Share ( TxOut era) = Interns ( Credential ' Staking ( Crypto era))

data TxBody era where Source #

Bundled Patterns

pattern TxBody :: BabbageBody era => Set ( TxIn ( Crypto era)) -> Set ( TxIn ( Crypto era)) -> Set ( TxIn ( Crypto era)) -> StrictSeq ( Sized ( TxOut era)) -> StrictMaybe ( Sized ( TxOut era)) -> StrictMaybe Coin -> 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.Babbage.TxBody Methods getField :: TxBody era -> Coin Source #
HasField "vldt" ( TxBody era) ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> ValidityInterval Source #
c ~ Crypto era => HasField "adHash" ( TxBody era) ( StrictMaybe ( AuxiliaryDataHash c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.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.Babbage.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.Babbage.TxBody Methods getField :: TxBody era -> Set ( TxIn c) Source #
HasField "collateralReturn" ( TxBody era) ( StrictMaybe ( TxOut era)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictMaybe ( TxOut era) Source #
Crypto era ~ c => HasField "inputs" ( TxBody era) ( Set ( TxIn c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.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.Babbage.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.Babbage.TxBody Methods getField :: TxBody era -> Set ( ScriptHash c) Source #
HasField "outputs" ( TxBody era) ( StrictSeq ( TxOut era)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictSeq ( TxOut era) Source #
Crypto era ~ c => HasField "referenceInputs" ( TxBody era) ( Set ( TxIn c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> Set ( TxIn c) Source #
Crypto era ~ c => HasField "reqSignerHashes" ( TxBody era) ( Set ( KeyHash ' Witness c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.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.Babbage.TxBody Methods getField :: TxBody era -> StrictMaybe ( ScriptIntegrityHash c) Source #
HasField "sizedCollateralReturn" ( TxBody era) ( StrictMaybe ( Sized ( TxOut era))) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictMaybe ( Sized ( TxOut era)) Source #
HasField "sizedOutputs" ( TxBody era) ( StrictSeq ( Sized ( TxOut era))) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictSeq ( Sized ( TxOut era)) Source #
HasField "totalCollateral" ( TxBody era) ( StrictMaybe Coin ) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictMaybe Coin Source #
HasField "txnetworkid" ( TxBody era) ( StrictMaybe Network ) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictMaybe Network Source #
HasField "update" ( TxBody era) ( StrictMaybe ( Update era)) Source #
Instance details Defined in Cardano.Ledger.Babbage.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.Babbage.TxBody Methods getField :: TxBody era -> Wdrl crypto Source #
Crypto ( Crypto era) => Eq ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods (==) :: TxBody era -> TxBody era -> Bool Source # (/=) :: TxBody era -> TxBody era -> Bool Source #
( Era era, Compactible ( Value era), Show ( Script era), Show ( Value era), Show ( PParamsDelta era)) => Show ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods showsPrec :: Int -> TxBody era -> ShowS Source # show :: TxBody era -> String Source # showList :: [ TxBody era] -> ShowS Source #
Typeable era => ToCBOR ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.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.Babbage.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.Babbage.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.Babbage.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.Babbage.TxBody Methods indexProxy :: TxBody era -> Proxy EraIndependentTxBody Source #

data Datum era Source #

Datum can be described by a either a data hash or binary data, but not both. It can also be neither one of them.

Constructors

NoDatum
DatumHash !( DataHash ( Crypto era))
Datum !( BinaryData era)

Instances

Instances details

Eq ( Datum era)
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods (==) :: Datum era -> Datum era -> Bool Source # (/=) :: Datum era -> Datum era -> Bool Source #
Ord ( Datum era)
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods compare :: Datum era -> Datum era -> Ordering Source # (<) :: Datum era -> Datum era -> Bool Source # (<=) :: Datum era -> Datum era -> Bool Source # (>) :: Datum era -> Datum era -> Bool Source # (>=) :: Datum era -> Datum era -> Bool Source # max :: Datum era -> Datum era -> Datum era Source # min :: Datum era -> Datum era -> Datum era Source #
Show ( Datum era)
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods showsPrec :: Int -> Datum era -> ShowS Source # show :: Datum era -> String Source # showList :: [ Datum era] -> ShowS Source #
Era era => ToCBOR ( Datum era)
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods toCBOR :: Datum era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Datum era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Datum era] -> Size Source #
Era era => FromCBOR ( Datum era)
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods fromCBOR :: Decoder s ( Datum era) Source # label :: Proxy ( Datum era) -> Text Source #

spendInputs' :: TxBody era -> Set ( TxIn ( Crypto era)) Source #

collateralInputs' :: TxBody era -> Set ( TxIn ( Crypto era)) Source #

referenceInputs' :: TxBody era -> Set ( TxIn ( Crypto era)) Source #

outputs' :: TxBody era -> StrictSeq ( TxOut era) Source #

collateralReturn' :: TxBody era -> StrictMaybe ( TxOut era) Source #

totalCollateral' :: TxBody era -> StrictMaybe Coin Source #

certs' :: TxBody era -> StrictSeq ( DCert ( Crypto era)) Source #

wdrls' :: TxBody era -> Wdrl ( Crypto era) Source #

txfee' :: TxBody era -> Coin Source #

vldt' :: TxBody era -> ValidityInterval Source #

update' :: TxBody era -> StrictMaybe ( Update era) Source #

reqSignerHashes' :: TxBody era -> Set ( KeyHash ' Witness ( Crypto era)) Source #

mint' :: TxBody era -> Value ( Crypto era) Source #

scriptIntegrityHash' :: TxBody era -> StrictMaybe ( ScriptIntegrityHash ( Crypto era)) Source #

adHash' :: TxBody era -> StrictMaybe ( AuxiliaryDataHash ( Crypto era)) Source #

txnetworkid' :: TxBody era -> StrictMaybe Network Source #

getBabbageTxOutEitherAddr :: HashAlgorithm ( ADDRHASH ( Crypto era)) => TxOut era -> Either ( Addr ( Crypto era)) ( CompactAddr ( Crypto era)) Source #

type BabbageBody era = ( Era era, ToCBOR ( Value era), ToCBOR ( Script era), SerialisableData ( PParamsDelta era)) Source #

data EraIndependentScriptIntegrity Source #

Instances

Instances details

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

type ScriptIntegrityHash crypto = SafeHash crypto EraIndependentScriptIntegrity Source #

txOutData :: TxOut era -> Maybe ( Data era) Source #

txOutDataHash :: Era era => TxOut era -> Maybe ( DataHash ( Crypto era)) Source #

Return the data hash of a given transaction output, if one is present. Note that this function does *not* return the hash of any inline datums that are present.

txOutScript :: TxOut era -> Maybe ( Script era) Source #