Implementation of the analysis computations on the server side
Author: Heiko Hoffmann, Michael Hanus
Version: January 2015
masterLoop
:: [Handle] -> [Handle] -> String -> String -> [(String,[String])] -> [String] -> IO (Maybe String)
|
deleteIndex
:: Int -> [a] -> [a]
|
Constructors:
Task
:: String -> String -> WorkerMessage
ChangePath
:: String -> WorkerMessage
StopWorker
:: WorkerMessage
|
|