ideas-1.5: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell98

Ideas.Common.ExerciseTests

Description

 

Documentation

checkExercise :: Exercise a -> IO () Source

exerciseTestSuite :: QCGen -> Exercise a -> TestSuite Source

data ShowAs a Source

Constructors

S 

Fields

showS :: a -> String
 
fromS :: a
 

Instances

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

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

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

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

checkExamples :: QCGen -> Exercise a -> TestSuite Source

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

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