5 Skeleton for assignment 4.
6 To be used in a project with the environment iTasks.
7 Pieter Koopman, pieter@cs.ru.nl
15 :: NamedIdea = { name :: Name, idea :: Idea}
16 derive class iTask NamedIdea // generic magic
18 doIdentified :: (Name -> Task x) -> Task x | iTask x
19 doIdentified task = enterInformation "Enter your name" [] >>= task
21 editIdea :: Name -> Task NamedIdea
22 editIdea name = enterInformation (name +++ " add your idea") []
23 >>= \idea . return {name = name, idea = idea}
25 mainTask = doIdentified editIdea >>= viewInformation "The result" []
27 Start :: *World -> *World
28 Start world = startEngine mainTask world