cardano-api:internal
Safe HaskellNone
LanguageHaskell2010

Cardano.Api.Script

Synopsis

Languages

data PlutusScriptV1 Source #

The original simple script language which supports

  • require a signature from a given key (by verification key hash)
  • n-way and combinator
  • n-way or combinator
  • m-of-n combinator

This version of the language was introduced in the ShelleyEra.

The second version of the simple script language. It has all the features of the original simple script language plus new atomic predicates:

  • require the time be before a given slot number
  • require the time be after a given slot number

This version of the language was introduced in the AllegraEra.

However we opt for a single type level tag SimpleScript' as the second version of of the language introduced in the Allegra era is a superset of the language introduced in the Shelley era.

Place holder type to show what the pattern is to extend to multiple languages, not just multiple versions of a single language.

Instances

Instances details
HasTypeProxy PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType PlutusScriptV1 
Instance details

Defined in Cardano.Api.Script

IsPlutusScriptLanguage PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Script

IsScriptLanguage PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Script

HasScriptLanguageInEra PlutusScriptV1 AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Script

HasScriptLanguageInEra PlutusScriptV1 BabbageEra Source # 
Instance details

Defined in Cardano.Api.Script

HasScriptLanguageInEra PlutusScriptV1 ConwayEra Source # 
Instance details

Defined in Cardano.Api.Script

ToAlonzoScript PlutusScriptV1 BabbageEra Source # 
Instance details

Defined in Cardano.Api.Script

ToAlonzoScript PlutusScriptV1 ConwayEra Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Script

data PlutusScriptV2 Source #

Instances

Instances details
HasTypeProxy PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType PlutusScriptV2 
Instance details

Defined in Cardano.Api.Script

IsPlutusScriptLanguage PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Script

IsScriptLanguage PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Script

HasScriptLanguageInEra PlutusScriptV2 BabbageEra Source # 
Instance details

Defined in Cardano.Api.Script

HasScriptLanguageInEra PlutusScriptV2 ConwayEra Source # 
Instance details

Defined in Cardano.Api.Script

ToAlonzoScript PlutusScriptV2 BabbageEra Source # 
Instance details

Defined in Cardano.Api.Script

ToAlonzoScript PlutusScriptV2 ConwayEra Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Script

data ScriptLanguage lang where Source #

Instances

Instances details
TestEquality ScriptLanguage Source # 
Instance details

Defined in Cardano.Api.Script

Show (ScriptLanguage lang) Source # 
Instance details

Defined in Cardano.Api.Script

Eq (ScriptLanguage lang) Source # 
Instance details

Defined in Cardano.Api.Script

data AnyScriptLanguage where Source #

Constructors

AnyScriptLanguage :: forall lang. ScriptLanguage lang -> AnyScriptLanguage 

Instances

Instances details
Bounded AnyScriptLanguage Source # 
Instance details

Defined in Cardano.Api.Script

Enum AnyScriptLanguage Source # 
Instance details

Defined in Cardano.Api.Script

Show AnyScriptLanguage Source # 
Instance details

Defined in Cardano.Api.Script

Eq AnyScriptLanguage Source # 
Instance details

Defined in Cardano.Api.Script

Ord AnyScriptLanguage Source # 
Instance details

Defined in Cardano.Api.Script

data AnyPlutusScriptVersion where Source #

Instances

Instances details
FromJSON AnyPlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

FromJSONKey AnyPlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

Methods

fromJSONKey :: FromJSONKeyFunction AnyPlutusScriptVersion

fromJSONKeyList :: FromJSONKeyFunction [AnyPlutusScriptVersion]

ToJSON AnyPlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

ToJSONKey AnyPlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

Methods

toJSONKey :: ToJSONKeyFunction AnyPlutusScriptVersion

toJSONKeyList :: ToJSONKeyFunction [AnyPlutusScriptVersion]

Bounded AnyPlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

Enum AnyPlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

Show AnyPlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

FromCBOR AnyPlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

ToCBOR AnyPlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

Eq AnyPlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

Ord AnyPlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

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. !(PlutusScriptVersion lang) -> !(PlutusScript lang) -> Script lang 

Instances

Instances details
Show (Script lang) Source # 
Instance details

Defined in Cardano.Api.Script

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

Defined in Cardano.Api.Script

Associated Types

data AsType (Script lang) 
Instance details

Defined in Cardano.Api.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

Defined in Cardano.Api.Script

IsScriptLanguage lang => HasTextEnvelope (Script lang) Source # 
Instance details

Defined in Cardano.Api.Script

Eq (Script lang) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

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

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

data AsType (Script lang) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (Script lang) = AsScript (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 

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.

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

Defined in Cardano.Api.Script

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

Defined in Cardano.Api.Script

Associated Types

data AsType (ScriptInEra era) 
Instance details

Defined in Cardano.Api.Script

Eq (ScriptInEra era) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

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

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

data AsType (ScriptInEra era) Source # 
Instance details

Defined in Cardano.Api.Script

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.

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.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.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.Script

Eq (ReferenceScript era) Source # 
Instance details

Defined in Cardano.Api.Script

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.Script

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.Script

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.Script

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.

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.

Instances

Instances details
Show (ScriptWitness witctx era) Source # 
Instance details

Defined in Cardano.Api.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.Script

Methods

(==) :: ScriptWitness witctx era -> ScriptWitness witctx era -> Bool Source #

(/=) :: ScriptWitness witctx era -> ScriptWitness witctx era -> Bool Source #

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.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.Script

Methods

(==) :: Witness witctx era -> Witness witctx era -> Bool Source #

(/=) :: Witness witctx era -> Witness witctx era -> Bool Source #

data KeyWitnessInCtx witctx where Source #

Instances

Instances details
Show (KeyWitnessInCtx witctx) Source # 
Instance details

Defined in Cardano.Api.Script

Eq (KeyWitnessInCtx witctx) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

(==) :: KeyWitnessInCtx witctx -> KeyWitnessInCtx witctx -> Bool Source #

(/=) :: KeyWitnessInCtx witctx -> KeyWitnessInCtx witctx -> Bool Source #

data ScriptDatum witctx where Source #

Instances

Instances details
Show (ScriptDatum witctx) Source # 
Instance details

Defined in Cardano.Api.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.Script

Methods

(==) :: ScriptDatum witctx -> ScriptDatum witctx -> Bool Source #

(/=) :: ScriptDatum witctx -> ScriptDatum witctx -> Bool Source #

Languages supported in each era

data ScriptLanguageInEra lang era where Source #

Instances

Instances details
ToJSON (ScriptLanguageInEra lang era) Source # 
Instance details

Defined in Cardano.Api.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.Script

Eq (ScriptLanguageInEra lang era) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

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

(/=) :: ScriptLanguageInEra lang era -> ScriptLanguageInEra lang era -> Bool 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.

The simple script language

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

Defined in Cardano.Api.Script

HasTypeProxy lang => HasTypeProxy (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType (PlutusScript lang) 
Instance details

Defined in Cardano.Api.Script

HasTypeProxy lang => SerialiseAsCBOR (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

HasTypeProxy lang => SerialiseAsRawBytes (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

IsPlutusScriptLanguage lang => HasTextEnvelope (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

HasTypeProxy lang => FromCBOR (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

HasTypeProxy lang => ToCBOR (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

toCBOR :: PlutusScript lang -> Encoding Source #

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

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

Eq (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

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

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

Ord (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

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 (Maybe ScriptHash)

Needed to construct the redeemer pointer map in the case of minting reference scripts where we don't have direct access to the script

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

ScriptDataMap [(ScriptData, ScriptData)]

Key value pairs

ScriptDataList [ScriptData]

Elements

ScriptDataNumber Integer 
ScriptDataBytes ByteString 

Instances

Instances details
Show ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

HasTypeProxy ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

Associated Types

data AsType ScriptData 
Instance details

Defined in Cardano.Api.ScriptData

SerialiseAsCBOR ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

FromCBOR ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

ToCBOR ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

Eq ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

Ord ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

FromJSON (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Methods

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

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

omittedField :: Maybe (Hash ScriptData) #

FromJSONKey (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Methods

fromJSONKey :: FromJSONKeyFunction (Hash ScriptData)

fromJSONKeyList :: FromJSONKeyFunction [Hash ScriptData]

ToJSON (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Methods

toJSON :: Hash ScriptData -> Value #

toEncoding :: Hash ScriptData -> Encoding #

toJSONList :: [Hash ScriptData] -> Value #

toEncodingList :: [Hash ScriptData] -> Encoding #

omitField :: Hash ScriptData -> Bool #

ToJSONKey (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Methods

toJSONKey :: ToJSONKeyFunction (Hash ScriptData)

toJSONKeyList :: ToJSONKeyFunction [Hash ScriptData]

IsString (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Show (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

SerialiseAsRawBytes (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Eq (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Ord (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

data AsType ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

newtype Hash ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

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

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.

Instances

Instances details
FromJSON ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

Methods

parseJSON :: Value -> Parser ScriptHash #

parseJSONList :: Value -> Parser [ScriptHash] #

omittedField :: Maybe ScriptHash #

ToJSON ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

Methods

toJSON :: ScriptHash -> Value #

toEncoding :: ScriptHash -> Encoding #

toJSONList :: [ScriptHash] -> Value #

toEncodingList :: [ScriptHash] -> Encoding #

omitField :: ScriptHash -> Bool #

IsString ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

Show ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

HasTypeProxy ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType ScriptHash 
Instance details

Defined in Cardano.Api.Script

SerialiseAsRawBytes ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

Eq ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

Ord ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

data AsType ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

Internal conversion functions

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.

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

Data family instances

data family AsType t Source #

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

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

Instances

Instances details
data AsType AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ByronAddr Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ShelleyAddr Source # 
Instance details

Defined in Cardano.Api.Address

data AsType StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

data AsType BlockHeader Source # 
Instance details

Defined in Cardano.Api.Block

data AsType DRepMetadata Source # 
Instance details

Defined in Cardano.Api.DRepMetadata

data AsType AllegraEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType BabbageEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ByronEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType MaryEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType GovernancePoll Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

data AsType GovernancePollAnswer Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

data AsType ByronKey Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

data AsType ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

data AsType KesKey Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

data AsType VrfKey Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

data AsType CommitteeColdExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeColdKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeHotExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeHotKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType DRepExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType DRepKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType PaymentKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

data AsType OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

data AsType PraosNonce Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType UpdateProposal Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV3 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

data AsType ScriptInAnyLang Source # 
Instance details

Defined in Cardano.Api.Script

data AsType SimpleScript' Source # 
Instance details

Defined in Cardano.Api.Script

data AsType HashableScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

data AsType ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

data AsType TextEnvelope Source # 
Instance details

Defined in Cardano.Api.SerialiseTextEnvelope

data AsType ByronUpdateProposal Source # 
Instance details

Defined in Cardano.Api.SpecialByron

data AsType ByronVote Source # 
Instance details

Defined in Cardano.Api.SpecialByron

data AsType StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

data AsType TxId Source # 
Instance details

Defined in Cardano.Api.TxIn

data AsType TxMetadata Source # 
Instance details

Defined in Cardano.Api.TxMetadata

data AsType AssetName Source # 
Instance details

Defined in Cardano.Api.Value

data AsType PolicyId Source # 
Instance details

Defined in Cardano.Api.Value

data AsType (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

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

Defined in Cardano.Api.Address

data AsType (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

data AsType (Proposal era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.ProposalProcedure

data AsType (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.VotingProcedure

data AsType (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.VotingProcedure

data AsType (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

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

Defined in Cardano.Api.Keys.Class

data AsType (VerificationKey a) Source # 
Instance details

Defined in Cardano.Api.Keys.Class

data AsType (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (Script lang) Source # 
Instance details

Defined in Cardano.Api.Script

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

Defined in Cardano.Api.Script

data AsType (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Tx.Sign

data AsType (Tx era) Source # 
Instance details

Defined in Cardano.Api.Tx.Sign

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

Defined in Cardano.Api.Tx.Sign

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

data family Hash keyrole Source #

Instances

Instances details
FromJSON (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

Methods

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

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

omittedField :: Maybe (Hash BlockHeader) #

FromJSON (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Methods

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

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

omittedField :: Maybe (Hash DRepKey) #

FromJSON (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Methods

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

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

omittedField :: Maybe (Hash GenesisKey) #

FromJSON (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Methods

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

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

omittedField :: Maybe (Hash PaymentKey) #

FromJSON (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Methods

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

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

omittedField :: Maybe (Hash StakePoolKey) #

FromJSON (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Methods

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

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

omittedField :: Maybe (Hash ScriptData) #

FromJSONKey (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Methods

fromJSONKey :: FromJSONKeyFunction (Hash ScriptData)

fromJSONKeyList :: FromJSONKeyFunction [Hash ScriptData]

ToJSON (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

ToJSON (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

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

Defined in Cardano.Api.Keys.Shelley

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

Defined in Cardano.Api.Keys.Shelley

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

Defined in Cardano.Api.Keys.Shelley

ToJSON (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Methods

toJSON :: Hash ScriptData -> Value #

toEncoding :: Hash ScriptData -> Encoding #

toJSONList :: [Hash ScriptData] -> Value #

toEncodingList :: [Hash ScriptData] -> Encoding #

omitField :: Hash ScriptData -> Bool #

ToJSONKey (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Methods

toJSONKey :: ToJSONKeyFunction (Hash DRepKey)

toJSONKeyList :: ToJSONKeyFunction [Hash DRepKey]

ToJSONKey (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Methods

toJSONKey :: ToJSONKeyFunction (Hash GenesisKey)

toJSONKeyList :: ToJSONKeyFunction [Hash GenesisKey]

ToJSONKey (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Methods

toJSONKey :: ToJSONKeyFunction (Hash PaymentKey)

toJSONKeyList :: ToJSONKeyFunction [Hash PaymentKey]

ToJSONKey (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Methods

toJSONKey :: ToJSONKeyFunction (Hash StakePoolKey)

toJSONKeyList :: ToJSONKeyFunction [Hash StakePoolKey]

ToJSONKey (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Methods

toJSONKey :: ToJSONKeyFunction (Hash ScriptData)

toJSONKeyList :: ToJSONKeyFunction [Hash ScriptData]

IsString (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

IsString (Hash GovernancePoll) Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

IsString (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

IsString (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

IsString (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

IsString (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

IsString (Hash CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

IsString (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Show (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

Show (Hash DRepMetadata) Source # 
Instance details

Defined in Cardano.Api.DRepMetadata

Show (Hash GovernancePoll) Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

Show (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

Show (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

Show (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

Show (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

Show (Hash CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Show (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Show (Hash StakePoolMetadata) Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

HasTypeProxy a => HasTypeProxy (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

Associated Types

data AsType (Hash a) 
Instance details

Defined in Cardano.Api.Hash

data AsType (Hash a) = AsHash (AsType a)

Methods

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

SerialiseAsBech32 (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsBech32 (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsBech32 (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsBech32 (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

SerialiseAsCBOR (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

SerialiseAsCBOR (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

SerialiseAsCBOR (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

SerialiseAsCBOR (Hash CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsCBOR (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

SerialiseAsRawBytes (Hash DRepMetadata) Source # 
Instance details

Defined in Cardano.Api.DRepMetadata

SerialiseAsRawBytes (Hash GovernancePoll) Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

SerialiseAsRawBytes (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

SerialiseAsRawBytes (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

SerialiseAsRawBytes (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

SerialiseAsRawBytes (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

SerialiseAsRawBytes (Hash CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

SerialiseAsRawBytes (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

SerialiseAsRawBytes (Hash StakePoolMetadata) Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

FromCBOR (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

FromCBOR (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

FromCBOR (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

FromCBOR (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

FromCBOR (Hash CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

FromCBOR (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

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

Defined in Cardano.Api.Keys.Byron

ToCBOR (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

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

Defined in Cardano.Api.Keys.Praos

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

Defined in Cardano.Api.Keys.Shelley

ToCBOR (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

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

Defined in Cardano.Api.Keys.Shelley

ToCBOR (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

ToCBOR (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Methods

toCBOR :: Hash StakeKey -> Encoding Source #

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

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

ToCBOR (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

Eq (Hash DRepMetadata) Source # 
Instance details

Defined in Cardano.Api.DRepMetadata

Eq (Hash GovernancePoll) Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

Eq (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

Eq (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

Eq (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

Eq (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

Eq (Hash CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Eq (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Eq (Hash StakePoolMetadata) Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

Ord (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

Ord (Hash GovernancePoll) Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

Ord (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

Ord (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

Ord (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

Ord (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

Ord (Hash CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Ord (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

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

Defined in Cardano.Api.Block

newtype Hash DRepMetadata Source # 
Instance details

Defined in Cardano.Api.DRepMetadata

newtype Hash GovernancePoll Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

newtype Hash ByronKey Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

newtype Hash ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

newtype Hash KesKey Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

newtype Hash VrfKey Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

newtype Hash CommitteeColdExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash CommitteeColdKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash CommitteeHotExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash CommitteeHotKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash DRepExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash DRepKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash GenesisKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash PaymentKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

newtype Hash ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

newtype Hash StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

data AsType (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

data AsType (Hash a) = AsHash (AsType a)