bcc-api-1.99.0
Safe HaskellNone
LanguageHaskell2010

Bcc.Api.TxMetadata

Description

Metadata embedded in transactions

Synopsis

Types

newtype TxMetadata Source #

Instances

Instances details
Eq TxMetadata Source # 
Instance details

Defined in Bcc.Api.TxMetadata

Show TxMetadata Source # 
Instance details

Defined in Bcc.Api.TxMetadata

Semigroup TxMetadata Source #

Merge metadata maps. When there are clashing entries the left hand side takes precedence.

Instance details

Defined in Bcc.Api.TxMetadata

Monoid TxMetadata Source # 
Instance details

Defined in Bcc.Api.TxMetadata

HasTypeProxy TxMetadata Source # 
Instance details

Defined in Bcc.Api.TxMetadata

Associated Types

data AsType TxMetadata Source #

SerialiseAsCBOR TxMetadata Source # 
Instance details

Defined in Bcc.Api.TxMetadata

data AsType TxMetadata Source # 
Instance details

Defined in Bcc.Api.TxMetadata

Constructing metadata

Validating metadata

validateTxMetadataTxMetadataEither [(Word64, TxMetadataRangeError)] () Source #

Validate transaction metadata. This is for use with existing constructed metadata values, e.g. constructed manually or decoded from CBOR directly.

data TxMetadataRangeError Source #

An error in transaction metadata due to an out-of-range value.

Constructors

TxMetadataNumberOutOfRange !Integer

The number is outside the maximum range of -2^64-1 .. 2^64-1.

TxMetadataTextTooLong !Int

The length of a text string metadatum value exceeds the maximum of 64 bytes as UTF8.

TxMetadataBytesTooLong !Int

The length of a byte string metadatum value exceeds the maximum of 64 bytes.

Converstion to/from JSON

data TxMetadataJsonSchema Source #

Tx metadata is similar to JSON but not exactly the same. It has some deliberate limitations such as no support for floating point numbers or special forms for null or boolean values. It also has limitations on the length of strings. On the other hand, unlike JSON, it distinguishes between byte strings and text strings. It also supports any value as map keys rather than just string.

We provide two different mappings between tx metadata and JSON, useful for different purposes:

  1. A mapping that allows almost any JSON value to be converted into tx metadata. This does not require a specific JSON schema for the input. It does not expose the full representation capability of tx metadata.
  2. A mapping that exposes the full representation capability of tx metadata, but relies on a specific JSON schema for the input JSON.

In the "no schema" mapping, the idea is that (almost) any JSON can be turned into tx metadata and then converted back, without loss. That is, we can round-trip the JSON.

The subset of JSON supported is all JSON except: * No null or bool values * No floating point, only integers in the range of a 64bit signed integer * A limitation on string lengths

The approach for this mapping is to use whichever representation as tx metadata is most compact. In particular:

  • JSON lists and maps represented as CBOR lists and maps
  • JSON strings represented as CBOR strings
  • JSON hex strings with "0x" prefix represented as CBOR byte strings
  • JSON integer numbers represented as CBOR signed or unsigned numbers
  • JSON maps with string keys that parse as numbers or hex byte strings, represented as CBOR map keys that are actually numbers or byte strings.

The string length limit depends on whether the hex string representation is used or not. For text strings the limit is 64 bytes for the UTF8 representation of the text string. For byte strings the limit is 64 bytes for the raw byte form (ie not the input hex, but after hex decoding).

In the "detailed schema" mapping, the idea is that we expose the full representation capability of the tx metadata in the form of a JSON schema. This means the full representation is available and can be controlled precisely. It also means any tx metadata can be converted into the JSON and back without loss. That is we can round-trip the tx metadata via the JSON and also round-trip schema-compliant JSON via tx metadata.

Constructors

TxMetadataJsonNoSchema

Use the "no schema" mapping between JSON and tx metadata as described above.

TxMetadataJsonDetailedSchema

Use the "detailed schema" mapping between JSON and tx metadata as described above.

metadataFromJsonTxMetadataJsonSchema → Value → Either TxMetadataJsonError TxMetadata Source #

Convert a value from JSON into tx metadata, using the given choice of mapping between JSON and tx metadata.

This may fail with a conversion error if the JSON is outside the supported subset for the chosen mapping. See TxMetadataJsonSchema for the details.

metadataToJsonTxMetadataJsonSchemaTxMetadata → Value Source #

Convert a tx metadata value into JSON , using the given choice of mapping between JSON and tx metadata.

This conversion is total but is not necessarily invertible. See TxMetadataJsonSchema for the details.

Internal conversion functions

Shared parsing utils

parseAll ∷ Parser a → TextMaybe a Source #

pSigned ∷ Parser Integer 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 AurumEra Source # 
Instance details

Defined in Bcc.Api.Eras

data AsType JenEra Source # 
Instance details

Defined in Bcc.Api.Eras

data AsType EvieEra Source # 
Instance details

Defined in Bcc.Api.Eras

data AsType SophieEra Source # 
Instance details

Defined in Bcc.Api.Eras

data AsType ColeEra Source # 
Instance details

Defined in Bcc.Api.Eras

data AsType TextEnvelope Source # 
Instance details

Defined in Bcc.Api.SerialiseTextEnvelope

data AsType TxMetadata Source # 
Instance details

Defined in Bcc.Api.TxMetadata

data AsType StakePoolKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType VestedDelegateExtendedKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType VestedDelegateKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType VestedExtendedKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType VestedKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType GenesisVestedDelegateExtendedKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType GenesisVestedDelegateKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType GenesisVestedExtendedKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType GenesisVestedKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType VestedUTxOKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType GenesisUTxOKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType GenesisDelegateExtendedKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType GenesisDelegateKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType GenesisExtendedKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType GenesisKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType StakeExtendedKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType StakeKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType PaymentExtendedKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType PaymentKey Source # 
Instance details

Defined in Bcc.Api.KeysSophie

data AsType ScriptData Source # 
Instance details

Defined in Bcc.Api.ScriptData

data AsType ScriptHash Source # 
Instance details

Defined in Bcc.Api.Script

data AsType ScriptInAnyLang Source # 
Instance details

Defined in Bcc.Api.Script

data AsType ZerepochScriptV1 Source # 
Instance details

Defined in Bcc.Api.Script

data AsType SimpleScriptV2 Source # 
Instance details

Defined in Bcc.Api.Script

data AsType SimpleScriptV1 Source # 
Instance details

Defined in Bcc.Api.Script

data AsType ColeKeyLegacy Source # 
Instance details

Defined in Bcc.Api.KeysCole

data AsType ColeKey Source # 
Instance details

Defined in Bcc.Api.KeysCole

data AsType ColeVote Source # 
Instance details

Defined in Bcc.Api.SpecialCole

data AsType ColeUpdateProposal Source # 
Instance details

Defined in Bcc.Api.SpecialCole

data AsType VrfKey Source # 
Instance details

Defined in Bcc.Api.KeysOptimum

data AsType KesKey Source # 
Instance details

Defined in Bcc.Api.KeysOptimum

data AsType StakePoolMetadata Source # 
Instance details

Defined in Bcc.Api.StakePoolMetadata

data AsType StakeAddress Source # 
Instance details

Defined in Bcc.Api.Address

data AsType AddressAny Source # 
Instance details

Defined in Bcc.Api.Address

data AsType SophieAddr Source # 
Instance details

Defined in Bcc.Api.Address

data AsType ColeAddr Source # 
Instance details

Defined in Bcc.Api.Address

data AsType AssetName Source # 
Instance details

Defined in Bcc.Api.Value

data AsType PolicyId Source # 
Instance details

Defined in Bcc.Api.Value

data AsType UpdateProposal Source # 
Instance details

Defined in Bcc.Api.ProtocolParameters

data AsType OptimumNonce Source # 
Instance details

Defined in Bcc.Api.ProtocolParameters

data AsType Certificate Source # 
Instance details

Defined in Bcc.Api.Certificate

data AsType TxId Source # 
Instance details

Defined in Bcc.Api.TxBody

data AsType BlockHeader Source # 
Instance details

Defined in Bcc.Api.Block

data AsType OperationalCertificateIssueCounter Source # 
Instance details

Defined in Bcc.Api.OperationalCertificate

data AsType OperationalCertificate Source # 
Instance details

Defined in Bcc.Api.OperationalCertificate

data AsType (Hash a) Source # 
Instance details

Defined in Bcc.Api.Hash

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

Defined in Bcc.Api.Key

data AsType (SigningKey a) Source # 
Instance details

Defined in Bcc.Api.Key

data AsType (ZerepochScript lang) Source # 
Instance details

Defined in Bcc.Api.Script

data AsType (SimpleScript lang) Source # 
Instance details

Defined in Bcc.Api.Script

data AsType (ScriptInEra era) Source # 
Instance details

Defined in Bcc.Api.Script

data AsType (Script lang) Source # 
Instance details

Defined in Bcc.Api.Script

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

Defined in Bcc.Api.Address

data AsType (Address addrtype) Source # 
Instance details

Defined in Bcc.Api.Address

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

Defined in Bcc.Api.TxBody

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

Defined in Bcc.Api.Tx

data AsType (Tx era) Source # 
Instance details

Defined in Bcc.Api.Tx

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