InteractionTasks.dcl 637 Bytes
Newer Older
1
definition module iTasks.Extensions.Distributed.InteractionTasks
2

3
from iTasks.WF.Definition import class iTask
Haye Böhm's avatar
Fix CI  
Haye Böhm committed
4
import iTasks.Internal.SDS
5
from iTasks.WF.Definition	import :: Task, generic gEq, generic gDefault, generic JSONDecode, generic JSONEncode, generic gText, generic gEditor, :: Editor
6
from Data.Maybe import :: Maybe 
7
from Text.GenJSON import :: JSONNode, generic JSONEncode, generic JSONDecode
8 9
from iTasks.Internal.Generic.Visualization	import :: TextFormat(..)
from iTasks.WF.Tasks.Interaction         import :: ViewOption(..)
10

11
viewSharedInformation :: [ViewOption r] !(sds () r w) -> Task r | iTask r & iTask w & RWShared sds