module Test.IOTasks.Specification ( Specification, readInput, writeOutput, writeOptionalOutput, anyOptionalOutput, branch, tillExit, exit, while, whileNot, repeatUntil, doWhile, nop, runSpecification, runSpecification', AddLinebreaks, readVars, hasIteration, pPrintSpecification, InputMode(..), accept, LoopBody(..), ) where import Test.IOTasks.Internal.Specification