ideas-1.7: Feedback services for intelligent tutoring systems

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

Ideas.Common.ExerciseTests

Description

 

Documentation

data ShowAs a Source #

Constructors

S 

Fields

Instances

Show (ShowAs a) Source # 

Methods

showsPrec :: Int -> ShowAs a -> ShowS #

show :: ShowAs a -> String #

showList :: [ShowAs a] -> ShowS #

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

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

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