Ideas.Common.Exercise

Exercise record

data Exercise a

emptyExercise

makeExercise

Convenience functions

prettyPrinterContext

isReady

isSuitable

ruleset

getRule

ruleOrderingWith

Status

data Status

isPublic

isPrivate

Examples

type Examples a

data Difficulty

readDifficulty

level

mapExamples

examplesContext

Context

inContext

withoutContext

Type casting

useTypeable

castFrom

castTo

Exercise properties

setProperty

getProperty

Random generators

simpleGenerator

useGenerator

randomTerm

randomTerms

Derivations

showDerivation

showDerivations

printDerivation

printDerivations

diffEnvironment

defaultDerivation

allDerivations