Warning: Creating HashableScriptData from a ScriptData value pretty much guarantees the original bytes used to create the ScriptData value will be different if we serialize HashableScriptData again. Do not use this.

data ScriptData Source #

Constructors

ScriptDataConstructor
Fields Integer Tag for the constructor [ScriptData] Constructor arguments
ScriptDataMap [(ScriptData, ScriptData)]	Key value pairs
ScriptDataList [ScriptData]	Elements
ScriptDataNumber Integer
ScriptDataBytes ByteString

Instances

Instances details

Show ScriptData Source #

Instance details

Defined in Cardano.Api.ScriptData

Methods

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

show :: ScriptData -> String Source #

showList :: [ScriptData] -> ShowS Source #

HasTypeProxy ScriptData Source #

Instance details

Defined in Cardano.Api.ScriptData

Associated Types

data AsType ScriptData
Instance details Defined in Cardano.Api.ScriptData data AsType ScriptData = AsScriptData

Methods

proxyToAsType :: Proxy ScriptData -> AsType ScriptData Source #

SerialiseAsCBOR ScriptData Source #

Instance details

Defined in Cardano.Api.ScriptData

Methods

serialiseToCBOR :: ScriptData -> ByteString Source #

deserialiseFromCBOR :: AsType ScriptData -> ByteString -> Either DecoderError ScriptData Source #

FromCBOR ScriptData Source #

Instance details

Defined in Cardano.Api.ScriptData

Methods

fromCBOR :: Decoder s ScriptData Source #

label :: Proxy ScriptData -> Text Source #

ToCBOR ScriptData Source #

Instance details

Defined in Cardano.Api.ScriptData

Methods

toCBOR :: ScriptData -> Encoding Source #

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

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

Eq ScriptData Source #

Instance details

Defined in Cardano.Api.ScriptData

Methods

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

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

Ord ScriptData Source #

Instance details

Defined in Cardano.Api.ScriptData

Methods

compare :: ScriptData -> ScriptData -> Ordering Source #

(<) :: ScriptData -> ScriptData -> Bool Source #

(<=) :: ScriptData -> ScriptData -> Bool Source #

(>) :: ScriptData -> ScriptData -> Bool Source #

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

max :: ScriptData -> ScriptData -> ScriptData Source #

min :: ScriptData -> ScriptData -> ScriptData Source #

FromJSON (Hash ScriptData) Source #

Instance details

Defined in Cardano.Api.ScriptData

Methods

parseJSON :: Value -> Parser (Hash ScriptData) #

parseJSONList :: Value -> Parser [Hash ScriptData] #

omittedField :: Maybe (Hash ScriptData) #

FromJSONKey (Hash ScriptData) Source #

Instance details

Defined in Cardano.Api.ScriptData

Methods

fromJSONKey :: FromJSONKeyFunction (Hash ScriptData)

fromJSONKeyList :: FromJSONKeyFunction [Hash ScriptData]

ToJSON (Hash ScriptData) Source #

Instance details

Defined in Cardano.Api.ScriptData

Methods

toJSON :: Hash ScriptData -> Value #

toEncoding :: Hash ScriptData -> Encoding #

toJSONList :: [Hash ScriptData] -> Value #

toEncodingList :: [Hash ScriptData] -> Encoding #

omitField :: Hash ScriptData -> Bool #

ToJSONKey (Hash ScriptData) Source #

Instance details

Defined in Cardano.Api.ScriptData

Methods

toJSONKey :: ToJSONKeyFunction (Hash ScriptData)

toJSONKeyList :: ToJSONKeyFunction [Hash ScriptData]

IsString (Hash ScriptData) Source #

Instance details

Defined in Cardano.Api.ScriptData

Methods

fromString :: String -> Hash ScriptData Source #

Show (Hash ScriptData) Source #

Instance details

Defined in Cardano.Api.ScriptData

Methods

showsPrec :: Int -> Hash ScriptData -> ShowS Source #

show :: Hash ScriptData -> String Source #

showList :: [Hash ScriptData] -> ShowS Source #

SerialiseAsRawBytes (Hash ScriptData) Source #

Instance details

Defined in Cardano.Api.ScriptData

Methods

serialiseToRawBytes :: Hash ScriptData -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash ScriptData) -> ByteString -> Either SerialiseAsRawBytesError (Hash ScriptData) Source #

Eq (Hash ScriptData) Source #

Instance details

Defined in Cardano.Api.ScriptData

Methods

(==) :: Hash ScriptData -> Hash ScriptData -> Bool Source #

(/=) :: Hash ScriptData -> Hash ScriptData -> Bool Source #

Ord (Hash ScriptData) Source #

Instance details

Defined in Cardano.Api.ScriptData

Methods

compare :: Hash ScriptData -> Hash ScriptData -> Ordering Source #

(<) :: Hash ScriptData -> Hash ScriptData -> Bool Source #

(<=) :: Hash ScriptData -> Hash ScriptData -> Bool Source #

(>) :: Hash ScriptData -> Hash ScriptData -> Bool Source #

(>=) :: Hash ScriptData -> Hash ScriptData -> Bool Source #

max :: Hash ScriptData -> Hash ScriptData -> Hash ScriptData Source #

min :: Hash ScriptData -> Hash ScriptData -> Hash ScriptData Source #

data AsType ScriptData Source #

Instance details

Defined in Cardano.Api.ScriptData

data AsType ScriptData = AsScriptData

newtype Hash ScriptData Source #

Instance details

Defined in Cardano.Api.ScriptData

newtype Hash ScriptData = ScriptDataHash (DataHash StandardCrypto)

Validating metadata

validateScriptData :: ScriptData -> Either ScriptDataRangeError () Source #

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

newtype ScriptDataRangeError Source #

An error in script data due to an out-of-range value.

Constructors

ScriptDataConstructorOutOfRange Integer

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

Instances

Instances details

Data ScriptDataRangeError Source #
Instance details Defined in Cardano.Api.ScriptData Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ScriptDataRangeError -> c ScriptDataRangeError Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ScriptDataRangeError Source # toConstr :: ScriptDataRangeError -> Constr Source # dataTypeOf :: ScriptDataRangeError -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ScriptDataRangeError) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ScriptDataRangeError) Source # gmapT :: (forall b. Data b => b -> b) -> ScriptDataRangeError -> ScriptDataRangeError Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ScriptDataRangeError -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ScriptDataRangeError -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ScriptDataRangeError -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ScriptDataRangeError -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ScriptDataRangeError -> m ScriptDataRangeError Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ScriptDataRangeError -> m ScriptDataRangeError Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ScriptDataRangeError -> m ScriptDataRangeError Source #
Show ScriptDataRangeError Source #
Instance details Defined in Cardano.Api.ScriptData Methods showsPrec :: Int -> ScriptDataRangeError -> ShowS Source # show :: ScriptDataRangeError -> String Source # showList :: [ScriptDataRangeError] -> ShowS Source #
Error ScriptDataRangeError Source #
Instance details Defined in Cardano.Api.ScriptData Methods prettyError :: ScriptDataRangeError -> Doc ann Source #
Eq ScriptDataRangeError Source #
Instance details Defined in Cardano.Api.ScriptData Methods (==) :: ScriptDataRangeError -> ScriptDataRangeError -> Bool Source # (/=) :: ScriptDataRangeError -> ScriptDataRangeError -> Bool Source #

Conversion to/from JSON

data ScriptDataJsonSchema Source #

Script data 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. It also supports alternatives / tagged unions, used for representing constructors for Plutus data values.

We provide two different mappings between script data and JSON, useful for different purposes:

A mapping that allows almost any JSON value to be converted into script data. This does not require a specific JSON schema for the input. It does not expose the full representation capability of script data.
A mapping that exposes the full representation capability of script data, 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 script data 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 script data 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 script data in the form of a JSON schema. This means the full representation is available and can be controlled precisely. It also means any script data can be converted into the JSON and back without loss. That is we can round-trip the script data via the JSON and also round-trip schema-compliant JSON via script data.

Constructors

ScriptDataJsonNoSchema	Use the "no schema" mapping between JSON and script data as described above.
ScriptDataJsonDetailedSchema	Use the "detailed schema" mapping between JSON and script data as described above.

Instances

Instances details

Show ScriptDataJsonSchema Source #
Instance details Defined in Cardano.Api.ScriptData Methods showsPrec :: Int -> ScriptDataJsonSchema -> ShowS Source # show :: ScriptDataJsonSchema -> String Source # showList :: [ScriptDataJsonSchema] -> ShowS Source #
Eq ScriptDataJsonSchema Source #
Instance details Defined in Cardano.Api.ScriptData Methods (==) :: ScriptDataJsonSchema -> ScriptDataJsonSchema -> Bool Source # (/=) :: ScriptDataJsonSchema -> ScriptDataJsonSchema -> Bool Source #

scriptDataFromJson :: ScriptDataJsonSchema -> Value -> Either ScriptDataJsonError HashableScriptData Source #

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

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

scriptDataToJson :: ScriptDataJsonSchema -> HashableScriptData -> Value Source #

Convert a script data value into JSON , using the given choice of mapping between JSON and script data.

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

data ScriptDataJsonError Source #

Constructors

ScriptDataJsonSchemaError !Value !ScriptDataJsonSchemaError
ScriptDataRangeError !Value !ScriptDataRangeError

Instances

Instances details

Data ScriptDataJsonError Source #
Instance details Defined in Cardano.Api.ScriptData Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ScriptDataJsonError -> c ScriptDataJsonError Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ScriptDataJsonError Source # toConstr :: ScriptDataJsonError -> Constr Source # dataTypeOf :: ScriptDataJsonError -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ScriptDataJsonError) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ScriptDataJsonError) Source # gmapT :: (forall b. Data b => b -> b) -> ScriptDataJsonError -> ScriptDataJsonError Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ScriptDataJsonError -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ScriptDataJsonError -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ScriptDataJsonError -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ScriptDataJsonError -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ScriptDataJsonError -> m ScriptDataJsonError Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ScriptDataJsonError -> m ScriptDataJsonError Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ScriptDataJsonError -> m ScriptDataJsonError Source #
Show ScriptDataJsonError Source #
Instance details Defined in Cardano.Api.ScriptData Methods showsPrec :: Int -> ScriptDataJsonError -> ShowS Source # show :: ScriptDataJsonError -> String Source # showList :: [ScriptDataJsonError] -> ShowS Source #
Error ScriptDataJsonError Source #
Instance details Defined in Cardano.Api.ScriptData Methods prettyError :: ScriptDataJsonError -> Doc ann Source #
Eq ScriptDataJsonError Source #
Instance details Defined in Cardano.Api.ScriptData Methods (==) :: ScriptDataJsonError -> ScriptDataJsonError -> Bool Source # (/=) :: ScriptDataJsonError -> ScriptDataJsonError -> Bool Source #

data ScriptDataJsonSchemaError Source #

Constructors

ScriptDataJsonNullNotAllowed
ScriptDataJsonBoolNotAllowed
ScriptDataJsonNumberNotInteger !Double
ScriptDataJsonNotObject !Value
ScriptDataJsonBadObject ![(Text, Value)]
ScriptDataJsonBadMapPair !Value
ScriptDataJsonTypeMismatch !Text !Value

Instances

Instances details

Data ScriptDataJsonSchemaError Source #
Instance details Defined in Cardano.Api.ScriptData Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ScriptDataJsonSchemaError -> c ScriptDataJsonSchemaError Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ScriptDataJsonSchemaError Source # toConstr :: ScriptDataJsonSchemaError -> Constr Source # dataTypeOf :: ScriptDataJsonSchemaError -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ScriptDataJsonSchemaError) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ScriptDataJsonSchemaError) Source # gmapT :: (forall b. Data b => b -> b) -> ScriptDataJsonSchemaError -> ScriptDataJsonSchemaError Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ScriptDataJsonSchemaError -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ScriptDataJsonSchemaError -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ScriptDataJsonSchemaError -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ScriptDataJsonSchemaError -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ScriptDataJsonSchemaError -> m ScriptDataJsonSchemaError Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ScriptDataJsonSchemaError -> m ScriptDataJsonSchemaError Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ScriptDataJsonSchemaError -> m ScriptDataJsonSchemaError Source #
Show ScriptDataJsonSchemaError Source #
Instance details Defined in Cardano.Api.ScriptData Methods showsPrec :: Int -> ScriptDataJsonSchemaError -> ShowS Source # show :: ScriptDataJsonSchemaError -> String Source # showList :: [ScriptDataJsonSchemaError] -> ShowS Source #
Error ScriptDataJsonSchemaError Source #
Instance details Defined in Cardano.Api.ScriptData Methods prettyError :: ScriptDataJsonSchemaError -> Doc ann Source #
Eq ScriptDataJsonSchemaError Source #
Instance details Defined in Cardano.Api.ScriptData Methods (==) :: ScriptDataJsonSchemaError -> ScriptDataJsonSchemaError -> Bool Source # (/=) :: ScriptDataJsonSchemaError -> ScriptDataJsonSchemaError -> Bool Source #

scriptDataFromJsonDetailedSchema :: Value -> Either ScriptDataJsonSchemaError HashableScriptData Source #

scriptDataToJsonDetailedSchema :: HashableScriptData -> Value Source #

newtype ScriptBytesError Source #

Constructors

ScriptBytesError String

Instances

Instances details

Show ScriptBytesError Source #
Instance details Defined in Cardano.Api.ScriptData Methods showsPrec :: Int -> ScriptBytesError -> ShowS Source # show :: ScriptBytesError -> String Source # showList :: [ScriptBytesError] -> ShowS Source #

data ScriptDataJsonBytesError Source #

Constructors

ScriptDataJsonBytesErrorValue ScriptDataJsonError
ScriptDataJsonBytesErrorInvalid ScriptDataRangeError

Instances

Instances details

Data ScriptDataJsonBytesError Source #
Instance details Defined in Cardano.Api.ScriptData Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ScriptDataJsonBytesError -> c ScriptDataJsonBytesError Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ScriptDataJsonBytesError Source # toConstr :: ScriptDataJsonBytesError -> Constr Source # dataTypeOf :: ScriptDataJsonBytesError -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ScriptDataJsonBytesError) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ScriptDataJsonBytesError) Source # gmapT :: (forall b. Data b => b -> b) -> ScriptDataJsonBytesError -> ScriptDataJsonBytesError Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ScriptDataJsonBytesError -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ScriptDataJsonBytesError -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ScriptDataJsonBytesError -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ScriptDataJsonBytesError -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ScriptDataJsonBytesError -> m ScriptDataJsonBytesError Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ScriptDataJsonBytesError -> m ScriptDataJsonBytesError Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ScriptDataJsonBytesError -> m ScriptDataJsonBytesError Source #
Show ScriptDataJsonBytesError Source #
Instance details Defined in Cardano.Api.ScriptData Methods showsPrec :: Int -> ScriptDataJsonBytesError -> ShowS Source # show :: ScriptDataJsonBytesError -> String Source # showList :: [ScriptDataJsonBytesError] -> ShowS Source #
Error ScriptDataJsonBytesError Source #
Instance details Defined in Cardano.Api.ScriptData Methods prettyError :: ScriptDataJsonBytesError -> Doc ann Source #

scriptDataJsonToHashable Source #

Arguments

:: ScriptDataJsonSchema
-> Value	ScriptData Value
-> Either ScriptDataJsonBytesError HashableScriptData

This allows us to take JSON formatted ScriptData and encode it in the CDDL format whilst preserving the original bytes.

Internal conversion functions

toPlutusData :: ScriptData -> Data Source #

fromPlutusData :: Data -> ScriptData Source #

toAlonzoData :: Era ledgerera => HashableScriptData -> Data ledgerera Source #

fromAlonzoData :: Data ledgerera -> HashableScriptData 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 DRepMetadata Source #
Instance details Defined in Cardano.Api.DRepMetadata data AsType DRepMetadata = AsDRepMetadata
data AsType AllegraEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType ByronEra = AsByronEra
data AsType ConwayEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType ConwayEra = AsConwayEra
data AsType MaryEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType ShelleyEra = AsShelleyEra
data AsType GovernancePoll Source #
Instance details Defined in Cardano.Api.Governance.Poll data AsType GovernancePoll = AsGovernancePoll
data AsType GovernancePollAnswer Source #
Instance details Defined in Cardano.Api.Governance.Poll data AsType GovernancePollAnswer = AsGovernancePollAnswer
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 CommitteeColdExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey
data AsType CommitteeColdKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType CommitteeColdKey = AsCommitteeColdKey
data AsType CommitteeHotExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey
data AsType CommitteeHotKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType CommitteeHotKey = AsCommitteeHotKey
data AsType DRepExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType DRepExtendedKey = AsDRepExtendedKey
data AsType DRepKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType DRepKey = AsDRepKey
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 PlutusScriptV3 Source #
Instance details Defined in Cardano.Api.Script data AsType PlutusScriptV3 = AsPlutusScriptV3
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 (Certificate era) Source #
Instance details Defined in Cardano.Api.Certificate data AsType (Certificate era) = AsCertificate
data AsType (Proposal era) Source #
Instance details Defined in Cardano.Api.Governance.Actions.ProposalProcedure data AsType (Proposal era) = AsProposal
data AsType (VotingProcedure era) Source #
Instance details Defined in Cardano.Api.Governance.Actions.VotingProcedure data AsType (VotingProcedure era) = AsVote
data AsType (VotingProcedures era) Source #
Instance details Defined in Cardano.Api.Governance.Actions.VotingProcedure data AsType (VotingProcedures era) = AsVotingProcedures
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.Sign data AsType (KeyWitness era) = AsKeyWitness (AsType era)
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)

data family Hash keyrole Source #

Instances

Instances details

FromJSON (Hash BlockHeader) Source #

Instance details

Defined in Cardano.Api.Block

Methods

parseJSON :: Value -> Parser (Hash BlockHeader) #

parseJSONList :: Value -> Parser [Hash BlockHeader] #

omittedField :: Maybe (Hash BlockHeader) #

FromJSON (Hash DRepKey) Source #

Instance details