PAKCS
Exported names: Imported modules:

Module CASS.ServerFunctions

Implementation of the analysis computations on the server side

Author: Heiko Hoffmann, Michael Hanus

Version: December 2018

Summary of exported operations:

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

Exported datatypes:

WorkerMessage

Constructors:

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

Exported operations:

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

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