Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Alonzo.TxBody

Documentation

data TxOut era Source #

Constructors

TxOutCompact' !( CompactAddr ( Crypto era)) !( CompactForm ( Value era))
TxOutCompactDH' !( CompactAddr ( Crypto era)) !( CompactForm ( Value era)) !( DataHash ( Crypto era))
TxOut_AddrHash28_AdaOnly !( Credential ' Staking ( Crypto era)) ! Addr28Extra !( CompactForm Coin )
TxOut_AddrHash28_AdaOnly_DataHash32 !( Credential ' Staking ( Crypto era)) ! Addr28Extra !( CompactForm Coin ) ! DataHash32

Bundled Patterns

pattern TxOut :: forall era. ( Era era, Compactible ( Value era), Val ( Value era), HasCallStack ) => Addr ( Crypto era) -> Value era -> StrictMaybe ( DataHash ( Crypto era)) -> TxOut era
pattern TxOutCompact :: ( Era era, Val ( Value era), HasCallStack ) => CompactAddr ( Crypto era) -> CompactForm ( Value era) -> TxOut era
pattern TxOutCompactDH :: forall era. ( 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.Alonzo.TxBody Methods getField :: TxOut era -> val Source #
( Era era, c ~ Crypto era) => HasField "datahash" ( TxOut era) ( StrictMaybe ( DataHash c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxOut era -> StrictMaybe ( DataHash 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 #
HasField "referenceScript" ( TxOut era) ( StrictMaybe ( Script era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxOut era -> StrictMaybe ( Script era) Source #
( Eq ( Value era), Compactible ( Value era)) => Eq ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods (==) :: TxOut era -> TxOut era -> Bool Source # (/=) :: TxOut era -> TxOut era -> Bool Source #
( Era era, Show ( Value era), Show ( CompactForm ( Value era))) => Show ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.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.Alonzo.TxBody Methods rnf :: TxOut era -> () Source #
( Era era, Show ( Value era), ToJSON ( Value era)) => ToJSON ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods toJSON :: TxOut era -> Value Source # toEncoding :: TxOut era -> Encoding Source # toJSONList :: [ TxOut era] -> Value Source # toEncodingList :: [ TxOut era] -> Encoding Source #
( Era era, Compactible ( Value era)) => ToCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.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), Compactible ( Value era)) => FromCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods fromCBOR :: Decoder s ( TxOut era) Source # label :: Proxy ( TxOut era) -> Text Source #
( Era era, DecodeNonNegative ( Value era), Show ( Value era), Compactible ( Value era)) => FromSharedCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.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.Alonzo.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.Alonzo.TxBody type Share ( TxOut era) = Interns ( Credential ' Staking ( Crypto era))

data Addr28Extra Source #

Instances

Instances details

Eq Addr28Extra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods (==) :: Addr28Extra -> Addr28Extra -> Bool Source # (/=) :: Addr28Extra -> Addr28Extra -> Bool Source #

data DataHash32 Source #

Instances

Instances details

Eq DataHash32 Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods (==) :: DataHash32 -> DataHash32 -> Bool Source # (/=) :: DataHash32 -> DataHash32 -> Bool 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 #

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

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

outputs' :: TxBody era -> StrictSeq ( TxOut era) 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 #

getAdaOnly :: forall era. Val ( Value era) => Proxy era -> Value era -> Maybe ( CompactForm Coin ) Source #

decodeDataHash32 :: forall crypto. HashAlgorithm ( HASH crypto) => DataHash32 -> Maybe ( DataHash crypto) Source #

encodeDataHash32 :: forall crypto. HashAlgorithm ( HASH crypto) => DataHash crypto -> Maybe ( SizeHash ( HASH crypto) :~: 32, DataHash32 ) Source #

encodeAddress28 :: forall crypto. HashAlgorithm ( ADDRHASH crypto) => Network -> PaymentCredential crypto -> Maybe ( SizeHash ( ADDRHASH crypto) :~: 28, Addr28Extra ) Source #

decodeAddress28 :: forall crypto. HashAlgorithm ( ADDRHASH crypto) => Credential ' Staking crypto -> Addr28Extra -> Maybe ( Addr crypto) Source #

viewCompactTxOut :: forall era. Era era => TxOut era -> ( CompactAddr ( Crypto era), CompactForm ( Value era), StrictMaybe ( DataHash ( Crypto era))) Source #

viewTxOut :: forall era. Era era => TxOut era -> ( Addr ( Crypto era), Value era, StrictMaybe ( DataHash ( Crypto era))) Source #

type AlonzoBody era = ( Era era, Compactible ( 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)) 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 #

type ScriptIntegrityHash crypto = SafeHash crypto EraIndependentScriptIntegrity Source #

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