Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Operational certificates
Synopsis
- data OperationalCertificate = OperationalCertificate !(OCert StandardCrypto) !(VerificationKey StakePoolKey)
- data OperationalCertificateIssueCounter = OperationalCertificateIssueCounter {}
- newtype KESPeriod = KESPeriod {}
- getHotKey ∷ OperationalCertificate → VerificationKey KesKey
- getKesPeriod ∷ OperationalCertificate → Word
- getOpCertCount ∷ OperationalCertificate → Word64
- data family AsType t
Documentation
data OperationalCertificate Source #
Instances
data OperationalCertificateIssueCounter Source #
Instances
Instances
Generic KESPeriod | |
Show KESPeriod | |
FromCBOR KESPeriod | |
ToCBOR KESPeriod | |
DecCBOR KESPeriod | |
EncCBOR KESPeriod | |
Eq KESPeriod | |
Ord KESPeriod | |
Defined in Cardano.Protocol.TPraos.OCert | |
NoThunks KESPeriod | |
type Rep KESPeriod | |
Defined in Cardano.Protocol.TPraos.OCert type Rep KESPeriod = D1 ('MetaData "KESPeriod" "Cardano.Protocol.TPraos.OCert" "cardano-protocol-tpraos-1.2.0.1-3a69796c11818c4b6a45edca1db93967c9982ac51bb37f7b449b4779a11459a6" 'True) (C1 ('MetaCons "KESPeriod" 'PrefixI 'True) (S1 ('MetaSel ('Just "unKESPeriod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word))) |
Data family instances
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.