idris-0.11: Functional Programming Language with Dependent Types

Safe Haskell	None
Language	Haskell98

IRTS.CodegenCommon

Documentation

data DbgLevel Source

Constructors

NONE
DEBUG
TRACE

Instances

Eq DbgLevel Source

data OutputType Source

Constructors

Raw
Object
Executable
MavenProject

Instances

Eq OutputType Source
Show OutputType 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