Commit a6356d42 authored by Jurriën Stutterheim's avatar Jurriën Stutterheim

Use hierarchical names for Clean Platform as well


git-svn-id: https://svn.cs.ru.nl/repos/iTask-system/trunk@2412 63da3aa8-80fd-4f01-9db8-e6ea747a3da2
parent 6cf68dc1
definition module Generic
definition module Data.Generic
import StdGeneric
......@@ -7,4 +7,4 @@ fromCONS :: !(CONS x) -> x
fromRECORD :: !(RECORD x) -> x
fromFIELD :: !(FIELD x) -> x
fromPAIRX :: !(PAIR x y) -> x
fromPAIRY :: !(PAIR x y) -> y
\ No newline at end of file
fromPAIRY :: !(PAIR x y) -> y
implementation module Generic
implementation module Data.Generic
import StdGeneric, StdList
......@@ -18,4 +18,4 @@ fromPAIRX :: !(PAIR x y) -> x
fromPAIRX (PAIR x _) = x
fromPAIRY :: !(PAIR x y) -> y
fromPAIRY (PAIR _ y) = y
\ No newline at end of file
fromPAIRY (PAIR _ y) = y
definition module List
definition module Data.List
import Functor, GenEq
import Data.Functor, GenEq
unzip3 :: ![(.a,.b,.c)] -> ([.a],[.b],[.c])
unzip4 :: ![(.a,.b,.c,.d)] -> ([.a],[.b],[.c],[.d])
......@@ -12,4 +12,4 @@ intersperse :: !a ![a] -> [a]
getItems :: ![a] ![Int] -> [a]
isMemberGen :: !a !.[a] -> Bool | gEq{|*|} a
instance Functor []
\ No newline at end of file
instance Functor []
implementation module List
implementation module Data.List
import StdTuple, StdBool, StdList, StdOrdList, Functor, GenEq
import StdTuple, StdBool, StdList, StdOrdList, Data.Functor, GenEq
unzip3 :: ![(.a,.b,.c)] -> ([.a],[.b],[.c])
unzip3 [] = ([], [], [])
......@@ -48,4 +48,4 @@ isMemberGen x [] = False
instance Functor []
where
fmap f l = [f e \\ e <- l]
\ No newline at end of file
fmap f l = [f e \\ e <- l]
definition module JSON
definition module Text.JSON
/*
* This module provides functions to encode and decode any Clean data type
* to JSON format. It provides two generic functions JSONEncode and JSONDecode
......@@ -8,7 +8,7 @@ definition module JSON
* For more info about JSON see: http://www.json.org/
*/
import StdGeneric, Maybe, StdString
import StdGeneric, Data.Maybe, StdString
:: JSONNode = JSONNull
| JSONBool !Bool
......
implementation module JSON
implementation module Text.JSON
import StdGeneric, Maybe, StdList, StdOrdList, StdString, _SystemArray, StdTuple, StdBool, StdFunc, StdOverloadedList
import Text, PPrint
import StdGeneric, Data.Maybe, StdList, StdOrdList, StdString, _SystemArray, StdTuple, StdBool, StdFunc, StdOverloadedList
import Text, Text.PPrint
//Token type which is the intermediary representation during JSON parsing
:: Token = TokenInt !Int
......
......@@ -31,7 +31,7 @@ import iTasks.Framework.Engine // basic iTask system creator
, iTasks.API.Core.LayoutCombinators
// Miscellaneous machinery
, JSON // Functions for serializing/deserializing strings
, Text.JSON // Functions for serializing/deserializing strings
, iTasks.Framework.Shared // Shared data sources
, iTasks.Framework.GenVisualize // Functions for generating GUIs
, iTasks.Framework.GenUpdate // Functions for updating arbitrary values
......@@ -53,4 +53,4 @@ import iTasks.Framework.Engine // basic iTask system creator
, StdOverloaded
from StdFunc import id, const, o
from List import instance Functor []
from Data.List import instance Functor []
implementation module iTasks
import JSON
import Text.JSON
import iTasks.Framework.GenUpdate
import iTasks.Framework.GenVisualize
import iTasks.Framework.GenVerify
......@@ -5,8 +5,8 @@ definition module iTasks.API.Common.CommonCombinators
import iTasks.API.Core.CoreCombinators, iTasks.API.Core.LayoutCombinators
from iTasks.API.Core.SystemTypes import :: User
from Map import :: Map
from Either import :: Either
from Data.Map import :: Map
from Data.Either import :: Either
/**
* Infix shorthand for step combinator
......
......@@ -2,13 +2,14 @@ implementation module iTasks.API.Common.CommonCombinators
/**
* This module contains a collection of useful iTasks combinators defined in terms of the basic iTask combinators
*/
import StdBool, StdList,StdOrdList, StdTuple, StdGeneric, StdMisc, StdInt, StdClass, Text, Time, Tuple, List, Either
import StdBool, StdList,StdOrdList, StdTuple, StdGeneric, StdMisc, StdInt, StdClass
import Text, System.Time, Data.Tuple, Data.List, Data.Either
import iTasks.Framework.Util, iTasks.Framework.GenVisualize, iTasks.Framework.GenUpdate, iTasks.Framework.GenRecord
from StdFunc import id, const, o
from iTasks.API.Core.SystemTypes import :: User(..), :: Note(..)
from iTasks.Framework.TaskState import :: TaskTree(..), :: DeferredJSON
from iTasks.API.Core.SystemData import randomInt, topLevelTasks
from Map import qualified put
from Data.Map import qualified put
import iTasks.API.Core.CoreTasks, iTasks.API.Core.CoreCombinators, iTasks.API.Common.InteractionTasks, iTasks.API.Core.LayoutCombinators
......@@ -219,11 +220,11 @@ appendTopLevelTaskFor :: !worker !(Task a) -> Task TaskId | iTask a & toUserCons
appendTopLevelTaskFor worker task = appendTopLevelTask {defaultValue & worker = toUserConstraint worker} task
instance tune InWindow
where tune InWindow task = task <<@ AfterLayout (tweakAttr ('Map'.put CONTAINER_ATTRIBUTE "window"))
where tune InWindow task = task <<@ AfterLayout (tweakAttr ('Data.Map'.put CONTAINER_ATTRIBUTE "window"))
instance tune InContainer
where tune InContainer task = task <<@ AfterLayout (tweakAttr ('Map'.put CONTAINER_ATTRIBUTE "container"))
where tune InContainer task = task <<@ AfterLayout (tweakAttr ('Data.Map'.put CONTAINER_ATTRIBUTE "container"))
instance tune InPanel
where tune InPanel task = task <<@ AfterLayout (tweakAttr ('Map'.put CONTAINER_ATTRIBUTE "panel"))
where tune InPanel task = task <<@ AfterLayout (tweakAttr ('Data.Map'.put CONTAINER_ATTRIBUTE "panel"))
valToMaybe (Value v _) = Just v
valToMaybe NoValue = Nothing
......
implementation module iTasks.API.Common.DBTasks
import StdList, StdOrdList, List
import StdList, StdOrdList, Data.List
import iTasks.Framework.iTaskClass, iTasks.Framework.Task, iTasks.Framework.Shared
import iTasks.Framework.Util
from iTasks.API.Core.CoreTasks import get, set, return
......
......@@ -2,7 +2,7 @@ definition module iTasks.API.Common.ExportTasks
/**
* This module provides tasks for exporting data from a workflow to an external source
*/
import FilePath
import System.FilePath
import iTasks.API.Core.SystemTypes
import iTasks.Framework.Task
......
implementation module iTasks.API.Common.ExportTasks
import StdBool, FilePath, CSV, File, Map
import StdBool, System.FilePath, Text.CSV, System.File, Data.Map
import iTasks.Framework.IWorld, iTasks.Framework.Task, iTasks.Framework.TaskState, iTasks.Framework.TaskStore
exportDocument :: !FilePath !Document -> Task Document
......
......@@ -2,7 +2,7 @@ definition module iTasks.API.Common.ImportTasks
/**
* This module provides tasks for importing external data into a workflow.
*/
import FilePath
import System.FilePath
import iTasks.API.Core.SystemTypes
import iTasks.Framework.Task
/**
......
implementation module iTasks.API.Common.ImportTasks
import StdBool, _SystemArray, StdInt, MIME, Text, CSV, File, Map
import StdBool, _SystemArray, StdInt
import Text.Encodings.MIME, Text, Text.CSV, System.File, Data.Map
import iTasks.Framework.IWorld, iTasks.Framework.Task, iTasks.Framework.TaskState, iTasks.Framework.TaskStore
import iTasks.Framework.Util
from StdFunc import id
......
......@@ -2,10 +2,10 @@ implementation module iTasks.API.Common.InteractionTasks
from StdFunc import id, const, o, flip
from iTasks.API.Core.SystemData import null
from Tuple import appSnd
from List import isMemberGen, instance Functor []
from Time import :: Timestamp(..)
from Map import qualified get, put
from Data.Tuple import appSnd
from Data.List import isMemberGen, instance Functor []
from System.Time import :: Timestamp(..)
from Data.Map import qualified get, put
import StdBool, StdList, StdMisc, StdTuple
import iTasks.API.Core.CoreTasks, iTasks.API.Core.OptimizedCoreTasks, iTasks.API.Core.CoreCombinators
......@@ -272,7 +272,7 @@ where
view r = DivTag [] [SpanTag [StyleAttr "font-size: 30px"] [Text (visualizeAsText AsLabel r)]]
titleFromValue :: UIAttributes -> UIAttributes
titleFromValue attr = case 'Map'.get VALUE_ATTRIBUTE attr of
Just v = 'Map'.put TITLE_ATTRIBUTE v attr
titleFromValue attr = case 'Data.Map'.get VALUE_ATTRIBUTE attr of
Just v = 'Data.Map'.put TITLE_ATTRIBUTE v attr
_ = attr
......@@ -3,7 +3,7 @@ definition module iTasks.API.Core.CoreCombinators
* This is the kernel module for the specification of workflows. It contains the core set of iTasks combinators
* with which additional combinators can be defined.
*/
from Time import :: Timestamp
from System.Time import :: Timestamp
from iTasks.API.Core.LayoutCombinators import :: SetLayout, :: AfterLayout, :: ModifyLayout, :: Layout
import iTasks.Framework.Task, iTasks.Framework.Shared
......
This diff is collapsed.
......@@ -5,8 +5,8 @@ definition module iTasks.API.Core.CoreTasks
import iTasks.Framework.iTaskClass, iTasks.Framework.Shared
from iTasks.Framework.Task import :: Task
from Error import ::MaybeError(..)
from OSError import ::MaybeOSError, ::OSError, ::OSErrorCode, ::OSErrorMessage
from Data.Error import ::MaybeError(..)
from System.OSError import ::MaybeOSError, ::OSError, ::OSErrorCode, ::OSErrorMessage
/**
* Lifts a value to the task domain. The task finishes immediately and yields its parameter
......
implementation module iTasks.API.Core.CoreTasks
import StdList, StdBool, StdInt, StdTuple,StdMisc, Time, Error, OSError, Map, Tuple, List
import StdList, StdBool, StdInt, StdTuple,StdMisc, System.Time, Data.Error, System.OSError, Data.Map, Data.Tuple, Data.List
import qualified StdList
import iTasks.Framework.Util, iTasks.Framework.HtmlUtil
import iTasks.Framework.iTaskClass, iTasks.Framework.Task, iTasks.Framework.TaskState, iTasks.Framework.TaskEval, iTasks.Framework.TaskStore
import iTasks.Framework.UIDefinition, iTasks.Framework.Shared
import iTasks.API.Core.LayoutCombinators
from SharedDataSource import qualified read, readRegister, write, writeFilterMsg
from Data.SharedDataSource import qualified read, readRegister, write, writeFilterMsg
from StdFunc import o, id
from iTasks.Framework.IWorld import :: IWorld(..)
from iTasks.API.Core.SystemData import topLevelTasks
from Map import qualified get
from Data.Map import qualified get
return :: !a -> (Task a) | iTask a
return a = mkInstantTask (\taskId iworld-> (Ok a, iworld))
......@@ -23,7 +23,7 @@ get :: !(ReadWriteShared a w) -> Task a | iTask a
get shared = mkInstantTask eval
where
eval taskId iworld=:{taskTime}
# (val,iworld) = 'SharedDataSource'.read shared iworld
# (val,iworld) = 'Data.SharedDataSource'.read shared iworld
= case val of
Ok val = (Ok val,iworld)
Error e = (Error (dynamic (SharedException e), e), iworld)
......@@ -32,8 +32,8 @@ set :: !a !(ReadWriteShared r a) -> Task a | iTask a
set val shared = mkInstantTask eval
where
eval taskId iworld=:{taskTime,currentInstance}
//# (res,iworld) ='SharedDataSource'.writeFilterMsg val ((<>) currentInstance) shared iworld
# (res,iworld) ='SharedDataSource'.write val shared iworld
//# (res,iworld) ='Data.SharedDataSource'.writeFilterMsg val ((<>) currentInstance) shared iworld
# (res,iworld) ='Data.SharedDataSource'.write val shared iworld
= case res of
Ok _ = (Ok val,iworld)
Error e = (Error (dynamic (SharedException e), e), iworld)
......@@ -42,13 +42,13 @@ update :: !(r -> w) !(ReadWriteShared r w) -> Task w | iTask r & iTask w
update fun shared = mkInstantTask eval
where
eval taskId iworld=:{taskTime,currentInstance}
# (er, iworld) = 'SharedDataSource'.read shared iworld
# (er, iworld) = 'Data.SharedDataSource'.read shared iworld
= case er of
Error e = (Error (dynamic (SharedException e), e), iworld)
Ok r
# w = fun r
//# (er, iworld) = 'SharedDataSource'.writeFilterMsg w ((<>) currentInstance) shared iworld
# (er, iworld) = 'SharedDataSource'.write w shared iworld
//# (er, iworld) = 'Data.SharedDataSource'.writeFilterMsg w ((<>) currentInstance) shared iworld
# (er, iworld) = 'Data.SharedDataSource'.write w shared iworld
= case er of
Ok _ = (Ok w, iworld)
Error e = (Error (dynamic (SharedException e), e), iworld)
......@@ -57,7 +57,7 @@ watch :: !(ReadWriteShared r w) -> Task r | iTask r
watch shared = Task eval
where
eval event repOpts (TCInit taskId=:(TaskId instanceNo _) ts) iworld
# (val,iworld) = 'SharedDataSource'.readRegister instanceNo shared iworld
# (val,iworld) = 'Data.SharedDataSource'.readRegister instanceNo shared iworld
# res = case val of
Ok val = ValueResult (Value val False) {TaskInfo|lastEvent=ts,refreshSensitive=True}
(finalizeRep repOpts (TaskRep (UIControlSequence {UIControlSequence|attributes=newMap,controls=[],direction=Vertical}) [])) (TCInit taskId ts)
......@@ -71,7 +71,7 @@ interact :: !d !(ReadOnlyShared r) (r -> (l,v,InteractionMask)) (l r v Interacti
interact desc shared initFun refreshFun = Task eval
where
eval event repOpts (TCInit taskId=:(TaskId instanceNo _) ts) iworld
# (mbr,iworld) = 'SharedDataSource'.readRegister instanceNo shared iworld
# (mbr,iworld) = 'Data.SharedDataSource'.readRegister instanceNo shared iworld
= case mbr of
Error e = (exception e, iworld)
Ok r
......@@ -84,7 +84,7 @@ where
//Determine next v by applying edit event if applicable
# (nv,nmask,nts,iworld) = matchAndApplyEvent event taskId taskTime v mask ts iworld
//Load next r from shared value
# (mbr,iworld) = 'SharedDataSource'.readRegister instanceNo shared iworld
# (mbr,iworld) = 'Data.SharedDataSource'.readRegister instanceNo shared iworld
| isError mbr = (exception (fromError mbr),iworld)
# nr = fromOk mbr
//Apply refresh function if r or v changed
......
......@@ -3,9 +3,9 @@ definition module iTasks.API.Core.IntegrationTasks
* This module provides tasks for interaction with other systems.
*/
from Maybe import :: Maybe
from Void import :: Void
from Error import :: MaybeError, :: MaybeErrorString
from Data.Maybe import :: Maybe
from Data.Void import :: Void
from Data.Error import :: MaybeError, :: MaybeErrorString
import iTasks.Framework.iTaskClass
from iTasks.Framework.Task import :: Task
......
......@@ -2,7 +2,7 @@ implementation module iTasks.API.Core.IntegrationTasks
import StdInt, StdFile, StdTuple, StdList
import Directory, File, FilePath, Error, OSError, UrlEncoding, Text, Tuple, JSON
import System.Directory, System.File, System.FilePath, Data.Error, System.OSError, Text.Encodings.UrlEncoding, Text, Data.Tuple, Text.JSON
import iTasks.Framework.IWorld, iTasks.Framework.Task, iTasks.Framework.TaskState
import iTasks.Framework.Shared
......@@ -11,10 +11,10 @@ import iTasks.API.Common.InteractionTasks, iTasks.API.Common.CommonCombinators /
from iTasks.API.Common.ImportTasks import importTextFile
from File import qualified fileExists, readFile
from Map import qualified newMap, put
from Process import qualified ::ProcessHandle, runProcess, checkProcess,callProcess
from Process import :: ProcessHandle(..)
from System.File import qualified fileExists, readFile
from Data.Map import qualified newMap, put
from System.Process import qualified ::ProcessHandle, runProcess, checkProcess,callProcess
from System.Process import :: ProcessHandle(..)
from Email import qualified sendEmail
from Email import :: Email(..), :: EmailOption(..)
from StdFunc import o
......@@ -52,7 +52,7 @@ where
, "--process"
, cmd
: args]
# (res,world) = 'Process'.runProcess runAsync runAsyncArgs Nothing world
# (res,world) = 'System.Process'.runProcess runAsync runAsyncArgs Nothing world
# nstate = case res of
Error e = state taskId ts (Left e)
Ok _ = state taskId ts (Right outfile)
......@@ -64,12 +64,12 @@ where
//Check for its result
eval event repOpts state=:(TCBasic taskId lastEvent encv stable) iworld=:{world}
| stable
= (ValueResult (Value (fromJust (fromJSON encv)) True) {TaskInfo|lastEvent=lastEvent,refreshSensitive=False} (TaskRep (UIControlSequence {UIControlSequence|attributes='Map'.newMap,controls=[],direction=Vertical}) []) state, iworld)
= (ValueResult (Value (fromJust (fromJSON encv)) True) {TaskInfo|lastEvent=lastEvent,refreshSensitive=False} (TaskRep (UIControlSequence {UIControlSequence|attributes='Data.Map'.newMap,controls=[],direction=Vertical}) []) state, iworld)
| otherwise
= case fromJSON encv of
Just (Right outfile)
//Check status
# (exists,world) = 'File'.fileExists outfile world
# (exists,world) = 'System.File'.fileExists outfile world
| not exists
//Still busy
# iworld = {IWorld|iworld & world = world}
......@@ -77,10 +77,10 @@ where
# layout = repLayout repOpts
# (controls,iworld) = makeView opts status (verifyMaskedValue status Touched) taskId layout iworld
# prompt = toPrompt desc
# editor = {UIControlSequence| attributes = 'Map'.newMap, controls = controls, direction = Vertical}
# editor = {UIControlSequence| attributes = 'Data.Map'.newMap, controls = controls, direction = Vertical}
# rep = TaskRep (UIControlSequence (layout.Layout.interact prompt editor)) []
= (ValueResult (Value status False) {TaskInfo|lastEvent=lastEvent,refreshSensitive=True} rep state,iworld)
# (res, world) = 'File'.readFile outfile world
# (res, world) = 'System.File'.readFile outfile world
| isError res
//Failed to read file
= (exception (CallFailed (1,"callProcess: Failed to read output")), {IWorld|iworld & world = world})
......@@ -92,7 +92,7 @@ where
| async.AsyncResult.success
# result = CompletedProcess async.AsyncResult.exitcode
= (ValueResult (Value result True) {TaskInfo|lastEvent=lastEvent,refreshSensitive=False}
(TaskRep (UIControlSequence {UIControlSequence|attributes = 'Map'.newMap,controls = [],direction = Vertical}) [])
(TaskRep (UIControlSequence {UIControlSequence|attributes = 'Data.Map'.newMap,controls = [],direction = Vertical}) [])
(TCBasic taskId lastEvent (toJSON result) True), {IWorld|iworld & world = world})
| otherwise
= (exception (CallFailed (async.AsyncResult.exitcode,"callProcess: " +++ async.AsyncResult.message)), {IWorld|iworld & world = world})
......@@ -119,7 +119,7 @@ callInstantProcess :: !FilePath ![String] -> Task Int
callInstantProcess cmd args = mkInstantTask eval
where
eval taskId iworld=:{taskTime,world}
# (res,world) = 'Process'.callProcess cmd args Nothing world
# (res,world) = 'System.Process'.callProcess cmd args Nothing world
= case res of
Error e
# ex = CallFailed e
......
......@@ -6,7 +6,7 @@ import iTasks.Framework.UIDefinition
from iTasks.Framework.Task import :: TaskCompositionType
from iTasks.Framework.TaskState import :: TIMeta
import Maybe
import Data.Maybe
// Definition of a layout as collection of combination functions
:: Layout =
......
implementation module iTasks.API.Core.LayoutCombinators
import StdTuple, StdList, StdBool, StdOrdList
import Maybe, Text, Tuple, Map
import Data.Maybe, Text, Data.Tuple, Data.Map
import iTasks.Framework.Util, iTasks.Framework.HtmlUtil, iTasks.Framework.UIDefinition
import iTasks.API.Core.SystemTypes
......
implementation module iTasks.API.Core.OptimizedCoreTasks
import StdList, StdBool, StdInt, StdTuple,StdMisc, Time, Error, OSError, Map, Tuple, List
import StdList, StdBool, StdInt, StdTuple,StdMisc, System.Time, Data.Error, System.OSError, Data.Map, Data.Tuple, Data.List
import qualified StdList
import iTasks.Framework.iTaskClass, iTasks.Framework.Task, iTasks.Framework.TaskState, iTasks.Framework.TaskEval
import iTasks.Framework.TaskStore, iTasks.Framework.UIDefinition, iTasks.Framework.Shared
import iTasks.Framework.Util, iTasks.Framework.HtmlUtil
import iTasks.API.Core.LayoutCombinators
from SharedDataSource import qualified read, readRegister, write, writeFilterMsg
from Data.SharedDataSource import qualified read, readRegister, write, writeFilterMsg
from StdFunc import o, id
from iTasks.Framework.IWorld import :: IWorld(..)
from iTasks.API.Core.SystemData import topLevelTasks
from Map import qualified get
from Data.Map import qualified get
interactSharedChoice :: !d !(ReadOnlyShared r) (Maybe l) (r (Maybe l) -> t v l)
-> Task (Maybe l) | descr d & Choice t & iTask r & iTask l & iTask (t v l)
interactSharedChoice desc shared initial_mask toView = Task eval
where
eval event repOpts (TCInit taskId=:(TaskId instanceNo _) ts) iworld
# (mbr,iworld) = 'SharedDataSource'.readRegister instanceNo shared iworld
# (mbr,iworld) = 'Data.SharedDataSource'.readRegister instanceNo shared iworld
= case mbr of
Error e = (exception e,iworld)
Ok r
......@@ -32,7 +32,7 @@ where
//Determine next v by applying edit event if applicable
# (nv,nmask,nts,iworld) = matchAndApplyEvent event taskId taskTime v mask ts iworld
//Load next r from shared value
# (mbr,iworld) = 'SharedDataSource'.readRegister instanceNo shared iworld
# (mbr,iworld) = 'Data.SharedDataSource'.readRegister instanceNo shared iworld
| isError mbr = (exception (fromError mbr),iworld)
# nr = fromOk mbr
//Apply refresh function if r or v changed
......@@ -59,7 +59,7 @@ interactSharedChoiceNoView :: !d !(ReadOnlyShared r) (Maybe l) (r (Maybe l) -> t
interactSharedChoiceNoView desc shared initial_mask toViewId = Task eval
where
eval event repOpts (TCInit taskId=:(TaskId instanceNo _) ts) iworld
# (mbr,iworld) = 'SharedDataSource'.readRegister instanceNo shared iworld
# (mbr,iworld) = 'Data.SharedDataSource'.readRegister instanceNo shared iworld
= case mbr of
Error e = (exception e,iworld)
Ok r
......@@ -74,7 +74,7 @@ where
//Determine next v by applying edit event if applicable
# (nv,nmask,nts,iworld) = matchAndApplyEvent event taskId taskTime v mask ts iworld
//Load next r from shared value
# (mbr,iworld) = 'SharedDataSource'.readRegister instanceNo shared iworld
# (mbr,iworld) = 'Data.SharedDataSource'.readRegister instanceNo shared iworld
| isError mbr = (exception (fromError mbr),iworld)
# nr = fromOk mbr
//Apply refresh function if r or v changed
......@@ -100,7 +100,7 @@ interactSharedInformation :: !d !(ReadOnlyShared r) (r -> v) -> Task r | descr d
interactSharedInformation desc shared toView = Task eval
where
eval event repOpts (TCInit taskId=:(TaskId instanceNo _) ts) iworld
# (mbr,iworld) = 'SharedDataSource'.readRegister instanceNo shared iworld
# (mbr,iworld) = 'Data.SharedDataSource'.readRegister instanceNo shared iworld
= case mbr of
Error e = (exception e,iworld)
Ok r
......@@ -115,7 +115,7 @@ where
//Determine next v by applying edit event if applicable
# (nv,nmask,nts,iworld) = matchAndApplyEvent event taskId taskTime v mask ts iworld
//Load next r from shared value
# (mbr,iworld) = 'SharedDataSource'.readRegister instanceNo shared iworld
# (mbr,iworld) = 'Data.SharedDataSource'.readRegister instanceNo shared iworld
| isError mbr = (exception (fromError mbr), iworld)
# nr = fromOk mbr
//Apply refresh function if r or v changed
......
......@@ -3,12 +3,12 @@ definition module iTasks.API.Core.SystemData
* This module provides access to the iTask framework data by means of
* a set of shared data structures.
*/
import Maybe, JSON
import Data.Maybe, Text.JSON
import iTasks.Framework.Shared
from iTasks.API.Core.SystemTypes import :: DateTime, :: Date, :: Time, :: User, :: Role, :: TaskList, :: Tree
from iTasks.API.Core.SystemTypes import :: TaskListItem, :: Config, :: TaskId, :: TaskNo, :: InstanceNo, :: SharedTaskList
from Void import :: Void
from FilePath import :: FilePath
from Data.Void import :: Void
from System.FilePath import :: FilePath
//USER-DEFINED SHARES
......
implementation module iTasks.API.Core.SystemData
import StdList, StdBool, StdFile, Time, Text, Tuple, Map, Random
import StdList, StdBool, StdFile, System.Time, Text, Data.Tuple, Data.Map, Math.Random
import iTasks.Framework.Store, iTasks.Framework.TaskStore, iTasks.Framework.Shared, iTasks.Framework.Util
import iTasks.Framework.Task
import iTasks.API.Core.SystemTypes
......
......@@ -3,13 +3,14 @@ definition module iTasks.API.Core.SystemTypes
* This module provides types for all the globally shared concepts
* of the iTasks framework.
*/
import GenEq, Maybe, JSON, Void, Either, FilePath, HTML, Error, File, OS
import GenEq
import Data.Maybe, Text.JSON, Data.Void, Data.Either, System.FilePath, Text.HTML, Data.Error, System.File, System.OS
import iTasks.Framework.Store
from Map import :: Map
from Map import qualified get
from HTML import class html
from Time import :: Timestamp
from Data.Map import :: Map
from Data.Map import qualified get
from Text.HTML import class html
from System.Time import :: Timestamp
from iTasks.Framework.IWorld import :: IWorld
from iTasks.Framework.UIDefinition import :: UIDef, :: UIControlSequence, :: UIAnnotatedControls, :: UIControl, :: UISize, :: UIDirection, :: UISideSizes, :: UIMinSize, :: UIAttributes
from iTasks.Framework.Task import :: Task, :: TaskId
......
......@@ -2,11 +2,11 @@ implementation module iTasks.API.Core.SystemTypes
from StdFunc import until
import StdInt, StdBool, StdClass, StdArray, StdTuple, StdMisc, StdList, StdFunc, StdOrdList
import List, JSON, HTML, Text, Map, Base64, Tuple, dynamic_string
import Data.List, Text.JSON, Text.HTML, Text, Data.Map, Text.Encodings.Base64, Data.Tuple, dynamic_string
import iTasks.Framework.GenVisualize, iTasks.Framework.GenUpdate
import iTasks.Framework.Util
from Time import :: Timestamp(..)
from System.Time import :: Timestamp(..)
from iTasks.Framework.Task import :: TaskValue
from iTasks.Framework.UIDefinition import :: UIDef(..), :: UIControlSequence, :: UIActionSet, :: UIControlGroup, :: UIActions, :: UIControls, :: UITitle, :: UIDirection(..), :: UIAnnotatedControls, :: UIAbstractContainer, :: UIViewport, :: UIAction, :: UIControl, stringDisplay
......
implementation module iTasks.API.Extensions.Admin.UserAdmin
import iTasks, Text, Tuple
import iTasks, Text, Data.Tuple
derive class iTask UserAccount
......
implementation module iTasks.API.Extensions.Admin.WorkflowAdmin
import iTasks
import StdMisc, Tuple, Text