idris-0.10: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

IRTS.CodegenCommon

Documentation

data DbgLevel Source

Constructors

NONE 
DEBUG 
TRACE 

Instances

data OutputType Source

Constructors

Raw 
Object 
Executable 
MavenProject 

Instances

environment :: String -> IO (Maybe String) Source

data CodegenInfo Source

Constructors

CodegenInfo 

Fields

outputFile :: String
 
outputType :: OutputType
 
targetTriple :: String
 
targetCPU :: String
 
includes :: [FilePath]
 
importDirs :: [FilePath]
 
compileObjs :: [String]
 
compileLibs :: [String]
 
compilerFlags :: [String]
 
debugLevel :: DbgLevel
 
simpleDecls :: [(Name, SDecl)]
 
defunDecls :: [(Name, DDecl)]
 
liftDecls :: [(Name, LDecl)]
 
interfaces :: Bool
 
exportDecls :: [ExportIFace]
 

type CodeGenerator = CodegenInfo -> IO () Source