ouroboros-consensus:cardano
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Shelley.Protocol.Praos

Orphan instances

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

Methods

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

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

Associated Types

type EnvelopeCheckError (Praos c) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Praos

type EnvelopeCheckError (Praos c) = EnvelopeError

Methods

pHeaderHash ∷ ShelleyProtocolHeader (Praos c) → ShelleyHash Source #

pHeaderPrevHash ∷ ShelleyProtocolHeader (Praos c) → PrevHash Source #

pHeaderBodyHash ∷ ShelleyProtocolHeader (Praos c) → Hash HASH EraIndependentBlockBody Source #

pHeaderSlot ∷ ShelleyProtocolHeader (Praos c) → SlotNo Source #

pHeaderBlock ∷ ShelleyProtocolHeader (Praos c) → BlockNo Source #

pHeaderSize ∷ ShelleyProtocolHeader (Praos c) → Natural Source #

pHeaderBlockSize ∷ ShelleyProtocolHeader (Praos c) → Natural Source #

envelopeChecks ∷ ConsensusConfig (Praos c) → LedgerView (Praos c) → ShelleyProtocolHeader (Praos c) → Except (EnvelopeCheckError (Praos c)) () Source #

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

Methods

configSlotsPerKESPeriod ∷ ConsensusConfig (Praos c) → Word64 Source #

verifyHeaderIntegrity ∷ Word64 → ShelleyProtocolHeader (Praos c) → Bool Source #

mkHeader ∷ (Crypto crypto, Monad m, crypto ~ ProtoCrypto (Praos c)) ⇒ HotKey crypto m → CanBeLeader (Praos c) → IsLeader (Praos c) → SlotNo → BlockNo → PrevHash → Hash HASH EraIndependentBlockBody → Int → ProtVer → m (ShelleyProtocolHeader (Praos c)) Source #

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

Associated Types

type CannotForgeError (Praos c) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Praos

type CannotForgeError (Praos c) = PraosCannotForge c

Methods

protocolHeaderView ∷ ShelleyProtocolHeader (Praos c) → ValidateView (Praos c) Source #

pHeaderIssuer ∷ ShelleyProtocolHeader (Praos c) → VKey 'BlockIssuer Source #

pHeaderIssueNo ∷ ShelleyProtocolHeader (Praos c) → Word64 Source #

pTieBreakVRFValue ∷ ShelleyProtocolHeader (Praos c) → OutputVRF (VRF (ProtoCrypto (Praos c))) Source #

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