Languages

IsPlutusScriptLanguage PlutusScriptV1 Source #

Associated Types

data AsType PlutusScriptV1
Instance details Defined in Cardano.Api.Internal.Script data AsType PlutusScriptV1 = AsPlutusScriptV1

Methods

proxyToAsType :: Proxy PlutusScriptV1 -> AsType PlutusScriptV1 Source #

Instance details

IsScriptLanguage PlutusScriptV1 Source #

Methods

plutusScriptVersion :: PlutusScriptVersion PlutusScriptV1 Source #

Instance details

HasScriptLanguageInEra PlutusScriptV1 AlonzoEra Source #

Methods

scriptLanguage :: ScriptLanguage PlutusScriptV1 Source #

Instance details

HasScriptLanguageInEra PlutusScriptV1 BabbageEra Source #

Methods

scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV1 AlonzoEra Source #

Instance details

HasScriptLanguageInEra PlutusScriptV1 ConwayEra Source #

Methods

scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV1 BabbageEra Source #

Instance details

ToAlonzoScript PlutusScriptV1 BabbageEra Source #

Methods

scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV1 ConwayEra Source #

Instance details

Methods

toLedgerScript :: PlutusScript PlutusScriptV1 -> AlonzoScript (ShelleyLedgerEra BabbageEra) Source #

ToAlonzoScript PlutusScriptV1 ConwayEra Source #

Instance details

Methods

toLedgerScript :: PlutusScript PlutusScriptV1 -> AlonzoScript (ShelleyLedgerEra ConwayEra) Source #

data AsType PlutusScriptV1 Source #

Instance details

data AsType PlutusScriptV1 = AsPlutusScriptV1

data PlutusScriptV2 Source #

Instances

Instances details

HasTypeProxy PlutusScriptV2 Source #

Instance details

IsPlutusScriptLanguage PlutusScriptV2 Source #

Associated Types

data AsType PlutusScriptV2
Instance details Defined in Cardano.Api.Internal.Script data AsType PlutusScriptV2 = AsPlutusScriptV2

Methods

proxyToAsType :: Proxy PlutusScriptV2 -> AsType PlutusScriptV2 Source #

Instance details

IsScriptLanguage PlutusScriptV2 Source #

Methods

plutusScriptVersion :: PlutusScriptVersion PlutusScriptV2 Source #

Instance details

HasScriptLanguageInEra PlutusScriptV2 BabbageEra Source #

Methods

scriptLanguage :: ScriptLanguage PlutusScriptV2 Source #

Instance details

HasScriptLanguageInEra PlutusScriptV2 ConwayEra Source #

Methods

scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV2 BabbageEra Source #

Instance details

ToAlonzoScript PlutusScriptV2 BabbageEra Source #

Methods

scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV2 ConwayEra Source #

Instance details

Methods

toLedgerScript :: PlutusScript PlutusScriptV2 -> AlonzoScript (ShelleyLedgerEra BabbageEra) Source #

ToAlonzoScript PlutusScriptV2 ConwayEra Source #

Instance details

Methods

toLedgerScript :: PlutusScript PlutusScriptV2 -> AlonzoScript (ShelleyLedgerEra ConwayEra) Source #

data AsType PlutusScriptV2 Source #

Instance details

data AsType PlutusScriptV2 = AsPlutusScriptV2

data PlutusScriptV3 Source #

Instances

Instances details

HasTypeProxy PlutusScriptV3 Source #

Instance details

IsPlutusScriptLanguage PlutusScriptV3 Source #

Associated Types

data AsType PlutusScriptV3
Instance details Defined in Cardano.Api.Internal.Script data AsType PlutusScriptV3 = AsPlutusScriptV3

Methods

proxyToAsType :: Proxy PlutusScriptV3 -> AsType PlutusScriptV3 Source #

Instance details

IsScriptLanguage PlutusScriptV3 Source #

Methods

plutusScriptVersion :: PlutusScriptVersion PlutusScriptV3 Source #

Instance details

HasScriptLanguageInEra PlutusScriptV3 ConwayEra Source #

Methods

scriptLanguage :: ScriptLanguage PlutusScriptV3 Source #

Instance details

Methods

scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV3 ConwayEra Source #

ToAlonzoScript PlutusScriptV3 ConwayEra Source #

Instance details

Methods

toLedgerScript :: PlutusScript PlutusScriptV3 -> AlonzoScript (ShelleyLedgerEra ConwayEra) Source #

data AsType PlutusScriptV3 Source #

Instance details

data AsType PlutusScriptV3 = AsPlutusScriptV3

data ScriptLanguage lang where Source #

Constructors

SimpleScriptLanguage :: ScriptLanguage SimpleScript'
PlutusScriptLanguage :: forall lang. IsPlutusScriptLanguage lang => PlutusScriptVersion lang -> ScriptLanguage lang

Instances

Instances details

TestEquality ScriptLanguage Source #
Instance details Defined in Cardano.Api.Internal.Script Methods testEquality :: ScriptLanguage a -> ScriptLanguage b -> Maybe (a :~: b) Source #
Show (ScriptLanguage lang) Source #
Instance details Defined in Cardano.Api.Internal.Script Methods showsPrec :: Int -> ScriptLanguage lang -> ShowS Source # show :: ScriptLanguage lang -> String Source # showList :: [ScriptLanguage lang] -> ShowS Source #
Eq (ScriptLanguage lang) Source #
Instance details Defined in Cardano.Api.Internal.Script Methods (==) :: ScriptLanguage lang -> ScriptLanguage lang -> Bool Source # (/=) :: ScriptLanguage lang -> ScriptLanguage lang -> Bool Source #

data PlutusScriptVersion lang where Source #

Constructors

PlutusScriptV1 :: PlutusScriptVersion PlutusScriptV1
PlutusScriptV2 :: PlutusScriptVersion PlutusScriptV2
PlutusScriptV3 :: PlutusScriptVersion PlutusScriptV3

Instances

Instances details

TestEquality PlutusScriptVersion Source #
Instance details Defined in Cardano.Api.Internal.Script Methods testEquality :: PlutusScriptVersion a -> PlutusScriptVersion b -> Maybe (a :~: b) Source #
Show (PlutusScriptVersion lang) Source #
Instance details Defined in Cardano.Api.Internal.Script Methods showsPrec :: Int -> PlutusScriptVersion lang -> ShowS Source # show :: PlutusScriptVersion lang -> String Source # showList :: [PlutusScriptVersion lang] -> ShowS Source #
Eq (PlutusScriptVersion lang) Source #
Instance details Defined in Cardano.Api.Internal.Script Methods (==) :: PlutusScriptVersion lang -> PlutusScriptVersion lang -> Bool Source # (/=) :: PlutusScriptVersion lang -> PlutusScriptVersion lang -> Bool Source #

data AnyScriptLanguage where Source #

Constructors

AnyScriptLanguage :: forall lang. ScriptLanguage lang -> AnyScriptLanguage

Instances

Instances details

Bounded AnyScriptLanguage Source #
Instance details Defined in Cardano.Api.Internal.Script Methods minBound :: AnyScriptLanguage Source # maxBound :: AnyScriptLanguage Source #
Enum AnyScriptLanguage Source #
Instance details Defined in Cardano.Api.Internal.Script Methods succ :: AnyScriptLanguage -> AnyScriptLanguage Source # pred :: AnyScriptLanguage -> AnyScriptLanguage Source # toEnum :: Int -> AnyScriptLanguage Source # fromEnum :: AnyScriptLanguage -> Int Source # enumFrom :: AnyScriptLanguage -> [AnyScriptLanguage] Source # enumFromThen :: AnyScriptLanguage -> AnyScriptLanguage -> [AnyScriptLanguage] Source # enumFromTo :: AnyScriptLanguage -> AnyScriptLanguage -> [AnyScriptLanguage] Source # enumFromThenTo :: AnyScriptLanguage -> AnyScriptLanguage -> AnyScriptLanguage -> [AnyScriptLanguage] Source #
Show AnyScriptLanguage Source #
Instance details Defined in Cardano.Api.Internal.Script Methods showsPrec :: Int -> AnyScriptLanguage -> ShowS Source # show :: AnyScriptLanguage -> String Source # showList :: [AnyScriptLanguage] -> ShowS Source #
Eq AnyScriptLanguage Source #
Instance details Defined in Cardano.Api.Internal.Script Methods (==) :: AnyScriptLanguage -> AnyScriptLanguage -> Bool Source # (/=) :: AnyScriptLanguage -> AnyScriptLanguage -> Bool Source #
Ord AnyScriptLanguage Source #
Instance details Defined in Cardano.Api.Internal.Script Methods compare :: AnyScriptLanguage -> AnyScriptLanguage -> Ordering Source # (<) :: AnyScriptLanguage -> AnyScriptLanguage -> Bool Source # (<=) :: AnyScriptLanguage -> AnyScriptLanguage -> Bool Source # (>) :: AnyScriptLanguage -> AnyScriptLanguage -> Bool Source # (>=) :: AnyScriptLanguage -> AnyScriptLanguage -> Bool Source # max :: AnyScriptLanguage -> AnyScriptLanguage -> AnyScriptLanguage Source # min :: AnyScriptLanguage -> AnyScriptLanguage -> AnyScriptLanguage Source #

data AnyPlutusScriptVersion where Source #

Constructors

AnyPlutusScriptVersion :: forall lang. IsPlutusScriptLanguage lang => PlutusScriptVersion lang -> AnyPlutusScriptVersion

Instances

Instances details

FromJSON AnyPlutusScriptVersion Source #
Instance details Defined in Cardano.Api.Internal.Script Methods parseJSON :: Value -> Parser AnyPlutusScriptVersion parseJSONList :: Value -> Parser [AnyPlutusScriptVersion] omittedField :: Maybe AnyPlutusScriptVersion
FromJSONKey AnyPlutusScriptVersion Source #
Instance details Defined in Cardano.Api.Internal.Script Methods fromJSONKey :: FromJSONKeyFunction AnyPlutusScriptVersion fromJSONKeyList :: FromJSONKeyFunction [AnyPlutusScriptVersion]
ToJSON AnyPlutusScriptVersion Source #
Instance details Defined in Cardano.Api.Internal.Script Methods toJSON :: AnyPlutusScriptVersion -> Value toEncoding :: AnyPlutusScriptVersion -> Encoding toJSONList :: [AnyPlutusScriptVersion] -> Value toEncodingList :: [AnyPlutusScriptVersion] -> Encoding omitField :: AnyPlutusScriptVersion -> Bool
ToJSONKey AnyPlutusScriptVersion Source #
Instance details Defined in Cardano.Api.Internal.Script Methods toJSONKey :: ToJSONKeyFunction AnyPlutusScriptVersion toJSONKeyList :: ToJSONKeyFunction [AnyPlutusScriptVersion]
Bounded AnyPlutusScriptVersion Source #
Instance details Defined in Cardano.Api.Internal.Script Methods minBound :: AnyPlutusScriptVersion Source # maxBound :: AnyPlutusScriptVersion Source #
Enum AnyPlutusScriptVersion Source #
Instance details Defined in Cardano.Api.Internal.Script Methods succ :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion Source # pred :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion Source # toEnum :: Int -> AnyPlutusScriptVersion Source # fromEnum :: AnyPlutusScriptVersion -> Int Source # enumFrom :: AnyPlutusScriptVersion -> [AnyPlutusScriptVersion] Source # enumFromThen :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> [AnyPlutusScriptVersion] Source # enumFromTo :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> [AnyPlutusScriptVersion] Source # enumFromThenTo :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> [AnyPlutusScriptVersion] Source #
Show AnyPlutusScriptVersion Source #
Instance details Defined in Cardano.Api.Internal.Script Methods showsPrec :: Int -> AnyPlutusScriptVersion -> ShowS Source # show :: AnyPlutusScriptVersion -> String Source # showList :: [AnyPlutusScriptVersion] -> ShowS Source #
FromCBOR AnyPlutusScriptVersion Source #
Instance details Defined in Cardano.Api.Internal.Script Methods fromCBOR :: Decoder s AnyPlutusScriptVersion Source # label :: Proxy AnyPlutusScriptVersion -> Text Source #
ToCBOR AnyPlutusScriptVersion Source #
Instance details Defined in Cardano.Api.Internal.Script Methods toCBOR :: AnyPlutusScriptVersion -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy AnyPlutusScriptVersion -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AnyPlutusScriptVersion] -> Size Source #
Eq AnyPlutusScriptVersion Source #
Instance details Defined in Cardano.Api.Internal.Script Methods (==) :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> Bool Source # (/=) :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> Bool Source #
Ord AnyPlutusScriptVersion Source #
Instance details Defined in Cardano.Api.Internal.Script Methods compare :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> Ordering Source # (<) :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> Bool Source # (<=) :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> Bool Source # (>) :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> Bool Source # (>=) :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> Bool Source # max :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> AnyPlutusScriptVersion Source # min :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> AnyPlutusScriptVersion Source #

class IsScriptLanguage lang => IsPlutusScriptLanguage lang where Source #

Methods

plutusScriptVersion :: PlutusScriptVersion lang Source #

Instances

Instances details

IsPlutusScriptLanguage PlutusScriptV1 Source #
Instance details Defined in Cardano.Api.Internal.Script Methods plutusScriptVersion :: PlutusScriptVersion PlutusScriptV1 Source #
IsPlutusScriptLanguage PlutusScriptV2 Source #
Instance details Defined in Cardano.Api.Internal.Script Methods plutusScriptVersion :: PlutusScriptVersion PlutusScriptV2 Source #
IsPlutusScriptLanguage PlutusScriptV3 Source #
Instance details Defined in Cardano.Api.Internal.Script Methods plutusScriptVersion :: PlutusScriptVersion PlutusScriptV3 Source #

class HasTypeProxy lang => IsScriptLanguage lang where Source #

Methods

scriptLanguage :: ScriptLanguage lang Source #

Instances

Instances details

IsScriptLanguage PlutusScriptV1 Source #
Instance details Defined in Cardano.Api.Internal.Script Methods scriptLanguage :: ScriptLanguage PlutusScriptV1 Source #
IsScriptLanguage PlutusScriptV2 Source #
Instance details Defined in Cardano.Api.Internal.Script Methods scriptLanguage :: ScriptLanguage PlutusScriptV2 Source #
IsScriptLanguage PlutusScriptV3 Source #
Instance details Defined in Cardano.Api.Internal.Script Methods scriptLanguage :: ScriptLanguage PlutusScriptV3 Source #
IsScriptLanguage SimpleScript' Source #
Instance details Defined in Cardano.Api.Internal.Script Methods scriptLanguage :: ScriptLanguage SimpleScript' Source #

type family ToLedgerPlutusLanguage lang :: Language where ... Source #

Equations

ToLedgerPlutusLanguage PlutusScriptV1 = 'PlutusV1
ToLedgerPlutusLanguage PlutusScriptV2 = 'PlutusV2
ToLedgerPlutusLanguage PlutusScriptV3 = 'PlutusV3

Scripts in a specific language

data Script lang where Source #

A script in a particular language.

See also ScriptInAnyLang for a script in any of the known languages.

See also ScriptInEra for a script in a language that is available within a particular era.

Note that some but not all scripts have an external JSON syntax, hence this type has no JSON serialisation instances. The SimpleScript family of languages do have a JSON syntax and thus have ToJSON/FromJSON instances.

Constructors

SimpleScript :: !SimpleScript -> Script SimpleScript'
PlutusScript :: forall lang. IsPlutusScriptLanguage lang => !(PlutusScriptVersion lang) -> !(PlutusScript lang) -> Script lang

Instances

Instances details

Show (Script lang) Source #

Instance details

Methods

showsPrec :: Int -> Script lang -> ShowS Source #

show :: Script lang -> String Source #

showList :: [Script lang] -> ShowS Source #

HasTypeProxy lang => HasTypeProxy (Script lang) Source #

Instance details

Associated Types

data AsType (Script lang)
Instance details Defined in Cardano.Api.Internal.Script data AsType (Script lang) = AsScript (AsType lang)

Methods

proxyToAsType :: Proxy (Script lang) -> AsType (Script lang) Source #

IsScriptLanguage lang => SerialiseAsCBOR (Script lang) Source #

Instance details

Methods

serialiseToCBOR :: Script lang -> ByteString Source #

deserialiseFromCBOR :: AsType (Script lang) -> ByteString -> Either DecoderError (Script lang) Source #

IsScriptLanguage lang => HasTextEnvelope (Script lang) Source #

Instance details

Methods

textEnvelopeType :: AsType (Script lang) -> TextEnvelopeType Source #

textEnvelopeDefaultDescr :: Script lang -> TextEnvelopeDescr Source #

Eq (Script lang) Source #

Instance details

Methods

(==) :: Script lang -> Script lang -> Bool Source #

(/=) :: Script lang -> Script lang -> Bool Source #

data AsType (Script lang) Source #

Instance details

data AsType (Script lang) = AsScript (AsType lang)

data PlutusScriptInEra era lang where Source #

Constructors

PlutusScriptInEra :: forall lang era. PlutusScript lang -> PlutusScriptInEra era lang

Instances

Instances details

Show (PlutusScriptInEra era lang) Source #

Instance details

Methods

showsPrec :: Int -> PlutusScriptInEra era lang -> ShowS Source #

show :: PlutusScriptInEra era lang -> String Source #

showList :: [PlutusScriptInEra era lang] -> ShowS Source #

(HasTypeProxy era, HasTypeProxy lang) => HasTypeProxy (PlutusScriptInEra era lang) Source #

Instance details

Associated Types

data AsType (PlutusScriptInEra era lang)
Instance details Defined in Cardano.Api.Internal.Script data AsType (PlutusScriptInEra era lang) = AsPlutusScriptInEra (AsType lang)

Methods

proxyToAsType :: Proxy (PlutusScriptInEra era lang) -> AsType (PlutusScriptInEra era lang) Source #

(Era (ShelleyLedgerEra era), HasTypeProxy (PlutusScriptInEra era lang), PlutusLanguage (ToLedgerPlutusLanguage lang)) => SerialiseAsCBOR (PlutusScriptInEra era lang) Source #

Instance details

Methods

serialiseToCBOR :: PlutusScriptInEra era lang -> ByteString Source #

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

Eq (PlutusScriptInEra era lang) Source #

Instance details

Methods

(==) :: PlutusScriptInEra era lang -> PlutusScriptInEra era lang -> Bool Source #

(/=) :: PlutusScriptInEra era lang -> PlutusScriptInEra era lang -> Bool Source #

data AsType (PlutusScriptInEra era lang) Source #

Instance details

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

Scripts in any language

data ScriptInAnyLang where Source #

Sometimes it is necessary to handle all languages without making static type distinctions between languages. For example, when reading external input, or before the era context is known.

Use toScriptInEra to convert to a script in the context of an era.

Constructors

ScriptInAnyLang :: forall lang. ScriptLanguage lang -> Script lang -> ScriptInAnyLang

Instances

Instances details

FromJSON ScriptInAnyLang Source #

Instance details

Methods

parseJSON :: Value -> Parser ScriptInAnyLang

parseJSONList :: Value -> Parser [ScriptInAnyLang]

omittedField :: Maybe ScriptInAnyLang

ToJSON ScriptInAnyLang Source #

Instance details

Methods

toJSON :: ScriptInAnyLang -> Value

toEncoding :: ScriptInAnyLang -> Encoding

toJSONList :: [ScriptInAnyLang] -> Value

toEncodingList :: [ScriptInAnyLang] -> Encoding

omitField :: ScriptInAnyLang -> Bool

Show ScriptInAnyLang Source #

Instance details

Methods

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

show :: ScriptInAnyLang -> String Source #

showList :: [ScriptInAnyLang] -> ShowS Source #

HasTypeProxy ScriptInAnyLang Source #

Instance details

Associated Types

data AsType ScriptInAnyLang
Instance details Defined in Cardano.Api.Internal.Script data AsType ScriptInAnyLang = AsScriptInAnyLang

Methods

proxyToAsType :: Proxy ScriptInAnyLang -> AsType ScriptInAnyLang Source #

Eq ScriptInAnyLang Source #

Instance details

Methods

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

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

data AsType ScriptInAnyLang Source #

Instance details

data AsType ScriptInAnyLang = AsScriptInAnyLang

toScriptInAnyLang :: Script lang -> ScriptInAnyLang Source #

Convert a script in a specific statically-known language to a ScriptInAnyLang.

No inverse to this is provided, just do case analysis on the ScriptLanguage field within the ScriptInAnyLang constructor.

removePlutusScriptDoubleEncoding :: ByteString -> ByteString Source #

Previously we were double encoding the plutus script bytes. This function removes a layer of encoding to return the original plutus script bytes if it exists.

Scripts in an era

data ScriptInEra era where Source #

Constructors

ScriptInEra :: forall lang era. ScriptLanguageInEra lang era -> Script lang -> ScriptInEra era

Instances

Instances details

Show (ScriptInEra era) Source #

Instance details

Methods

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

show :: ScriptInEra era -> String Source #

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

HasTypeProxy era => HasTypeProxy (ScriptInEra era) Source #

Instance details

Associated Types

data AsType (ScriptInEra era)
Instance details Defined in Cardano.Api.Internal.Script data AsType (ScriptInEra era) = AsScriptInEra (AsType era)

Methods

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

Eq (ScriptInEra era) Source #

Instance details

Methods

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

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

data AsType (ScriptInEra era) Source #

Instance details

data AsType (ScriptInEra era) = AsScriptInEra (AsType era)

toScriptInEra :: ShelleyBasedEra era -> ScriptInAnyLang -> Maybe (ScriptInEra era) Source #

Given a target era and a script in some language, check if the language is supported in that era, and if so return a ScriptInEra.

eraOfScriptInEra :: ScriptInEra era -> ShelleyBasedEra era Source #

class HasScriptLanguageInEra lang era where Source #

Smart-constructor for ScriptLanguageInEra to write functions manipulating scripts that do not commit to a particular era.

Methods

scriptLanguageInEra :: ScriptLanguageInEra lang era Source #

Instances

Instances details

HasScriptLanguageInEra PlutusScriptV1 AlonzoEra Source #
Instance details Defined in Cardano.Api.Internal.Script Methods scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV1 AlonzoEra Source #
HasScriptLanguageInEra PlutusScriptV1 BabbageEra Source #
Instance details Defined in Cardano.Api.Internal.Script Methods scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV1 BabbageEra Source #
HasScriptLanguageInEra PlutusScriptV1 ConwayEra Source #
Instance details Defined in Cardano.Api.Internal.Script Methods scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV1 ConwayEra Source #
HasScriptLanguageInEra PlutusScriptV2 BabbageEra Source #
Instance details Defined in Cardano.Api.Internal.Script Methods scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV2 BabbageEra Source #
HasScriptLanguageInEra PlutusScriptV2 ConwayEra Source #
Instance details Defined in Cardano.Api.Internal.Script Methods scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV2 ConwayEra Source #
HasScriptLanguageInEra PlutusScriptV3 ConwayEra Source #
Instance details Defined in Cardano.Api.Internal.Script Methods scriptLanguageInEra :: ScriptLanguageInEra PlutusScriptV3 ConwayEra Source #

class ToAlonzoScript lang era where Source #

Methods

toLedgerScript :: PlutusScript lang -> AlonzoScript (ShelleyLedgerEra era) Source #

Instances

Instances details

ToAlonzoScript PlutusScriptV1 BabbageEra Source #
Instance details Defined in Cardano.Api.Internal.Script Methods toLedgerScript :: PlutusScript PlutusScriptV1 -> AlonzoScript (ShelleyLedgerEra BabbageEra) Source #
ToAlonzoScript PlutusScriptV1 ConwayEra Source #
Instance details Defined in Cardano.Api.Internal.Script Methods toLedgerScript :: PlutusScript PlutusScriptV1 -> AlonzoScript (ShelleyLedgerEra ConwayEra) Source #
ToAlonzoScript PlutusScriptV2 BabbageEra Source #
Instance details Defined in Cardano.Api.Internal.Script Methods toLedgerScript :: PlutusScript PlutusScriptV2 -> AlonzoScript (ShelleyLedgerEra BabbageEra) Source #
ToAlonzoScript PlutusScriptV2 ConwayEra Source #
Instance details Defined in Cardano.Api.Internal.Script Methods toLedgerScript :: PlutusScript PlutusScriptV2 -> AlonzoScript (ShelleyLedgerEra ConwayEra) Source #
ToAlonzoScript PlutusScriptV3 ConwayEra Source #
Instance details Defined in Cardano.Api.Internal.Script Methods toLedgerScript :: PlutusScript PlutusScriptV3 -> AlonzoScript (ShelleyLedgerEra ConwayEra) Source #

Reference scripts

data ReferenceScript era where Source #

A reference scripts is a script that can exist at a transaction output. This greatly reduces the size of transactions that use scripts as the script no longer has to be added to the transaction, they can now be referenced via a transaction output.

Constructors

ReferenceScript :: forall era. BabbageEraOnwards era -> ScriptInAnyLang -> ReferenceScript era
ReferenceScriptNone :: forall era. ReferenceScript era

Instances

Instances details

IsCardanoEra era => FromJSON (ReferenceScript era) Source #
Instance details Defined in Cardano.Api.Internal.Script Methods parseJSON :: Value -> Parser (ReferenceScript era) parseJSONList :: Value -> Parser [ReferenceScript era] omittedField :: Maybe (ReferenceScript era)
IsCardanoEra era => ToJSON (ReferenceScript era) Source #
Instance details Defined in Cardano.Api.Internal.Script Methods toJSON :: ReferenceScript era -> Value toEncoding :: ReferenceScript era -> Encoding toJSONList :: [ReferenceScript era] -> Value toEncodingList :: [ReferenceScript era] -> Encoding omitField :: ReferenceScript era -> Bool
Show (ReferenceScript era) Source #
Instance details Defined in Cardano.Api.Internal.Script Methods showsPrec :: Int -> ReferenceScript era -> ShowS Source # show :: ReferenceScript era -> String Source # showList :: [ReferenceScript era] -> ShowS Source #
Eq (ReferenceScript era) Source #
Instance details Defined in Cardano.Api.Internal.Script Methods (==) :: ReferenceScript era -> ReferenceScript era -> Bool Source # (/=) :: ReferenceScript era -> ReferenceScript era -> Bool Source #

refScriptToShelleyScript :: ShelleyBasedEra era -> ReferenceScript era -> StrictMaybe (Script (ShelleyLedgerEra era)) Source #

Use of a script in an era as a witness

data WitCtxTxIn Source #

A tag type for the context in which a script is used in a transaction.

This type tags the context as being to witness a transaction input.

Instances

Instances details

IsScriptWitnessInCtx WitCtxTxIn Source #
Instance details Defined in Cardano.Api.Internal.Script Methods scriptWitnessInCtx :: ScriptWitnessInCtx WitCtxTxIn Source #

data WitCtxMint Source #

A tag type for the context in which a script is used in a transaction.

This type tags the context as being to witness minting.

Instances

Instances details

IsScriptWitnessInCtx WitCtxMint Source #
Instance details Defined in Cardano.Api.Internal.Script Methods scriptWitnessInCtx :: ScriptWitnessInCtx WitCtxMint Source #

data WitCtxStake Source #

A tag type for the context in which a script is used in a transaction.

This type tags the context as being to witness the use of stake addresses in certificates, withdrawals, voting and proposals.

Instances

Instances details

IsScriptWitnessInCtx WitCtxStake Source #
Instance details Defined in Cardano.Api.Internal.Script Methods scriptWitnessInCtx :: ScriptWitnessInCtx WitCtxStake Source #

data WitCtx witctx where Source #

This GADT provides a value-level representation of all the witness contexts. This enables pattern matching on the context to allow them to be treated in a non-uniform way.

Constructors

WitCtxTxIn :: WitCtx WitCtxTxIn
WitCtxMint :: WitCtx WitCtxMint
WitCtxStake :: WitCtx WitCtxStake

data ScriptWitness witctx era where Source #

A use of a script within a transaction body to witness that something is being used in an authorised manner. That can be

spending a transaction input
minting tokens
using a certificate (stake address certs specifically)
withdrawing from a reward account

For simple script languages, the use of the script is the same in all contexts. For Plutus scripts, using a script involves supplying a redeemer. In addition, Plutus scripts used for spending inputs must also supply the datum value used when originally creating the TxOut that is now being spent.

Constructors

SimpleScriptWitness :: forall era witctx. ScriptLanguageInEra SimpleScript' era -> SimpleScriptOrReferenceInput SimpleScript' -> ScriptWitness witctx era
PlutusScriptWitness :: forall lang era witctx. IsPlutusScriptLanguage lang => ScriptLanguageInEra lang era -> PlutusScriptVersion lang -> PlutusScriptOrReferenceInput lang -> ScriptDatum witctx -> ScriptRedeemer -> ExecutionUnits -> ScriptWitness witctx era

Instances

Instances details

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

getScriptWitnessReferenceInput :: ScriptWitness witctx era -> Maybe TxIn Source #

getScriptWitnessScript :: ScriptWitness witctx era -> Maybe (ScriptInEra era) Source #

getScriptWitnessReferenceInputOrScript :: ScriptWitness witctx era -> Either (ScriptInEra era) TxIn Source #

We cannot always extract a script from a script witness due to reference scripts. Reference scripts exist in the UTxO, so without access to the UTxO we cannot retrieve the script. So in the cases for script reference, the result contains Right TxIn.

data Witness witctx era where Source #

Constructors

KeyWitness :: forall witctx era. KeyWitnessInCtx witctx -> Witness witctx era
ScriptWitness :: forall witctx era. ScriptWitnessInCtx witctx -> ScriptWitness witctx era -> Witness witctx era

Instances

Instances details

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

data KeyWitnessInCtx witctx where Source #

Constructors

KeyWitnessForSpending :: KeyWitnessInCtx WitCtxTxIn
KeyWitnessForStakeAddr :: KeyWitnessInCtx WitCtxStake

Instances

Instances details

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

data ScriptWitnessInCtx witctx where Source #

Constructors

ScriptWitnessForSpending :: ScriptWitnessInCtx WitCtxTxIn
ScriptWitnessForMinting :: ScriptWitnessInCtx WitCtxMint
ScriptWitnessForStakeAddr :: ScriptWitnessInCtx WitCtxStake

Instances

Instances details

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

class IsScriptWitnessInCtx ctx where Source #

Methods

scriptWitnessInCtx :: ScriptWitnessInCtx ctx Source #

Instances

Instances details

IsScriptWitnessInCtx WitCtxMint Source #
Instance details Defined in Cardano.Api.Internal.Script Methods scriptWitnessInCtx :: ScriptWitnessInCtx WitCtxMint Source #
IsScriptWitnessInCtx WitCtxStake Source #
Instance details Defined in Cardano.Api.Internal.Script Methods scriptWitnessInCtx :: ScriptWitnessInCtx WitCtxStake Source #
IsScriptWitnessInCtx WitCtxTxIn Source #
Instance details Defined in Cardano.Api.Internal.Script Methods scriptWitnessInCtx :: ScriptWitnessInCtx WitCtxTxIn Source #

data ScriptDatum witctx where Source #

Constructors

ScriptDatumForTxIn :: Maybe HashableScriptData -> ScriptDatum WitCtxTxIn
InlineScriptDatum :: ScriptDatum WitCtxTxIn
NoScriptDatumForMint :: ScriptDatum WitCtxMint
NoScriptDatumForStake :: ScriptDatum WitCtxStake

Instances

Instances details

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

type ScriptRedeemer = HashableScriptData Source #

Languages supported in each era

data ScriptLanguageInEra lang era where Source #

Constructors

SimpleScriptInShelley :: ScriptLanguageInEra SimpleScript' ShelleyEra
SimpleScriptInAllegra :: ScriptLanguageInEra SimpleScript' AllegraEra
SimpleScriptInMary :: ScriptLanguageInEra SimpleScript' MaryEra
SimpleScriptInAlonzo :: ScriptLanguageInEra SimpleScript' AlonzoEra
SimpleScriptInBabbage :: ScriptLanguageInEra SimpleScript' BabbageEra
SimpleScriptInConway :: ScriptLanguageInEra SimpleScript' ConwayEra
PlutusScriptV1InAlonzo :: ScriptLanguageInEra PlutusScriptV1 AlonzoEra
PlutusScriptV1InBabbage :: ScriptLanguageInEra PlutusScriptV1 BabbageEra
PlutusScriptV1InConway :: ScriptLanguageInEra PlutusScriptV1 ConwayEra
PlutusScriptV2InBabbage :: ScriptLanguageInEra PlutusScriptV2 BabbageEra
PlutusScriptV2InConway :: ScriptLanguageInEra PlutusScriptV2 ConwayEra
PlutusScriptV3InConway :: ScriptLanguageInEra PlutusScriptV3 ConwayEra

Instances

Instances details

ToJSON (ScriptLanguageInEra lang era) Source #
Instance details Defined in Cardano.Api.Internal.Script Methods toJSON :: ScriptLanguageInEra lang era -> Value toEncoding :: ScriptLanguageInEra lang era -> Encoding toJSONList :: [ScriptLanguageInEra lang era] -> Value toEncodingList :: [ScriptLanguageInEra lang era] -> Encoding omitField :: ScriptLanguageInEra lang era -> Bool
Show (ScriptLanguageInEra lang era) Source #
Instance details Defined in Cardano.Api.Internal.Script Methods showsPrec :: Int -> ScriptLanguageInEra lang era -> ShowS Source # show :: ScriptLanguageInEra lang era -> String Source # showList :: [ScriptLanguageInEra lang era] -> ShowS Source #
Eq (ScriptLanguageInEra lang era) Source #
Instance details Defined in Cardano.Api.Internal.Script Methods (==) :: ScriptLanguageInEra lang era -> ScriptLanguageInEra lang era -> Bool Source # (/=) :: ScriptLanguageInEra lang era -> ScriptLanguageInEra lang era -> Bool Source #
Ord (ScriptLanguageInEra lang era) Source #
Instance details Defined in Cardano.Api.Internal.Script Methods compare :: ScriptLanguageInEra lang era -> ScriptLanguageInEra lang era -> Ordering Source # (<) :: ScriptLanguageInEra lang era -> ScriptLanguageInEra lang era -> Bool Source # (<=) :: ScriptLanguageInEra lang era -> ScriptLanguageInEra lang era -> Bool Source # (>) :: ScriptLanguageInEra lang era -> ScriptLanguageInEra lang era -> Bool Source # (>=) :: ScriptLanguageInEra lang era -> ScriptLanguageInEra lang era -> Bool Source # max :: ScriptLanguageInEra lang era -> ScriptLanguageInEra lang era -> ScriptLanguageInEra lang era Source # min :: ScriptLanguageInEra lang era -> ScriptLanguageInEra lang era -> ScriptLanguageInEra lang era Source #

scriptLanguageSupportedInEra :: ShelleyBasedEra era -> ScriptLanguage lang -> Maybe (ScriptLanguageInEra lang era) Source #

Check if a given script language is supported in a given era, and if so return the evidence.

sbeToSimpleScriptLanguageInEra :: ShelleyBasedEra era -> ScriptLanguageInEra SimpleScript' era Source #

languageOfScriptLanguageInEra :: ScriptLanguageInEra lang era -> ScriptLanguage lang Source #

eraOfScriptLanguageInEra :: ScriptLanguageInEra lang era -> ShelleyBasedEra era Source #

The simple script language

data SimpleScript Source #

Constructors

RequireSignature !(Hash PaymentKey)
RequireTimeBefore !SlotNo
RequireTimeAfter !SlotNo
RequireAllOf ![SimpleScript]
RequireAnyOf ![SimpleScript]
RequireMOf !Int ![SimpleScript]

Instances

Instances details

FromJSON SimpleScript Source #
Instance details Defined in Cardano.Api.Internal.Script Methods parseJSON :: Value -> Parser SimpleScript parseJSONList :: Value -> Parser [SimpleScript] omittedField :: Maybe SimpleScript
ToJSON SimpleScript Source #
Instance details Defined in Cardano.Api.Internal.Script Methods toJSON :: SimpleScript -> Value toEncoding :: SimpleScript -> Encoding toJSONList :: [SimpleScript] -> Value toEncodingList :: [SimpleScript] -> Encoding omitField :: SimpleScript -> Bool
Show SimpleScript Source #
Instance details Defined in Cardano.Api.Internal.Script Methods showsPrec :: Int -> SimpleScript -> ShowS Source # show :: SimpleScript -> String Source # showList :: [SimpleScript] -> ShowS Source #
Eq SimpleScript Source #
Instance details Defined in Cardano.Api.Internal.Script Methods (==) :: SimpleScript -> SimpleScript -> Bool Source # (/=) :: SimpleScript -> SimpleScript -> Bool Source #

data SimpleScriptOrReferenceInput lang Source #

Constructors

SScript SimpleScript
SReferenceScript TxIn

Instances

Instances details

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

The Plutus script language

data PlutusScript lang where Source #

Plutus scripts.

Note that Plutus scripts have a binary serialisation but no JSON serialisation.

Constructors

PlutusScriptSerialised :: forall lang. ShortByteString -> PlutusScript lang

Instances

Instances details

Show (PlutusScript lang) Source #

Instance details

Methods

showsPrec :: Int -> PlutusScript lang -> ShowS Source #

show :: PlutusScript lang -> String Source #

showList :: [PlutusScript lang] -> ShowS Source #

HasTypeProxy lang => HasTypeProxy (PlutusScript lang) Source #

Instance details

Associated Types

data AsType (PlutusScript lang)
Instance details Defined in Cardano.Api.Internal.Script data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)

Methods

proxyToAsType :: Proxy (PlutusScript lang) -> AsType (PlutusScript lang) Source #

HasTypeProxy lang => SerialiseAsCBOR (PlutusScript lang) Source #

Instance details

Methods

serialiseToCBOR :: PlutusScript lang -> ByteString Source #

deserialiseFromCBOR :: AsType (PlutusScript lang) -> ByteString -> Either DecoderError (PlutusScript lang) Source #

HasTypeProxy lang => SerialiseAsRawBytes (PlutusScript lang) Source #

Instance details

Methods

serialiseToRawBytes :: PlutusScript lang -> ByteString Source #

deserialiseFromRawBytes :: AsType (PlutusScript lang) -> ByteString -> Either SerialiseAsRawBytesError (PlutusScript lang) Source #

IsPlutusScriptLanguage lang => HasTextEnvelope (PlutusScript lang) Source #

Instance details

Methods

textEnvelopeType :: AsType (PlutusScript lang) -> TextEnvelopeType Source #

textEnvelopeDefaultDescr :: PlutusScript lang -> TextEnvelopeDescr Source #

Eq (PlutusScript lang) Source #

Instance details

Methods

(==) :: PlutusScript lang -> PlutusScript lang -> Bool Source #

(/=) :: PlutusScript lang -> PlutusScript lang -> Bool Source #

Ord (PlutusScript lang) Source #

Instance details

Methods

compare :: PlutusScript lang -> PlutusScript lang -> Ordering Source #

(<) :: PlutusScript lang -> PlutusScript lang -> Bool Source #

(<=) :: PlutusScript lang -> PlutusScript lang -> Bool Source #

(>) :: PlutusScript lang -> PlutusScript lang -> Bool Source #

(>=) :: PlutusScript lang -> PlutusScript lang -> Bool Source #

max :: PlutusScript lang -> PlutusScript lang -> PlutusScript lang Source #

min :: PlutusScript lang -> PlutusScript lang -> PlutusScript lang Source #

data AsType (PlutusScript lang) Source #

Instance details

data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)

data PlutusScriptOrReferenceInput lang Source #

Scripts can now exist in the UTxO at a transaction output. We can reference these scripts via specification of a reference transaction input in order to witness spending inputs, withdrawals, certificates or to mint tokens. This datatype encapsulates this concept.

Constructors

PScript (PlutusScript lang)
PReferenceScript TxIn

Instances

Instances details

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

examplePlutusScriptAlwaysSucceeds :: WitCtx witctx -> PlutusScript PlutusScriptV1 Source #

An example Plutus script that always succeeds, irrespective of inputs.

For example, if one were to use this for a payment address then it would allow anyone to spend from it.

The exact script depends on the context in which it is to be used.

examplePlutusScriptAlwaysFails :: WitCtx witctx -> PlutusScript PlutusScriptV1 Source #

An example Plutus script that always fails, irrespective of inputs.

For example, if one were to use this for a payment address then it would be impossible for anyone to ever spend from it.

The exact script depends on the context in which it is to be used.

Script data

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

Methods

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

show :: ScriptData -> String Source #

showList :: [ScriptData] -> ShowS Source #

HasTypeProxy ScriptData Source #

Instance details

Associated Types

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

Methods

proxyToAsType :: Proxy ScriptData -> AsType ScriptData Source #

SerialiseAsCBOR ScriptData Source #

Instance details

Methods

serialiseToCBOR :: ScriptData -> ByteString Source #

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

FromCBOR ScriptData Source #

Instance details

Methods

fromCBOR :: Decoder s ScriptData Source #

label :: Proxy ScriptData -> Text Source #

ToCBOR ScriptData Source #

Instance details

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

Methods

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

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

Ord ScriptData Source #

Instance details

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

Methods

parseJSON :: Value -> Parser (Hash ScriptData)

parseJSONList :: Value -> Parser [Hash ScriptData]

omittedField :: Maybe (Hash ScriptData)

FromJSONKey (Hash ScriptData) Source #

Instance details

Methods

fromJSONKey :: FromJSONKeyFunction (Hash ScriptData)

fromJSONKeyList :: FromJSONKeyFunction [Hash ScriptData]

ToJSON (Hash ScriptData) Source #

Instance details

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

Methods

toJSONKey :: ToJSONKeyFunction (Hash ScriptData)

toJSONKeyList :: ToJSONKeyFunction [Hash ScriptData]

IsString (Hash ScriptData) Source #

Instance details

Methods

fromString :: String -> Hash ScriptData Source #

Show (Hash ScriptData) Source #

Instance details

Methods

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

show :: Hash ScriptData -> String Source #

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

SerialiseAsRawBytes (Hash ScriptData) Source #

Instance details

Methods

serialiseToRawBytes :: Hash ScriptData -> ByteString Source #

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

Eq (Hash ScriptData) Source #

Instance details

Methods

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

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

Ord (Hash ScriptData) Source #

Instance details

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

data AsType ScriptData = AsScriptData

newtype Hash ScriptData Source #

Instance details

newtype Hash ScriptData = ScriptDataHash (DataHash StandardCrypto)

Script execution units

data ExecutionUnits Source #

The units for how long a script executes for and how much memory it uses. This is used to declare the resources used by a particular use of a script.

This type is also used to describe the limits for the maximum overall execution units per transaction or per block.

Constructors

ExecutionUnits
Fields executionSteps :: Natural This corresponds roughly to the time to execute a script. executionMemory :: Natural This corresponds roughly to the peak memory used during script execution.

Instances

Instances details

FromJSON ExecutionUnits Source #
Instance details Defined in Cardano.Api.Internal.Script Methods parseJSON :: Value -> Parser ExecutionUnits parseJSONList :: Value -> Parser [ExecutionUnits] omittedField :: Maybe ExecutionUnits
ToJSON ExecutionUnits Source #
Instance details Defined in Cardano.Api.Internal.Script Methods toJSON :: ExecutionUnits -> Value toEncoding :: ExecutionUnits -> Encoding toJSONList :: [ExecutionUnits] -> Value toEncodingList :: [ExecutionUnits] -> Encoding omitField :: ExecutionUnits -> Bool
Show ExecutionUnits Source #
Instance details Defined in Cardano.Api.Internal.Script Methods showsPrec :: Int -> ExecutionUnits -> ShowS Source # show :: ExecutionUnits -> String Source # showList :: [ExecutionUnits] -> ShowS Source #
FromCBOR ExecutionUnits Source #
Instance details Defined in Cardano.Api.Internal.Script Methods fromCBOR :: Decoder s ExecutionUnits Source # label :: Proxy ExecutionUnits -> Text Source #
ToCBOR ExecutionUnits Source #
Instance details Defined in Cardano.Api.Internal.Script Methods toCBOR :: ExecutionUnits -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ExecutionUnits -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ExecutionUnits] -> Size Source #
Eq ExecutionUnits Source #
Instance details Defined in Cardano.Api.Internal.Script Methods (==) :: ExecutionUnits -> ExecutionUnits -> Bool Source # (/=) :: ExecutionUnits -> ExecutionUnits -> Bool Source #

Script hashes

newtype ScriptHash Source #

We have this type separate from the Hash type to avoid the script hash type being parametrised by the era. The representation is era independent, and there are many places where we want to use a script hash where we don't want things to be era-parametrised.

Constructors

ScriptHash (ScriptHash StandardCrypto)

Instances

Instances details

FromJSON ScriptHash Source #

Instance details

Methods

parseJSON :: Value -> Parser ScriptHash

parseJSONList :: Value -> Parser [ScriptHash]

omittedField :: Maybe ScriptHash

ToJSON ScriptHash Source #

Instance details

Methods

toJSON :: ScriptHash -> Value

toEncoding :: ScriptHash -> Encoding

toJSONList :: [ScriptHash] -> Value

toEncodingList :: [ScriptHash] -> Encoding

omitField :: ScriptHash -> Bool

IsString ScriptHash Source #

Instance details

Methods

fromString :: String -> ScriptHash Source #

Show ScriptHash Source #

Instance details

Methods

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

show :: ScriptHash -> String Source #

showList :: [ScriptHash] -> ShowS Source #

HasTypeProxy ScriptHash Source #

Instance details

SerialiseAsRawBytes ScriptHash Source #

Associated Types

data AsType ScriptHash
Instance details Defined in Cardano.Api.Internal.Script data AsType ScriptHash = AsScriptHash

Methods

proxyToAsType :: Proxy ScriptHash -> AsType ScriptHash Source #

Instance details

Methods

serialiseToRawBytes :: ScriptHash -> ByteString Source #

deserialiseFromRawBytes :: AsType ScriptHash -> ByteString -> Either SerialiseAsRawBytesError ScriptHash Source #

Eq ScriptHash Source #

Instance details

Methods

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

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

Ord ScriptHash Source #

Instance details

Methods

compare :: ScriptHash -> ScriptHash -> Ordering Source #

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

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

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

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

max :: ScriptHash -> ScriptHash -> ScriptHash Source #

min :: ScriptHash -> ScriptHash -> ScriptHash Source #

data AsType ScriptHash Source #

Instance details

data AsType ScriptHash = AsScriptHash

hashScript :: Script lang -> ScriptHash Source #

Internal conversion functions

toShelleyScript :: ScriptInEra era -> Script (ShelleyLedgerEra era) Source #

fromShelleyBasedScript :: ShelleyBasedEra era -> Script (ShelleyLedgerEra era) -> ScriptInEra era Source #

toShelleyMultiSig :: SimpleScript -> Either MultiSigError (MultiSig (ShelleyLedgerEra ShelleyEra)) Source #

Conversion for the MultiSig language used by the Shelley era.

fromShelleyMultiSig :: MultiSig (ShelleyLedgerEra ShelleyEra) -> SimpleScript Source #

Conversion for the MultiSig language used by the Shelley era.

toAllegraTimelock :: (AllegraEraScript era, EraCrypto era ~ StandardCrypto, NativeScript era ~ Timelock era) => SimpleScript -> NativeScript era Source #

Conversion for the Timelock language that is shared between the Allegra and Mary eras.

fromAllegraTimelock :: (AllegraEraScript era, EraCrypto era ~ StandardCrypto) => NativeScript era -> SimpleScript Source #

Conversion for the Timelock language that is shared between the Allegra and Mary eras.

toAlonzoExUnits :: ExecutionUnits -> ExUnits Source #

fromAlonzoExUnits :: ExUnits -> ExecutionUnits Source #

toShelleyScriptHash :: ScriptHash -> ScriptHash StandardCrypto Source #

fromShelleyScriptHash :: ScriptHash StandardCrypto -> ScriptHash Source #

toPlutusData :: ScriptData -> Data Source #

fromPlutusData :: Data -> ScriptData Source #

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

fromAlonzoData :: Data ledgerera -> HashableScriptData Source #

toAlonzoLanguage :: AnyPlutusScriptVersion -> Language Source #

fromAlonzoLanguage :: Language -> AnyPlutusScriptVersion Source #

fromShelleyScriptToReferenceScript :: ShelleyBasedEra era -> Script (ShelleyLedgerEra era) -> ReferenceScript era Source #

scriptInEraToRefScript :: ScriptInEra era -> ReferenceScript era Source #

Data family instances

data family AsType t Source #

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

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

Instances

Instances details

data AsType AddressAny Source #
Instance details Defined in Cardano.Api.Internal.Address data AsType AddressAny = AsAddressAny
data AsType ByronAddr Source #
Instance details Defined in Cardano.Api.Internal.Address data AsType ByronAddr = AsByronAddr
data AsType ShelleyAddr Source #
Instance details Defined in Cardano.Api.Internal.Address data AsType ShelleyAddr = AsShelleyAddr
data AsType StakeAddress Source #
Instance details Defined in Cardano.Api.Internal.Address data AsType StakeAddress = AsStakeAddress
data AsType BlockHeader Source #
Instance details Defined in Cardano.Api.Internal.Block data AsType BlockHeader = AsBlockHeader
data AsType DRepMetadata Source #
Instance details Defined in Cardano.Api.Internal.DRepMetadata data AsType DRepMetadata = AsDRepMetadata
data AsType AllegraEra Source #
Instance details Defined in Cardano.Api.Internal.Eras.Core data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source #
Instance details Defined in Cardano.Api.Internal.Eras.Core data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source #
Instance details Defined in Cardano.Api.Internal.Eras.Core data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source #
Instance details Defined in Cardano.Api.Internal.Eras.Core data AsType ByronEra = AsByronEra
data AsType ConwayEra Source #
Instance details Defined in Cardano.Api.Internal.Eras.Core data AsType ConwayEra = AsConwayEra
data AsType MaryEra Source #
Instance details Defined in Cardano.Api.Internal.Eras.Core data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source #
Instance details Defined in Cardano.Api.Internal.Eras.Core data AsType ShelleyEra = AsShelleyEra
data AsType GovernancePoll Source #
Instance details Defined in Cardano.Api.Internal.Governance.Poll data AsType GovernancePoll = AsGovernancePoll
data AsType GovernancePollAnswer Source #
Instance details Defined in Cardano.Api.Internal.Governance.Poll data AsType GovernancePollAnswer = AsGovernancePollAnswer
data AsType ByronKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Byron data AsType ByronKey = AsByronKey
data AsType ByronKeyLegacy Source #
Instance details Defined in Cardano.Api.Internal.Keys.Byron data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType KesKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Praos data AsType KesKey = AsKesKey
data AsType VrfKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Praos data AsType VrfKey = AsVrfKey
data AsType CommitteeColdExtendedKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Shelley data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey
data AsType CommitteeColdKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Shelley data AsType CommitteeColdKey = AsCommitteeColdKey
data AsType CommitteeHotExtendedKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Shelley data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey
data AsType CommitteeHotKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Shelley data AsType CommitteeHotKey = AsCommitteeHotKey
data AsType DRepExtendedKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Shelley data AsType DRepExtendedKey = AsDRepExtendedKey
data AsType DRepKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Shelley data AsType DRepKey = AsDRepKey
data AsType GenesisDelegateExtendedKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Shelley data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Shelley data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Shelley data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Shelley data AsType GenesisKey = AsGenesisKey
data AsType GenesisUTxOKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Shelley data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType PaymentExtendedKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Shelley data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Shelley data AsType PaymentKey = AsPaymentKey
data AsType StakeExtendedKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Shelley data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Shelley data AsType StakeKey = AsStakeKey
data AsType StakePoolKey Source #
Instance details Defined in Cardano.Api.Internal.Keys.Shelley data AsType StakePoolKey = AsStakePoolKey
data AsType OperationalCertificate Source #
Instance details Defined in Cardano.Api.Internal.OperationalCertificate data AsType OperationalCertificate = AsOperationalCertificate
data AsType OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.Internal.OperationalCertificate data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType PraosNonce Source #
Instance details Defined in Cardano.Api.Internal.ProtocolParameters data AsType PraosNonce = AsPraosNonce
data AsType UpdateProposal Source #
Instance details Defined in Cardano.Api.Internal.ProtocolParameters data AsType UpdateProposal = AsUpdateProposal
data AsType PlutusScriptV1 Source #
Instance details Defined in Cardano.Api.Internal.Script data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType PlutusScriptV2 Source #
Instance details Defined in Cardano.Api.Internal.Script data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType PlutusScriptV3 Source #
Instance details Defined in Cardano.Api.Internal.Script data AsType PlutusScriptV3 = AsPlutusScriptV3
data AsType ScriptHash Source #
Instance details Defined in Cardano.Api.Internal.Script data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source #
Instance details Defined in Cardano.Api.Internal.Script data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType SimpleScript' Source #
Instance details Defined in Cardano.Api.Internal.Script data AsType SimpleScript' = AsSimpleScript
data AsType HashableScriptData Source #
Instance details Defined in Cardano.Api.Internal.ScriptData data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptData Source #
Instance details Defined in Cardano.Api.Internal.ScriptData data AsType ScriptData = AsScriptData
data AsType TextEnvelope Source #
Instance details Defined in Cardano.Api.Internal.SerialiseTextEnvelope data AsType TextEnvelope = AsTextEnvelope
data AsType ByronUpdateProposal Source #
Instance details Defined in Cardano.Api.Internal.SpecialByron data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ByronVote Source #
Instance details Defined in Cardano.Api.Internal.SpecialByron data AsType ByronVote = AsByronVote
data AsType StakePoolMetadata Source #
Instance details Defined in Cardano.Api.Internal.StakePoolMetadata data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType TxId Source #
Instance details Defined in Cardano.Api.Internal.TxIn data AsType TxId = AsTxId
data AsType TxMetadata Source #
Instance details Defined in Cardano.Api.Internal.TxMetadata data AsType TxMetadata = AsTxMetadata
data AsType AssetName Source #
Instance details Defined in Cardano.Api.Internal.Value data AsType AssetName = AsAssetName
data AsType PolicyId Source #
Instance details Defined in Cardano.Api.Internal.Value data AsType PolicyId = AsPolicyId
data AsType (Address addrtype) Source #
Instance details Defined in Cardano.Api.Internal.Address data AsType (Address addrtype) = AsAddress (AsType addrtype)
data AsType (AddressInEra era) Source #
Instance details Defined in Cardano.Api.Internal.Address data AsType (AddressInEra era) = AsAddressInEra (AsType era)
data AsType (Certificate era) Source #
Instance details Defined in Cardano.Api.Internal.Certificate data AsType (Certificate era) = AsCertificate
data AsType (Proposal era) Source #
Instance details Defined in Cardano.Api.Internal.Governance.Actions.ProposalProcedure data AsType (Proposal era) = AsProposal
data AsType (VotingProcedure era) Source #
Instance details Defined in Cardano.Api.Internal.Governance.Actions.VotingProcedure data AsType (VotingProcedure era) = AsVote
data AsType (VotingProcedures era) Source #
Instance details Defined in Cardano.Api.Internal.Governance.Actions.VotingProcedure data AsType (VotingProcedures era) = AsVotingProcedures
data AsType (Hash a) Source #
Instance details Defined in Cardano.Api.Internal.Hash data AsType (Hash a) = AsHash (AsType a)
data AsType (SigningKey a) Source #
Instance details Defined in Cardano.Api.Internal.Keys.Class data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (VerificationKey a) Source #
Instance details Defined in Cardano.Api.Internal.Keys.Class data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (PlutusScript lang) Source #
Instance details Defined in Cardano.Api.Internal.Script data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
data AsType (Script lang) Source #
Instance details Defined in Cardano.Api.Internal.Script data AsType (Script lang) = AsScript (AsType lang)
data AsType (ScriptInEra era) Source #
Instance details Defined in Cardano.Api.Internal.Script data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (KeyWitness era) Source #
Instance details Defined in Cardano.Api.Internal.Tx.Sign data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source #
Instance details Defined in Cardano.Api.Internal.Tx.Sign data AsType (Tx era) = AsTx (AsType era)
data AsType (TxBody era) Source #
Instance details Defined in Cardano.Api.Internal.Tx.Sign data AsType (TxBody era) = AsTxBody (AsType era)
data AsType (PlutusScriptInEra era lang) Source #
Instance details Defined in Cardano.Api.Internal.Script data AsType (PlutusScriptInEra era lang) = AsPlutusScriptInEra (AsType lang)

data family Hash keyrole Source #

Instances

Instances details

FromJSON (Hash BlockHeader) Source #

Instance details

Methods

parseJSON :: Value -> Parser (Hash BlockHeader)

parseJSONList :: Value -> Parser [Hash BlockHeader]

omittedField :: Maybe (Hash BlockHeader)

FromJSON (Hash DRepKey) Source #

Instance details

Methods

parseJSON :: Value -> Parser (Hash DRepKey)

parseJSONList :: Value -> Parser [Hash DRepKey]

omittedField :: Maybe (Hash DRepKey)

FromJSON (Hash GenesisKey) Source #

Instance details

Methods

parseJSON :: Value -> Parser (Hash GenesisKey)

parseJSONList :: Value -> Parser [Hash GenesisKey]

omittedField :: Maybe (Hash GenesisKey)

FromJSON (Hash PaymentKey) Source #

Instance details

Methods

parseJSON :: Value -> Parser (Hash PaymentKey)

parseJSONList :: Value -> Parser [Hash PaymentKey]

omittedField :: Maybe (Hash PaymentKey)

FromJSON (Hash StakePoolKey) Source #

Instance details

Methods

parseJSON :: Value -> Parser (Hash StakePoolKey)

parseJSONList :: Value -> Parser [Hash StakePoolKey]

omittedField :: Maybe (Hash StakePoolKey)

FromJSON (Hash ScriptData) Source #

Instance details

Methods

parseJSON :: Value -> Parser (Hash ScriptData)

parseJSONList :: Value -> Parser [Hash ScriptData]

omittedField :: Maybe (Hash ScriptData)

FromJSONKey (Hash ScriptData)

Instance details

Methods

fromJSONKey :: FromJSONKeyFunction (Hash ScriptData)

fromJSONKeyList :: FromJSONKeyFunction [Hash ScriptData]

ToJSON (Hash BlockHeader) Source #

Instance details

Methods

toJSON :: Hash BlockHeader -> Value

toEncoding :: Hash BlockHeader -> Encoding

toJSONList :: [Hash BlockHeader] -> Value

toEncodingList :: [Hash BlockHeader] -> Encoding

omitField :: Hash BlockHeader -> Bool

ToJSON (Hash DRepKey) Source #

Instance details

Methods

toJSON :: Hash DRepKey -> Value

toEncoding :: Hash DRepKey -> Encoding

toJSONList :: [Hash DRepKey] -> Value

toEncodingList :: [Hash DRepKey] -> Encoding

omitField :: Hash DRepKey -> Bool

ToJSON (Hash GenesisKey) Source #

Instance details

Methods

toJSON :: Hash GenesisKey -> Value

toEncoding :: Hash GenesisKey -> Encoding

toJSONList :: [Hash GenesisKey] -> Value

toEncodingList :: [Hash GenesisKey] -> Encoding

omitField :: Hash GenesisKey -> Bool

ToJSON (Hash PaymentKey) Source #

Instance details

Methods

toJSON :: Hash PaymentKey -> Value

toEncoding :: Hash PaymentKey -> Encoding

toJSONList :: [Hash PaymentKey] -> Value

toEncodingList :: [Hash PaymentKey] -> Encoding

omitField :: Hash PaymentKey -> Bool

ToJSON (Hash StakePoolKey) Source #

Instance details

Methods

toJSON :: Hash StakePoolKey -> Value

toEncoding :: Hash StakePoolKey -> Encoding

toJSONList :: [Hash StakePoolKey] -> Value

toEncodingList :: [Hash StakePoolKey] -> Encoding

omitField :: Hash StakePoolKey -> Bool

ToJSON (Hash ScriptData) Source #

Instance details

Methods

toJSON :: Hash ScriptData -> Value

toEncoding :: Hash ScriptData -> Encoding

toJSONList :: [Hash ScriptData] -> Value

toEncodingList :: [Hash ScriptData] -> Encoding

omitField :: Hash ScriptData -> Bool

ToJSONKey (Hash DRepKey)

Instance details

Methods

toJSONKey :: ToJSONKeyFunction (Hash DRepKey)

toJSONKeyList :: ToJSONKeyFunction [Hash DRepKey]

ToJSONKey (Hash GenesisKey)

Instance details

Methods

toJSONKey :: ToJSONKeyFunction (Hash GenesisKey)

toJSONKeyList :: ToJSONKeyFunction [Hash GenesisKey]

ToJSONKey (Hash PaymentKey)

Instance details

Methods

toJSONKey :: ToJSONKeyFunction (Hash PaymentKey)

toJSONKeyList :: ToJSONKeyFunction [Hash PaymentKey]

ToJSONKey (Hash StakePoolKey)

Instance details

Methods

toJSONKey :: ToJSONKeyFunction (Hash StakePoolKey)

toJSONKeyList :: ToJSONKeyFunction [Hash StakePoolKey]

ToJSONKey (Hash ScriptData)

Instance details

Methods

toJSONKey :: ToJSONKeyFunction (Hash ScriptData)

toJSONKeyList :: ToJSONKeyFunction [Hash ScriptData]

IsString (Hash BlockHeader) Source #

Instance details

Methods

fromString :: String -> Hash BlockHeader Source #

IsString (Hash GovernancePoll) Source #

Instance details

Methods

fromString :: String -> Hash GovernancePoll Source #

IsString (Hash ByronKey) Source #

Instance details

Methods

fromString :: String -> Hash ByronKey Source #

IsString (Hash ByronKeyLegacy) Source #

Instance details

Methods

fromString :: String -> Hash ByronKeyLegacy Source #

IsString (Hash KesKey) Source #

Instance details

Methods

fromString :: String -> Hash KesKey Source #

IsString (Hash VrfKey) Source #

Instance details

Methods

fromString :: String -> Hash VrfKey Source #

IsString (Hash CommitteeColdExtendedKey) Source #

Instance details

Methods

fromString :: String -> Hash CommitteeColdExtendedKey Source #

IsString (Hash CommitteeColdKey) Source #

Instance details

Methods

fromString :: String -> Hash CommitteeColdKey Source #

IsString (Hash CommitteeHotExtendedKey) Source #

Instance details

Methods

fromString :: String -> Hash CommitteeHotExtendedKey Source #

IsString (Hash CommitteeHotKey) Source #

Instance details

Methods

fromString :: String -> Hash CommitteeHotKey Source #

IsString (Hash DRepExtendedKey) Source #

Instance details

Methods

fromString :: String -> Hash DRepExtendedKey Source #

IsString (Hash DRepKey) Source #

Instance details

Methods

fromString :: String -> Hash DRepKey Source #

IsString (Hash GenesisDelegateExtendedKey) Source #

Instance details

Methods

fromString :: String -> Hash GenesisDelegateExtendedKey Source #

IsString (Hash GenesisDelegateKey) Source #

Instance details

Methods

fromString :: String -> Hash GenesisDelegateKey Source #

IsString (Hash GenesisExtendedKey) Source #

Instance details

Methods

fromString :: String -> Hash GenesisExtendedKey Source #

IsString (Hash GenesisKey) Source #

Instance details

Methods

fromString :: String -> Hash GenesisKey Source #

IsString (Hash GenesisUTxOKey) Source #

Instance details

Methods

fromString :: String -> Hash GenesisUTxOKey Source #

IsString (Hash PaymentExtendedKey) Source #

Instance details

Methods

fromString :: String -> Hash PaymentExtendedKey Source #

IsString (Hash PaymentKey) Source #

Instance details

Methods

fromString :: String -> Hash PaymentKey Source #

IsString (Hash StakeExtendedKey) Source #

Instance details

Methods

fromString :: String -> Hash StakeExtendedKey Source #

IsString (Hash StakeKey) Source #

Instance details

Methods

fromString :: String -> Hash StakeKey Source #

IsString (Hash StakePoolKey) Source #

Instance details

Methods

fromString :: String -> Hash StakePoolKey Source #

IsString (Hash ScriptData) Source #

Instance details

Methods

fromString :: String -> Hash ScriptData Source #

Show (Hash BlockHeader) Source #

Instance details

Methods

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

show :: Hash BlockHeader -> String Source #

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

Show (Hash DRepMetadata) Source #

Instance details

Methods

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

show :: Hash DRepMetadata -> String Source #

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

Show (Hash GovernancePoll) Source #

Instance details

Methods

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

show :: Hash GovernancePoll -> String Source #

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

Show (Hash ByronKey) Source #

Instance details

Methods

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

show :: Hash ByronKey -> String Source #

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

Show (Hash ByronKeyLegacy) Source #

Instance details

Methods

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

show :: Hash ByronKeyLegacy -> String Source #

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

Show (Hash KesKey) Source #

Instance details

Methods

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

show :: Hash KesKey -> String Source #

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

Show (Hash VrfKey) Source #

Instance details

Methods

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

show :: Hash VrfKey -> String Source #

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

Show (Hash CommitteeColdExtendedKey) Source #

Instance details

Methods

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

show :: Hash CommitteeColdExtendedKey -> String Source #

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

Show (Hash CommitteeColdKey) Source #

Instance details

Methods

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

show :: Hash CommitteeColdKey -> String Source #

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

Show (Hash CommitteeHotExtendedKey) Source #

Instance details

Methods

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

show :: Hash CommitteeHotExtendedKey -> String Source #

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

Show (Hash CommitteeHotKey) Source #

Instance details

Methods

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

show :: Hash CommitteeHotKey -> String Source #

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

Show (Hash DRepExtendedKey) Source #

Instance details

Methods

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

show :: Hash DRepExtendedKey -> String Source #

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

Show (Hash DRepKey) Source #

Instance details

Methods

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

show :: Hash DRepKey -> String Source #

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

Show (Hash GenesisDelegateExtendedKey) Source #

Instance details

Methods

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

show :: Hash GenesisDelegateExtendedKey -> String Source #

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

Show (Hash GenesisDelegateKey) Source #

Instance details

Methods

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

show :: Hash GenesisDelegateKey -> String Source #

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

Show (Hash GenesisExtendedKey) Source #

Instance details

Methods

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

show :: Hash GenesisExtendedKey -> String Source #

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

Show (Hash GenesisKey) Source #

Instance details

Methods

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

show :: Hash GenesisKey -> String Source #

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

Show (Hash GenesisUTxOKey) Source #

Instance details

Methods

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

show :: Hash GenesisUTxOKey -> String Source #

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

Show (Hash PaymentExtendedKey) Source #

Instance details

Methods

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

show :: Hash PaymentExtendedKey -> String Source #

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

Show (Hash PaymentKey) Source #

Instance details

Methods

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

show :: Hash PaymentKey -> String Source #

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

Show (Hash StakeExtendedKey) Source #

Instance details

Methods

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

show :: Hash StakeExtendedKey -> String Source #

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

Show (Hash StakeKey) Source #

Instance details

Methods

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

show :: Hash StakeKey -> String Source #

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

Show (Hash StakePoolKey) Source #

Instance details

Methods

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

show :: Hash StakePoolKey -> String Source #

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

Show (Hash ScriptData) Source #

Instance details

Methods

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

show :: Hash ScriptData -> String Source #

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

Show (Hash StakePoolMetadata) Source #

Instance details

Defined in Cardano.Api.Internal.StakePoolMetadata

Methods

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

show :: Hash StakePoolMetadata -> String Source #

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

HasTypeProxy a => HasTypeProxy (Hash a) Source #

Instance details

Defined in Cardano.Api.Internal.Hash

Associated Types

data AsType (Hash a)
Instance details Defined in Cardano.Api.Internal.Hash data AsType (Hash a) = AsHash (AsType a)

Methods

proxyToAsType :: Proxy (Hash a) -> AsType (Hash a) Source #

SerialiseAsBech32 (Hash CommitteeColdKey) Source #

Instance details

Methods

bech32PrefixFor :: Hash CommitteeColdKey -> Text

bech32PrefixesPermitted :: AsType (Hash CommitteeColdKey) -> [Text]

SerialiseAsBech32 (Hash CommitteeHotKey) Source #

Instance details

Methods

bech32PrefixFor :: Hash CommitteeHotKey -> Text

bech32PrefixesPermitted :: AsType (Hash CommitteeHotKey) -> [Text]

SerialiseAsBech32 (Hash DRepKey) Source #

Instance details

Methods

bech32PrefixFor :: Hash DRepKey -> Text

bech32PrefixesPermitted :: AsType (Hash DRepKey) -> [Text]

SerialiseAsBech32 (Hash StakePoolKey) Source #

Instance details

Methods

bech32PrefixFor :: Hash StakePoolKey -> Text

bech32PrefixesPermitted :: AsType (Hash StakePoolKey) -> [Text]

SerialiseAsCBOR (Hash ByronKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash ByronKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash ByronKey) -> ByteString -> Either DecoderError (Hash ByronKey) Source #

SerialiseAsCBOR (Hash ByronKeyLegacy) Source #

Instance details

Methods

serialiseToCBOR :: Hash ByronKeyLegacy -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash ByronKeyLegacy) -> ByteString -> Either DecoderError (Hash ByronKeyLegacy) Source #

SerialiseAsCBOR (Hash KesKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash KesKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash KesKey) -> ByteString -> Either DecoderError (Hash KesKey) Source #

SerialiseAsCBOR (Hash VrfKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash VrfKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash VrfKey) -> ByteString -> Either DecoderError (Hash VrfKey) Source #

SerialiseAsCBOR (Hash CommitteeColdExtendedKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash CommitteeColdExtendedKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash CommitteeColdExtendedKey) -> ByteString -> Either DecoderError (Hash CommitteeColdExtendedKey) Source #

SerialiseAsCBOR (Hash CommitteeColdKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash CommitteeColdKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash CommitteeColdKey) -> ByteString -> Either DecoderError (Hash CommitteeColdKey) Source #

SerialiseAsCBOR (Hash CommitteeHotExtendedKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash CommitteeHotExtendedKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash CommitteeHotExtendedKey) -> ByteString -> Either DecoderError (Hash CommitteeHotExtendedKey) Source #

SerialiseAsCBOR (Hash CommitteeHotKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash CommitteeHotKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash CommitteeHotKey) -> ByteString -> Either DecoderError (Hash CommitteeHotKey) Source #

SerialiseAsCBOR (Hash DRepExtendedKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash DRepExtendedKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash DRepExtendedKey) -> ByteString -> Either DecoderError (Hash DRepExtendedKey) Source #

SerialiseAsCBOR (Hash DRepKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash DRepKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash DRepKey) -> ByteString -> Either DecoderError (Hash DRepKey) Source #

SerialiseAsCBOR (Hash GenesisDelegateExtendedKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash GenesisDelegateExtendedKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash GenesisDelegateExtendedKey) -> ByteString -> Either DecoderError (Hash GenesisDelegateExtendedKey) Source #

SerialiseAsCBOR (Hash GenesisDelegateKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash GenesisDelegateKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash GenesisDelegateKey) -> ByteString -> Either DecoderError (Hash GenesisDelegateKey) Source #

SerialiseAsCBOR (Hash GenesisExtendedKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash GenesisExtendedKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash GenesisExtendedKey) -> ByteString -> Either DecoderError (Hash GenesisExtendedKey) Source #

SerialiseAsCBOR (Hash GenesisKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash GenesisKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash GenesisKey) -> ByteString -> Either DecoderError (Hash GenesisKey) Source #

SerialiseAsCBOR (Hash GenesisUTxOKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash GenesisUTxOKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash GenesisUTxOKey) -> ByteString -> Either DecoderError (Hash GenesisUTxOKey) Source #

SerialiseAsCBOR (Hash PaymentExtendedKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash PaymentExtendedKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash PaymentExtendedKey) -> ByteString -> Either DecoderError (Hash PaymentExtendedKey) Source #

SerialiseAsCBOR (Hash PaymentKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash PaymentKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash PaymentKey) -> ByteString -> Either DecoderError (Hash PaymentKey) Source #

SerialiseAsCBOR (Hash StakeExtendedKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash StakeExtendedKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash StakeExtendedKey) -> ByteString -> Either DecoderError (Hash StakeExtendedKey) Source #

SerialiseAsCBOR (Hash StakeKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash StakeKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash StakeKey) -> ByteString -> Either DecoderError (Hash StakeKey) Source #

SerialiseAsCBOR (Hash StakePoolKey) Source #

Instance details

Methods

serialiseToCBOR :: Hash StakePoolKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash StakePoolKey) -> ByteString -> Either DecoderError (Hash StakePoolKey) Source #

SerialiseAsRawBytes (Hash BlockHeader) Source #

Instance details

Methods

serialiseToRawBytes :: Hash BlockHeader -> ByteString Source #

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

SerialiseAsRawBytes (Hash DRepMetadata) Source #

Instance details

Methods

serialiseToRawBytes :: Hash DRepMetadata -> ByteString Source #

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

SerialiseAsRawBytes (Hash GovernancePoll) Source #

Instance details

Methods

serialiseToRawBytes :: Hash GovernancePoll -> ByteString Source #

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

SerialiseAsRawBytes (Hash ByronKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash ByronKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash ByronKeyLegacy) Source #

Instance details

Methods

serialiseToRawBytes :: Hash ByronKeyLegacy -> ByteString Source #

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

SerialiseAsRawBytes (Hash KesKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash KesKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash VrfKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash VrfKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash CommitteeColdExtendedKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash CommitteeColdExtendedKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash CommitteeColdKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash CommitteeColdKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash CommitteeHotExtendedKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash CommitteeHotExtendedKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash CommitteeHotKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash CommitteeHotKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash DRepExtendedKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash DRepExtendedKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash DRepKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash DRepKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash GenesisDelegateExtendedKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash GenesisDelegateExtendedKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash GenesisDelegateKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash GenesisDelegateKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash GenesisExtendedKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash GenesisExtendedKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash GenesisKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash GenesisKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash GenesisUTxOKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash GenesisUTxOKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash PaymentExtendedKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash PaymentExtendedKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash PaymentKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash PaymentKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash StakeExtendedKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash StakeExtendedKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash StakeKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash StakeKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash StakePoolKey) Source #

Instance details

Methods

serialiseToRawBytes :: Hash StakePoolKey -> ByteString Source #

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

SerialiseAsRawBytes (Hash ScriptData) Source #

Instance details

Methods

serialiseToRawBytes :: Hash ScriptData -> ByteString Source #

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

SerialiseAsRawBytes (Hash StakePoolMetadata) Source #

Instance details

Defined in Cardano.Api.Internal.StakePoolMetadata

Methods

serialiseToRawBytes :: Hash StakePoolMetadata -> ByteString Source #

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

FromCBOR (Hash ByronKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash ByronKey) Source #

label :: Proxy (Hash ByronKey) -> Text Source #

FromCBOR (Hash ByronKeyLegacy) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash ByronKeyLegacy) Source #

label :: Proxy (Hash ByronKeyLegacy) -> Text Source #

FromCBOR (Hash KesKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash KesKey) Source #

label :: Proxy (Hash KesKey) -> Text Source #

FromCBOR (Hash VrfKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash VrfKey) Source #

label :: Proxy (Hash VrfKey) -> Text Source #

FromCBOR (Hash CommitteeColdExtendedKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash CommitteeColdExtendedKey) Source #

label :: Proxy (Hash CommitteeColdExtendedKey) -> Text Source #

FromCBOR (Hash CommitteeColdKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash CommitteeColdKey) Source #

label :: Proxy (Hash CommitteeColdKey) -> Text Source #

FromCBOR (Hash CommitteeHotExtendedKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash CommitteeHotExtendedKey) Source #

label :: Proxy (Hash CommitteeHotExtendedKey) -> Text Source #

FromCBOR (Hash CommitteeHotKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash CommitteeHotKey) Source #

label :: Proxy (Hash CommitteeHotKey) -> Text Source #

FromCBOR (Hash DRepExtendedKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash DRepExtendedKey) Source #

label :: Proxy (Hash DRepExtendedKey) -> Text Source #

FromCBOR (Hash DRepKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash DRepKey) Source #

label :: Proxy (Hash DRepKey) -> Text Source #

FromCBOR (Hash GenesisDelegateExtendedKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash GenesisDelegateExtendedKey) Source #

label :: Proxy (Hash GenesisDelegateExtendedKey) -> Text Source #

FromCBOR (Hash GenesisDelegateKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash GenesisDelegateKey) Source #

label :: Proxy (Hash GenesisDelegateKey) -> Text Source #

FromCBOR (Hash GenesisExtendedKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash GenesisExtendedKey) Source #

label :: Proxy (Hash GenesisExtendedKey) -> Text Source #

FromCBOR (Hash GenesisKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash GenesisKey) Source #

label :: Proxy (Hash GenesisKey) -> Text Source #

FromCBOR (Hash GenesisUTxOKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash GenesisUTxOKey) Source #

label :: Proxy (Hash GenesisUTxOKey) -> Text Source #

FromCBOR (Hash PaymentExtendedKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash PaymentExtendedKey) Source #

label :: Proxy (Hash PaymentExtendedKey) -> Text Source #

FromCBOR (Hash PaymentKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash PaymentKey) Source #

label :: Proxy (Hash PaymentKey) -> Text Source #

FromCBOR (Hash StakeExtendedKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash StakeExtendedKey) Source #

label :: Proxy (Hash StakeExtendedKey) -> Text Source #

FromCBOR (Hash StakeKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash StakeKey) Source #

label :: Proxy (Hash StakeKey) -> Text Source #

FromCBOR (Hash StakePoolKey) Source #

Instance details

Methods

fromCBOR :: Decoder s (Hash StakePoolKey) Source #

label :: Proxy (Hash StakePoolKey) -> Text Source #

ToCBOR (Hash ByronKey) Source #

Instance details

Methods

toCBOR :: Hash ByronKey -> Encoding Source #

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

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

ToCBOR (Hash ByronKeyLegacy) Source #

Instance details

Methods

toCBOR :: Hash ByronKeyLegacy -> Encoding Source #

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

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

ToCBOR (Hash KesKey) Source #

Instance details

Methods

toCBOR :: Hash KesKey -> Encoding Source #

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

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

ToCBOR (Hash VrfKey) Source #

Instance details

Methods

toCBOR :: Hash VrfKey -> Encoding Source #

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

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

ToCBOR (Hash CommitteeColdExtendedKey) Source #

Instance details

Methods

toCBOR :: Hash CommitteeColdExtendedKey -> Encoding Source #

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

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

ToCBOR (Hash CommitteeColdKey) Source #

Instance details

Methods

toCBOR :: Hash CommitteeColdKey -> Encoding Source #

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

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

ToCBOR (Hash CommitteeHotExtendedKey) Source #

Instance details

Methods

toCBOR :: Hash CommitteeHotExtendedKey -> Encoding Source #

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

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

ToCBOR (Hash CommitteeHotKey) Source #

Instance details

Methods

toCBOR :: Hash CommitteeHotKey -> Encoding Source #

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

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

ToCBOR (Hash DRepExtendedKey) Source #

Instance details

Methods

toCBOR :: Hash DRepExtendedKey -> Encoding Source #

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

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

ToCBOR (Hash DRepKey) Source #

Instance details

Methods

toCBOR :: Hash DRepKey -> Encoding Source #

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

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

ToCBOR (Hash GenesisDelegateExtendedKey) Source #

Instance details

Methods

toCBOR :: Hash GenesisDelegateExtendedKey -> Encoding Source #

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

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

ToCBOR (Hash GenesisDelegateKey) Source #

Instance details

Methods

toCBOR :: Hash GenesisDelegateKey -> Encoding Source #

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

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

ToCBOR (Hash GenesisExtendedKey) Source #

Instance details

Methods

toCBOR :: Hash GenesisExtendedKey -> Encoding Source #

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

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

ToCBOR (Hash GenesisKey) Source #

Instance details

Methods

toCBOR :: Hash GenesisKey -> Encoding Source #

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

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

ToCBOR (Hash GenesisUTxOKey) Source #

Instance details

Methods

toCBOR :: Hash GenesisUTxOKey -> Encoding Source #

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

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

ToCBOR (Hash PaymentExtendedKey) Source #

Instance details

Methods

toCBOR :: Hash PaymentExtendedKey -> Encoding Source #

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

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

ToCBOR (Hash PaymentKey) Source #

Instance details

Methods

toCBOR :: Hash PaymentKey -> Encoding Source #

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

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

ToCBOR (Hash StakeExtendedKey) Source #

Instance details

Methods

toCBOR :: Hash StakeExtendedKey -> Encoding Source #

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

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

ToCBOR (Hash StakeKey) Source #

Instance details

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 (Hash StakePoolKey) Source #

Instance details

Methods

toCBOR :: Hash StakePoolKey -> Encoding Source #

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

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

Eq (Hash BlockHeader) Source #

Instance details

Methods

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

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

Eq (Hash DRepMetadata) Source #

Instance details

Methods

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

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

Eq (Hash GovernancePoll) Source #

Instance details

Methods

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

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

Eq (Hash ByronKey) Source #

Instance details

Methods

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

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

Eq (Hash ByronKeyLegacy) Source #

Instance details

Methods

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

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

Eq (Hash KesKey) Source #

Instance details

Methods

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

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

Eq (Hash VrfKey) Source #

Instance details

Methods

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

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

Eq (Hash CommitteeColdExtendedKey) Source #

Instance details

Methods

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

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

Eq (Hash CommitteeColdKey) Source #

Instance details

Methods

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

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

Eq (Hash CommitteeHotExtendedKey) Source #

Instance details

Methods

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

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

Eq (Hash CommitteeHotKey) Source #

Instance details

Methods

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

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

Eq (Hash DRepExtendedKey) Source #

Instance details

Methods

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

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

Eq (Hash DRepKey) Source #

Instance details

Methods

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

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

Eq (Hash GenesisDelegateExtendedKey) Source #

Instance details

Methods

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

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

Eq (Hash GenesisDelegateKey) Source #

Instance details

Methods

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

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

Eq (Hash GenesisExtendedKey) Source #

Instance details

Methods

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

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

Eq (Hash GenesisKey) Source #

Instance details

Methods

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

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

Eq (Hash GenesisUTxOKey) Source #

Instance details

Methods

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

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

Eq (Hash PaymentExtendedKey) Source #

Instance details

Methods

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

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

Eq (Hash PaymentKey) Source #

Instance details

Methods

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

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

Eq (Hash StakeExtendedKey) Source #

Instance details

Methods

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

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

Eq (Hash StakeKey) Source #

Instance details

Methods

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

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

Eq (Hash StakePoolKey) Source #

Instance details

Methods

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

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

Eq (Hash ScriptData) Source #

Instance details

Methods

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

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

Eq (Hash StakePoolMetadata) Source #

Instance details

Defined in Cardano.Api.Internal.StakePoolMetadata

Methods

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

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

Ord (Hash BlockHeader) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash BlockHeader -> Hash BlockHeader -> Hash BlockHeader Source #

min :: Hash BlockHeader -> Hash BlockHeader -> Hash BlockHeader Source #

Ord (Hash GovernancePoll) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash GovernancePoll -> Hash GovernancePoll -> Hash GovernancePoll Source #

min :: Hash GovernancePoll -> Hash GovernancePoll -> Hash GovernancePoll Source #

Ord (Hash ByronKey) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash ByronKey -> Hash ByronKey -> Hash ByronKey Source #

min :: Hash ByronKey -> Hash ByronKey -> Hash ByronKey Source #

Ord (Hash ByronKeyLegacy) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash ByronKeyLegacy -> Hash ByronKeyLegacy -> Hash ByronKeyLegacy Source #

min :: Hash ByronKeyLegacy -> Hash ByronKeyLegacy -> Hash ByronKeyLegacy Source #

Ord (Hash KesKey) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash KesKey -> Hash KesKey -> Hash KesKey Source #

min :: Hash KesKey -> Hash KesKey -> Hash KesKey Source #

Ord (Hash VrfKey) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash VrfKey -> Hash VrfKey -> Hash VrfKey Source #

min :: Hash VrfKey -> Hash VrfKey -> Hash VrfKey Source #

Ord (Hash CommitteeColdExtendedKey) Source #

Instance details

Ord (Hash CommitteeColdKey) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash CommitteeColdKey -> Hash CommitteeColdKey -> Hash CommitteeColdKey Source #

min :: Hash CommitteeColdKey -> Hash CommitteeColdKey -> Hash CommitteeColdKey Source #

Ord (Hash CommitteeHotExtendedKey) Source #

Instance details

Ord (Hash CommitteeHotKey) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash CommitteeHotKey -> Hash CommitteeHotKey -> Hash CommitteeHotKey Source #

min :: Hash CommitteeHotKey -> Hash CommitteeHotKey -> Hash CommitteeHotKey Source #

Ord (Hash DRepExtendedKey) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash DRepExtendedKey -> Hash DRepExtendedKey -> Hash DRepExtendedKey Source #

min :: Hash DRepExtendedKey -> Hash DRepExtendedKey -> Hash DRepExtendedKey Source #

Ord (Hash DRepKey) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash DRepKey -> Hash DRepKey -> Hash DRepKey Source #

min :: Hash DRepKey -> Hash DRepKey -> Hash DRepKey Source #

Ord (Hash GenesisDelegateExtendedKey) Source #

Instance details

Ord (Hash GenesisDelegateKey) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash GenesisDelegateKey -> Hash GenesisDelegateKey -> Hash GenesisDelegateKey Source #

min :: Hash GenesisDelegateKey -> Hash GenesisDelegateKey -> Hash GenesisDelegateKey Source #

Ord (Hash GenesisExtendedKey) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash GenesisExtendedKey -> Hash GenesisExtendedKey -> Hash GenesisExtendedKey Source #

min :: Hash GenesisExtendedKey -> Hash GenesisExtendedKey -> Hash GenesisExtendedKey Source #

Ord (Hash GenesisKey) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash GenesisKey -> Hash GenesisKey -> Hash GenesisKey Source #

min :: Hash GenesisKey -> Hash GenesisKey -> Hash GenesisKey Source #

Ord (Hash GenesisUTxOKey) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash GenesisUTxOKey -> Hash GenesisUTxOKey -> Hash GenesisUTxOKey Source #

min :: Hash GenesisUTxOKey -> Hash GenesisUTxOKey -> Hash GenesisUTxOKey Source #

Ord (Hash PaymentExtendedKey) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash PaymentExtendedKey -> Hash PaymentExtendedKey -> Hash PaymentExtendedKey Source #

min :: Hash PaymentExtendedKey -> Hash PaymentExtendedKey -> Hash PaymentExtendedKey Source #

Ord (Hash PaymentKey) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash PaymentKey -> Hash PaymentKey -> Hash PaymentKey Source #

min :: Hash PaymentKey -> Hash PaymentKey -> Hash PaymentKey Source #

Ord (Hash StakeExtendedKey) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash StakeExtendedKey -> Hash StakeExtendedKey -> Hash StakeExtendedKey Source #

min :: Hash StakeExtendedKey -> Hash StakeExtendedKey -> Hash StakeExtendedKey Source #

Ord (Hash StakeKey) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash StakeKey -> Hash StakeKey -> Hash StakeKey Source #

min :: Hash StakeKey -> Hash StakeKey -> Hash StakeKey Source #

Ord (Hash StakePoolKey) Source #

Instance details

Methods

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

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

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

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

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

max :: Hash StakePoolKey -> Hash StakePoolKey -> Hash StakePoolKey Source #

min :: Hash StakePoolKey -> Hash StakePoolKey -> Hash StakePoolKey Source #

Ord (Hash ScriptData) Source #

Instance details

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 #

newtype Hash BlockHeader Source #

For now at least we use a fixed concrete hash type for all modes and era. The different eras do use different types, but it's all the same underlying representation.

Instance details

newtype Hash BlockHeader = HeaderHash ShortByteString

newtype Hash DRepMetadata Source #

Instance details

newtype Hash DRepMetadata = DRepMetadataHash (Hash StandardCrypto ByteString)

newtype Hash GovernancePoll Source #

Instance details