Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Protocol.TPraos.OCert

Synopsis

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

Documentation

data OCert c Source #

Constructors

OCert
Fields ocertVkHot ∷ !(VerKeyKES (KES c)) The operational hot key ocertN ∷ !Word64 counter ocertKESPeriod ∷ !KESPeriod Start of key evolving signature period ocertSigma ∷ !(SignedDSIGN DSIGN (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.4.0.0-inplace" 'False) (C1 ('MetaCons "OCert" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ocertVkHot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES (KES 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 DSIGN (OCertSignable c))))))

data OCertEnv Source #

Constructors

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

Instances

Instances details

Show OCertEnv Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods showsPrec ∷ Int → OCertEnv → ShowS Source # show ∷ OCertEnv → String Source # showList ∷ [OCertEnv] → ShowS Source #
Eq OCertEnv Source #
Instance details Defined in Cardano.Protocol.TPraos.OCert Methods (==) ∷ OCertEnv → OCertEnv → Bool Source # (/=) ∷ OCertEnv → OCertEnv → Bool Source #

data OCertSignable c Source #

Signable part of an operational certificate

Constructors

OCertSignable !(VerKeyKES (KES 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
→ Map (KeyHash 'BlockIssuer) Word64
→ KeyHash 'BlockIssuer	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.4.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 #