Safe Haskell	Safe-Inferred
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
- = ScriptInvalid
- | ScriptValid

Documentation

data ByronTxError Source #

Constructors

TxDeserialisationFailed !FilePath !DecoderError
ByronTxSubmitError !Text
ByronTxSubmitErrorEraMismatch !EraMismatch

Instances

Instances details

Show ByronTxError Source #
Instance details Defined in Cardano.CLI.Byron.Tx Methods showsPrec ∷ Int → ByronTxError → ShowS Source # show ∷ ByronTxError → String Source # showList ∷ [ByronTxError] → ShowS Source #

data Tx era Source #

Instances

Instances details

Show (InAnyShelleyBasedEra Tx)
Instance details Defined in Cardano.Api.Tx.Sign Methods showsPrec ∷ Int → InAnyShelleyBasedEra Tx → ShowS Source # show ∷ InAnyShelleyBasedEra Tx → String Source # showList ∷ [InAnyShelleyBasedEra Tx] → ShowS Source #
Show (InAnyCardanoEra Tx)
Instance details Defined in Cardano.Api.Tx.Sign Methods showsPrec ∷ Int → InAnyCardanoEra Tx → ShowS Source # show ∷ InAnyCardanoEra Tx → String Source # showList ∷ [InAnyCardanoEra Tx] → ShowS Source #
Show (Tx era)
Instance details Defined in Cardano.Api.Tx.Sign Methods showsPrec ∷ Int → Tx era → ShowS Source # show ∷ Tx era → String Source # showList ∷ [Tx era] → ShowS Source #
HasTypeProxy era ⇒ HasTypeProxy (Tx era)
Instance details Defined in Cardano.Api.Tx.Sign Associated Types data AsType (Tx era) Source # Methods proxyToAsType ∷ Proxy (Tx era) → AsType (Tx era) Source #
IsShelleyBasedEra era ⇒ SerialiseAsCBOR (Tx era)
Instance details Defined in Cardano.Api.Tx.Sign Methods serialiseToCBOR ∷ Tx era → ByteString Source # deserialiseFromCBOR ∷ AsType (Tx era) → ByteString → Either DecoderError (Tx era) Source #
IsShelleyBasedEra era ⇒ HasTextEnvelope (Tx era)
Instance details Defined in Cardano.Api.Tx.Sign Methods textEnvelopeType ∷ AsType (Tx era) → TextEnvelopeType Source # textEnvelopeDefaultDescr ∷ Tx era → TextEnvelopeDescr Source #
Eq (InAnyShelleyBasedEra Tx)
Instance details Defined in Cardano.Api.Tx.Sign Methods (==) ∷ InAnyShelleyBasedEra Tx → InAnyShelleyBasedEra Tx → Bool Source # (/=) ∷ InAnyShelleyBasedEra Tx → InAnyShelleyBasedEra Tx → Bool Source #
Eq (InAnyCardanoEra Tx)
Instance details Defined in Cardano.Api.Tx.Sign Methods (==) ∷ InAnyCardanoEra Tx → InAnyCardanoEra Tx → Bool Source # (/=) ∷ InAnyCardanoEra Tx → InAnyCardanoEra Tx → Bool Source #
Eq (Tx era)
Instance details Defined in Cardano.Api.Tx.Sign Methods (==) ∷ Tx era → Tx era → Bool Source # (/=) ∷ Tx era → Tx era → Bool Source #
data AsType (Tx era)
Instance details Defined in Cardano.Api.Tx.Sign data AsType (Tx era) = AsTx (AsType era)

type TxFile = File (Tx ()) Source #

newtype NewTxFile Source #

Constructors

NewTxFile FilePath

Instances

Instances details

IsString NewTxFile Source #
Instance details Defined in Cardano.CLI.Byron.Tx Methods fromString ∷ String → NewTxFile Source #
Show NewTxFile Source #
Instance details Defined in Cardano.CLI.Byron.Tx Methods showsPrec ∷ Int → NewTxFile → ShowS Source # show ∷ NewTxFile → String Source # showList ∷ [NewTxFile] → ShowS Source #
Eq NewTxFile Source #
Instance details Defined in Cardano.CLI.Byron.Tx Methods (==) ∷ NewTxFile → NewTxFile → Bool Source # (/=) ∷ NewTxFile → NewTxFile → Bool Source #
Ord NewTxFile Source #
Instance details Defined in Cardano.CLI.Byron.Tx Methods compare ∷ NewTxFile → NewTxFile → Ordering Source # (<) ∷ NewTxFile → NewTxFile → Bool Source # (<=) ∷ NewTxFile → NewTxFile → Bool Source # (>) ∷ NewTxFile → NewTxFile → Bool Source # (>=) ∷ NewTxFile → NewTxFile → Bool Source # max ∷ NewTxFile → NewTxFile → NewTxFile Source # min ∷ NewTxFile → NewTxFile → NewTxFile Source #

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 #

fromCborTxAux ∷ ByteString → Either DecoderError (ATxAux ByteString) 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

Instances details

Show ScriptValidity
Instance details Defined in Cardano.Api.Tx.Sign Methods showsPrec ∷ Int → ScriptValidity → ShowS Source # show ∷ ScriptValidity → String Source # showList ∷ [ScriptValidity] → ShowS Source #
DecCBOR ScriptValidity
Instance details Defined in Cardano.Api.Tx.Sign Methods decCBOR ∷ Decoder s ScriptValidity Source # dropCBOR ∷ Proxy ScriptValidity → Decoder s () Source # label ∷ Proxy ScriptValidity → Text Source #
EncCBOR ScriptValidity
Instance details Defined in Cardano.Api.Tx.Sign Methods encCBOR ∷ ScriptValidity → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ScriptValidity → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ScriptValidity] → Size Source #
Eq ScriptValidity
Instance details Defined in Cardano.Api.Tx.Sign Methods (==) ∷ ScriptValidity → ScriptValidity → Bool Source # (/=) ∷ ScriptValidity → ScriptValidity → Bool Source #