Copyright	License : BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell98

IRTS.CodegenCommon

Description

Synopsis

Documentation

data DbgLevel Source #

Constructors

NONE
DEBUG
TRACE

Instances

Eq DbgLevel Source #
Methods (==) :: DbgLevel -> DbgLevel -> Bool # (/=) :: DbgLevel -> DbgLevel -> Bool #

data OutputType Source #

Constructors

Raw
Object
Executable

Instances

Eq OutputType Source #
Methods (==) :: OutputType -> OutputType -> Bool # (/=) :: OutputType -> OutputType -> Bool #
Show OutputType Source #
Methods showsPrec :: Int -> OutputType -> ShowS # show :: OutputType -> String # showList :: [OutputType] -> ShowS #
Generic OutputType Source #
Associated Types type Rep OutputType :: * -> * # Methods from :: OutputType -> Rep OutputType x # to :: Rep OutputType x -> OutputType #
type Rep OutputType Source #
type Rep OutputType = D1 (MetaData "OutputType" "IRTS.CodegenCommon" "idris-0.12.2-B6CfTCKeTUh4MfL5ICL0mo" False) ((:+:) (C1 (MetaCons "Raw" PrefixI False) U1) ((:+:) (C1 (MetaCons "Object" PrefixI False) U1) (C1 (MetaCons "Executable" PrefixI False) U1)))

data CodegenInfo Source #

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]

type CodeGenerator = CodegenInfo -> IO () Source #