cardano-api:internal
Safe HaskellNone
LanguageHaskell2010

Cardano.Api.OperationalCertificate

Description

Operational certificates

Synopsis

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

Defined in Cardano.Api.OperationalCertificate

data AsType OperationalCertificate = AsOperationalCertificate

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

label :: Proxy OperationalCertificate -> Text Source #

ToCBOR OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

Methods

toCBOR :: OperationalCertificate -> Encoding Source #

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

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

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

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

Defined in Cardano.Api.OperationalCertificate

data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter

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

label :: Proxy OperationalCertificateIssueCounter -> Text Source #

ToCBOR OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

Methods

toCBOR :: OperationalCertificateIssueCounter -> Encoding Source #

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

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

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

Constructors

KESPeriod 

Fields

Instances

Instances details
Generic KESPeriod 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Associated Types

type Rep KESPeriod 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

type Rep KESPeriod = D1 ('MetaData "KESPeriod" "Cardano.Protocol.TPraos.OCert" "cardano-protocol-tpraos-1.2.0.1-1aa9afa0cbb95a7ebf6b7a79d79125bb47d25915f5368d579965d42f5524143d" 'True) (C1 ('MetaCons "KESPeriod" 'PrefixI 'True) (S1 ('MetaSel ('Just "unKESPeriod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))

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

label :: Proxy KESPeriod -> Text Source #

ToCBOR KESPeriod 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

toCBOR :: KESPeriod -> Encoding Source #

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

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

DecCBOR KESPeriod 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

decCBOR :: Decoder s KESPeriod Source #

dropCBOR :: Proxy KESPeriod -> Decoder s () Source #

label :: Proxy KESPeriod -> Text Source #

EncCBOR KESPeriod 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

encCBOR :: KESPeriod -> Encoding Source #

encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy KESPeriod -> Size Source #

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

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-1.2.0.1-1aa9afa0cbb95a7ebf6b7a79d79125bb47d25915f5368d579965d42f5524143d" '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

prettyError :: OperationalCertIssueError -> Doc ann 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 DRepMetadata Source # 
Instance details

Defined in Cardano.Api.DRepMetadata

data AsType DRepMetadata = AsDRepMetadata
data AsType AllegraEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ByronEra = AsByronEra
data AsType ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ConwayEra = AsConwayEra
data AsType MaryEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ShelleyEra = AsShelleyEra
data AsType GovernancePoll Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

data AsType GovernancePoll = AsGovernancePoll
data AsType GovernancePollAnswer Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

data AsType GovernancePollAnswer = AsGovernancePollAnswer
data AsType ByronKey Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

data AsType ByronKey = AsByronKey
data AsType ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType KesKey Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

data AsType KesKey = AsKesKey
data AsType VrfKey Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

data AsType VrfKey = AsVrfKey
data AsType CommitteeColdExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey
data AsType CommitteeColdKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeColdKey = AsCommitteeColdKey
data AsType CommitteeHotExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey
data AsType CommitteeHotKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeHotKey = AsCommitteeHotKey
data AsType DRepExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType DRepExtendedKey = AsDRepExtendedKey
data AsType DRepKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType DRepKey = AsDRepKey
data AsType GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisKey = AsGenesisKey
data AsType GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType PaymentKey = AsPaymentKey
data AsType StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakeKey = AsStakeKey
data AsType StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakePoolKey = AsStakePoolKey
data AsType OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

data AsType OperationalCertificate = AsOperationalCertificate
data AsType OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType PraosNonce Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType PraosNonce = AsPraosNonce
data AsType UpdateProposal Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType UpdateProposal = AsUpdateProposal
data AsType PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType PlutusScriptV3 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV3 = AsPlutusScriptV3
data AsType ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source # 
Instance details

Defined in Cardano.Api.Script

data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType SimpleScript' Source # 
Instance details

Defined in Cardano.Api.Script

data AsType SimpleScript' = AsSimpleScript
data AsType HashableScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

data AsType ScriptData = AsScriptData
data AsType TextEnvelope Source # 
Instance details

Defined in Cardano.Api.SerialiseTextEnvelope

data AsType TextEnvelope = AsTextEnvelope
data AsType ByronUpdateProposal Source # 
Instance details

Defined in Cardano.Api.SpecialByron

data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ByronVote Source # 
Instance details

Defined in Cardano.Api.SpecialByron

data AsType ByronVote = AsByronVote
data AsType StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType TxId Source # 
Instance details

Defined in Cardano.Api.TxIn

data AsType TxId = AsTxId
data AsType TxMetadata Source # 
Instance details

Defined in Cardano.Api.TxMetadata

data AsType TxMetadata = AsTxMetadata
data AsType AssetName Source # 
Instance details

Defined in Cardano.Api.Value

data AsType AssetName = AsAssetName
data AsType PolicyId Source # 
Instance details

Defined in Cardano.Api.Value

data AsType PolicyId = AsPolicyId
data AsType (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

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

Defined in Cardano.Api.Address

data AsType (AddressInEra era) = AsAddressInEra (AsType era)
data AsType (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

data AsType (Certificate era) = AsCertificate
data AsType (Proposal era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.ProposalProcedure

data AsType (Proposal era) = AsProposal
data AsType (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.VotingProcedure

data AsType (VotingProcedure era) = AsVote
data AsType (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.VotingProcedure

data AsType (VotingProcedures era) = AsVotingProcedures
data AsType (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

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

Defined in Cardano.Api.Keys.Class

data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (VerificationKey a) Source # 
Instance details

Defined in Cardano.Api.Keys.Class

data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
data AsType (Script lang) Source # 
Instance details

Defined in Cardano.Api.Script

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

Defined in Cardano.Api.Script

data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Tx.Sign

data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source # 
Instance details

Defined in Cardano.Api.Tx.Sign

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

Defined in Cardano.Api.Tx.Sign

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