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

Ouroboros.Consensus.Shelley.Protocol.Praos

Documentation

data PraosEnvelopeError Source #

Instances

Instances details
Eq PraosEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Praos

Show PraosEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Praos

Generic PraosEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Praos

Associated Types

type Rep PraosEnvelopeErrorTypeType Source #

NoThunks PraosEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Praos

Methods

noThunks ∷ Context → PraosEnvelopeErrorIO (Maybe ThunkInfo) #

wNoThunks ∷ Context → PraosEnvelopeErrorIO (Maybe ThunkInfo) #

showTypeOfProxy PraosEnvelopeErrorString #

type Rep PraosEnvelopeError Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Praos

Orphan instances

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

Methods

headerSignedHeader c → Signed (Header c) Source #

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

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

Methods

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

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

Associated Types

type CannotForgeError (Praos c) Source #

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

Methods

configSlotsPerKESPeriodConsensusConfig (Praos c) → Word64 Source #

verifyHeaderIntegrityWord64ShelleyProtocolHeader (Praos c) → Bool Source #

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

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

Associated Types

type EnvelopeCheckError (Praos c) Source #