Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Protocol.TPraos.OCert

Synopsis

data OCert c = OCert {
- ocertVkHot ∷ !(VerKeyKES c)
- ocertN ∷ !Word64
- ocertKESPeriod ∷ !KESPeriod
- ocertSigma ∷ !(SignedDSIGN c (OCertSignable c))
}
data OCertEnv c = OCertEnv {
- ocertEnvStPools ∷ !(Set (KeyHash 'StakePool c))
- ocertEnvGenDelegs ∷ !(Set (KeyHash 'GenesisDelegate c))
}
data OCertSignable c = OCertSignable !(VerKeyKES c) !Word64 !KESPeriod
ocertToSignable ∷ OCert c → OCertSignable c
currentIssueNo ∷ OCertEnv c → Map (KeyHash 'BlockIssuer c) Word64 → KeyHash 'BlockIssuer c → Maybe Word64
newtype KESPeriod = KESPeriod {
- unKESPeriod ∷ Word
}
slotsPerKESPeriod ∷ Globals → Word64
kesPeriod ∷ SlotNo → ShelleyBase KESPeriod

Documentation

data OCert c Source #

Constructors

OCert
Fields ocertVkHot ∷ !(VerKeyKES c) The operational hot key ocertN ∷ !Word64 counter ocertKESPeriod ∷ !KESPeriod Start of key evolving signature period ocertSigma ∷ !(SignedDSIGN c (OCertSignable c)) Signature of block operational certificate content

Instances

Instances details

Generic (OCert c) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Associated Types type Rep (OCert c) ∷ Type → Type Source # Methods from ∷ OCert c → Rep (OCert c) x Source # to ∷ Rep (OCert c) x → OCert c Source #
Crypto c ⇒ Show (OCert c) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods showsPrec ∷ Int → OCert c → ShowS Source # show ∷ OCert c → String Source # showList ∷ [OCert c] → ShowS Source #
Crypto c ⇒ FromCBOR (OCert c) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods fromCBOR ∷ Decoder s (OCert c) Source # label ∷ Proxy (OCert c) → Text Source #
Crypto c ⇒ ToCBOR (OCert c) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods toCBOR ∷ OCert 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 encCBOR ∷ OCert 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 decCBORGroup ∷ Decoder s (OCert c) Source #
Crypto c ⇒ EncCBORGroup (OCert c) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods encCBORGroup ∷ OCert c → Encoding Source # encodedGroupSizeExpr ∷ (∀ x. EncCBOR x ⇒ Proxy x → Size) → Proxy (OCert c) → Size Source # listLen ∷ OCert c → Word Source # listLenBound ∷ Proxy (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 Methods noThunks ∷ Context → OCert c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OCert c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OCert c) → String Source #
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.0-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 #

Constructors

OCertEnv
Fields ocertEnvStPools ∷ !(Set (KeyHash 'StakePool c)) ocertEnvGenDelegs ∷ !(Set (KeyHash 'GenesisDelegate c))

Instances

Instances details

Show (OCertEnv c) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods showsPrec ∷ Int → OCertEnv c → ShowS Source # show ∷ OCertEnv c → String Source # showList ∷ [OCertEnv c] → ShowS Source #
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

Constructors

OCertSignable !(VerKeyKES c) !Word64 !KESPeriod

Instances

Instances details

Crypto c ⇒ SignableRepresentation (OCertSignable c) Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods getSignableRepresentation ∷ OCertSignable c → ByteString Source #

ocertToSignable ∷ OCert 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 unKESPeriod ∷ Word

Instances

Instances details

Generic KESPeriod Source #
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 Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods showsPrec ∷ Int → KESPeriod → ShowS Source # show ∷ KESPeriod → String Source # showList ∷ [KESPeriod] → ShowS Source #
FromCBOR KESPeriod Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods fromCBOR ∷ Decoder s KESPeriod Source # label ∷ Proxy KESPeriod → Text Source #
ToCBOR KESPeriod Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods toCBOR ∷ KESPeriod → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy KESPeriod → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [KESPeriod] → Size Source #
DecCBOR KESPeriod Source #
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 Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods encCBOR ∷ KESPeriod → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy KESPeriod → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [KESPeriod] → Size Source #
Eq KESPeriod Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods (==) ∷ KESPeriod → KESPeriod → Bool Source # (/=) ∷ KESPeriod → KESPeriod → Bool Source #
Ord KESPeriod Source #
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 Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods noThunks ∷ Context → KESPeriod → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → KESPeriod → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy KESPeriod → String Source #
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.0-inplace" 'True) (C1 ('MetaCons "KESPeriod" 'PrefixI 'True) (S1 ('MetaSel ('Just "unKESPeriod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))

slotsPerKESPeriod ∷ Globals → Word64 Source #

kesPeriod ∷ SlotNo → ShelleyBase KESPeriod Source #