6 import Gast.CommandLine
8 import iTasks => qualified label
9 import iTasks.Internal.IWorld
11 instance Testable (Maybe a) | Testable a
13 evaluate Nothing genState result = evaluate False genState result
14 evaluate (Just a) genState result = evaluate a genState result
17 instance Testable (Task a) | iTask, Testable a
19 evaluate task genState result = evaluate (accUnsafe (runTask task)) genState result
20 testname task = "Task"
22 Start = test (\i->treturn (i < 5) == i)