module test
import iTasks
-
-derive class iTask T1
-
-:: T1 =
- { f1 :: Bool
- , f2 :: Bool
- }
+import qualified Data.Map as DM
Start w = startEngine t w
-t :: Task (Maybe T1)
-t = enterInformation () []
+t :: Task ('DM'.Map Int String)
+t = viewInformation () [] ('DM'.fromList [(42, "foo")])