Safe Haskell	None
Language	Haskell2010

Futhark.Compiler.Program

Description

Low-level compilation parts. Look at Futhark.Compiler for a more high-level API.

Synopsis

readLibraryWithBasis :: (MonadError CompilerError m, MonadIO m) => Basis -> [FilePath] -> m (Warnings, Imports, VNameSource)
readImports :: (MonadError CompilerError m, MonadIO m) => Basis -> [ImportName] -> m (Warnings, Imports, VNameSource)
type Imports = [(String, FileModule)]
data FileModule = FileModule {
- fileAbs :: TySet
- fileEnv :: Env
- fileProg :: Prog
}
data Warnings
data Basis = Basis {
- basisImports :: Imports
- basisNameSource :: VNameSource
- basisRoots :: [String]
}
emptyBasis :: Basis

Documentation

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

Read Futhark files from some basis, and printing log messages if the first parameter is True.

readImports :: (MonadError CompilerError m, MonadIO m) => Basis -> [ImportName] -> m (Warnings, Imports, VNameSource) Source #

Read and type-check Futhark imports (no .fut extension; may refer to baked-in futlib). This is an exotic operation that probably only makes sense in an interactive environment.

type Imports = [(String, FileModule)] Source #

A mapping from import names to imports. The ordering is significant.

data FileModule Source #

The result of type checking some file. Can be passed to further invocations of the type checker.

Constructors

FileModule
Fields fileAbs :: TySet Abstract types. fileEnv :: Env fileProg :: Prog

data Warnings Source #

The warnings produced by the compiler. The Show instance produces a human-readable description.

Instances

Eq Warnings Source #
Instance details Defined in Language.Futhark.Warnings Methods (==) :: Warnings -> Warnings -> Bool # (/=) :: Warnings -> Warnings -> Bool #
Show Warnings Source #
Instance details Defined in Language.Futhark.Warnings Methods showsPrec :: Int -> Warnings -> ShowS # show :: Warnings -> String # showList :: [Warnings] -> ShowS #
Semigroup Warnings Source #
Instance details Defined in Language.Futhark.Warnings Methods (<>) :: Warnings -> Warnings -> Warnings # sconcat :: NonEmpty Warnings -> Warnings # stimes :: Integral b => b -> Warnings -> Warnings #
Monoid Warnings Source #
Instance details Defined in Language.Futhark.Warnings Methods mempty :: Warnings # mappend :: Warnings -> Warnings -> Warnings # mconcat :: [Warnings] -> Warnings #
MonadWriter Warnings TypeM Source #
Instance details Defined in Language.Futhark.TypeChecker.Monad Methods writer :: (a, Warnings) -> TypeM a # tell :: Warnings -> TypeM () # listen :: TypeM a -> TypeM (a, Warnings) # pass :: TypeM (a, Warnings -> Warnings) -> TypeM a #

data Basis Source #

Pre-typechecked imports, including a starting point for the name source.

Constructors

Basis
Fields basisImports :: Imports basisNameSource :: VNameSource basisRoots :: [String] Files that should be implicitly opened.

emptyBasis :: Basis Source #

A basis that contains no imports, and has a properly initialised name source.