Ideas.Common.ExerciseTests

Documentation

checkExercise :: Exercise a -> IO ()

exerciseTestSuite :: QCGen -> Exercise a -> TestSuite

data ShowAs a

Constructors

S

Fields

• showS :: a -> String
• fromS :: a

Instances

Show (ShowAs a)

Methods

showsPrec :: Int -> ShowAs a -> ShowS

show :: ShowAs a -> String

showList :: [ShowAs a] -> ShowS

showAs :: (a -> String) -> Gen a -> Gen (ShowAs a)

checkParserPretty :: (a -> a -> Bool) -> (String -> Either String a) -> (a -> String) -> a -> Bool

checkParserPrettyEx :: Exercise a -> Context a -> Bool

propRule :: Show a => (a -> a -> Bool) -> Rule a -> Gen a -> Property

checkExamples :: QCGen -> Exercise a -> TestSuite

checksForTerm :: Bool -> QCGen -> Exercise a -> a -> [TestSuite]

checksForDerivation :: Exercise a -> Derivation (Rule (Context a), Environment) (Context a) -> [TestSuite]