cardano-api:internal
Safe HaskellNone
LanguageHaskell2010

Cardano.Api.Address

Description

Cardano addresses: payment and stake addresses.

Synopsis

Payment addresses

Constructing and inspecting normal payment addresses

data Address addrtype where Source #

Addresses are used as locations where assets live. The address determines the rights needed to spend assets at the address: in particular holding some signing key or being able to satisfy the conditions of a script.

There are currently two types of address:

  • Byron addresses, which use the type tag ByronAddr; and
  • Shelley addresses, which use the type tag ShelleyAddr. Notably, Shelley addresses support scripts and stake delegation.

The address type is subtly from the ledger era in which each address type is valid: while Byron addresses are the only choice in the Byron era, the Shelley era and all subsequent eras support both Byron and Shelley addresses. The Address type param only says the type of the address (either Byron or Shelley). The AddressInEra type connects the address type with the era in which it is supported.

Constructors

ByronAddress :: Address -> Address ByronAddr

Byron addresses were the only supported address type in the original Byron era.

ShelleyAddress :: Network -> PaymentCredential StandardCrypto -> StakeReference StandardCrypto -> Address ShelleyAddr

Shelley addresses allow delegation. Shelley addresses were introduced in Shelley era and are thus supported from the Shelley era onwards

Instances

Instances details
FromJSON (Address ByronAddr) Source # 
Instance details

Defined in Cardano.Api.Address

Methods

parseJSON :: Value -> Parser (Address ByronAddr) #

parseJSONList :: Value -> Parser [Address ByronAddr] #

omittedField :: Maybe (Address ByronAddr) #

FromJSON (Address ShelleyAddr) Source # 
Instance details

Defined in Cardano.Api.Address

Methods

parseJSON :: Value -> Parser (Address ShelleyAddr) #

parseJSONList :: Value -> Parser [Address ShelleyAddr] #

omittedField :: Maybe (Address ShelleyAddr) #

ToJSON (Address ByronAddr) Source # 
Instance details

Defined in Cardano.Api.Address

ToJSON (Address ShelleyAddr) Source # 
Instance details

Defined in Cardano.Api.Address

Show (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

Methods

showsPrec :: Int -> Address addrtype -> ShowS Source #

show :: Address addrtype -> String Source #

showList :: [Address addrtype] -> ShowS Source #

SerialiseAddress (Address ByronAddr) Source # 
Instance details

Defined in Cardano.Api.Address

SerialiseAddress (Address ShelleyAddr) Source # 
Instance details

Defined in Cardano.Api.Address

HasTypeProxy addrtype => HasTypeProxy (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType (Address addrtype) 
Instance details

Defined in Cardano.Api.Address

data AsType (Address addrtype) = AsAddress (AsType addrtype)

Methods

proxyToAsType :: Proxy (Address addrtype) -> AsType (Address addrtype) Source #

SerialiseAsBech32 (Address ShelleyAddr) Source # 
Instance details

Defined in Cardano.Api.Address

SerialiseAsRawBytes (Address ByronAddr) Source # 
Instance details

Defined in Cardano.Api.Address

SerialiseAsRawBytes (Address ShelleyAddr) Source # 
Instance details

Defined in Cardano.Api.Address

NFData (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

Methods

rnf :: Address addrtype -> () Source #

Eq (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

Methods

(==) :: Address addrtype -> Address addrtype -> Bool Source #

(/=) :: Address addrtype -> Address addrtype -> Bool Source #

Ord (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

Methods

compare :: Address addrtype -> Address addrtype -> Ordering Source #

(<) :: Address addrtype -> Address addrtype -> Bool Source #

(<=) :: Address addrtype -> Address addrtype -> Bool Source #

(>) :: Address addrtype -> Address addrtype -> Bool Source #

(>=) :: Address addrtype -> Address addrtype -> Bool Source #

max :: Address addrtype -> Address addrtype -> Address addrtype Source #

min :: Address addrtype -> Address addrtype -> Address addrtype Source #

data AsType (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

data AsType (Address addrtype) = AsAddress (AsType addrtype)

Byron addresses

data ByronAddr Source #

A type used as a tag to distinguish Byron addresses.

Instances

Instances details
HasTypeProxy ByronAddr Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType ByronAddr 
Instance details

Defined in Cardano.Api.Address

FromJSON (Address ByronAddr) Source # 
Instance details

Defined in Cardano.Api.Address

Methods

parseJSON :: Value -> Parser (Address ByronAddr) #

parseJSONList :: Value -> Parser [Address ByronAddr] #

omittedField :: Maybe (Address ByronAddr) #

ToJSON (Address ByronAddr) Source # 
Instance details

Defined in Cardano.Api.Address

SerialiseAddress (Address ByronAddr) Source # 
Instance details

Defined in Cardano.Api.Address

SerialiseAsRawBytes (Address ByronAddr) Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ByronAddr Source # 
Instance details

Defined in Cardano.Api.Address

Shelley addresses

data ShelleyAddr Source #

A type used as a tag to distinguish Shelley addresses.

Instances

Instances details
HasTypeProxy ShelleyAddr Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType ShelleyAddr 
Instance details

Defined in Cardano.Api.Address

FromJSON (Address ShelleyAddr) Source # 
Instance details

Defined in Cardano.Api.Address

Methods

parseJSON :: Value -> Parser (Address ShelleyAddr) #

parseJSONList :: Value -> Parser [Address ShelleyAddr] #

omittedField :: Maybe (Address ShelleyAddr) #

ToJSON (Address ShelleyAddr) Source # 
Instance details

Defined in Cardano.Api.Address

SerialiseAddress (Address ShelleyAddr) Source # 
Instance details

Defined in Cardano.Api.Address

SerialiseAsBech32 (Address ShelleyAddr) Source # 
Instance details

Defined in Cardano.Api.Address

SerialiseAsRawBytes (Address ShelleyAddr) Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ShelleyAddr Source # 
Instance details

Defined in Cardano.Api.Address

Addresses in any era

data AddressAny Source #

Either a Byron address or a Shelley address.

Sometimes we need to be able to work with either of the two types of address (Byron or Shelley addresses), but without reference to an era in which the address will be used. This type serves that purpose.

Instances

Instances details
Show AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

SerialiseAddress AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

HasTypeProxy AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType AddressAny 
Instance details

Defined in Cardano.Api.Address

SerialiseAsRawBytes AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

Eq AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

Ord AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

data AsType AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

Addresses in specific eras

data AddressInEra era where Source #

An Address that can be used in a particular ledger era.

All current ledger eras support Byron addresses. Shelley addresses are supported in the ShelleyEra and later eras.

Constructors

AddressInEra :: forall addrtype era. AddressTypeInEra addrtype era -> Address addrtype -> AddressInEra era 

Instances

Instances details
IsShelleyBasedEra era => FromJSON (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

Methods

parseJSON :: Value -> Parser (AddressInEra era) #

parseJSONList :: Value -> Parser [AddressInEra era] #

omittedField :: Maybe (AddressInEra era) #

IsCardanoEra era => ToJSON (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

Methods

toJSON :: AddressInEra era -> Value #

toEncoding :: AddressInEra era -> Encoding #

toJSONList :: [AddressInEra era] -> Value #

toEncodingList :: [AddressInEra era] -> Encoding #

omitField :: AddressInEra era -> Bool #

Show (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

IsCardanoEra era => SerialiseAddress (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

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

Defined in Cardano.Api.Address

Associated Types

data AsType (AddressInEra era) 
Instance details

Defined in Cardano.Api.Address

IsCardanoEra era => SerialiseAsRawBytes (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

NFData (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

Methods

rnf :: AddressInEra era -> () Source #

Eq (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

Ord (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

data AsType (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

data AddressTypeInEra addrtype era where Source #

Instances

Instances details
Show (AddressTypeInEra addrtype era) Source # 
Instance details

Defined in Cardano.Api.Address

Methods

showsPrec :: Int -> AddressTypeInEra addrtype era -> ShowS Source #

show :: AddressTypeInEra addrtype era -> String Source #

showList :: [AddressTypeInEra addrtype era] -> ShowS Source #

NFData (AddressTypeInEra addrtype era) Source # 
Instance details

Defined in Cardano.Api.Address

Methods

rnf :: AddressTypeInEra addrtype era -> () Source #

Stake addresses

Constructing and inspecting stake addresses

data StakeAddress where Source #

Instances

Instances details
FromJSON StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

Methods

parseJSON :: Value -> Parser StakeAddress #

parseJSONList :: Value -> Parser [StakeAddress] #

omittedField :: Maybe StakeAddress #

ToJSON StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

Methods

toJSON :: StakeAddress -> Value #

toEncoding :: StakeAddress -> Encoding #

toJSONList :: [StakeAddress] -> Value #

toEncodingList :: [StakeAddress] -> Encoding #

omitField :: StakeAddress -> Bool #

Show StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

SerialiseAddress StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

HasTypeProxy StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType StakeAddress 
Instance details

Defined in Cardano.Api.Address

SerialiseAsBech32 StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

SerialiseAsRawBytes StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

Eq StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

Ord StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

data AsType StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

stakeAddressCredential :: StakeAddress -> StakeCredential Source #

Get a stake credential from a stake address. This drops the network information.

data StakeKey Source #

Instances

Instances details
HasTypeProxy StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Associated Types

data AsType StakeKey 
Instance details

Defined in Cardano.Api.Keys.Shelley

Key StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

CastVerificationKeyRole StakeExtendedKey StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

CastVerificationKeyRole StakePoolKey StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsBech32 (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsBech32 (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

HasTextEnvelope (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

HasTextEnvelope (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Methods

toCBOR :: Hash StakeKey -> Encoding Source #

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

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

ToCBOR (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype SigningKey StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype VerificationKey StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data StakeExtendedKey Source #

Shelley-era stake keys using extended ed25519 cryptographic keys.

They can be used for Shelley stake addresses and witnessing transactions that use stake addresses.

These extended keys are used by HD wallets. So this type provides interoperability with HD wallets. The ITN CLI also supported this key type.

The extended verification keys can be converted (via castVerificationKey) to ordinary keys (i.e. VerificationKey StakeKey) but this is not the case for the signing keys. The signing keys can be used to witness transactions directly, with verification via their non-extended verification key (VerificationKey StakeKey).

This is a type level tag, used with other interfaces like Key.

Instances

Instances details
HasTypeProxy StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Associated Types

data AsType StakeExtendedKey 
Instance details

Defined in Cardano.Api.Keys.Shelley

Key StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

CastVerificationKeyRole StakeExtendedKey StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsBech32 (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsBech32 (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

HasTextEnvelope (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

HasTextEnvelope (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype SigningKey StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype VerificationKey StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Conversion functions

shelleyPayAddrToPlutusPubKHash :: Address ShelleyAddr -> Maybe PubKeyHash Source #

Converts a Shelley payment address to a Plutus public key hash.

Internal conversion functions

Serialising addresses

class HasTypeProxy addr => SerialiseAddress addr where Source #

Address serialisation uses different serialisation formats for different kinds of addresses, so it needs its own class.

In particular, Byron addresses are typically formatted in base 58, while Shelley addresses (payment and stake) are formatted using Bech32.

Methods

serialiseAddress :: addr -> Text Source #

deserialiseAddress :: AsType addr -> Text -> Maybe addr 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.Address

data AsType ByronAddr Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ShelleyAddr Source # 
Instance details

Defined in Cardano.Api.Address

data AsType StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

data AsType BlockHeader Source # 
Instance details

Defined in Cardano.Api.Block

data AsType DRepMetadata Source # 
Instance details

Defined in Cardano.Api.DRepMetadata

data AsType AllegraEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType BabbageEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ByronEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType MaryEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType GovernancePoll Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

data AsType GovernancePollAnswer Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

data AsType ByronKey Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

data AsType ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

data AsType KesKey Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

data AsType VrfKey Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

data AsType CommitteeColdExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeColdKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeHotExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeHotKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType DRepExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType DRepKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType PaymentKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

data AsType OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

data AsType PraosNonce Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType UpdateProposal Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV3 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

data AsType ScriptInAnyLang Source # 
Instance details

Defined in Cardano.Api.Script

data AsType SimpleScript' Source # 
Instance details

Defined in Cardano.Api.Script

data AsType HashableScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

data AsType ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

data AsType TextEnvelope Source # 
Instance details

Defined in Cardano.Api.SerialiseTextEnvelope

data AsType ByronUpdateProposal Source # 
Instance details

Defined in Cardano.Api.SpecialByron

data AsType ByronVote Source # 
Instance details

Defined in Cardano.Api.SpecialByron

data AsType StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

data AsType TxId Source # 
Instance details

Defined in Cardano.Api.TxIn

data AsType TxMetadata Source # 
Instance details

Defined in Cardano.Api.TxMetadata

data AsType AssetName Source # 
Instance details

Defined in Cardano.Api.Value

data AsType PolicyId Source # 
Instance details

Defined in Cardano.Api.Value

data AsType (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

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

Defined in Cardano.Api.Address

data AsType (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

data AsType (Proposal era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.ProposalProcedure

data AsType (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.VotingProcedure

data AsType (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.VotingProcedure

data AsType (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

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

Defined in Cardano.Api.Keys.Class

data AsType (VerificationKey a) Source # 
Instance details

Defined in Cardano.Api.Keys.Class

data AsType (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (Script lang) Source # 
Instance details

Defined in Cardano.Api.Script

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

Defined in Cardano.Api.Script

data AsType (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Tx.Sign

data AsType (Tx era) Source # 
Instance details

Defined in Cardano.Api.Tx.Sign

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

Defined in Cardano.Api.Tx.Sign

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

Helpers

isKeyAddress :: AddressInEra era -> Bool Source #

Is the UTxO at the address only spendable via a key witness.