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 :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (OCert crypto) -> Size Source # encodedListSizeExpr :: (forall 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) Source # wNoThunks :: Context -> OCert crypto -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (OCert crypto) -> String Source #
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 :: (forall 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-Is3EknyvW92LxCl96jGQVW" '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 :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy KESPeriod -> Size Source # encodedListSizeExpr :: (forall 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) Source # wNoThunks :: Context -> KESPeriod -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy KESPeriod -> String Source #
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-Is3EknyvW92LxCl96jGQVW" 'True) (C1 ('MetaCons "KESPeriod" 'PrefixI 'True) (S1 ('MetaSel ('Just "unKESPeriod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))

slotsPerKESPeriod :: Globals -> Word64 Source #

kesPeriod :: SlotNo -> ShelleyBase KESPeriod Source #