Safe Haskell	None
Language	Haskell98

Shelley.Spec.Ledger.OCert

Synopsis

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

Documentation

data OCert crypto Source #

Constructors

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

Instances

Instances details

Crypto crypto ⇒ Eq (OCert crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Methods (==) ∷ OCert crypto → OCert crypto → Bool # (/=) ∷ OCert crypto → OCert crypto → Bool #
Crypto crypto ⇒ Show (OCert crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Methods showsPrec ∷ Int → OCert crypto → ShowS # show ∷ OCert crypto → String # showList ∷ [OCert crypto] → ShowS #
Generic (OCert crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Associated Types type Rep (OCert crypto) ∷ Type → Type # Methods from ∷ OCert crypto → Rep (OCert crypto) x # to ∷ Rep (OCert crypto) x → OCert crypto #
Crypto crypto ⇒ ToCBOR (OCert crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Methods toCBOR ∷ OCert crypto → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (OCert crypto) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [OCert crypto] → Size Source #
Crypto crypto ⇒ NoThunks (OCert crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Methods noThunks ∷ Context → OCert crypto → IO (Maybe ThunkInfo) wNoThunks ∷ Context → OCert crypto → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (OCert crypto) → String
Crypto crypto ⇒ FromCBORGroup (OCert crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Methods fromCBORGroup ∷ Decoder s (OCert crypto) Source #
Crypto crypto ⇒ ToCBORGroup (OCert crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Methods toCBORGroup ∷ OCert crypto → Encoding Source # encodedGroupSizeExpr ∷ (∀ x. ToCBOR x ⇒ Proxy x → Size) → Proxy (OCert crypto) → Size Source # listLen ∷ OCert crypto → Word Source # listLenBound ∷ Proxy (OCert crypto) → Word Source #
type Rep (OCert crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.OCert type Rep (OCert crypto) = D1 ('MetaData "OCert" "Shelley.Spec.Ledger.OCert" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "OCert" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ocertVkHot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES crypto)) :: 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 crypto (OCertSignable crypto))))))

data OCertEnv crypto Source #

Constructors

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

Instances

Instances details

Eq (OCertEnv crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Methods (==) ∷ OCertEnv crypto → OCertEnv crypto → Bool # (/=) ∷ OCertEnv crypto → OCertEnv crypto → Bool #
Show (OCertEnv crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Methods showsPrec ∷ Int → OCertEnv crypto → ShowS # show ∷ OCertEnv crypto → String # showList ∷ [OCertEnv crypto] → ShowS #

data OCertSignable crypto Source #

Signable part of an operational certificate

Constructors

OCertSignable !(VerKeyKES crypto) !Word64 !KESPeriod

Instances

Instances details

Crypto crypto ⇒ SignableRepresentation (OCertSignable crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Methods getSignableRepresentation ∷ OCertSignable crypto → ByteString Source #

ocertToSignable ∷ OCert crypto → OCertSignable crypto Source #

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

currentIssueNo Source #

Arguments

∷ OCertEnv crypto
→ Map (KeyHash 'BlockIssuer crypto) Word64
→ KeyHash 'BlockIssuer crypto	Pool hash
→ Maybe Word64

newtype KESPeriod Source #

Constructors

KESPeriod
Fields unKESPeriod ∷ Word

Instances

Instances details

Eq KESPeriod Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Methods (==) ∷ KESPeriod → KESPeriod → Bool # (/=) ∷ KESPeriod → KESPeriod → Bool #
Ord KESPeriod Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Methods compare ∷ KESPeriod → KESPeriod → Ordering # (<) ∷ KESPeriod → KESPeriod → Bool # (<=) ∷ KESPeriod → KESPeriod → Bool # (>) ∷ KESPeriod → KESPeriod → Bool # (>=) ∷ KESPeriod → KESPeriod → Bool # max ∷ KESPeriod → KESPeriod → KESPeriod # min ∷ KESPeriod → KESPeriod → KESPeriod #
Show KESPeriod Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Methods showsPrec ∷ Int → KESPeriod → ShowS # show ∷ KESPeriod → String # showList ∷ [KESPeriod] → ShowS #
Generic KESPeriod Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Associated Types type Rep KESPeriod ∷ Type → Type # Methods from ∷ KESPeriod → Rep KESPeriod x # to ∷ Rep KESPeriod x → KESPeriod #
ToCBOR KESPeriod Source #
Instance details Defined in Shelley.Spec.Ledger.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 #
FromCBOR KESPeriod Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Methods fromCBOR ∷ Decoder s KESPeriod Source # label ∷ Proxy KESPeriod → Text Source #
NoThunks KESPeriod Source #
Instance details Defined in Shelley.Spec.Ledger.OCert Methods noThunks ∷ Context → KESPeriod → IO (Maybe ThunkInfo) wNoThunks ∷ Context → KESPeriod → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy KESPeriod → String
type Rep KESPeriod Source #
Instance details Defined in Shelley.Spec.Ledger.OCert type Rep KESPeriod = D1 ('MetaData "KESPeriod" "Shelley.Spec.Ledger.OCert" "shelley-spec-ledger-0.1.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 #