Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Config.SecurityParam

Synopsis

Documentation

Protocol security parameter

We interpret this as the number of rollbacks we support.

i.e., k == 0: we can't roll back at all k == 1: we can roll back at most one block, etc

NOTE: This talks about the number of blocks we can roll back, not the number of slots .

Constructors

SecurityParam
Fields maxRollbacks :: Word64

Instances details

Eq SecurityParam Source #
Instance details Defined in Ouroboros.Consensus.Config.SecurityParam Methods (==) :: SecurityParam -> SecurityParam -> Bool Source # (/=) :: SecurityParam -> SecurityParam -> Bool Source #
Show SecurityParam Source #
Instance details Defined in Ouroboros.Consensus.Config.SecurityParam Methods showsPrec :: Int -> SecurityParam -> ShowS Source # show :: SecurityParam -> String Source # showList :: [ SecurityParam ] -> ShowS Source #
Generic SecurityParam Source #
Instance details Defined in Ouroboros.Consensus.Config.SecurityParam Associated Types type Rep SecurityParam :: Type -> Type Source # Methods from :: SecurityParam -> Rep SecurityParam x Source # to :: Rep SecurityParam x -> SecurityParam Source #
NoThunks SecurityParam Source #
Instance details Defined in Ouroboros.Consensus.Config.SecurityParam Methods noThunks :: Context -> SecurityParam -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SecurityParam -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy SecurityParam -> String Source #
type Rep SecurityParam Source #
Instance details Defined in Ouroboros.Consensus.Config.SecurityParam type Rep SecurityParam = D1 (' MetaData "SecurityParam" "Ouroboros.Consensus.Config.SecurityParam" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' True ) ( C1 (' MetaCons "SecurityParam" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "maxRollbacks") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))