DDC.Build.Pipeline

A pipeline is an abstraction of a single compiler pass.

NOTE: The Haddock documentation on pipeline constructors is missing because Haddock does not support commenting GADTs. See the source code for documentation.

Errors

data Error

Constructors

ErrorSaltLoad (Error Name)

forall err . Pretty err => ErrorSaltConvert !err

Error converting the module to Disciple Core Salt.

forall err . Pretty err => ErrorLiteConvert !err

Error converting the module to Disciple Core Lite.

forall err . Pretty err => ErrorLoad !err

Error when loading a module. Blame it on the user.

forall err . Pretty err => ErrorLint !err

Error when type checking a transformed module. Blame it on the compiler.

Instances

Pretty Error

NFData Error

Source code

data PipeText n err where

Process program text.

Constructors

PipeTextOutput :: !Sink -> PipeText n err

PipeTextLoadCore :: (Ord n, Show n, Pretty n) => !(Fragment n err) -> ![PipeCore (AnTEC () n) n] -> PipeText n err

pipeText :: NFData n => String -> Int -> String -> PipeText n err -> IO [Error]

Process a text module.

Returns empty list on success.

Generic Core modules

data PipeCore a n where

Process a core module.

Constructors

PipeCoreId :: ![PipeCore a n] -> PipeCore a n

PipeCoreOutput :: !Sink -> PipeCore a n

PipeCoreCheck :: !(Fragment n err) -> ![PipeCore (AnTEC a n) n] -> PipeCore a n

PipeCoreReCheck :: (Show a, NFData a) => !(Fragment n err) -> ![PipeCore (AnTEC a n) n] -> PipeCore (AnTEC a n') n

PipeCoreStrip :: ![PipeCore () n] -> PipeCore a n

PipeCoreSimplify :: !(Fragment n err) -> !s -> !(Simplifier s a n) -> ![PipeCore () n] -> PipeCore a n

PipeCoreAsLite :: ![PipeLite] -> PipeCore (AnTEC () Name) Name

PipeCoreAsSalt :: Pretty a => ![PipeSalt a] -> PipeCore a Name

PipeCoreHacks :: Canned (Module a n -> IO (Module a n)) -> ![PipeCore a n] -> PipeCore a n

pipeCore :: (NFData a, Show a, NFData n, Eq n, Ord n, Show n, Pretty n) => Module a n -> PipeCore a n -> IO [Error]

Process a Core module.

Returns empty list on success.

Core Lite modules

data PipeLite

Process a Core Lite module.

Constructors

PipeLiteOutput !Sink

Output the module in core language syntax.

PipeLiteToSalt !Platform !Config ![PipeCore () Name]

Convert the module to the Core Salt Fragment.

pipeLite :: Module (AnTEC () Name) Name -> PipeLite -> IO [Error]

Process a Core Lite module.

Core Salt modules

data PipeSalt a where

Process a Core Salt module.

Constructors

PipeSaltId :: ![PipeSalt a] -> PipeSalt a

PipeSaltOutput :: !Sink -> PipeSalt a

PipeSaltTransfer :: ![PipeSalt (AnTEC a Name)] -> PipeSalt (AnTEC a Name)

PipeSaltPrint :: !Bool -> !Platform -> !Sink -> PipeSalt a

PipeSaltToLlvm :: !Platform -> ![PipeLlvm] -> PipeSalt a

PipeSaltCompile :: !Platform -> !Builder -> !FilePath -> !FilePath -> !(Maybe FilePath) -> !Bool -> PipeSalt a

Instances

Show a => Show (PipeSalt a)

pipeSalt :: (Show a, Pretty a, NFData a) => Module a Name -> PipeSalt a -> IO [Error]

Process a Core Salt module.

Returns empty list on success.

LLVM modules

data PipeLlvm

Process an LLVM module.

Constructors

PipeLlvmPrint Sink

PipeLlvmCompile

Fields

pipeBuilder :: Builder

pipeFileLlvm :: FilePath

pipeFileAsm :: FilePath

pipeFileObject :: FilePath

pipeFileExe :: Maybe FilePath

pipeKeepLlvmFiles :: Bool

pipeKeepAsmFiles :: Bool

Instances

Show PipeLlvm

pipeLlvm :: Module -> PipeLlvm -> IO [Error]

Process an LLVM module.

Returns empty list on success.

Emitting output

data Sink

What to do with program text.

Constructors

SinkDiscard

Drop it on the floor.

SinkStdout

Emit it to stdout.

SinkFile FilePath

Write it to this file.

Instances

Show Sink

pipeSink :: String -> Sink -> IO [Error]

Emit a string to the given Sink.