Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.Util.Pred
- 4 types
- 1 class
- 4 values
- Packageouroboros-consensus-4.2.1.0
- Exports9
- LicenceApache-2.0
Methods
explain :: ExplanationMode -> a -> StringexplainPrec :: Int -> ExplanationMode -> a -> String
Instances7Explainable, …
Explainable BoolDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.PredExplainable PerasCertInclusionRuleDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Cert.InclusionExplainable PerasVotingRuleDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Voting.RulesExplainable PerasVotingRulesDecisionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Voting.RulesShow a => Explainable (ShowExplain a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.PredHasPerasCertRound cert => Explainable (PerasCertInclusionRulesDecision cert)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Cert.InclusionExplainable a => Explainable (Pred a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Pred
Instances2Eq, Show
Eq ExplanationModeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.PredShow ExplanationModeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Pred
Constructors
(:=) :: !tag -> !Pred tag -> Pred taginfixr 2Bool :: !Bool -> Pred tagNot :: !Pred tag -> Pred taginfixr 5(:>:) :: (Typeable a, Ord a, Show a) => !a -> !a -> Pred taginfix 5(:<=:) :: (Typeable a, Ord a, Show a) => !a -> !a -> Pred taginfix 5(:==:) :: (Typeable a, Eq a, Show a) => !a -> !a -> Pred taginfix 5(:/\:) :: !Pred tag -> !Pred tag -> Pred taginfixr 4(:\/:) :: !Pred tag -> !Pred tag -> Pred taginfixr 3
Instances3Eq, Show, Explainable
Eq tag => Eq (Pred tag)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.PredShow tag => Show (Pred tag)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.PredExplainable a => Explainable (Pred a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Pred
Constructors
Instances2Show, Explainable
Show a => Show (ShowExplain a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.PredShow a => Explainable (ShowExplain a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Pred