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

showsPrecIntOCert crypto → ShowS #

showOCert crypto → String #

showList ∷ [OCert crypto] → ShowS #

Generic (OCert crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Associated Types

type Rep (OCert crypto) ∷ TypeType #

Methods

fromOCert crypto → Rep (OCert crypto) x #

toRep (OCert crypto) x → OCert crypto #

Crypto crypto ⇒ ToCBOR (OCert crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

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

showTypeOfProxy (OCert crypto) → String

Crypto crypto ⇒ FromCBORGroup (OCert crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

fromCBORGroupDecoder s (OCert crypto) Source #

Crypto crypto ⇒ ToCBORGroup (OCert crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

toCBORGroupOCert crypto → Encoding Source #

encodedGroupSizeExpr ∷ (∀ x. ToCBOR x ⇒ Proxy x → Size) → Proxy (OCert crypto) → Size Source #

listLenOCert crypto → Word Source #

listLenBoundProxy (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 

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

showsPrecIntOCertEnv crypto → ShowS #

showOCertEnv 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

ocertToSignableOCert 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

Methods

(==)KESPeriodKESPeriodBool #

(/=)KESPeriodKESPeriodBool #

Ord KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Show KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

showsPrecIntKESPeriodShowS #

showKESPeriodString #

showList ∷ [KESPeriod] → ShowS #

Generic KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Associated Types

type Rep KESPeriodTypeType #

Methods

fromKESPeriodRep KESPeriod x #

toRep KESPeriod x → KESPeriod #

ToCBOR KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

toCBORKESPeriodEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy KESPeriodSize Source #

encodedListSizeExpr ∷ (∀ 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

Methods

noThunks ∷ Context → KESPeriodIO (Maybe ThunkInfo)

wNoThunks ∷ Context → KESPeriodIO (Maybe ThunkInfo)

showTypeOfProxy KESPeriodString

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