ouroboros-consensus:cardano
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 ⇒ ProtocolHeaderSupportsEnvelope (TPraos c) Source # 
Instance details

Associated Types

type EnvelopeCheckError (TPraos c) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.TPraos

type EnvelopeCheckError (TPraos c) = EnvelopeError

Methods

pHeaderHash ∷ ShelleyProtocolHeader (TPraos c) → ShelleyHash Source #

pHeaderPrevHash ∷ ShelleyProtocolHeader (TPraos c) → PrevHash Source #

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

pHeaderSlot ∷ ShelleyProtocolHeader (TPraos c) → SlotNo Source #

pHeaderBlock ∷ ShelleyProtocolHeader (TPraos c) → BlockNo Source #

pHeaderSize ∷ ShelleyProtocolHeader (TPraos c) → Natural Source #

pHeaderBlockSize ∷ ShelleyProtocolHeader (TPraos c) → Natural Source #

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

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

Methods

configSlotsPerKESPeriod ∷ ConsensusConfig (TPraos c) → Word64 Source #

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

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

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

Associated Types

type CannotForgeError (TPraos c) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.TPraos

type CannotForgeError (TPraos c) = TPraosCannotForge c

Methods

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

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

pHeaderIssueNo ∷ ShelleyProtocolHeader (TPraos c) → Word64 Source #

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

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