Orphan instances

Methods

headerSigned :: BHeader c -> Signed ( BHeader 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 #

pHeaderVRFValue :: ShelleyProtocolHeader ( TPraos c) -> OutputVRF ( VRF ( ProtoCrypto ( 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

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) -> Ticked ( LedgerView ( TPraos c)) -> ShelleyProtocolHeader ( TPraos c) -> Except ( EnvelopeCheckError ( TPraos c)) () Source #