cardano-api-1.30.0
Safe HaskellNone
LanguageHaskell2010

Cardano.Api.Script

Synopsis

Languages

data SimpleScriptV1 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.

data SimpleScriptV2 Source #

The second version of the simple script language. It has all the features of SimpleScriptV1 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.

data PlutusScriptV1 Source #

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

data ScriptLanguage lang where Source #

Instances

Instances details
Eq (ScriptLanguage lang) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

(==)ScriptLanguage lang → ScriptLanguage lang → Bool Source #

(/=)ScriptLanguage lang → ScriptLanguage lang → Bool Source #

Show (ScriptLanguage lang) Source # 
Instance details

Defined in Cardano.Api.Script

TestEquality ScriptLanguage Source # 
Instance details

Defined in Cardano.Api.Script

Methods

testEquality ∷ ∀ (a ∷ k) (b ∷ k). ScriptLanguage a → ScriptLanguage b → Maybe (a :~: b) Source #

data SimpleScriptVersion lang where Source #

Instances

Instances details
Eq (SimpleScriptVersion lang) Source # 
Instance details

Defined in Cardano.Api.Script

Show (SimpleScriptVersion lang) Source # 
Instance details

Defined in Cardano.Api.Script

TestEquality SimpleScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

Methods

testEquality ∷ ∀ (a ∷ k) (b ∷ k). SimpleScriptVersion a → SimpleScriptVersion b → Maybe (a :~: b) Source #

data PlutusScriptVersion lang where Source #

Instances

Instances details
Eq (PlutusScriptVersion lang) Source # 
Instance details

Defined in Cardano.Api.Script

Show (PlutusScriptVersion lang) Source # 
Instance details

Defined in Cardano.Api.Script

TestEquality PlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

Methods

testEquality ∷ ∀ (a ∷ k) (b ∷ k). PlutusScriptVersion a → PlutusScriptVersion b → Maybe (a :~: b) Source #

data AnyScriptLanguage where Source #

Instances

Instances details
Bounded AnyScriptLanguage Source # 
Instance details

Defined in Cardano.Api.Script

Enum 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

Show AnyScriptLanguage Source # 
Instance details

Defined in Cardano.Api.Script

data AnyPlutusScriptVersion where Source #

Instances

Instances details
Bounded AnyPlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

Enum 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

Show AnyPlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

FromJSON AnyPlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

Methods

parseJSON ∷ Value → Parser AnyPlutusScriptVersion #

parseJSONList ∷ Value → Parser [AnyPlutusScriptVersion] #

ToJSON 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

Methods

toCBORAnyPlutusScriptVersion → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy AnyPlutusScriptVersion → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AnyPlutusScriptVersion] → Size #

FromJSONKey AnyPlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

Methods

fromJSONKey ∷ FromJSONKeyFunction AnyPlutusScriptVersion

fromJSONKeyList ∷ FromJSONKeyFunction [AnyPlutusScriptVersion]

ToJSONKey AnyPlutusScriptVersion Source # 
Instance details

Defined in Cardano.Api.Script

Methods

toJSONKey ∷ ToJSONKeyFunction AnyPlutusScriptVersion

toJSONKeyList ∷ ToJSONKeyFunction [AnyPlutusScriptVersion]

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 ∷ !(SimpleScriptVersion lang) → !(SimpleScript lang) → Script lang 
PlutusScript ∷ !(PlutusScriptVersion lang) → !(PlutusScript lang) → Script lang 

Instances

Instances details
Eq (Script lang) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

(==)Script lang → Script lang → Bool Source #

(/=)Script lang → Script lang → Bool Source #

Show (Script lang) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

showsPrecIntScript lang → ShowS Source #

showScript 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) Source #

Methods

proxyToAsTypeProxy (Script lang) → AsType (Script lang) Source #

IsScriptLanguage lang ⇒ SerialiseAsCBOR (Script lang) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

serialiseToCBORScript lang → ByteString Source #

deserialiseFromCBORAsType (Script lang) → ByteStringEither DecoderError (Script lang) Source #

IsScriptLanguage lang ⇒ HasTextEnvelope (Script 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)

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

ScriptInAnyLangScriptLanguage lang → Script lang → ScriptInAnyLang 

toScriptInAnyLangScript 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

ScriptInEraScriptLanguageInEra lang era → Script lang → ScriptInEra era 

Instances

Instances details
Eq (ScriptInEra era) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

(==)ScriptInEra era → ScriptInEra era → Bool Source #

(/=)ScriptInEra era → ScriptInEra era → Bool Source #

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) Source #

data AsType (ScriptInEra era) Source # 
Instance details

Defined in Cardano.Api.Script

toScriptInEraCardanoEra era → ScriptInAnyLangMaybe (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.

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.

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.

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 both certificates and withdrawals.

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.

Constructors

SimpleScriptWitnessScriptLanguageInEra lang era → SimpleScriptVersion lang → SimpleScript lang → ScriptWitness witctx era 
PlutusScriptWitnessScriptLanguageInEra lang era → PlutusScriptVersion lang → PlutusScript lang → ScriptDatum witctx → ScriptRedeemerExecutionUnitsScriptWitness witctx era 

Instances

Instances details
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 #

Show (ScriptWitness witctx era) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

showsPrecIntScriptWitness witctx era → ShowS Source #

showScriptWitness witctx era → String Source #

showList ∷ [ScriptWitness witctx era] → ShowS Source #

data Witness witctx era where Source #

Constructors

KeyWitnessKeyWitnessInCtx witctx → Witness witctx era 
ScriptWitnessScriptWitnessInCtx witctx → ScriptWitness witctx era → Witness witctx era 

Instances

Instances details
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 #

Show (Witness witctx era) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

showsPrecIntWitness witctx era → ShowS Source #

showWitness witctx era → String Source #

showList ∷ [Witness witctx era] → ShowS Source #

data KeyWitnessInCtx witctx where Source #

Instances

Instances details
Eq (KeyWitnessInCtx witctx) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

(==)KeyWitnessInCtx witctx → KeyWitnessInCtx witctx → Bool Source #

(/=)KeyWitnessInCtx witctx → KeyWitnessInCtx witctx → Bool Source #

Show (KeyWitnessInCtx witctx) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

showsPrecIntKeyWitnessInCtx witctx → ShowS Source #

showKeyWitnessInCtx witctx → String Source #

showList ∷ [KeyWitnessInCtx witctx] → ShowS Source #

data ScriptDatum witctx where Source #

Instances

Instances details
Eq (ScriptDatum witctx) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

(==)ScriptDatum witctx → ScriptDatum witctx → Bool Source #

(/=)ScriptDatum witctx → ScriptDatum witctx → Bool Source #

Show (ScriptDatum witctx) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

showsPrecIntScriptDatum witctx → ShowS Source #

showScriptDatum witctx → String Source #

showList ∷ [ScriptDatum witctx] → ShowS Source #

Languages supported in each era

scriptLanguageSupportedInEraCardanoEra 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

data SimpleScript lang where Source #

Constructors

RequireSignature ∷ !(Hash PaymentKey) → SimpleScript lang 
RequireTimeBefore ∷ !(TimeLocksSupported lang) → !SlotNoSimpleScript lang 
RequireTimeAfter ∷ !(TimeLocksSupported lang) → !SlotNoSimpleScript lang 
RequireAllOf ∷ [SimpleScript lang] → SimpleScript lang 
RequireAnyOf ∷ [SimpleScript lang] → SimpleScript lang 
RequireMOfInt → [SimpleScript lang] → SimpleScript lang 

Instances

Instances details
Eq (SimpleScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

(==)SimpleScript lang → SimpleScript lang → Bool Source #

(/=)SimpleScript lang → SimpleScript lang → Bool Source #

Show (SimpleScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

showsPrecIntSimpleScript lang → ShowS Source #

showSimpleScript lang → String Source #

showList ∷ [SimpleScript lang] → ShowS Source #

IsSimpleScriptLanguage lang ⇒ FromJSON (SimpleScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

parseJSON ∷ Value → Parser (SimpleScript lang) #

parseJSONList ∷ Value → Parser [SimpleScript lang] #

ToJSON (SimpleScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

toJSONSimpleScript lang → Value #

toEncodingSimpleScript lang → Encoding #

toJSONList ∷ [SimpleScript lang] → Value #

toEncodingList ∷ [SimpleScript lang] → Encoding #

HasTypeProxy lang ⇒ HasTypeProxy (SimpleScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType (SimpleScript lang) Source #

data AsType (SimpleScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

data TimeLocksSupported lang where Source #

Time lock feature in the SimpleScript language.

The constructors of this type serve as evidence that the timelocks feature is supported in particular versions of the language.

Instances

Instances details
Eq (TimeLocksSupported lang) Source # 
Instance details

Defined in Cardano.Api.Script

Show (TimeLocksSupported lang) Source # 
Instance details

Defined in Cardano.Api.Script

adjustSimpleScriptVersionSimpleScriptVersion lang' → SimpleScript lang → Maybe (SimpleScript lang') Source #

Try converting the SimpleScript into a different version of the language.

This will work when the script only uses the features of the target language version. For example converting from SimpleScriptV2 to SimpleScriptV1 will work if the script happens not to use time locks feature. On the other hand converting SimpleScriptV1 to SimpleScriptV2 will always work because it is backwards compatible.

The Plutus script language

data PlutusScript lang where Source #

Plutus scripts.

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

Instances

Instances details
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

Methods

comparePlutusScript 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 #

maxPlutusScript lang → PlutusScript lang → PlutusScript lang Source #

minPlutusScript lang → PlutusScript lang → PlutusScript lang Source #

Show (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

showsPrecIntPlutusScript lang → ShowS Source #

showPlutusScript lang → String Source #

showList ∷ [PlutusScript lang] → ShowS Source #

(Typeable lang, HasTypeProxy lang) ⇒ FromCBOR (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

fromCBOR ∷ Decoder s (PlutusScript lang) #

labelProxy (PlutusScript lang) → Text #

(Typeable lang, HasTypeProxy lang) ⇒ ToCBOR (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

Methods

toCBORPlutusScript lang → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PlutusScript lang) → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PlutusScript lang] → Size #

HasTypeProxy lang ⇒ HasTypeProxy (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType (PlutusScript lang) Source #

(HasTypeProxy lang, Typeable 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, Typeable lang) ⇒ HasTextEnvelope (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

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

examplePlutusScriptAlwaysFailsWitCtx 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 #

Instances

Instances details
Eq ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

Ord ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

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 Source #

Eq (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Ord (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Show (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

IsString (Hash 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] #

ToJSON (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Methods

toJSONHash ScriptData → Value #

toEncodingHash ScriptData → Encoding #

toJSONList ∷ [Hash ScriptData] → Value #

toEncodingList ∷ [Hash ScriptData] → Encoding #

FromJSONKey (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Methods

fromJSONKey ∷ FromJSONKeyFunction (Hash ScriptData)

fromJSONKeyList ∷ FromJSONKeyFunction [Hash ScriptData]

ToJSONKey (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Methods

toJSONKey ∷ ToJSONKeyFunction (Hash ScriptData)

toJSONKeyList ∷ ToJSONKeyFunction [Hash ScriptData]

SerialiseAsRawBytes (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

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

Instances

Instances details
Eq ExecutionUnits Source # 
Instance details

Defined in Cardano.Api.Script

Show ExecutionUnits Source # 
Instance details

Defined in Cardano.Api.Script

FromJSON ExecutionUnits Source # 
Instance details

Defined in Cardano.Api.Script

Methods

parseJSON ∷ Value → Parser ExecutionUnits #

parseJSONList ∷ Value → Parser [ExecutionUnits] #

ToJSON ExecutionUnits Source # 
Instance details

Defined in Cardano.Api.Script

Methods

toJSONExecutionUnits → Value #

toEncodingExecutionUnits → Encoding #

toJSONList ∷ [ExecutionUnits] → Value #

toEncodingList ∷ [ExecutionUnits] → Encoding #

FromCBOR ExecutionUnits Source # 
Instance details

Defined in Cardano.Api.Script

Methods

fromCBOR ∷ Decoder s ExecutionUnits #

labelProxy ExecutionUnitsText #

ToCBOR ExecutionUnits Source # 
Instance details

Defined in Cardano.Api.Script

Methods

toCBORExecutionUnits → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ExecutionUnits → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ExecutionUnits] → Size #

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
Eq ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

Ord ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

Show ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

IsString ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

FromJSON ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

Methods

parseJSON ∷ Value → Parser ScriptHash #

parseJSONList ∷ Value → Parser [ScriptHash] #

ToJSON ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

Methods

toJSONScriptHash → Value #

toEncodingScriptHash → Encoding #

toJSONList ∷ [ScriptHash] → Value #

toEncodingList ∷ [ScriptHash] → Encoding #

HasTypeProxy ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType ScriptHash Source #

SerialiseAsRawBytes ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

data AsType ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

Internal conversion functions

toShelleyMultiSigSimpleScript SimpleScriptV1 → MultiSig StandardCrypto Source #

Conversion for the MultiSig language used by the Shelley era.

fromShelleyMultiSig ∷ MultiSig StandardCrypto → SimpleScript lang Source #

Conversion for the MultiSig language used by the Shelley era.

toAllegraTimelock ∷ ∀ lang. SimpleScript lang → Timelock StandardCrypto Source #

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

fromAllegraTimelockTimeLocksSupported lang → Timelock StandardCrypto → SimpleScript lang Source #

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

toShelleyScriptHashScriptHash → ScriptHash StandardCrypto Source #

fromShelleyScriptHash ∷ ScriptHash StandardCrypto → ScriptHash Source #

toAlonzoDataScriptData → Data ledgerera Source #

fromAlonzoData ∷ Data ledgerera → ScriptData 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 AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eras

data AsType MaryEra Source # 
Instance details

Defined in Cardano.Api.Eras

data AsType AllegraEra Source # 
Instance details

Defined in Cardano.Api.Eras

data AsType ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Eras

data AsType ByronEra Source # 
Instance details

Defined in Cardano.Api.Eras

data AsType TextEnvelope Source # 
Instance details

Defined in Cardano.Api.SerialiseTextEnvelope

data AsType TxMetadata Source # 
Instance details

Defined in Cardano.Api.TxMetadata

data AsType StakePoolKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

data AsType GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

data AsType GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

data AsType GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

data AsType GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

data AsType GenesisKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

data AsType StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

data AsType StakeKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

data AsType PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

data AsType PaymentKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

data AsType ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

data AsType ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

data AsType ScriptInAnyLang Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType SimpleScriptV2 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType SimpleScriptV1 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.KeysByron

data AsType ByronKey Source # 
Instance details

Defined in Cardano.Api.KeysByron

data AsType ByronVote Source # 
Instance details

Defined in Cardano.Api.SpecialByron

data AsType ByronUpdateProposal Source # 
Instance details

Defined in Cardano.Api.SpecialByron

data AsType VrfKey Source # 
Instance details

Defined in Cardano.Api.KeysPraos

data AsType KesKey Source # 
Instance details

Defined in Cardano.Api.KeysPraos

data AsType StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

data AsType StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

data AsType AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ShelleyAddr Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ByronAddr Source # 
Instance details

Defined in Cardano.Api.Address

data AsType AssetName Source # 
Instance details

Defined in Cardano.Api.Value

data AsType PolicyId Source # 
Instance details

Defined in Cardano.Api.Value

data AsType UpdateProposal Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType PraosNonce Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType Certificate Source # 
Instance details

Defined in Cardano.Api.Certificate

data AsType TxId Source # 
Instance details

Defined in Cardano.Api.TxBody

data AsType OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

data AsType OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

data AsType BlockHeader Source # 
Instance details

Defined in Cardano.Api.Block

data AsType (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

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

Defined in Cardano.Api.Key

data AsType (SigningKey a) Source # 
Instance details

Defined in Cardano.Api.Key

data AsType (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (SimpleScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (ScriptInEra era) 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 (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

data AsType (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

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

Defined in Cardano.Api.TxBody

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

Defined in Cardano.Api.Tx

data AsType (Tx era) Source # 
Instance details

Defined in Cardano.Api.Tx

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

data family Hash keyrole ∷ Type Source #

Instances

Instances details
Eq (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Eq (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Eq (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Eq (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Eq (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Eq (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Eq (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Eq (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Eq (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Eq (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Eq (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Eq (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.KeysByron

Eq (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.KeysByron

Eq (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.KeysPraos

Eq (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.KeysPraos

Eq (Hash StakePoolMetadata) Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

Eq (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

Ord (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Ord (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Ord (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Ord (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Ord (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Ord (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Ord (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Ord (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Ord (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Ord (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Ord (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Ord (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.KeysByron

Ord (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.KeysByron

Ord (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.KeysPraos

Ord (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.KeysPraos

Ord (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

Show (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Show (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Show (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Show (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Show (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Show (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Show (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Show (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Show (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Show (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Show (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Show (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.KeysByron

Show (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.KeysByron

Show (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.KeysPraos

Show (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.KeysPraos

Show (Hash StakePoolMetadata) Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

Show (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

IsString (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

IsString (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

IsString (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

IsString (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

IsString (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

IsString (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

IsString (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

IsString (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

IsString (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

IsString (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

IsString (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

IsString (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.KeysByron

IsString (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.KeysByron

IsString (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.KeysPraos

IsString (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.KeysPraos

FromJSON (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Methods

parseJSON ∷ Value → Parser (Hash ScriptData) #

parseJSONList ∷ Value → Parser [Hash ScriptData] #

ToJSON (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Methods

toJSONHash StakePoolKey → Value #

toEncodingHash StakePoolKey → Encoding #

toJSONList ∷ [Hash StakePoolKey] → Value #

toEncodingList ∷ [Hash StakePoolKey] → Encoding #

ToJSON (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Methods

toJSONHash ScriptData → Value #

toEncodingHash ScriptData → Encoding #

toJSONList ∷ [Hash ScriptData] → Value #

toEncodingList ∷ [Hash ScriptData] → Encoding #

FromCBOR (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Methods

fromCBOR ∷ Decoder s (Hash StakePoolKey) #

labelProxy (Hash StakePoolKey) → Text #

FromCBOR (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Methods

fromCBOR ∷ Decoder s (Hash GenesisUTxOKey) #

labelProxy (Hash GenesisUTxOKey) → Text #

FromCBOR (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

FromCBOR (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

FromCBOR (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

FromCBOR (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Methods

fromCBOR ∷ Decoder s (Hash GenesisKey) #

labelProxy (Hash GenesisKey) → Text #

FromCBOR (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

FromCBOR (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Methods

fromCBOR ∷ Decoder s (Hash StakeKey) #

labelProxy (Hash StakeKey) → Text #

FromCBOR (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

FromCBOR (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Methods

fromCBOR ∷ Decoder s (Hash PaymentKey) #

labelProxy (Hash PaymentKey) → Text #

FromCBOR (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.KeysByron

Methods

fromCBOR ∷ Decoder s (Hash ByronKeyLegacy) #

labelProxy (Hash ByronKeyLegacy) → Text #

FromCBOR (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.KeysByron

Methods

fromCBOR ∷ Decoder s (Hash ByronKey) #

labelProxy (Hash ByronKey) → Text #

FromCBOR (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.KeysPraos

Methods

fromCBOR ∷ Decoder s (Hash VrfKey) #

labelProxy (Hash VrfKey) → Text #

FromCBOR (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.KeysPraos

Methods

fromCBOR ∷ Decoder s (Hash KesKey) #

labelProxy (Hash KesKey) → Text #

ToCBOR (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Methods

toCBORHash StakePoolKey → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash StakePoolKey) → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash StakePoolKey] → Size #

ToCBOR (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Methods

toCBORHash GenesisUTxOKey → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash GenesisUTxOKey) → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash GenesisUTxOKey] → Size #

ToCBOR (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Methods

toCBORHash GenesisDelegateExtendedKey → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash GenesisDelegateExtendedKey) → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash GenesisDelegateExtendedKey] → Size #

ToCBOR (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Methods

toCBORHash GenesisDelegateKey → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash GenesisDelegateKey) → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash GenesisDelegateKey] → Size #

ToCBOR (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Methods

toCBORHash GenesisExtendedKey → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash GenesisExtendedKey) → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash GenesisExtendedKey] → Size #

ToCBOR (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Methods

toCBORHash GenesisKey → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash GenesisKey) → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash GenesisKey] → Size #

ToCBOR (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Methods

toCBORHash StakeExtendedKey → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash StakeExtendedKey) → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash StakeExtendedKey] → Size #

ToCBOR (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Methods

toCBORHash StakeKey → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash StakeKey) → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash StakeKey] → Size #

ToCBOR (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Methods

toCBORHash PaymentExtendedKey → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash PaymentExtendedKey) → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash PaymentExtendedKey] → Size #

ToCBOR (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Methods

toCBORHash PaymentKey → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash PaymentKey) → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash PaymentKey] → Size #

ToCBOR (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.KeysByron

Methods

toCBORHash ByronKeyLegacy → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash ByronKeyLegacy) → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash ByronKeyLegacy] → Size #

ToCBOR (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.KeysByron

Methods

toCBORHash ByronKey → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash ByronKey) → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash ByronKey] → Size #

ToCBOR (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.KeysPraos

Methods

toCBORHash VrfKey → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash VrfKey) → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash VrfKey] → Size #

ToCBOR (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.KeysPraos

Methods

toCBORHash KesKey → Encoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash KesKey) → Size #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash KesKey] → Size #

FromJSONKey (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

Methods

fromJSONKey ∷ FromJSONKeyFunction (Hash ScriptData)

fromJSONKeyList ∷ FromJSONKeyFunction [Hash ScriptData]

ToJSONKey (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

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]

HasTypeProxy a ⇒ HasTypeProxy (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

Associated Types

data AsType (Hash a) Source #

Methods

proxyToAsTypeProxy (Hash a) → AsType (Hash a) Source #

SerialiseAsCBOR (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsCBOR (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsCBOR (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsCBOR (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsCBOR (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsCBOR (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsCBOR (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsCBOR (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsCBOR (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsCBOR (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsCBOR (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.KeysByron

SerialiseAsCBOR (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.KeysByron

SerialiseAsCBOR (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.KeysPraos

SerialiseAsCBOR (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.KeysPraos

SerialiseAsRawBytes (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsRawBytes (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsRawBytes (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsRawBytes (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsRawBytes (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsRawBytes (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsRawBytes (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsRawBytes (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsRawBytes (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsRawBytes (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

SerialiseAsRawBytes (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.ScriptData

SerialiseAsRawBytes (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.KeysByron

SerialiseAsRawBytes (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.KeysByron

SerialiseAsRawBytes (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.KeysPraos

SerialiseAsRawBytes (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.KeysPraos

SerialiseAsRawBytes (Hash StakePoolMetadata) Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

SerialiseAsRawBytes (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

SerialiseAsBech32 (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.KeysShelley

newtype Hash StakePoolKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

newtype Hash StakePoolKey = StakePoolKeyHash (KeyHash 'StakePool StandardCrypto)
newtype Hash GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

newtype Hash GenesisUTxOKey = GenesisUTxOKeyHash (KeyHash 'Payment StandardCrypto)
newtype Hash GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

newtype Hash GenesisDelegateExtendedKey = GenesisDelegateExtendedKeyHash (KeyHash 'Staking StandardCrypto)
newtype Hash GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

newtype Hash GenesisDelegateKey = GenesisDelegateKeyHash (KeyHash 'GenesisDelegate StandardCrypto)
newtype Hash GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

newtype Hash GenesisExtendedKey = GenesisExtendedKeyHash (KeyHash 'Staking StandardCrypto)
newtype Hash GenesisKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

newtype Hash GenesisKey = GenesisKeyHash (KeyHash 'Genesis StandardCrypto)
newtype Hash StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

newtype Hash StakeExtendedKey = StakeExtendedKeyHash (KeyHash 'Staking StandardCrypto)
newtype Hash StakeKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

newtype Hash StakeKey = StakeKeyHash (KeyHash 'Staking StandardCrypto)
newtype Hash PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

newtype Hash PaymentExtendedKey = PaymentExtendedKeyHash (KeyHash 'Payment StandardCrypto)
newtype Hash PaymentKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

newtype Hash PaymentKey = PaymentKeyHash (KeyHash 'Payment StandardCrypto)
newtype Hash ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

newtype Hash ScriptData = ScriptDataHash (DataHash StandardCrypto)
newtype Hash ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.KeysByron

newtype Hash ByronKey Source # 
Instance details

Defined in Cardano.Api.KeysByron

newtype Hash ByronKey = ByronKeyHash KeyHash
newtype Hash VrfKey Source # 
Instance details

Defined in Cardano.Api.KeysPraos

newtype Hash VrfKey = VrfKeyHash (Hash StandardCrypto (VerKeyVRF StandardCrypto))
newtype Hash KesKey Source # 
Instance details

Defined in Cardano.Api.KeysPraos

newtype Hash KesKey = KesKeyHash (Hash StandardCrypto (VerKeyKES StandardCrypto))
newtype Hash StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

newtype Hash StakePoolMetadata = StakePoolMetadataHash (Hash StandardCrypto ByteString)
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

data AsType (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

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