DDC.Build.Pipeline

Contents

• Errors
• Source code
• Generic Core modules
• Core Tetra modules
• Core Flow modules
• Core Salt modules
• LLVM modules
• Emitting output

Description

Synopsis

• data Error
  • = Pretty err => ErrorLoad !err
  • | Pretty err => ErrorLint !err
  • | Pretty (err (AnTEC SourcePos Name)) => ErrorSaltLoad (Error Name err)
  • | Pretty err => ErrorSaltConvert !err
  • | Pretty err => ErrorTetraConvert !err
  • | Pretty err => ErrorFlowConvert !err
  • | Pretty err => ErrorCoreTransform !err
• data PipeText n err where
  • PipeTextOutput :: !Sink -> PipeText n err
  • PipeTextLoadCore :: (Ord n, Show n, Pretty n, Pretty (err (AnTEC SourcePos n))) => !(Fragment n err) -> !(Mode n) -> !Sink -> ![PipeCore (AnTEC SourcePos n) n] -> PipeText n err
  • PipeTextLoadSourceTetra :: !Sink -> !Sink -> !Sink -> !Sink -> !Sink -> !Sink -> !Sink -> !Sink -> !Sink -> !Sink -> !Sink -> !Store -> ![PipeCore (AnTEC SourcePos Name) Name] -> PipeText n err
• pipeText :: NFData n => String -> Int -> String -> PipeText n err -> IO [Error]
• data PipeCore a n where
  • PipeCoreId :: ![PipeCore a n] -> PipeCore a n
  • PipeCoreOutput :: !(PrettyMode (Module a n)) -> !Sink -> PipeCore a n
  • PipeCoreCheck :: (Pretty a, Pretty (err (AnTEC a n))) => !(Fragment n err) -> !(Mode n) -> !Sink -> ![PipeCore (AnTEC a n) n] -> PipeCore a n
  • PipeCoreReCheck :: (NFData a, Show a, Pretty a, Pretty (err (AnTEC a n))) => !(Fragment n err) -> !(Mode n) -> ![PipeCore (AnTEC a n) n] -> PipeCore (AnTEC a n') n
  • PipeCoreReannotate :: (NFData b, Show b) => (a -> b) -> ![PipeCore b n] -> PipeCore a n
  • PipeCoreSimplify :: (Pretty a, CompoundName n) => !(Fragment n err) -> !s -> !(Simplifier s a n) -> ![PipeCore () n] -> PipeCore a n
  • PipeCoreAsTetra :: ![PipeTetra a] -> PipeCore a Name
  • PipeCoreAsFlow :: Pretty a => ![PipeFlow a] -> PipeCore a Name
  • PipeCoreAsSalt :: Pretty a => ![PipeSalt a] -> PipeCore a Name
  • PipeCoreHacks :: (NFData a, Show b, NFData b) => Canned (Module a n -> IO (Module b n)) -> ![PipeCore b n] -> PipeCore a n
• pipeCore :: (NFData a, Show a, NFData n, Ord n, Show n, Pretty n) => Module a n -> PipeCore a n -> IO [Error]
• data PipeTetra a where
  • PipeTetraOutput :: !Sink -> PipeTetra a
  • PipeTetraCurry :: (NFData a, Show a) => !Sink -> ![PipeCore () Name] -> PipeTetra (AnTEC a Name)
  • PipeTetraBoxing :: (NFData a, Show a) => ![PipeCore a Name] -> PipeTetra a
  • PipeTetraToSalt :: (NFData a, Show a) => !Platform -> !Config -> ![PipeCore a Name] -> PipeTetra (AnTEC a Name)
  • PipeTetraToPHP :: (NFData a, Show a) => !Sink -> PipeTetra a
• pipeTetra :: Module a Name -> PipeTetra a -> IO [Error]
• data PipeFlow a where
  • PipeFlowOutput :: Sink -> PipeFlow a
  • PipeFlowHacks :: (NFData a, Show b, NFData b) => Canned (Module a Name -> IO (Module b Name)) -> ![PipeFlow b] -> PipeFlow a
  • PipeFlowPrep :: [PipeCore () Name] -> PipeFlow ()
  • PipeFlowRate :: [PipeCore () Name] -> PipeFlow ()
  • PipeFlowLower :: Config -> [PipeCore () Name] -> PipeFlow (AnTEC () Name)
  • PipeFlowMelt :: [PipeCore () Name] -> PipeFlow (AnTEC () Name)
  • PipeFlowWind :: [PipeCore () Name] -> PipeFlow (AnTEC () Name)
  • PipeFlowToTetra :: [PipeCore () Name] -> PipeFlow (AnTEC () Name)
• pipeFlow :: Module a Name -> PipeFlow a -> IO [Error]
• data PipeSalt a where
  • 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
• pipeSalt :: (Show a, Pretty a, NFData a) => Module a Name -> PipeSalt a -> IO [Error]
• data PipeLlvm
  • = PipeLlvmPrint Sink
  • | PipeLlvmCompile {
    • pipeBuilder :: Builder
    • pipeFileLlvm :: FilePath
    • pipeFileAsm :: FilePath
    • pipeFileObject :: FilePath
    • pipeFileExe :: Maybe FilePath
    • pipeLinkOtherObjects :: [FilePath]
    • pipeKeepLlvmFiles :: Bool
    • pipeKeepAsmFiles :: Bool
    }
• pipeLlvm :: Module -> PipeLlvm -> IO [Error]
• data Sink
  • = SinkDiscard
  • | SinkStdout
  • | SinkFile FilePath
• pipeSink :: String -> Sink -> IO [Error]

Errors

Source code

Generic Core modules

Core Tetra modules

Core Flow modules

Core Salt modules

LLVM modules

Emitting output