IRTS.CodegenCommon

Documentation

data DbgLevel

Constructors

NONE

DEBUG

TRACE

Instances

Eq DbgLevel

Methods

(==) :: DbgLevel -> DbgLevel -> Bool

(/=) :: DbgLevel -> DbgLevel -> Bool

data OutputType

Constructors

Raw

Object

Executable

Instances

Eq OutputType

Methods

(==) :: OutputType -> OutputType -> Bool

(/=) :: OutputType -> OutputType -> Bool

Show OutputType

Methods

showsPrec :: Int -> OutputType -> ShowS

show :: OutputType -> String

showList :: [OutputType] -> ShowS

Generic OutputType

Associated Types

type Rep OutputType :: * -> *

Methods

from :: OutputType -> Rep OutputType x

to :: Rep OutputType x -> OutputType

type Rep OutputType

type Rep OutputType = D1 (MetaData "OutputType" "IRTS.CodegenCommon" "idris-1.1.1-EiPUGWBcd2WFkzlZ4X8MYH" False) ((:+:) (C1 (MetaCons "Raw" PrefixI False) U1) ((:+:) (C1 (MetaCons "Object" PrefixI False) U1) (C1 (MetaCons "Executable" PrefixI False) U1)))

data CodegenInfo

Everything which might be needed in a code generator.

A CG can choose which level of Decls to generate code from (simplified, defunctionalised or merely lambda lifted) and has access to the list of object files, libraries, etc.

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]
• ttDecls :: [(Name, TTDecl)]

type CodeGenerator = CodegenInfo -> IO ()