shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.OCert

Synopsis

Documentation

data OCert crypto Source #

Constructors

OCert 

Fields

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

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 

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

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

Instances

Instances details
Eq KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Ord KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Show KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Generic KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Associated Types

type Rep KESPeriod :: Type -> Type #

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

NoThunks KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

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)))