Safe Haskell	Safe-Inferred
Language	Haskell2010

Futhark.Server

Description

Haskell code for interacting with a Futhark server program (a program compiled with --server).

Synopsis

data Server
withServer :: FilePath -> [FilePath] -> (Server -> IO a) -> IO a
data CmdFailure = CmdFailure {
- failureLog :: [Text]
- failureMsg :: [Text]
}
type VarName = Text
type TypeName = Text
type EntryName = Text
cmdRestore :: Server -> FilePath -> [(VarName, TypeName)] -> IO (Maybe CmdFailure)
cmdStore :: Server -> FilePath -> [VarName] -> IO (Maybe CmdFailure)
cmdCall :: Server -> EntryName -> [VarName] -> [VarName] -> IO (Either CmdFailure [Text])
cmdFree :: Server -> [VarName] -> IO (Maybe CmdFailure)
cmdInputs :: Server -> EntryName -> IO (Either CmdFailure [TypeName])
cmdOutputs :: Server -> EntryName -> IO (Either CmdFailure [TypeName])
cmdClear :: Server -> IO (Maybe CmdFailure)
cmdReport :: Server -> IO (Either CmdFailure [Text])

Documentation

data Server Source #

A handle to a running server.

withServer :: FilePath -> [FilePath] -> (Server -> IO a) -> IO a Source #

Start a server, execute an action, then shut down the server.

data CmdFailure Source #

The command failed, and this is why. The first Text is any output before the failure indincator, and the second Text is the output after the indicator.

Constructors

CmdFailure
Fields failureLog :: [Text] failureMsg :: [Text]

Instances

Instances details

Eq CmdFailure Source #
Instance details Defined in Futhark.Server Methods (==) :: CmdFailure -> CmdFailure -> Bool # (/=) :: CmdFailure -> CmdFailure -> Bool #
Ord CmdFailure Source #
Instance details Defined in Futhark.Server Methods compare :: CmdFailure -> CmdFailure -> Ordering # (<) :: CmdFailure -> CmdFailure -> Bool # (<=) :: CmdFailure -> CmdFailure -> Bool # (>) :: CmdFailure -> CmdFailure -> Bool # (>=) :: CmdFailure -> CmdFailure -> Bool # max :: CmdFailure -> CmdFailure -> CmdFailure # min :: CmdFailure -> CmdFailure -> CmdFailure #
Show CmdFailure Source #
Instance details Defined in Futhark.Server Methods showsPrec :: Int -> CmdFailure -> ShowS # show :: CmdFailure -> String # showList :: [CmdFailure] -> ShowS #

type VarName = Text Source #

The name of a server-side variable.

type TypeName = Text Source #

The name of a server-side type.

type EntryName = Text Source #

The name of an entry point.

cmdRestore :: Server -> FilePath -> [(VarName, TypeName)] -> IO (Maybe CmdFailure) Source #

cmdStore :: Server -> FilePath -> [VarName] -> IO (Maybe CmdFailure) Source #

cmdCall :: Server -> EntryName -> [VarName] -> [VarName] -> IO (Either CmdFailure [Text]) Source #

cmdFree :: Server -> [VarName] -> IO (Maybe CmdFailure) Source #

cmdInputs :: Server -> EntryName -> IO (Either CmdFailure [TypeName]) Source #

cmdOutputs :: Server -> EntryName -> IO (Either CmdFailure [TypeName]) Source #

cmdClear :: Server -> IO (Maybe CmdFailure) Source #

cmdReport :: Server -> IO (Either CmdFailure [Text]) Source #