module Test.IOTasks (
Specification, runSpecification, runSpecification', accept,
readInput,
writeOutput, writeOptionalOutput, anyOptionalOutput, branch, tillExit, exit, nop, while, whileNot, repeatUntil, doWhile,
InputMode(..),
ValueSet,
empty, complete, singleton, fromList,
lessThan, greaterThan,
union, intersection,
(\\), with, without,
complement,
unique, notInVar,
isEmpty,
ints, nats, bools, str,
OutputPattern,
wildcard, text, resultOf,
Varname, Var, intVar, boolVar, stringVar,
pPrintSpecification,
Embeddable(..),
embed, embedFromList,
embeddedVar,
Embedded,
Term,
TermKind(..),
currentValue, allValues,
valueBefore, valuesBefore,
MergedVars, merge,
(.+.), (.-.), (.*.),
intLit,
(.==.), (./=.), (.>.), (.>=.), (.<.), (.<=.),
not',
(.&&.), (.||.),
true, false,
embeddedLit,
sum', product', length', reverse',
isIn, isNotIn,
listLit,
filter',
liftOpaqueValue, liftOpaque, liftOpaque2,
MonadTeletype(..),
IOrep, runProgram, Line,
Trace, covers,
taskCheck, taskCheckWith, taskCheckOutcome, taskCheckWithOutcome, Args(..), stdArgs,
Outcome(..), CoreOutcome(..), OutcomeHints(..), isSuccess, isFailure, overflowWarnings,
FeedbackStyle(..), TraceStyle(..), defaultFeedback,
printOutcomeWith,
generateStaticTestSuite, taskCheckOn,
interpret,
) where
import Test.IOTasks.Interpreter
import Test.IOTasks.IOrep
import Test.IOTasks.OutputPattern
import Test.IOTasks.Specification
import Test.IOTasks.Term
import Test.IOTasks.Term.Prelude
import Test.IOTasks.Testing
import Test.IOTasks.Trace
import Test.IOTasks.ValueSet
import Test.IOTasks.Var