Commit 0648712c authored by Rinus Plasmeijer's avatar Rinus Plasmeijer
Browse files

*** empty log message ***

parent 56be1567
...@@ -73,10 +73,10 @@ multiUserTask :: ![StartUpOptions] !(Task a) !*World -> *World | iData a ...@@ -73,10 +73,10 @@ multiUserTask :: ![StartUpOptions] !(Task a) !*World -> *World | iData a
/* /*
workFlowTask :: iTask start function to create a real life workflow workFlowTask :: iTask start function to create a real life workflow
- the first arument has to be an itask which is used for login purposes; it should yield - the first arument has to be an itask which is used for login purposes; it should yield
Bool: True, is the user a new one: if so the second argument is spawned as a separate task for that user Bool : True, is the user a new one: if so the second argument is spawned as a separate task for that user
UserId: the id of that user UserId : the id of that user
- the second argument is workflow that will spawned as a task a : an initial value of some type (eg some data related to the user logged in)
- the second one is the actual function for that user - the second argument is workflow that will spawned as a task if the login was succesful
a predefined login task is defined as an example in iTaskLogin.dcl a predefined login task is defined as an example in iTaskLogin.dcl
*/ */
workFlowTask :: ![StartUpOptions] !(Task ((Bool,UserId),a)) !(UserId a -> LabeledTask b) !*World -> *World | iData b workFlowTask :: ![StartUpOptions] !(Task ((Bool,UserId),a)) !(UserId a -> LabeledTask b) !*World -> *World | iData b
......
Supports Markdown
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