conj-semantics/test.icl

   1 module test
   2
   3
   4 import Data.Either
   5 import iTasks
   6
   7 Start w = doTasks viewer w
   8
   9 viewer = parallel
  10         [(Embedded, \stl->appendTask Embedded (\_->t <<@ ArrangeHorizontal) stl
  11                 >>= \tid->viewSharedInformation "Task Value" []
  12                         (sdsFocus (Right tid) (taskListItemValue stl)) @! 42)
  13         ] []
  14
  15 t =    updateInformation "Left" [] 42
  16   -||- (enterInformation "Right" [] -||- chooseAction [(Action "Fire", 42)])
  17