Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Shelley.Protocol.Praos

Contents

Orphan instances

Documentation

data PraosEnvelopeError Source #

Constructors

ObsoleteNode Natural Natural
HeaderSizeTooLarge Natural Natural
BlockSizeTooLarge Natural Natural

Instances

Instances details

Eq PraosEnvelopeError Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Praos Methods (==) :: PraosEnvelopeError -> PraosEnvelopeError -> Bool Source # (/=) :: PraosEnvelopeError -> PraosEnvelopeError -> Bool Source #
Show PraosEnvelopeError Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Praos Methods showsPrec :: Int -> PraosEnvelopeError -> ShowS Source # show :: PraosEnvelopeError -> String Source # showList :: [ PraosEnvelopeError ] -> ShowS Source #
Generic PraosEnvelopeError Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Praos Associated Types type Rep PraosEnvelopeError :: Type -> Type Source # Methods from :: PraosEnvelopeError -> Rep PraosEnvelopeError x Source # to :: Rep PraosEnvelopeError x -> PraosEnvelopeError Source #
NoThunks PraosEnvelopeError Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Praos Methods noThunks :: Context -> PraosEnvelopeError -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> PraosEnvelopeError -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy PraosEnvelopeError -> String Source #
type Rep PraosEnvelopeError Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Praos type Rep PraosEnvelopeError = D1 (' MetaData "PraosEnvelopeError" "Ouroboros.Consensus.Shelley.Protocol.Praos" "ouroboros-consensus-shelley-0.1.0.1-Kwox0dapAHUG8fY5XKE0pO" ' False ) ( C1 (' MetaCons "ObsoleteNode" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Natural ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Natural )) :+: ( C1 (' MetaCons "HeaderSizeTooLarge" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Natural ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Natural )) :+: C1 (' MetaCons "BlockSizeTooLarge" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Natural ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Natural ))))

Orphan instances

PraosCrypto c => SignedHeader ( Header c) Source #
Instance details Methods headerSigned :: Header c -> Signed ( Header c) Source #
PraosCrypto c => ShelleyProtocol ( Praos c) Source #
Instance details
PraosCrypto c => ProtocolHeaderSupportsLedger ( Praos c) Source #
Instance details Methods mkHeaderView :: ShelleyProtocolHeader ( Praos c) -> BHeaderView ( ProtoCrypto ( Praos c)) Source #
PraosCrypto c => ProtocolHeaderSupportsProtocol ( Praos c) Source #
Instance details Associated Types type CannotForgeError ( Praos c) Source # Methods protocolHeaderView :: ShelleyProtocolHeader ( Praos c) -> ValidateView ( Praos c) Source # pHeaderIssuer :: ShelleyProtocolHeader ( Praos c) -> VKey ' BlockIssuer ( ProtoCrypto ( Praos c)) Source # pHeaderIssueNo :: ShelleyProtocolHeader ( Praos c) -> Word64 Source # pHeaderVRFValue :: ShelleyProtocolHeader ( Praos c) -> OutputVRF ( VRF ( ProtoCrypto ( 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 crypto -> Hash crypto EraIndependentBlockBody -> Int -> ProtVer -> m ( ShelleyProtocolHeader ( Praos c)) Source #
PraosCrypto c => ProtocolHeaderSupportsEnvelope ( Praos c) Source #
Instance details Associated Types type EnvelopeCheckError ( Praos c) Source # Methods pHeaderHash :: ShelleyProtocolHeader ( Praos c) -> ShelleyHash ( ProtoCrypto ( Praos c)) Source # pHeaderPrevHash :: ShelleyProtocolHeader ( Praos c) -> PrevHash ( ProtoCrypto ( Praos c)) Source # pHeaderBodyHash :: ShelleyProtocolHeader ( Praos c) -> Hash ( ProtoCrypto ( Praos c)) 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) -> Ticked ( LedgerView ( Praos c)) -> ShelleyProtocolHeader ( Praos c) -> Except ( EnvelopeCheckError ( Praos c)) () Source #