Orphan instances

Methods

headerSigned :: BHeader c -> Signed (BHeader c)

Methods

pHeaderHash :: ShelleyProtocolHeader (TPraos c) -> ShelleyHash (ProtoCrypto (TPraos c)) Source #

pHeaderPrevHash :: ShelleyProtocolHeader (TPraos c) -> PrevHash (ProtoCrypto (TPraos c)) Source #

pHeaderBodyHash :: ShelleyProtocolHeader (TPraos c) -> Hash (ProtoCrypto (TPraos c)) 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 #

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 crypto -> Hash crypto EraIndependentBlockBody -> Int -> ProtVer -> m (ShelleyProtocolHeader (TPraos c)) Source #

Methods

mkHeaderView :: ShelleyProtocolHeader (TPraos c) -> BHeaderView (ProtoCrypto (TPraos c)) Source #

Methods

protocolHeaderView :: ShelleyProtocolHeader (TPraos c) -> ValidateView (TPraos c) Source #

pHeaderIssuer :: ShelleyProtocolHeader (TPraos c) -> VKey 'BlockIssuer (ProtoCrypto (TPraos c)) Source #

pHeaderIssueNo :: ShelleyProtocolHeader (TPraos c) -> Word64 Source #

pTieBreakVRFValue :: ShelleyProtocolHeader (TPraos c) -> OutputVRF (VRF (ProtoCrypto (TPraos c))) Source #