idris-1.0: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

IRTS.CodegenCommon

Description

 

Synopsis

Documentation

data DbgLevel #

Constructors

NONE 
DEBUG 
TRACE 

Instances

data OutputType #

Constructors

Raw 
Object 
Executable 

Instances

Eq OutputType # 
Show OutputType # 
Generic OutputType # 

Associated Types

type Rep OutputType :: * -> * #

type Rep OutputType # 
type Rep OutputType = D1 (MetaData "OutputType" "IRTS.CodegenCommon" "idris-1.0-CAoIBvHIKFS3UiIIWlh0dD" 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.