cardano-api
Safe HaskellNone
LanguageHaskell2010

Cardano.Api.Internal.Tx.Sign

Description

Creating complete, signed transactions.

Synopsis

Example: Creating a ShelleyWitnessSigningKey

Signing a transaction requires a witness, for example, a ShelleyWitnessSigningKey.

This example uses the following qualified module:

import qualified Cardano.Api as Api                -- the general `cardano-api` exports (including the old API)

There are several ways of signing a transaction and representing a signing key. If the bech32 representation of the signing key is available, it is possible to use the deserialiseFromBech32 function as follows:

let (Right signingKey) = Api.deserialiseFromBech32 (Api.AsSigningKey Api.AsPaymentKey) "addr_sk1648253w4tf6fv5fk28dc7crsjsaw7d9ymhztd4favg3cwkhz7x8sl5u3ms"

Then, simply wrap the signing key in a ShelleyWitnessSigningKey value:

let witness = Api.WitnessPaymentKey signingKey

This could also be done using an extended key, such as AsPaymentExtendedKey and WitnessPaymentExtendedKey.

Contents

Signing transactions

Creating transaction witnesses one by one, or all in one go.

data Tx era where Source #

Constructors

ShelleyTx :: forall era. ShelleyBasedEra era -> Tx (ShelleyLedgerEra era) -> Tx era 

Bundled Patterns

pattern Tx :: TxBody era -> [KeyWitness era] -> Tx era

This pattern will be deprecated in the future. We advise against introducing new usage of it.

Instances

Instances details
Show (InAnyShelleyBasedEra Tx) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

showsPrec :: Int -> InAnyShelleyBasedEra Tx -> ShowS Source #

show :: InAnyShelleyBasedEra Tx -> String Source #

showList :: [InAnyShelleyBasedEra Tx] -> ShowS Source #

Show (InAnyCardanoEra Tx) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

showsPrec :: Int -> InAnyCardanoEra Tx -> ShowS Source #

show :: InAnyCardanoEra Tx -> String Source #

showList :: [InAnyCardanoEra Tx] -> ShowS Source #

Show (Tx era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

showsPrec :: Int -> Tx era -> ShowS Source #

show :: Tx era -> String Source #

showList :: [Tx era] -> ShowS Source #

HasTypeProxy era => HasTypeProxy (Tx era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Associated Types

data AsType (Tx era) 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

data AsType (Tx era) = AsTx (AsType era)

Methods

proxyToAsType :: Proxy (Tx era) -> AsType (Tx era) Source #

IsShelleyBasedEra era => SerialiseAsCBOR (Tx era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

serialiseToCBOR :: Tx era -> ByteString Source #

deserialiseFromCBOR :: AsType (Tx era) -> ByteString -> Either DecoderError (Tx era) Source #

IsShelleyBasedEra era => HasTextEnvelope (Tx era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

textEnvelopeType :: AsType (Tx era) -> TextEnvelopeType Source #

textEnvelopeDefaultDescr :: Tx era -> TextEnvelopeDescr Source #

Eq (InAnyShelleyBasedEra Tx) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

(==) :: InAnyShelleyBasedEra Tx -> InAnyShelleyBasedEra Tx -> Bool Source #

(/=) :: InAnyShelleyBasedEra Tx -> InAnyShelleyBasedEra Tx -> Bool Source #

Eq (InAnyCardanoEra Tx) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

(==) :: InAnyCardanoEra Tx -> InAnyCardanoEra Tx -> Bool Source #

(/=) :: InAnyCardanoEra Tx -> InAnyCardanoEra Tx -> Bool Source #

Eq (Tx era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

(==) :: Tx era -> Tx era -> Bool Source #

(/=) :: Tx era -> Tx era -> Bool Source #

data AsType (Tx era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

data AsType (Tx era) = AsTx (AsType era)

data ATxAux a Source #

Constructors

ATxAux 

Fields

Instances

Instances details
Functor ATxAux 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

fmap :: (a -> b) -> ATxAux a -> ATxAux b Source #

(<$) :: a -> ATxAux b -> ATxAux a Source #

FromCBOR TxAux 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

fromCBOR :: Decoder s TxAux Source #

label :: Proxy TxAux -> Text Source #

ToCBOR TxAux 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

toCBOR :: TxAux -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxAux -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxAux] -> Size Source #

DecCBOR TxAux 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

decCBOR :: Decoder s TxAux Source #

dropCBOR :: Proxy TxAux -> Decoder s () Source #

label :: Proxy TxAux -> Text Source #

EncCBOR TxAux 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

encCBOR :: TxAux -> Encoding Source #

encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy TxAux -> Size Source #

encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [TxAux] -> Size Source #

Buildable TxAux 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

build :: TxAux -> Builder

ToJSON a => ToJSON (ATxAux a) 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

toJSON :: ATxAux a -> Value

toEncoding :: ATxAux a -> Encoding

toJSONList :: [ATxAux a] -> Value

toEncodingList :: [ATxAux a] -> Encoding

omitField :: ATxAux a -> Bool

Generic (ATxAux a) 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Associated Types

type Rep (ATxAux a) 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

type Rep (ATxAux a) = D1 ('MetaData "ATxAux" "Cardano.Chain.UTxO.TxAux" "cardano-ledger-byron-1.0.2.0-70c14b4de5d5343f887fe981d953c2bcbee3a48ad131cde49a0b771f2538c487" 'False) (C1 ('MetaCons "ATxAux" 'PrefixI 'True) (S1 ('MetaSel ('Just "aTaTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated Tx a)) :*: (S1 ('MetaSel ('Just "aTaWitness") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated TxWitness a)) :*: S1 ('MetaSel ('Just "aTaAnnotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))))

Methods

from :: ATxAux a -> Rep (ATxAux a) x Source #

to :: Rep (ATxAux a) x -> ATxAux a Source #

Show a => Show (ATxAux a) 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

showsPrec :: Int -> ATxAux a -> ShowS Source #

show :: ATxAux a -> String Source #

showList :: [ATxAux a] -> ShowS Source #

FromCBOR (ATxAux ByteSpan) 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

fromCBOR :: Decoder s (ATxAux ByteSpan) Source #

label :: Proxy (ATxAux ByteSpan) -> Text Source #

Decoded (ATxAux ByteString) 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Associated Types

type BaseType (ATxAux ByteString) 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

type BaseType (ATxAux ByteString) = ATxAux ()

Methods

recoverBytes :: ATxAux ByteString -> ByteString Source #

DecCBOR (ATxAux ByteSpan) 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

decCBOR :: Decoder s (ATxAux ByteSpan) Source #

dropCBOR :: Proxy (ATxAux ByteSpan) -> Decoder s () Source #

label :: Proxy (ATxAux ByteSpan) -> Text Source #

NFData a => NFData (ATxAux a) 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

rnf :: ATxAux a -> () Source #

Eq a => Eq (ATxAux a) 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

(==) :: ATxAux a -> ATxAux a -> Bool Source #

(/=) :: ATxAux a -> ATxAux a -> Bool Source #

type Rep (ATxAux a) 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

type Rep (ATxAux a) = D1 ('MetaData "ATxAux" "Cardano.Chain.UTxO.TxAux" "cardano-ledger-byron-1.0.2.0-70c14b4de5d5343f887fe981d953c2bcbee3a48ad131cde49a0b771f2538c487" 'False) (C1 ('MetaCons "ATxAux" 'PrefixI 'True) (S1 ('MetaSel ('Just "aTaTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated Tx a)) :*: (S1 ('MetaSel ('Just "aTaWitness") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated TxWitness a)) :*: S1 ('MetaSel ('Just "aTaAnnotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))))
type BaseType (ATxAux ByteString) 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

type BaseType (ATxAux ByteString) = ATxAux ()

getTxBody :: Tx era -> TxBody era Source #

getByronTxBody :: ATxAux ByteString -> Annotated Tx ByteString Source #

getTxWitnesses :: Tx era -> [KeyWitness era] Source #

getTxWitnessesByron :: ATxAux ByteString -> [KeyWitness ByronEra] 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 Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

showsPrec :: Int -> ScriptValidity -> ShowS Source #

show :: ScriptValidity -> String Source #

showList :: [ScriptValidity] -> ShowS Source #

DecCBOR ScriptValidity Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

decCBOR :: Decoder s ScriptValidity Source #

dropCBOR :: Proxy ScriptValidity -> Decoder s () Source #

label :: Proxy ScriptValidity -> Text Source #

EncCBOR ScriptValidity Source # 
Instance details

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 Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

(==) :: ScriptValidity -> ScriptValidity -> Bool Source #

(/=) :: ScriptValidity -> ScriptValidity -> Bool Source #

Signing in one go

data ShelleySigningKey Source #

We support making key witnesses with both normal and extended signing keys.

Constructors

ShelleyNormalSigningKey (SignKeyDSIGN StandardCrypto)

A normal ed25519 signing key

ShelleyExtendedSigningKey XPrv

An extended ed25519 signing key

toShelleySigningKey :: ShelleyWitnessSigningKey -> ShelleySigningKey Source #

signByronTransaction :: NetworkId -> Annotated Tx ByteString -> [SigningKey ByronKey] -> ATxAux ByteString Source #

signShelleyTransaction :: ShelleyBasedEra era -> TxBody era -> [ShelleyWitnessSigningKey] -> Tx era Source #

Incremental signing and separate witnesses

makeSignedByronTransaction :: [KeyWitness era] -> Annotated Tx ByteString -> ATxAux ByteString Source #

makeSignedTransaction :: [KeyWitness era] -> TxBody era -> Tx era Source #

makeSignedTransaction' :: CardanoEra era -> [KeyWitness era] -> TxBody era -> Tx era Source #

data KeyWitness era where Source #

Constructors

ByronKeyWitness :: TxInWitness -> KeyWitness ByronEra 
ShelleyBootstrapWitness :: forall era. ShelleyBasedEra era -> BootstrapWitness StandardCrypto -> KeyWitness era 
ShelleyKeyWitness :: forall era. ShelleyBasedEra era -> WitVKey 'Witness StandardCrypto -> KeyWitness era 

Instances

Instances details
Show (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

showsPrec :: Int -> KeyWitness era -> ShowS Source #

show :: KeyWitness era -> String Source #

showList :: [KeyWitness era] -> ShowS Source #

HasTypeProxy era => HasTypeProxy (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Associated Types

data AsType (KeyWitness era) 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

data AsType (KeyWitness era) = AsKeyWitness (AsType era)

Methods

proxyToAsType :: Proxy (KeyWitness era) -> AsType (KeyWitness era) Source #

IsCardanoEra era => SerialiseAsCBOR (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

serialiseToCBOR :: KeyWitness era -> ByteString Source #

deserialiseFromCBOR :: AsType (KeyWitness era) -> ByteString -> Either DecoderError (KeyWitness era) Source #

IsCardanoEra era => HasTextEnvelope (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

textEnvelopeType :: AsType (KeyWitness era) -> TextEnvelopeType Source #

textEnvelopeDefaultDescr :: KeyWitness era -> TextEnvelopeDescr Source #

Eq (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

(==) :: KeyWitness era -> KeyWitness era -> Bool Source #

(/=) :: KeyWitness era -> KeyWitness era -> Bool Source #

data AsType (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

data AsType (KeyWitness era) = AsKeyWitness (AsType era)

makeByronKeyWitness :: IsByronKey key => NetworkId -> Annotated Tx ByteString -> SigningKey key -> KeyWitness ByronEra Source #

data ShelleyWitnessSigningKey Source #

Constructors

WitnessPaymentKey (SigningKey PaymentKey) 
WitnessPaymentExtendedKey (SigningKey PaymentExtendedKey) 
WitnessStakeKey (SigningKey StakeKey) 
WitnessStakeExtendedKey (SigningKey StakeExtendedKey) 
WitnessStakePoolKey (SigningKey StakePoolKey) 
WitnessGenesisKey (SigningKey GenesisKey) 
WitnessGenesisExtendedKey (SigningKey GenesisExtendedKey) 
WitnessGenesisDelegateKey (SigningKey GenesisDelegateKey) 
WitnessGenesisDelegateExtendedKey (SigningKey GenesisDelegateExtendedKey) 
WitnessGenesisUTxOKey (SigningKey GenesisUTxOKey) 
WitnessCommitteeColdKey (SigningKey CommitteeColdKey) 
WitnessCommitteeColdExtendedKey (SigningKey CommitteeColdExtendedKey) 
WitnessCommitteeHotKey (SigningKey CommitteeHotKey) 
WitnessCommitteeHotExtendedKey (SigningKey CommitteeHotExtendedKey) 
WitnessDRepKey (SigningKey DRepKey) 
WitnessDRepExtendedKey (SigningKey DRepExtendedKey) 

makeShelleyKeyWitness :: ShelleyBasedEra era -> TxBody era -> ShelleyWitnessSigningKey -> KeyWitness era Source #

makeShelleyKeyWitness' :: ShelleyBasedEra era -> TxBody (ShelleyLedgerEra era) -> ShelleyWitnessSigningKey -> KeyWitness era Source #

data WitnessNetworkIdOrByronAddress Source #

Either a network ID or a Byron address to be used in constructing a Shelley bootstrap witness.

Constructors

WitnessNetworkId !NetworkId

Network ID.

If this value is used in the construction of a Shelley bootstrap witness, the result will not consist of a derivation path. If that is required, specify a WitnessByronAddress value instead.

WitnessByronAddress !(Address ByronAddr)

Byron address.

If this value is used in the construction of a Shelley bootstrap witness, both the network ID and derivation path will be extracted from the address and used in the construction of the witness.

makeShelleyBootstrapWitness :: ShelleyBasedEra era -> WitnessNetworkIdOrByronAddress -> TxBody era -> SigningKey ByronKey -> KeyWitness era Source #

makeShelleyBasedBootstrapWitness :: ShelleyBasedEra era -> WitnessNetworkIdOrByronAddress -> TxBody (ShelleyLedgerEra era) -> SigningKey ByronKey -> KeyWitness era Source #

makeShelleySignature :: SignableRepresentation tosign => tosign -> ShelleySigningKey -> SignedDSIGN StandardCrypto tosign Source #

getShelleyKeyWitnessVerificationKey :: ShelleySigningKey -> VKey 'Witness StandardCrypto Source #

getTxBodyAndWitnesses :: Tx era -> (TxBody era, [KeyWitness era]) Source #

Data family instances

data family AsType t Source #

A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.

Values of this type are passed to deserialisation functions for example.

Instances

Instances details
data AsType AddressAny Source # 
Instance details

Defined in Cardano.Api.Internal.Address

data AsType AddressAny = AsAddressAny
data AsType ByronAddr Source # 
Instance details

Defined in Cardano.Api.Internal.Address

data AsType ByronAddr = AsByronAddr
data AsType ShelleyAddr Source # 
Instance details

Defined in Cardano.Api.Internal.Address

data AsType ShelleyAddr = AsShelleyAddr
data AsType StakeAddress Source # 
Instance details

Defined in Cardano.Api.Internal.Address

data AsType StakeAddress = AsStakeAddress
data AsType BlockHeader Source # 
Instance details

Defined in Cardano.Api.Internal.Block

data AsType BlockHeader = AsBlockHeader
data AsType DRepMetadata Source # 
Instance details

Defined in Cardano.Api.Internal.DRepMetadata

data AsType DRepMetadata = AsDRepMetadata
data AsType AllegraEra Source # 
Instance details

Defined in Cardano.Api.Internal.Eras.Core

data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Internal.Eras.Core

data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source # 
Instance details

Defined in Cardano.Api.Internal.Eras.Core

data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source # 
Instance details

Defined in Cardano.Api.Internal.Eras.Core

data AsType ByronEra = AsByronEra
data AsType ConwayEra Source # 
Instance details

Defined in Cardano.Api.Internal.Eras.Core

data AsType ConwayEra = AsConwayEra
data AsType MaryEra Source # 
Instance details

Defined in Cardano.Api.Internal.Eras.Core

data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Internal.Eras.Core

data AsType ShelleyEra = AsShelleyEra
data AsType GovernancePoll Source # 
Instance details

Defined in Cardano.Api.Internal.Governance.Poll

data AsType GovernancePoll = AsGovernancePoll
data AsType GovernancePollAnswer Source # 
Instance details

Defined in Cardano.Api.Internal.Governance.Poll

data AsType GovernancePollAnswer = AsGovernancePollAnswer
data AsType ByronKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Byron

data AsType ByronKey = AsByronKey
data AsType ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Byron

data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType KesKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Praos

data AsType KesKey = AsKesKey
data AsType VrfKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Praos

data AsType VrfKey = AsVrfKey
data AsType CommitteeColdExtendedKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Shelley

data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey
data AsType CommitteeColdKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Shelley

data AsType CommitteeColdKey = AsCommitteeColdKey
data AsType CommitteeHotExtendedKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Shelley

data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey
data AsType CommitteeHotKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Shelley

data AsType CommitteeHotKey = AsCommitteeHotKey
data AsType DRepExtendedKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Shelley

data AsType DRepExtendedKey = AsDRepExtendedKey
data AsType DRepKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Shelley

data AsType DRepKey = AsDRepKey
data AsType GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Shelley

data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Shelley

data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Shelley

data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Shelley

data AsType GenesisKey = AsGenesisKey
data AsType GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Shelley

data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Shelley

data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Shelley

data AsType PaymentKey = AsPaymentKey
data AsType StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Shelley

data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Shelley

data AsType StakeKey = AsStakeKey
data AsType StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Shelley

data AsType StakePoolKey = AsStakePoolKey
data AsType OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Internal.OperationalCertificate

data AsType OperationalCertificate = AsOperationalCertificate
data AsType OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Internal.OperationalCertificate

data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType PraosNonce Source # 
Instance details

Defined in Cardano.Api.Internal.ProtocolParameters

data AsType PraosNonce = AsPraosNonce
data AsType UpdateProposal Source # 
Instance details

Defined in Cardano.Api.Internal.ProtocolParameters

data AsType UpdateProposal = AsUpdateProposal
data AsType PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Internal.Script

data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Internal.Script

data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType PlutusScriptV3 Source # 
Instance details

Defined in Cardano.Api.Internal.Script

data AsType PlutusScriptV3 = AsPlutusScriptV3
data AsType ScriptHash Source # 
Instance details

Defined in Cardano.Api.Internal.Script

data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source # 
Instance details

Defined in Cardano.Api.Internal.Script

data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType SimpleScript' Source # 
Instance details

Defined in Cardano.Api.Internal.Script

data AsType SimpleScript' = AsSimpleScript
data AsType HashableScriptData Source # 
Instance details

Defined in Cardano.Api.Internal.ScriptData

data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptData Source # 
Instance details

Defined in Cardano.Api.Internal.ScriptData

data AsType ScriptData = AsScriptData
data AsType TextEnvelope Source # 
Instance details

Defined in Cardano.Api.Internal.SerialiseTextEnvelope

data AsType TextEnvelope = AsTextEnvelope
data AsType ByronUpdateProposal Source # 
Instance details

Defined in Cardano.Api.Internal.SpecialByron

data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ByronVote Source # 
Instance details

Defined in Cardano.Api.Internal.SpecialByron

data AsType ByronVote = AsByronVote
data AsType StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.Internal.StakePoolMetadata

data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType TxId Source # 
Instance details

Defined in Cardano.Api.Internal.TxIn

data AsType TxId = AsTxId
data AsType TxMetadata Source # 
Instance details

Defined in Cardano.Api.Internal.TxMetadata

data AsType TxMetadata = AsTxMetadata
data AsType AssetName Source # 
Instance details

Defined in Cardano.Api.Internal.Value

data AsType AssetName = AsAssetName
data AsType PolicyId Source # 
Instance details

Defined in Cardano.Api.Internal.Value

data AsType PolicyId = AsPolicyId
data AsType (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Internal.Address

data AsType (Address addrtype) = AsAddress (AsType addrtype)
data AsType (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Internal.Address

data AsType (AddressInEra era) = AsAddressInEra (AsType era)
data AsType (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Internal.Certificate

data AsType (Certificate era) = AsCertificate
data AsType (Proposal era) Source # 
Instance details

Defined in Cardano.Api.Internal.Governance.Actions.ProposalProcedure

data AsType (Proposal era) = AsProposal
data AsType (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Api.Internal.Governance.Actions.VotingProcedure

data AsType (VotingProcedure era) = AsVote
data AsType (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Api.Internal.Governance.Actions.VotingProcedure

data AsType (VotingProcedures era) = AsVotingProcedures
data AsType (Hash a) Source # 
Instance details

Defined in Cardano.Api.Internal.Hash

data AsType (Hash a) = AsHash (AsType a)
data AsType (SigningKey a) Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Class

data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (VerificationKey a) Source # 
Instance details

Defined in Cardano.Api.Internal.Keys.Class

data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Internal.Script

data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
data AsType (Script lang) Source # 
Instance details

Defined in Cardano.Api.Internal.Script

data AsType (Script lang) = AsScript (AsType lang)
data AsType (ScriptInEra era) Source # 
Instance details

Defined in Cardano.Api.Internal.Script

data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

data AsType (Tx era) = AsTx (AsType era)
data AsType (TxBody era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

data AsType (TxBody era) = AsTxBody (AsType era)
data AsType (PlutusScriptInEra era lang) Source # 
Instance details

Defined in Cardano.Api.Internal.Script

data AsType (PlutusScriptInEra era lang) = AsPlutusScriptInEra (AsType lang)

data TxBody era where Source #

Constructors

ShelleyTxBody 

Fields

Instances

Instances details
Show (TxBody era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

showsPrec :: Int -> TxBody era -> ShowS Source #

show :: TxBody era -> String Source #

showList :: [TxBody era] -> ShowS Source #

HasTypeProxy era => HasTypeProxy (TxBody era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Associated Types

data AsType (TxBody era) 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

data AsType (TxBody era) = AsTxBody (AsType era)

Methods

proxyToAsType :: Proxy (TxBody era) -> AsType (TxBody era) Source #

IsShelleyBasedEra era => SerialiseAsCBOR (TxBody era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

serialiseToCBOR :: TxBody era -> ByteString Source #

deserialiseFromCBOR :: AsType (TxBody era) -> ByteString -> Either DecoderError (TxBody era) Source #

IsShelleyBasedEra era => HasTextEnvelope (TxBody era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

textEnvelopeType :: AsType (TxBody era) -> TextEnvelopeType Source #

textEnvelopeDefaultDescr :: TxBody era -> TextEnvelopeDescr Source #

Eq (TxBody era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

(==) :: TxBody era -> TxBody era -> Bool Source #

(/=) :: TxBody era -> TxBody era -> Bool Source #

data AsType (TxBody era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

data AsType (TxBody era) = AsTxBody (AsType era)

data TxScriptValidity era where Source #

A representation of whether the era supports tx script validity.

The Alonzo and subsequent eras support script validity.

Constructors

TxScriptValidityNone :: forall era. TxScriptValidity era 
TxScriptValidity :: forall era. AlonzoEraOnwards era -> ScriptValidity -> TxScriptValidity era

Tx script validity is supported in transactions in the Alonzo era onwards.

Instances

Instances details
Show (TxScriptValidity era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

showsPrec :: Int -> TxScriptValidity era -> ShowS Source #

show :: TxScriptValidity era -> String Source #

showList :: [TxScriptValidity era] -> ShowS Source #

Eq (TxScriptValidity era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

(==) :: TxScriptValidity era -> TxScriptValidity era -> Bool Source #

(/=) :: TxScriptValidity era -> TxScriptValidity era -> Bool Source #

scriptValidityToIsValid :: ScriptValidity -> IsValid Source #

isValidToScriptValidity :: IsValid -> ScriptValidity Source #

txScriptValidityToIsValid :: TxScriptValidity era -> IsValid Source #

txScriptValidityToScriptValidity :: TxScriptValidity era -> ScriptValidity Source #

data TxBodyScriptData era where Source #

Constructors

TxBodyNoScriptData :: forall era. TxBodyScriptData era 
TxBodyScriptData :: forall era. AlonzoEraOnwardsConstraints era => AlonzoEraOnwards era -> TxDats (ShelleyLedgerEra era) -> Redeemers (ShelleyLedgerEra era) -> TxBodyScriptData era 

Instances

Instances details
EraCrypto (ShelleyLedgerEra era) ~ StandardCrypto => Show (TxBodyScriptData era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

showsPrec :: Int -> TxBodyScriptData era -> ShowS Source #

show :: TxBodyScriptData era -> String Source #

showList :: [TxBodyScriptData era] -> ShowS Source #

Eq (TxBodyScriptData era) Source # 
Instance details

Defined in Cardano.Api.Internal.Tx.Sign

Methods

(==) :: TxBodyScriptData era -> TxBodyScriptData era -> Bool Source #

(/=) :: TxBodyScriptData era -> TxBodyScriptData era -> Bool Source #