Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Shelley.Protocol.Praos

Contents

Orphan instances

Documentation

data PraosEnvelopeError Source #

Constructors

ObsoleteNode Version Version
HeaderSizeTooLarge Natural Natural
BlockSizeTooLarge Natural Natural

Instances

Instances details

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 #
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 #
Eq PraosEnvelopeError Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Praos Methods (==) :: PraosEnvelopeError -> PraosEnvelopeError -> Bool Source # (/=) :: PraosEnvelopeError -> PraosEnvelopeError -> Bool Source #
NoThunks PraosEnvelopeError Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Praos Methods noThunks :: Context -> PraosEnvelopeError -> IO (Maybe ThunkInfo) wNoThunks :: Context -> PraosEnvelopeError -> IO (Maybe ThunkInfo) showTypeOf :: Proxy PraosEnvelopeError -> String
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-cardano-0.12.1.0-B7PPTiiOqdjFK3zhRUwDA9" 'False) (C1 ('MetaCons "ObsoleteNode" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Version) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Version)) :+: (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)
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) -> 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 crypto -> Hash crypto EraIndependentBlockBody -> Int -> ProtVer -> m (ShelleyProtocolHeader (Praos c)) Source #
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 # pTieBreakVRFValue :: ShelleyProtocolHeader (Praos c) -> OutputVRF (VRF (ProtoCrypto (Praos c))) Source #
PraosCrypto c => ShelleyProtocol (Praos c) Source #
Instance details