Commit 78646122 authored by Rinus Plasmeijer's avatar Rinus Plasmeijer
Browse files

*** empty log message ***

parent 0648712c
......@@ -75,7 +75,7 @@ andTasksCond :: do tasks in any order until pred holds for finished tasks, strin
orTask2 :: !(Task a,Task b) -> Task (EITHER a b)
| iCreateAndPrint a & iCreateAndPrint b
andTask2 :: !(Task a,Task b) -> Task (a,b) | iCreateAndPrint a & iCreateAndPrint b
andTasksCond :: !String !([a] -> Bool) ![LabeledTask a] -> (Task [a]) | iData a
andTasksCond :: !String !([a] -> Bool) ![LabeledTask a] -> Task [a] | iData a
/* Support for user defined combinators
newTask :: same, but optimized: after completion only result will remembered
......
......@@ -23,7 +23,7 @@ derive write Void
:: LabeledTask a :== !(!TaskLabel,!Task a) // a Task with a label used for labeling buttons, pull down menu, and the like
:: TaskLabel :== !String // label name
:: Task a :== !*TSt -> *(!a,!*TSt) // an iTask is state stransition of some type TSt
:: Task a :== !*TSt -> *(!a,!*TSt) // an iTask is state transition of some type TSt
// StartUp Options used for wrappers:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment