ouroboros-consensus-shelley-0.1.0.0: Shelley ledger integration in the Ouroboros consensus layer
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Shelley.Protocol.TPraos

Orphan instances

PraosCrypto c ⇒ SignedHeader (BHeader c) Source # 
Instance details

Methods

headerSigned ∷ BHeader c → Signed (BHeader c) Source #

PraosCrypto c ⇒ ShelleyProtocol (TPraos c) Source # 
Instance details

PraosCrypto c ⇒ ProtocolHeaderSupportsLedger (TPraos c) Source # 
Instance details

Methods

mkHeaderViewShelleyProtocolHeader (TPraos c) → BHeaderView (ProtoCrypto (TPraos c)) Source #

PraosCrypto c ⇒ ProtocolHeaderSupportsProtocol (TPraos c) Source # 
Instance details

Associated Types

type CannotForgeError (TPraos c) Source #

PraosCrypto c ⇒ ProtocolHeaderSupportsKES (TPraos c) Source # 
Instance details

Methods

configSlotsPerKESPeriodConsensusConfig (TPraos c) → Word64 Source #

verifyHeaderIntegrityWord64ShelleyProtocolHeader (TPraos c) → Bool Source #

mkHeader ∷ (Crypto crypto, Monad m, crypto ~ ProtoCrypto (TPraos c)) ⇒ HotKey crypto m → CanBeLeader (TPraos c) → IsLeader (TPraos c) → SlotNoBlockNo → PrevHash crypto → Hash crypto EraIndependentBlockBody → IntProtVer → m (ShelleyProtocolHeader (TPraos c)) Source #

PraosCrypto c ⇒ ProtocolHeaderSupportsEnvelope (TPraos c) Source # 
Instance details

Associated Types

type EnvelopeCheckError (TPraos c) Source #