Symbols.dcl 792 Bytes
Newer Older
1
definition module iTasks.Internal.Distributed.Symbols
2

3 4
from iTasks.WF.Definition import class iTask
from iTasks.WF.Definition import :: Task, generic gEq, generic gDefault, generic JSONDecode, generic JSONEncode, generic gText, generic gEditor, :: Editor
5 6
from Data.Maybe import :: Maybe
from Text.JSON import :: JSONNode, generic JSONEncode, generic JSONDecode
7
from iTasks.Internal.Generic.Visualization import :: TextFormat(..)
8
from symbols_in_program import :: Symbol
9 10 11
from iTasks.Internal.IWorld import :: IWorld
from Data.Error import :: MaybeError
from iTasks.WF.Definition import :: TaskException
12

13
storeSymbols :: String !*IWorld -> (MaybeError TaskException String, !*IWorld)
14 15 16 17

accSymbols :: ({#Symbol} -> a) -> Task a | iTask a

withSymbols :: ({#Symbol} -> Task a) -> Task a | iTask a