Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.CLI.Byron.Tx
Synopsis
- data ByronTxError
- data Tx era
- type TxFile = File (Tx ())
- newtype NewTxFile = NewTxFile FilePath
- prettyAddress :: Address ByronAddr -> Text
- readByronTx :: TxFile 'In -> ExceptT ByronTxError IO (ATxAux ByteString)
- normalByronTxToGenTx :: ATxAux ByteString -> GenTx ByronBlock
- txSpendGenesisUTxOByronPBFT :: Config -> NetworkId -> SomeByronSigningKey -> Address ByronAddr -> [TxOut CtxTx ByronEra] -> ATxAux ByteString
- txSpendUTxOByronPBFT :: NetworkId -> SomeByronSigningKey -> [TxIn] -> [TxOut CtxTx ByronEra] -> ATxAux ByteString
- nodeSubmitTx :: SocketPath -> NetworkId -> GenTx ByronBlock -> ExceptT ByronTxError IO ()
- renderByronTxError :: ByronTxError -> Doc ann
- fromCborTxAux :: ByteString -> Either DecoderError (ATxAux ByteString)
- toCborTxAux :: ATxAux ByteString -> ByteString
- data ScriptValidity
Documentation
data ByronTxError Source #
Constructors
TxDeserialisationFailed !FilePath !DecoderError | |
ByronTxSubmitError !Text | |
ByronTxSubmitErrorEraMismatch !EraMismatch |
Instances
Show ByronTxError Source # | |
Defined in Cardano.CLI.Byron.Tx |
Instances
Instances
IsString NewTxFile Source # | |
Defined in Cardano.CLI.Byron.Tx Methods fromString :: String -> NewTxFile Source # | |
Show NewTxFile Source # | |
Eq NewTxFile Source # | |
Ord NewTxFile Source # | |
Defined in Cardano.CLI.Byron.Tx |
prettyAddress :: Address ByronAddr -> Text Source #
Pretty-print an address in its Base58 form, and also its full structure.
readByronTx :: TxFile 'In -> ExceptT ByronTxError IO (ATxAux ByteString) Source #
normalByronTxToGenTx :: ATxAux ByteString -> GenTx ByronBlock Source #
The GenTx
is all the kinds of transactions that can be submitted
and "normal" Byron transactions are just one of the kinds.
txSpendGenesisUTxOByronPBFT :: Config -> NetworkId -> SomeByronSigningKey -> Address ByronAddr -> [TxOut CtxTx ByronEra] -> ATxAux ByteString Source #
Generate a transaction spending genesis UTxO at a given address, to given outputs, signed by the given key.
txSpendUTxOByronPBFT :: NetworkId -> SomeByronSigningKey -> [TxIn] -> [TxOut CtxTx ByronEra] -> ATxAux ByteString Source #
Generate a transaction from given Tx inputs to outputs, signed by the given key.
nodeSubmitTx :: SocketPath -> NetworkId -> GenTx ByronBlock -> ExceptT ByronTxError IO () Source #
Submit a transaction to a node specified by topology info.
renderByronTxError :: ByronTxError -> Doc ann Source #
toCborTxAux :: ATxAux ByteString -> ByteString Source #
data ScriptValidity Source #
Indicates whether a script is expected to fail or pass validation.
Constructors
ScriptInvalid | Script is expected to fail validation. Transactions marked as such can include scripts that fail validation. Such transactions may be submitted to the chain, in which case the collateral will be taken upon on chain script validation failure. |
ScriptValid | Script is expected to pass validation. Transactions marked as such cannot include scripts that fail validation. |
Instances
Show ScriptValidity | |
Defined in Cardano.Api.Internal.Tx.Sign | |
DecCBOR ScriptValidity | |
Defined in Cardano.Api.Internal.Tx.Sign | |
EncCBOR ScriptValidity | |
Defined in Cardano.Api.Internal.Tx.Sign Methods encCBOR :: ScriptValidity -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy ScriptValidity -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [ScriptValidity] -> Size Source # | |
Eq ScriptValidity | |
Defined in Cardano.Api.Internal.Tx.Sign Methods (==) :: ScriptValidity -> ScriptValidity -> Bool Source # (/=) :: ScriptValidity -> ScriptValidity -> Bool Source # |