futhark-0.10.2: An optimising compiler for a functional, array-oriented language.

Safe Haskell	None
Language	Haskell2010

Futhark.Compiler

Synopsis

runPipelineOnProgram :: FutharkConfig -> Pipeline SOACS tolore -> FilePath -> FutharkM (Prog tolore)
runCompilerOnProgram :: FutharkConfig -> Pipeline SOACS lore -> Action lore -> FilePath -> IO ()
data FutharkConfig = FutharkConfig {
- futharkVerbose :: (Verbosity, Maybe FilePath)
- futharkWarn :: Bool
- futharkWerror :: Bool
- futharkSafe :: Bool
}
newFutharkConfig :: FutharkConfig
dumpError :: FutharkConfig -> CompilerError -> IO ()
module Futhark.Compiler.Program
readProgram :: (MonadError CompilerError m, MonadIO m) => FilePath -> m (Warnings, Imports, VNameSource)
readLibrary :: (MonadError CompilerError m, MonadIO m) => [FilePath] -> m (Warnings, Imports, VNameSource)

Documentation

runPipelineOnProgram :: FutharkConfig -> Pipeline SOACS tolore -> FilePath -> FutharkM (Prog tolore) Source #

runCompilerOnProgram :: FutharkConfig -> Pipeline SOACS lore -> Action lore -> FilePath -> IO () Source #

data FutharkConfig Source #

Constructors

FutharkConfig
Fields futharkVerbose :: (Verbosity, Maybe FilePath) futharkWarn :: Bool Warn if True. futharkWerror :: Bool If true, error on any warnings. futharkSafe :: Bool If True, ignore `unsafe`.

newFutharkConfig :: FutharkConfig Source #

dumpError :: FutharkConfig -> CompilerError -> IO () Source #

module Futhark.Compiler.Program

readProgram :: (MonadError CompilerError m, MonadIO m) => FilePath -> m (Warnings, Imports, VNameSource) Source #

Read and type-check a Futhark program, including all imports.

readLibrary :: (MonadError CompilerError m, MonadIO m) => [FilePath] -> m (Warnings, Imports, VNameSource) Source #

Read and type-check a collection of Futhark files, including all imports.