ouroboros-consensus-test-0.3.1.0: Tests of the consensus layer
Safe HaskellNone
LanguageHaskell2010

Test.Util.Classify

Description

Deprecated: Use Test.QuickCheck.StateMachine.Labelling instead

Classification of lists of symbols

Intended for qualified import.

import qualified Test.Util.Classify as C

Documentation

data Predicate a b #

Constructors

Predicate 

Fields

Instances

Instances details
Functor (Predicate a) 
Instance details

Defined in Test.StateMachine.Labelling

Methods

fmap ∷ (a0 → b) → Predicate a a0 → Predicate a b Source #

(<$) ∷ a0 → Predicate a b → Predicate a a0 Source #

classify ∷ [Predicate a b] → [a] → [b] #

maximum ∷ ∀ a b. Ord b ⇒ (a → Maybe b) → Predicate a b #

predicate ∷ (a → Either b (Predicate a b)) → Predicate a b #