idris-0.9.15.1: Functional Programming Language with Dependent Types

Safe HaskellNone

IRTS.CodegenCommon

Documentation

data DbgLevel Source

Constructors

NONE 
DEBUG 
TRACE 

Instances

data OutputType Source

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)]