Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Api.Value

Contents

Multi-asset values
Internal conversion functions
Data family instances

Description

Currency values

Synopsis

newtype Lovelace = Lovelace Integer
newtype Quantity = Quantity Integer
newtype PolicyId = PolicyId {
- unPolicyId ∷ ScriptHash
}
scriptPolicyId ∷ Script lang → PolicyId
newtype AssetName = AssetName ByteString
data AssetId
- = AdaAssetId
- | AssetId !PolicyId !AssetName
data Value
selectAsset ∷ Value → AssetId → Quantity
valueFromList ∷ [(AssetId, Quantity)] → Value
valueToList ∷ Value → [(AssetId, Quantity)]
filterValue ∷ (AssetId → Bool) → Value → Value
negateValue ∷ Value → Value
calcMinimumDeposit ∷ Value → Lovelace → Lovelace
quantityToLovelace ∷ Quantity → Lovelace
lovelaceToQuantity ∷ Lovelace → Quantity
selectLovelace ∷ Value → Lovelace
lovelaceToValue ∷ Lovelace → Value
valueToLovelace ∷ Value → Maybe Lovelace
newtype ValueNestedRep = ValueNestedRep [ValueNestedBundle]
data ValueNestedBundle
- = ValueNestedBundleAda Quantity
- | ValueNestedBundle PolicyId (Map AssetName Quantity)
valueToNestedRep ∷ Value → ValueNestedRep
valueFromNestedRep ∷ ValueNestedRep → Value
renderValue ∷ Value → Text
renderValuePretty ∷ Value → Text
toByronLovelace ∷ Lovelace → Maybe Lovelace
fromByronLovelace ∷ Lovelace → Lovelace
toShelleyLovelace ∷ Lovelace → Coin
fromShelleyLovelace ∷ Coin → Lovelace
fromShelleyDeltaLovelace ∷ DeltaCoin → Lovelace
toMaryValue ∷ Value → MaryValue StandardCrypto
fromMaryValue ∷ MaryValue StandardCrypto → Value
data family AsType t

Documentation

newtype Lovelace Source #

Constructors

Lovelace Integer

Instances

Instances details

FromJSON Lovelace Source #
Instance details Defined in Cardano.Api.Value Methods parseJSON ∷ Value → Parser Lovelace # parseJSONList ∷ Value → Parser [Lovelace] #
ToJSON Lovelace Source #
Instance details Defined in Cardano.Api.Value Methods toJSON ∷ Lovelace → Value # toEncoding ∷ Lovelace → Encoding # toJSONList ∷ [Lovelace] → Value # toEncodingList ∷ [Lovelace] → Encoding #
Monoid Lovelace Source #
Instance details Defined in Cardano.Api.Value Methods mempty ∷ Lovelace Source # mappend ∷ Lovelace → Lovelace → Lovelace Source # mconcat ∷ [Lovelace] → Lovelace Source #
Semigroup Lovelace Source #
Instance details Defined in Cardano.Api.Value Methods (<>) ∷ Lovelace → Lovelace → Lovelace Source # sconcat ∷ NonEmpty Lovelace → Lovelace Source # stimes ∷ Integral b ⇒ b → Lovelace → Lovelace Source #
Enum Lovelace Source #
Instance details Defined in Cardano.Api.Value Methods succ ∷ Lovelace → Lovelace Source # pred ∷ Lovelace → Lovelace Source # toEnum ∷ Int → Lovelace Source # fromEnum ∷ Lovelace → Int Source # enumFrom ∷ Lovelace → [Lovelace] Source # enumFromThen ∷ Lovelace → Lovelace → [Lovelace] Source # enumFromTo ∷ Lovelace → Lovelace → [Lovelace] Source # enumFromThenTo ∷ Lovelace → Lovelace → Lovelace → [Lovelace] Source #
Num Lovelace Source #
Instance details Defined in Cardano.Api.Value Methods (+) ∷ Lovelace → Lovelace → Lovelace Source # (-) ∷ Lovelace → Lovelace → Lovelace Source # (*) ∷ Lovelace → Lovelace → Lovelace Source # negate ∷ Lovelace → Lovelace Source # abs ∷ Lovelace → Lovelace Source # signum ∷ Lovelace → Lovelace Source # fromInteger ∷ Integer → Lovelace Source #
Integral Lovelace Source #
Instance details Defined in Cardano.Api.Value Methods quot ∷ Lovelace → Lovelace → Lovelace Source # rem ∷ Lovelace → Lovelace → Lovelace Source # div ∷ Lovelace → Lovelace → Lovelace Source # mod ∷ Lovelace → Lovelace → Lovelace Source # quotRem ∷ Lovelace → Lovelace → (Lovelace, Lovelace) Source # divMod ∷ Lovelace → Lovelace → (Lovelace, Lovelace) Source # toInteger ∷ Lovelace → Integer Source #
Real Lovelace Source #
Instance details Defined in Cardano.Api.Value Methods toRational ∷ Lovelace → Rational Source #
Show Lovelace Source #
Instance details Defined in Cardano.Api.Value Methods showsPrec ∷ Int → Lovelace → ShowS Source # show ∷ Lovelace → String Source # showList ∷ [Lovelace] → ShowS Source #
FromCBOR Lovelace Source #
Instance details Defined in Cardano.Api.Value Methods fromCBOR ∷ Decoder s Lovelace # label ∷ Proxy Lovelace → Text #
ToCBOR Lovelace Source #
Instance details Defined in Cardano.Api.Value Methods toCBOR ∷ Lovelace → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Lovelace → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Lovelace] → Size #
Eq Lovelace Source #
Instance details Defined in Cardano.Api.Value Methods (==) ∷ Lovelace → Lovelace → Bool Source # (/=) ∷ Lovelace → Lovelace → Bool Source #
Ord Lovelace Source #
Instance details Defined in Cardano.Api.Value Methods compare ∷ Lovelace → Lovelace → Ordering Source # (<) ∷ Lovelace → Lovelace → Bool Source # (<=) ∷ Lovelace → Lovelace → Bool Source # (>) ∷ Lovelace → Lovelace → Bool Source # (>=) ∷ Lovelace → Lovelace → Bool Source # max ∷ Lovelace → Lovelace → Lovelace Source # min ∷ Lovelace → Lovelace → Lovelace Source #

Multi-asset values

newtype Quantity Source #

Constructors

Quantity Integer

Instances

Instances details

FromJSON Quantity Source #
Instance details Defined in Cardano.Api.Value Methods parseJSON ∷ Value → Parser Quantity # parseJSONList ∷ Value → Parser [Quantity] #
ToJSON Quantity Source #
Instance details Defined in Cardano.Api.Value Methods toJSON ∷ Quantity → Value # toEncoding ∷ Quantity → Encoding # toJSONList ∷ [Quantity] → Value # toEncodingList ∷ [Quantity] → Encoding #
Monoid Quantity Source #
Instance details Defined in Cardano.Api.Value Methods mempty ∷ Quantity Source # mappend ∷ Quantity → Quantity → Quantity Source # mconcat ∷ [Quantity] → Quantity Source #
Semigroup Quantity Source #
Instance details Defined in Cardano.Api.Value Methods (<>) ∷ Quantity → Quantity → Quantity Source # sconcat ∷ NonEmpty Quantity → Quantity Source # stimes ∷ Integral b ⇒ b → Quantity → Quantity Source #
Num Quantity Source #
Instance details Defined in Cardano.Api.Value Methods (+) ∷ Quantity → Quantity → Quantity Source # (-) ∷ Quantity → Quantity → Quantity Source # (*) ∷ Quantity → Quantity → Quantity Source # negate ∷ Quantity → Quantity Source # abs ∷ Quantity → Quantity Source # signum ∷ Quantity → Quantity Source # fromInteger ∷ Integer → Quantity Source #
Show Quantity Source #
Instance details Defined in Cardano.Api.Value Methods showsPrec ∷ Int → Quantity → ShowS Source # show ∷ Quantity → String Source # showList ∷ [Quantity] → ShowS Source #
Eq Quantity Source #
Instance details Defined in Cardano.Api.Value Methods (==) ∷ Quantity → Quantity → Bool Source # (/=) ∷ Quantity → Quantity → Bool Source #
Ord Quantity Source #
Instance details Defined in Cardano.Api.Value Methods compare ∷ Quantity → Quantity → Ordering Source # (<) ∷ Quantity → Quantity → Bool Source # (<=) ∷ Quantity → Quantity → Bool Source # (>) ∷ Quantity → Quantity → Bool Source # (>=) ∷ Quantity → Quantity → Bool Source # max ∷ Quantity → Quantity → Quantity Source # min ∷ Quantity → Quantity → Quantity Source #

newtype PolicyId Source #

Constructors

PolicyId
Fields unPolicyId ∷ ScriptHash

Instances

Instances details

FromJSON PolicyId Source #
Instance details Defined in Cardano.Api.Value Methods parseJSON ∷ Value → Parser PolicyId # parseJSONList ∷ Value → Parser [PolicyId] #
ToJSON PolicyId Source #
Instance details Defined in Cardano.Api.Value Methods toJSON ∷ PolicyId → Value # toEncoding ∷ PolicyId → Encoding # toJSONList ∷ [PolicyId] → Value # toEncodingList ∷ [PolicyId] → Encoding #
IsString PolicyId Source #
Instance details Defined in Cardano.Api.Value Methods fromString ∷ String → PolicyId Source #
Show PolicyId Source #
Instance details Defined in Cardano.Api.Value Methods showsPrec ∷ Int → PolicyId → ShowS Source # show ∷ PolicyId → String Source # showList ∷ [PolicyId] → ShowS Source #
HasTypeProxy PolicyId Source #
Instance details Defined in Cardano.Api.Value Associated Types data AsType PolicyId Source # Methods proxyToAsType ∷ Proxy PolicyId → AsType PolicyId Source #
SerialiseAsRawBytes PolicyId Source #
Instance details Defined in Cardano.Api.Value Methods serialiseToRawBytes ∷ PolicyId → ByteString Source # deserialiseFromRawBytes ∷ AsType PolicyId → ByteString → Either SerialiseAsRawBytesError PolicyId Source #
Eq PolicyId Source #
Instance details Defined in Cardano.Api.Value Methods (==) ∷ PolicyId → PolicyId → Bool Source # (/=) ∷ PolicyId → PolicyId → Bool Source #
Ord PolicyId Source #
Instance details Defined in Cardano.Api.Value Methods compare ∷ PolicyId → PolicyId → Ordering Source # (<) ∷ PolicyId → PolicyId → Bool Source # (<=) ∷ PolicyId → PolicyId → Bool Source # (>) ∷ PolicyId → PolicyId → Bool Source # (>=) ∷ PolicyId → PolicyId → Bool Source # max ∷ PolicyId → PolicyId → PolicyId Source # min ∷ PolicyId → PolicyId → PolicyId Source #
data AsType PolicyId Source #
Instance details Defined in Cardano.Api.Value data AsType PolicyId = AsPolicyId

scriptPolicyId ∷ Script lang → PolicyId Source #

newtype AssetName Source #

Constructors

AssetName ByteString

Instances

Instances details

FromJSON AssetName Source #
Instance details Defined in Cardano.Api.Value Methods parseJSON ∷ Value → Parser AssetName # parseJSONList ∷ Value → Parser [AssetName] #
FromJSONKey AssetName Source #
Instance details Defined in Cardano.Api.Value Methods fromJSONKey ∷ FromJSONKeyFunction AssetName fromJSONKeyList ∷ FromJSONKeyFunction [AssetName]
ToJSON AssetName Source #
Instance details Defined in Cardano.Api.Value Methods toJSON ∷ AssetName → Value # toEncoding ∷ AssetName → Encoding # toJSONList ∷ [AssetName] → Value # toEncodingList ∷ [AssetName] → Encoding #
ToJSONKey AssetName Source #
Instance details Defined in Cardano.Api.Value Methods toJSONKey ∷ ToJSONKeyFunction AssetName toJSONKeyList ∷ ToJSONKeyFunction [AssetName]
IsString AssetName Source #
Instance details Defined in Cardano.Api.Value Methods fromString ∷ String → AssetName Source #
Show AssetName Source #
Instance details Defined in Cardano.Api.Value Methods showsPrec ∷ Int → AssetName → ShowS Source # show ∷ AssetName → String Source # showList ∷ [AssetName] → ShowS Source #
HasTypeProxy AssetName Source #
Instance details Defined in Cardano.Api.Value Associated Types data AsType AssetName Source # Methods proxyToAsType ∷ Proxy AssetName → AsType AssetName Source #
SerialiseAsRawBytes AssetName Source #
Instance details Defined in Cardano.Api.Value Methods serialiseToRawBytes ∷ AssetName → ByteString Source # deserialiseFromRawBytes ∷ AsType AssetName → ByteString → Either SerialiseAsRawBytesError AssetName Source #
Eq AssetName Source #
Instance details Defined in Cardano.Api.Value Methods (==) ∷ AssetName → AssetName → Bool Source # (/=) ∷ AssetName → AssetName → Bool Source #
Ord AssetName Source #
Instance details Defined in Cardano.Api.Value Methods compare ∷ AssetName → AssetName → Ordering Source # (<) ∷ AssetName → AssetName → Bool Source # (<=) ∷ AssetName → AssetName → Bool Source # (>) ∷ AssetName → AssetName → Bool Source # (>=) ∷ AssetName → AssetName → Bool Source # max ∷ AssetName → AssetName → AssetName Source # min ∷ AssetName → AssetName → AssetName Source #
data AsType AssetName Source #
Instance details Defined in Cardano.Api.Value data AsType AssetName = AsAssetName

data AssetId Source #

Constructors

AdaAssetId
AssetId !PolicyId !AssetName

Instances

Instances details

Show AssetId Source #
Instance details Defined in Cardano.Api.Value Methods showsPrec ∷ Int → AssetId → ShowS Source # show ∷ AssetId → String Source # showList ∷ [AssetId] → ShowS Source #
Eq AssetId Source #
Instance details Defined in Cardano.Api.Value Methods (==) ∷ AssetId → AssetId → Bool Source # (/=) ∷ AssetId → AssetId → Bool Source #
Ord AssetId Source #
Instance details Defined in Cardano.Api.Value Methods compare ∷ AssetId → AssetId → Ordering Source # (<) ∷ AssetId → AssetId → Bool Source # (<=) ∷ AssetId → AssetId → Bool Source # (>) ∷ AssetId → AssetId → Bool Source # (>=) ∷ AssetId → AssetId → Bool Source # max ∷ AssetId → AssetId → AssetId Source # min ∷ AssetId → AssetId → AssetId Source #

data Value Source #

Instances

Instances details

FromJSON Value Source #
Instance details Defined in Cardano.Api.Value Methods parseJSON ∷ Value0 → Parser Value # parseJSONList ∷ Value0 → Parser [Value] #
ToJSON Value Source #
Instance details Defined in Cardano.Api.Value Methods toJSON ∷ Value → Value0 # toEncoding ∷ Value → Encoding # toJSONList ∷ [Value] → Value0 # toEncodingList ∷ [Value] → Encoding #
Monoid Value Source #
Instance details Defined in Cardano.Api.Value Methods mempty ∷ Value Source # mappend ∷ Value → Value → Value Source # mconcat ∷ [Value] → Value Source #
Semigroup Value Source #
Instance details Defined in Cardano.Api.Value Methods (<>) ∷ Value → Value → Value Source # sconcat ∷ NonEmpty Value → Value Source # stimes ∷ Integral b ⇒ b → Value → Value Source #
Show Value Source #
Instance details Defined in Cardano.Api.Value Methods showsPrec ∷ Int → Value → ShowS Source # show ∷ Value → String Source # showList ∷ [Value] → ShowS Source #
Eq Value Source #
Instance details Defined in Cardano.Api.Value Methods (==) ∷ Value → Value → Bool Source # (/=) ∷ Value → Value → Bool Source #

selectAsset ∷ Value → AssetId → Quantity Source #

valueFromList ∷ [(AssetId, Quantity)] → Value Source #

valueToList ∷ Value → [(AssetId, Quantity)] Source #

filterValue ∷ (AssetId → Bool) → Value → Value Source #

negateValue ∷ Value → Value Source #

This lets you write a - b as a <> negateValue b.

calcMinimumDeposit ∷ Value → Lovelace → Lovelace Source #

Calculate cost of making a UTxO entry for a given Value and mininimum UTxO value derived from the ProtocolParameters

Ada / Lovelace specifically

quantityToLovelace ∷ Quantity → Lovelace Source #

lovelaceToQuantity ∷ Lovelace → Quantity Source #

selectLovelace ∷ Value → Lovelace Source #

lovelaceToValue ∷ Lovelace → Value Source #

valueToLovelace ∷ Value → Maybe Lovelace Source #

Check if the Value consists of only Lovelace and no other assets, and if so then return the Lovelace.

See also selectLovelace to select the Lovelace quantity from the Value, ignoring other assets.

Alternative nested representation

newtype ValueNestedRep Source #

An alternative nested representation for Value that groups assets that share a PolicyId.

Constructors

ValueNestedRep [ValueNestedBundle]

Instances

Instances details

FromJSON ValueNestedRep Source #
Instance details Defined in Cardano.Api.Value Methods parseJSON ∷ Value → Parser ValueNestedRep # parseJSONList ∷ Value → Parser [ValueNestedRep] #
ToJSON ValueNestedRep Source #
Instance details Defined in Cardano.Api.Value Methods toJSON ∷ ValueNestedRep → Value # toEncoding ∷ ValueNestedRep → Encoding # toJSONList ∷ [ValueNestedRep] → Value # toEncodingList ∷ [ValueNestedRep] → Encoding #
Show ValueNestedRep Source #
Instance details Defined in Cardano.Api.Value Methods showsPrec ∷ Int → ValueNestedRep → ShowS Source # show ∷ ValueNestedRep → String Source # showList ∷ [ValueNestedRep] → ShowS Source #
Eq ValueNestedRep Source #
Instance details Defined in Cardano.Api.Value Methods (==) ∷ ValueNestedRep → ValueNestedRep → Bool Source # (/=) ∷ ValueNestedRep → ValueNestedRep → Bool Source #
Ord ValueNestedRep Source #
Instance details Defined in Cardano.Api.Value Methods compare ∷ ValueNestedRep → ValueNestedRep → Ordering Source # (<) ∷ ValueNestedRep → ValueNestedRep → Bool Source # (<=) ∷ ValueNestedRep → ValueNestedRep → Bool Source # (>) ∷ ValueNestedRep → ValueNestedRep → Bool Source # (>=) ∷ ValueNestedRep → ValueNestedRep → Bool Source # max ∷ ValueNestedRep → ValueNestedRep → ValueNestedRep Source # min ∷ ValueNestedRep → ValueNestedRep → ValueNestedRep Source #

data ValueNestedBundle Source #

A bundle within a ValueNestedRep for a single PolicyId, or for the special case of ada.

Constructors

ValueNestedBundleAda Quantity
ValueNestedBundle PolicyId (Map AssetName Quantity)

Instances

Instances details

Show ValueNestedBundle Source #
Instance details Defined in Cardano.Api.Value Methods showsPrec ∷ Int → ValueNestedBundle → ShowS Source # show ∷ ValueNestedBundle → String Source # showList ∷ [ValueNestedBundle] → ShowS Source #
Eq ValueNestedBundle Source #
Instance details Defined in Cardano.Api.Value Methods (==) ∷ ValueNestedBundle → ValueNestedBundle → Bool Source # (/=) ∷ ValueNestedBundle → ValueNestedBundle → Bool Source #
Ord ValueNestedBundle Source #
Instance details Defined in Cardano.Api.Value Methods compare ∷ ValueNestedBundle → ValueNestedBundle → Ordering Source # (<) ∷ ValueNestedBundle → ValueNestedBundle → Bool Source # (<=) ∷ ValueNestedBundle → ValueNestedBundle → Bool Source # (>) ∷ ValueNestedBundle → ValueNestedBundle → Bool Source # (>=) ∷ ValueNestedBundle → ValueNestedBundle → Bool Source # max ∷ ValueNestedBundle → ValueNestedBundle → ValueNestedBundle Source # min ∷ ValueNestedBundle → ValueNestedBundle → ValueNestedBundle Source #

valueToNestedRep ∷ Value → ValueNestedRep Source #

valueFromNestedRep ∷ ValueNestedRep → Value Source #

Rendering

renderValue ∷ Value → Text Source #

Render a textual representation of a Value.

renderValuePretty ∷ Value → Text Source #

Render a "prettified" textual representation of a Value.

Internal conversion functions

toByronLovelace ∷ Lovelace → Maybe Lovelace Source #

fromByronLovelace ∷ Lovelace → Lovelace Source #

toShelleyLovelace ∷ Lovelace → Coin Source #

fromShelleyLovelace ∷ Coin → Lovelace Source #

fromShelleyDeltaLovelace ∷ DeltaCoin → Lovelace Source #

toMaryValue ∷ Value → MaryValue StandardCrypto Source #

fromMaryValue ∷ MaryValue StandardCrypto → Value 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 AddressAny = AsAddressAny
data AsType ByronAddr Source #
Instance details Defined in Cardano.Api.Address data AsType ByronAddr = AsByronAddr
data AsType ShelleyAddr Source #
Instance details Defined in Cardano.Api.Address data AsType ShelleyAddr = AsShelleyAddr
data AsType StakeAddress Source #
Instance details Defined in Cardano.Api.Address data AsType StakeAddress = AsStakeAddress
data AsType BlockHeader Source #
Instance details Defined in Cardano.Api.Block data AsType BlockHeader = AsBlockHeader
data AsType Certificate Source #
Instance details Defined in Cardano.Api.Certificate data AsType Certificate = AsCertificate
data AsType AllegraEra Source #
Instance details Defined in Cardano.Api.Eras data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source #
Instance details Defined in Cardano.Api.Eras data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source #
Instance details Defined in Cardano.Api.Eras data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source #
Instance details Defined in Cardano.Api.Eras data AsType ByronEra = AsByronEra
data AsType ConwayEra Source #
Instance details Defined in Cardano.Api.Eras data AsType ConwayEra = AsConwayEra
data AsType MaryEra Source #
Instance details Defined in Cardano.Api.Eras data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source #
Instance details Defined in Cardano.Api.Eras data AsType ShelleyEra = AsShelleyEra
data AsType ByronKey Source #
Instance details Defined in Cardano.Api.Keys.Byron data AsType ByronKey = AsByronKey
data AsType ByronKeyLegacy Source #
Instance details Defined in Cardano.Api.Keys.Byron data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType KesKey Source #
Instance details Defined in Cardano.Api.Keys.Praos data AsType KesKey = AsKesKey
data AsType VrfKey Source #
Instance details Defined in Cardano.Api.Keys.Praos data AsType VrfKey = AsVrfKey
data AsType GenesisDelegateExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisKey = AsGenesisKey
data AsType GenesisUTxOKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType PaymentExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType PaymentKey = AsPaymentKey
data AsType StakeExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType StakeKey = AsStakeKey
data AsType StakePoolKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType StakePoolKey = AsStakePoolKey
data AsType OperationalCertificate Source #
Instance details Defined in Cardano.Api.OperationalCertificate data AsType OperationalCertificate = AsOperationalCertificate
data AsType OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.OperationalCertificate data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType PraosNonce = AsPraosNonce
data AsType UpdateProposal Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType UpdateProposal = AsUpdateProposal
data AsType PlutusScriptV1 Source #
Instance details Defined in Cardano.Api.Script data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType PlutusScriptV2 Source #
Instance details Defined in Cardano.Api.Script data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType ScriptHash Source #
Instance details Defined in Cardano.Api.Script data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source #
Instance details Defined in Cardano.Api.Script data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType SimpleScript' Source #
Instance details Defined in Cardano.Api.Script data AsType SimpleScript' = AsSimpleScript
data AsType HashableScriptData Source #
Instance details Defined in Cardano.Api.ScriptData data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptData Source #
Instance details Defined in Cardano.Api.ScriptData data AsType ScriptData = AsScriptData
data AsType TextEnvelope Source #
Instance details Defined in Cardano.Api.SerialiseTextEnvelope data AsType TextEnvelope = AsTextEnvelope
data AsType ByronUpdateProposal Source #
Instance details Defined in Cardano.Api.SpecialByron data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ByronVote Source #
Instance details Defined in Cardano.Api.SpecialByron data AsType ByronVote = AsByronVote
data AsType StakePoolMetadata Source #
Instance details Defined in Cardano.Api.StakePoolMetadata data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType TxId Source #
Instance details Defined in Cardano.Api.TxIn data AsType TxId = AsTxId
data AsType TxMetadata Source #
Instance details Defined in Cardano.Api.TxMetadata data AsType TxMetadata = AsTxMetadata
data AsType AssetName Source #
Instance details Defined in Cardano.Api.Value data AsType AssetName = AsAssetName
data AsType PolicyId Source #
Instance details Defined in Cardano.Api.Value data AsType PolicyId = AsPolicyId
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 (AddressInEra era) = AsAddressInEra (AsType era)
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 (SigningKey a) = AsSigningKey (AsType a)
data AsType (VerificationKey a) Source #
Instance details Defined in Cardano.Api.Keys.Class data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (PlutusScript lang) Source #
Instance details Defined in Cardano.Api.Script data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
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 (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (KeyWitness era) Source #
Instance details Defined in Cardano.Api.Tx data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source #
Instance details Defined in Cardano.Api.Tx data AsType (Tx era) = AsTx (AsType era)
data AsType (TxBody era) Source #
Instance details Defined in Cardano.Api.TxBody data AsType (TxBody era) = AsTxBody (AsType era)