Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Api.OperationalCertificate

Contents

Data family instances

Description

Operational certificates

Synopsis

data OperationalCertificate = OperationalCertificate !(OCert StandardCrypto) !(VerificationKey StakePoolKey)
data OperationalCertificateIssueCounter = OperationalCertificateIssueCounter {
- opCertIssueCount ∷ !Word64
- opCertIssueColdKey ∷ !(VerificationKey StakePoolKey)
}
newtype KESPeriod = KESPeriod {
- unKESPeriod ∷ Word
}
data OperationalCertIssueError = OperationalCertKeyMismatch (VerificationKey StakePoolKey) (VerificationKey StakePoolKey)
getHotKey ∷ OperationalCertificate → VerificationKey KesKey
getKesPeriod ∷ OperationalCertificate → Word
getOpCertCount ∷ OperationalCertificate → Word64
issueOperationalCertificate ∷ VerificationKey KesKey → Either (SigningKey StakePoolKey) (SigningKey GenesisDelegateExtendedKey) → KESPeriod → OperationalCertificateIssueCounter → Either OperationalCertIssueError (OperationalCertificate, OperationalCertificateIssueCounter)
data family AsType t

Documentation

data OperationalCertificate Source #

Constructors

OperationalCertificate !(OCert StandardCrypto) !(VerificationKey StakePoolKey)

Instances

Instances details

Show OperationalCertificate Source #
Instance details Defined in Cardano.Api.OperationalCertificate Methods showsPrec ∷ Int → OperationalCertificate → ShowS Source # show ∷ OperationalCertificate → String Source # showList ∷ [OperationalCertificate] → ShowS Source #
HasTypeProxy OperationalCertificate Source #
Instance details Defined in Cardano.Api.OperationalCertificate Associated Types data AsType OperationalCertificate Source # Methods proxyToAsType ∷ Proxy OperationalCertificate → AsType OperationalCertificate Source #
SerialiseAsCBOR OperationalCertificate Source #
Instance details Defined in Cardano.Api.OperationalCertificate Methods serialiseToCBOR ∷ OperationalCertificate → ByteString Source # deserialiseFromCBOR ∷ AsType OperationalCertificate → ByteString → Either DecoderError OperationalCertificate Source #
HasTextEnvelope OperationalCertificate Source #
Instance details Defined in Cardano.Api.OperationalCertificate Methods textEnvelopeType ∷ AsType OperationalCertificate → TextEnvelopeType Source # textEnvelopeDefaultDescr ∷ OperationalCertificate → TextEnvelopeDescr Source #
FromCBOR OperationalCertificate Source #
Instance details Defined in Cardano.Api.OperationalCertificate Methods fromCBOR ∷ Decoder s OperationalCertificate # label ∷ Proxy OperationalCertificate → Text #
ToCBOR OperationalCertificate Source #
Instance details Defined in Cardano.Api.OperationalCertificate Methods toCBOR ∷ OperationalCertificate → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy OperationalCertificate → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [OperationalCertificate] → Size #
Eq OperationalCertificate Source #
Instance details Defined in Cardano.Api.OperationalCertificate Methods (==) ∷ OperationalCertificate → OperationalCertificate → Bool Source # (/=) ∷ OperationalCertificate → OperationalCertificate → Bool Source #
data AsType OperationalCertificate Source #
Instance details Defined in Cardano.Api.OperationalCertificate data AsType OperationalCertificate = AsOperationalCertificate

data OperationalCertificateIssueCounter Source #

Constructors

OperationalCertificateIssueCounter
Fields opCertIssueCount ∷ !Word64 opCertIssueColdKey ∷ !(VerificationKey StakePoolKey)

Instances

Instances details

Show OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.OperationalCertificate Methods showsPrec ∷ Int → OperationalCertificateIssueCounter → ShowS Source # show ∷ OperationalCertificateIssueCounter → String Source # showList ∷ [OperationalCertificateIssueCounter] → ShowS Source #
HasTypeProxy OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.OperationalCertificate Associated Types data AsType OperationalCertificateIssueCounter Source # Methods proxyToAsType ∷ Proxy OperationalCertificateIssueCounter → AsType OperationalCertificateIssueCounter Source #
SerialiseAsCBOR OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.OperationalCertificate Methods serialiseToCBOR ∷ OperationalCertificateIssueCounter → ByteString Source # deserialiseFromCBOR ∷ AsType OperationalCertificateIssueCounter → ByteString → Either DecoderError OperationalCertificateIssueCounter Source #
HasTextEnvelope OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.OperationalCertificate Methods textEnvelopeType ∷ AsType OperationalCertificateIssueCounter → TextEnvelopeType Source # textEnvelopeDefaultDescr ∷ OperationalCertificateIssueCounter → TextEnvelopeDescr Source #
FromCBOR OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.OperationalCertificate Methods fromCBOR ∷ Decoder s OperationalCertificateIssueCounter # label ∷ Proxy OperationalCertificateIssueCounter → Text #
ToCBOR OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.OperationalCertificate Methods toCBOR ∷ OperationalCertificateIssueCounter → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy OperationalCertificateIssueCounter → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [OperationalCertificateIssueCounter] → Size #
Eq OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.OperationalCertificate Methods (==) ∷ OperationalCertificateIssueCounter → OperationalCertificateIssueCounter → Bool Source # (/=) ∷ OperationalCertificateIssueCounter → OperationalCertificateIssueCounter → Bool Source #
data AsType OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.OperationalCertificate data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter

newtype KESPeriod #

Constructors

KESPeriod
Fields unKESPeriod ∷ Word

Instances

Instances details

Generic KESPeriod
Instance details Defined in Cardano.Protocol.TPraos.OCert Associated Types type Rep KESPeriod ∷ Type → Type Source # Methods from ∷ KESPeriod → Rep KESPeriod x Source # to ∷ Rep KESPeriod x → KESPeriod Source #
Show KESPeriod
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods showsPrec ∷ Int → KESPeriod → ShowS Source # show ∷ KESPeriod → String Source # showList ∷ [KESPeriod] → ShowS Source #
FromCBOR KESPeriod
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods fromCBOR ∷ Decoder s KESPeriod # label ∷ Proxy KESPeriod → Text #
ToCBOR KESPeriod
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods toCBOR ∷ KESPeriod → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy KESPeriod → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [KESPeriod] → Size #
Eq KESPeriod
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods (==) ∷ KESPeriod → KESPeriod → Bool Source # (/=) ∷ KESPeriod → KESPeriod → Bool Source #
Ord KESPeriod
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods compare ∷ KESPeriod → KESPeriod → Ordering Source # (<) ∷ KESPeriod → KESPeriod → Bool Source # (<=) ∷ KESPeriod → KESPeriod → Bool Source # (>) ∷ KESPeriod → KESPeriod → Bool Source # (>=) ∷ KESPeriod → KESPeriod → Bool Source # max ∷ KESPeriod → KESPeriod → KESPeriod Source # min ∷ KESPeriod → KESPeriod → KESPeriod Source #
NoThunks KESPeriod
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods noThunks ∷ Context → KESPeriod → IO (Maybe ThunkInfo) wNoThunks ∷ Context → KESPeriod → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy KESPeriod → String
type Rep KESPeriod
Instance details Defined in Cardano.Protocol.TPraos.OCert type Rep KESPeriod = D1 ('MetaData "KESPeriod" "Cardano.Protocol.TPraos.OCert" "cardano-protocol-tpraos-0.1.1.2-6207f3ccd40334237590fb14b976b8e4ae769982b764e505020ae4cd29079601" 'True) (C1 ('MetaCons "KESPeriod" 'PrefixI 'True) (S1 ('MetaSel ('Just "unKESPeriod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))

data OperationalCertIssueError Source #

Constructors

OperationalCertKeyMismatch (VerificationKey StakePoolKey) (VerificationKey StakePoolKey)

The stake pool verification key expected for the OperationalCertificateIssueCounter does not match the signing key supplied for signing.

Order: pool vkey expected, pool skey supplied

Instances

Instances details

Show OperationalCertIssueError Source #
Instance details Defined in Cardano.Api.OperationalCertificate Methods showsPrec ∷ Int → OperationalCertIssueError → ShowS Source # show ∷ OperationalCertIssueError → String Source # showList ∷ [OperationalCertIssueError] → ShowS Source #
Error OperationalCertIssueError Source #
Instance details Defined in Cardano.Api.OperationalCertificate Methods displayError ∷ OperationalCertIssueError → String Source #

getHotKey ∷ OperationalCertificate → VerificationKey KesKey Source #

getKesPeriod ∷ OperationalCertificate → Word Source #

getOpCertCount ∷ OperationalCertificate → Word64 Source #

issueOperationalCertificate ∷ VerificationKey KesKey → Either (SigningKey StakePoolKey) (SigningKey GenesisDelegateExtendedKey) → KESPeriod → OperationalCertificateIssueCounter → Either OperationalCertIssueError (OperationalCertificate, OperationalCertificateIssueCounter) Source #

Data family instances

data family AsType t Source #

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

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

Instances

Instances details

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