Module CASS.ServerFunctions

Implementation of the analysis computations on the server side

Author: Heiko Hoffmann, Michael Hanus

Version: March 2021

Summary of exported operations:

masterLoop :: CConfig -> [Handle] -> [Handle] -> String -> String -> [(String,[String])] -> [String] -> IO (Maybe String)  Non-deterministic 
deleteIndex :: Int -> [a] -> [a]  Deterministic 

Exported datatypes:

WorkerMessage

Constructors:

  • Task :: String -> String -> WorkerMessage
  • ChangePath :: String -> WorkerMessage
  • StopWorker :: WorkerMessage

Exported operations:

masterLoop :: CConfig -> [Handle] -> [Handle] -> String -> String -> [(String,[String])] -> [String] -> IO (Maybe String)  Non-deterministic 

deleteIndex :: Int -> [a] -> [a]  Deterministic