idris-0.11.2: 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 

Instances

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