Futhark.CLI.Literate

futhark literate

Also contains various utility definitions used by Futhark.CLI.Script.

Documentation

main :: String -> [String] -> IO ()

Run futhark literate.

data Options

Some of these only make sense for futhark literate, but enough are also sensible for futhark script that we can share them.

Constructors

Options

Fields

• scriptBackend :: String
• scriptFuthark :: Maybe FilePath
• scriptExtraOptions :: [String]
• scriptCompilerOptions :: [String]
• scriptSkipCompilation :: Bool
• scriptOutput :: Maybe FilePath
• scriptVerbose :: Int
• scriptStopOnError :: Bool
• scriptBinary :: Bool
• scriptExps :: [Either FilePath Text]

initialOptions :: Options

The configuration before any user-provided options are processed.

scriptCommandLineOptions :: [FunOptDescr Options]

Common command line options that transform Options.

prepareServer :: FilePath -> Options -> (ScriptServer -> IO a) -> IO a

Start up (and eventually shut down) a Futhark server corresponding to the provided program. If the program has a .fut extension, it will be compiled automatically.