Documentation

checkExercise :: Exercise a -> IO ()Source

exerciseTestSuite :: StdGen -> Exercise a -> TestSuiteSource

data ShowAs a Source

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

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

checkParserPrettyEx :: Exercise a -> Context a -> BoolSource

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

checkExamples :: StdGen -> Exercise a -> TestSuiteSource

checksForTerm :: Bool -> StdGen -> Exercise a -> a -> [TestSuite]Source

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