Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 #
FutharkConfig | |
|
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.