Module CASS.ServerFunctions

Implementation of the analysis computations on the server side

Author
Heiko Hoffmann, Michael Hanus
Version
March 2021
Exported Datatypes:
WorkerMessage
Exported Functions:
deleteIndexmasterLoop

Exported Datatypes

data WorkerMessage

Constructors:

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

Known instances:

Exported Functions

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

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

Further infos:
  • partially defined