cardano-protocol-tpraos-1.2.0.1: Cardano Protocol: Transitional Praos
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Protocol.TPraos.OCert

Synopsis

Documentation

data OCert c Source #

Constructors

OCert 

Fields

Instances

Instances details
Generic (OCert c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Associated Types

type Rep (OCert c) ∷ TypeType Source #

Methods

fromOCert c → Rep (OCert c) x Source #

toRep (OCert c) x → OCert c Source #

Crypto c ⇒ Show (OCert c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

showsPrecIntOCert c → ShowS Source #

showOCert c → String Source #

showList ∷ [OCert c] → ShowS Source #

Crypto c ⇒ FromCBOR (OCert c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

fromCBORDecoder s (OCert c) Source #

labelProxy (OCert c) → Text Source #

Crypto c ⇒ ToCBOR (OCert c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

toCBOROCert c → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (OCert c) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [OCert c] → Size Source #

Crypto c ⇒ EncCBOR (OCert c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

encCBOROCert c → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (OCert c) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [OCert c] → Size Source #

Crypto c ⇒ DecCBORGroup (OCert c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

decCBORGroupDecoder s (OCert c) Source #

Crypto c ⇒ EncCBORGroup (OCert c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

encCBORGroupOCert c → Encoding Source #

encodedGroupSizeExpr ∷ (∀ x. EncCBOR x ⇒ Proxy x → Size) → Proxy (OCert c) → Size Source #

listLenOCert c → Word Source #

listLenBoundProxy (OCert c) → Word Source #

Crypto c ⇒ Eq (OCert c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

(==)OCert c → OCert c → Bool Source #

(/=)OCert c → OCert c → Bool Source #

Crypto c ⇒ NoThunks (OCert c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

type Rep (OCert c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

type Rep (OCert c) = D1 ('MetaData "OCert" "Cardano.Protocol.TPraos.OCert" "cardano-protocol-tpraos-1.2.0.1-inplace" 'False) (C1 ('MetaCons "OCert" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ocertVkHot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES c)) :*: S1 ('MetaSel ('Just "ocertN") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "ocertKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 KESPeriod) :*: S1 ('MetaSel ('Just "ocertSigma") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN c (OCertSignable c))))))

data OCertEnv c Source #

Instances

Instances details
Show (OCertEnv c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Eq (OCertEnv c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

(==)OCertEnv c → OCertEnv c → Bool Source #

(/=)OCertEnv c → OCertEnv c → Bool Source #

data OCertSignable c Source #

Signable part of an operational certificate

Instances

Instances details
Crypto c ⇒ SignableRepresentation (OCertSignable c) Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

ocertToSignableOCert c → OCertSignable c Source #

Extract the signable part of an operational certificate (for verification)

currentIssueNo Source #

Arguments

OCertEnv c 
Map (KeyHash 'BlockIssuer c) Word64 
KeyHash 'BlockIssuer c

Pool hash

Maybe Word64 

newtype KESPeriod Source #

Constructors

KESPeriod 

Fields

Instances

Instances details
Generic KESPeriod Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Associated Types

type Rep KESPeriodTypeType Source #

Show KESPeriod Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

FromCBOR KESPeriod Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

ToCBOR KESPeriod Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

toCBORKESPeriodEncoding Source #

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

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

DecCBOR KESPeriod Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

EncCBOR KESPeriod Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

encCBORKESPeriodEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy KESPeriodSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [KESPeriod] → Size Source #

Eq KESPeriod Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Ord KESPeriod Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

NoThunks KESPeriod Source # 
Instance details

Defined in Cardano.Protocol.TPraos.OCert

type Rep KESPeriod Source # 
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-inplace" 'True) (C1 ('MetaCons "KESPeriod" 'PrefixI 'True) (S1 ('MetaSel ('Just "unKESPeriod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))