Names in UHC have to be of the form P1.P2....Pn.Ident . All names in module M must have the form M.Ident . Datatype and constructor names have to start with an uppercase letter, functions with a lowercase letter.

mkUniqueHsName Source

Arguments

:: String	Name prefix. Used to distinguish names generated by different API consumers, but may also be used to differentiate between different varieties by one API consumer. Use reverse-dns notation if possible, e.g. "nl.uu.agda.identOfVarietyA"
-> [String]	The module prefix.
-> String	The name to make unique.
-> HsName

Creates a new Core name. All names generated with this function live in the "Core API" namespace and will not collide with names in other namespaces. Names in the "Core API" namespace cannot be called from Haskell code.

Use this function to create names used only inside Core code generated by your own Compiler, e.g. module-scoped or local functions.

addHsNamePrefix :: String -> HsName -> HsName Source

Adds an additional prefix to a HsName. This can be used to derive a new unique name from an existing name.

mkHsName Source

Arguments

:: [String]	The module prefix.
-> String	The local name of the identifier.
-> HsName

Creates a new Core name. The generated name lives in the default namespace, hence may clash with Haskell-defined names.

mkHsName1 :: String -> HsName Source

Creates a new Core name. The generated name lives in the default namespace, hence may clash with Haskell-defined names.

Constructor Tags

data CTag Source

Instances

Eq CTag
Data CTag
Ord CTag
Show CTag
Serialize CTag
PP CTag
Typeable * CTag

Names

data HsName Source

Haskell name representation, exports of constructors only intented for internal use

Instances

class HSNM a where Source

Methods

mkHNm :: a -> HsName Source

Instances

HSNM Int
HSNM String
HSNM HsName
HSNM PkgKey
HSNM [HsName]
HSNM ([HsName], HsName)

Possible targets, optimization, ...

data Target Source

All possible targets, even though they may not be configured (done in supportedTargetMp)

Constructors

Target_None
Target_None_Core_AsIs
Target_None_Core_CoreRun
Target_None_TyCore_None
Target_Interpreter_Core_Jazy
Target_Interpreter_Core_JavaScript
Target_Interpreter_GrinCmm_JavaScript
Target_FullProgAnal_Grin_C
Target_FullProgAnal_Grin_LLVM
Target_FullProgAnal_Grin_JVM
Target_Interpreter_Grin_C
Target_FullProgAnal_Grin_CLR

Instances

Enum Target
Eq Target
Data Target
Ord Target
Show Target
Binary Target
Serialize Target
Typeable * Target

data OptimizationScope Source

Scope of optimizations, increasingly more global

Constructors

OptimizationScope_PerModule
OptimizationScope_WholeCore

Instances

Bounded OptimizationScope
Enum OptimizationScope
Eq OptimizationScope
Ord OptimizationScope
Show OptimizationScope

Error

data Err Source

Instances

Show Err
Error Err
PP Err
CompileRunError Err ()

Utility datatypes

data MaybeOk a Source

Constructors

JustOk a
NotOk String

Instances

Eq a => Eq (MaybeOk a)
Ord a => Ord (MaybeOk a)
Show a => Show (MaybeOk a)

data Verbosity Source

Constructors

VerboseQuiet
VerboseMinimal
VerboseNormal
VerboseALot
VerboseDebug

Instances

Enum Verbosity
Eq Verbosity
Ord Verbosity

Misc

hsnEhcRunMain :: HsName Source

hsnMain :: HsName Source

Eq HsName
Data HsName
Ord HsName
Show HsName
Generic HsName
Binary HsName
Hashable HsName
CompileModName HsName
Serialize HsName
FPATH HsName
PP HsName
Position HsName
HSNM HsName
Typeable * HsName
HSNM [HsName]
HSNM ([HsName], HsName)
type Rep HsName