Contents
Index
extcore-1.0: Libraries for processing GHC Core
Index
Acon
Language.Core.Core
aCoreVbind
Language.Core.ParsecParser
Adefault
Language.Core.Core
Alit
Language.Core.Core
aLit
Language.Core.ParsecParser
Alt
Language.Core.Core
AnMname
Language.Core.Core
App
Language.Core.Core
applyNewtype
Language.Core.CoreUtils
Appt
Language.Core.Core
ATy
Language.Core.ParsecParser
ATyOp
Language.Core.ParsecParser
baseKind
Language.Core.Core
basePkg
Language.Core.Core
Bind
Language.Core.Core
boolMname
Language.Core.Core
boundVars
Language.Core.Prep
boundVarsAlt
Language.Core.Prep
boundVarsAlts
Language.Core.Prep
boundVarsVdef
Language.Core.Prep
boundVarsVdefs
Language.Core.Prep
braces
Language.Core.ParsecParser
Case
Language.Core.Core
caseString
Language.Core.ParsecParser
caseVarBinds
Language.Core.ParsecParser
Cast
Language.Core.Core
Cdef
Language.Core.Core
cenv_
Language.Core.Check
charLit
Language.Core.ParsecParser
charLiteral
Language.Core.ParsecParser
checkExpr
Language.Core.Check
checkModule
Language.Core.Check
CheckRes
Language.Core.Check
checkType
Language.Core.Check
Coercion
Language.Core.Core
CoercionKind
Language.Core.Core
CoercionTy
Language.Core.ParsecParser
conAlt
Language.Core.ParsecParser
Constr
Language.Core.Core
coreAlt
Language.Core.ParsecParser
coreAlts
Language.Core.ParsecParser
coreAppExp
Language.Core.ParsecParser
coreAtomicExp
Language.Core.ParsecParser
coreAtomicKind
Language.Core.ParsecParser
coreAtTbind
Language.Core.ParsecParser
coreAty
Language.Core.ParsecParser
coreAtySaturated
Language.Core.ParsecParser
coreBind
Language.Core.ParsecParser
coreBty
Language.Core.ParsecParser
coreCase
Language.Core.ParsecParser
coreCast
Language.Core.ParsecParser
coreCdef
Language.Core.ParsecParser
coreCdefs
Language.Core.ParsecParser
coreDataDecl
Language.Core.ParsecParser
coreDconOrVar
Language.Core.ParsecParser
coreExternal
Language.Core.ParsecParser
coreForallTy
Language.Core.ParsecParser
coreFullExp
Language.Core.ParsecParser
coreHierModuleNames
Language.Core.ParsecParser
coreKind
Language.Core.ParsecParser
coreLabel
Language.Core.ParsecParser
coreLam
Language.Core.ParsecParser
coreLambdaBinds
Language.Core.ParsecParser
coreLet
Language.Core.ParsecParser
CoreLit
Language.Core.Core
coreLit
Language.Core.ParsecParser
coreLiteral
Language.Core.ParsecParser
coreModule
Language.Core.ParsecParser
coreModuleName
Language.Core.ParsecParser
coreNewtypeDecl
Language.Core.ParsecParser
coreNonrecVdef
Language.Core.ParsecParser
coreNote
Language.Core.ParsecParser
corePackageName
Language.Core.ParsecParser
coreQualifiedCon
Language.Core.ParsecParser
coreQualifiedName
Language.Core.ParsecParser
coreRecVdef
Language.Core.ParsecParser
coreTbind
Language.Core.ParsecParser
coreTbindGen
Language.Core.ParsecParser
coreTbindGen'
Language.Core.ParsecParser
coreTbinding
Language.Core.ParsecParser
coreTbinds
Language.Core.ParsecParser
coreTbindsOrTyGen
Language.Core.ParsecParser
coreTcon
Language.Core.ParsecParser
coreTdef
Language.Core.ParsecParser
coreTdefs
Language.Core.ParsecParser
coreTRep
Language.Core.ParsecParser
coreTvarOrQualifiedCon
Language.Core.ParsecParser
coreType
Language.Core.ParsecParser
coreVbind
Language.Core.ParsecParser
coreVdef
Language.Core.ParsecParser
coreVdefg
Language.Core.ParsecParser
coreVdefGroups
Language.Core.ParsecParser
count_commas
Language.Core.Encoding
Data
Language.Core.Core
dcFalse
Language.Core.Core
Dcon
1 (Type/Class)
Language.Core.Core
2 (Data Constructor)
Language.Core.Core
dcTrue
Language.Core.Core
dcUtuple
Language.Core.Core
dcUtupleTy
Language.Core.Core
decodeNames
Language.Core.DebugPrinter
decode_lower
Language.Core.Encoding
decode_num_esc
Language.Core.Encoding
decode_tuple
Language.Core.Encoding
decode_upper
Language.Core.Encoding
defaultAlt
Language.Core.ParsecParser
DefinedCoercion
Language.Core.Core
defOpts
Language.Core.DebugPrinter
edomain
Language.Core.Env
eempty
Language.Core.Env
eextend
Language.Core.Env
efilter
Language.Core.Env
efromlist
Language.Core.Env
elimDeadCode
Language.Core.ElimDeadCode
elookup
Language.Core.Env
EncodedString
Language.Core.Encoding
encode_ch
Language.Core.Encoding
Envs
1 (Type/Class)
Language.Core.Check
2 (Data Constructor)
Language.Core.Check
envsModule
Language.Core.Check
eqKind
Language.Core.Core
equalityKind
Language.Core.ParsecParser
equalTy
Language.Core.Core
eremove
Language.Core.Env
errMname
Language.Core.Core
escape
Language.Core.Printer
etolist
Language.Core.Env
evalProgram
Language.Core.Interp
Exp
Language.Core.Core
extCore
Language.Core.ParsecParser
extCoreDef
Language.Core.ParsecParser
External
Language.Core.Core
FailC
Language.Core.Check
FailP
Language.Core.ParseGlue
failP
Language.Core.ParseGlue
filterVdefgs
Language.Core.CoreUtils
flattenBinds
Language.Core.Core
freeTvars
Language.Core.CoreUtils
freeVars
Language.Core.CoreUtils
freeVarss
Language.Core.CoreUtils
freshTvar
Language.Core.CoreUtils
freshVar
Language.Core.Prep
getDependencies
Language.Core.Dependencies
getModule
Language.Core.Core
ghcPrefix
Language.Core.Core
hierModuleSeparator
Language.Core.Printer
Id
Language.Core.Core
identifier
Language.Core.ParsecParser
ignoreDicts
Language.Core.DebugPrinter
ignoreKinds
Language.Core.DebugPrinter
ignoreQuals
Language.Core.DebugPrinter
ignoreTypeBinds
Language.Core.DebugPrinter
indent
Language.Core.Printer
infixOperators
Language.Core.DebugPrinter
initCounter
Language.Core.Prep
initialEnv
Language.Core.Prims
InstC
Language.Core.ParsecParser
InstCo
Language.Core.ParsecParser
instCo
Language.Core.ParsecParser
InstCoercion
Language.Core.Core
intLit
Language.Core.ParsecParser
intOrRatLit
Language.Core.ParsecParser
ioBaseMname
Language.Core.Prims
isPrimVar
Language.Core.Core
isUpperName
Language.Core.ParsecParser
isUtupleDc
Language.Core.Core
isUtupleTy
Language.Core.Core
Karrow
Language.Core.Core
Keq
Language.Core.Core
Kind
1 (Data Constructor)
Language.Core.Core
2 (Type/Class)
Language.Core.Core
KindOrCoercion
Language.Core.Core
Klifted
Language.Core.Core
Kopen
Language.Core.Core
ktArrow
Language.Core.Core
ktUtuple
Language.Core.Core
Kunlifted
Language.Core.Core
Lam
Language.Core.Core
lambdaBind
Language.Core.ParsecParser
Lchar
Language.Core.Core
LeftC
Language.Core.ParsecParser
LeftCo
Language.Core.ParsecParser
leftCo
Language.Core.ParsecParser
LeftCoercion
Language.Core.Core
Let
Language.Core.Core
liftedKind
Language.Core.ParsecParser
Lint
Language.Core.Core
Lit
1 (Type/Class)
Language.Core.Core
2 (Data Constructor)
Language.Core.Core
litAlt
Language.Core.ParsecParser
Literal
Language.Core.Core
Lrational
Language.Core.Core
Lstring
Language.Core.Core
M
Language.Core.Core
mainMname
Language.Core.Core
mainPkg
Language.Core.Core
mainPrefix
Language.Core.Core
mainVar
Language.Core.Core
mapVdefg
Language.Core.CoreUtils
maxUtuple
Language.Core.Core
maybe_tuple
Language.Core.Encoding
Menv
Language.Core.Check
merge
Language.Core.Merge
mkBaseMname
Language.Core.Core
mkFunTy
Language.Core.Core
mkInitialEnv
Language.Core.Prims
mkNtEnv
Language.Core.Check
mkPrimMname
Language.Core.Core
mkTapp
Language.Core.Prep
mkTypeEnv
Language.Core.Prims
mkTypeEnvsNoChecking
Language.Core.Check
Mname
Language.Core.Core
Module
1 (Type/Class)
Language.Core.Core
2 (Data Constructor)
Language.Core.Core
natural
Language.Core.ParsecParser
Newtype
Language.Core.Core
newtypeCoercion_maybe
Language.Core.Prep
Nonrec
Language.Core.Core
nonUniqueNamesIn
Language.Core.Merge
Note
Language.Core.Core
NtEnv
Language.Core.Check
OkC
Language.Core.Check
OkP
Language.Core.ParseGlue
openKind
Language.Core.ParsecParser
P
1 (Type/Class)
Language.Core.ParseGlue
2 (Data Constructor)
Language.Core.Core
paexp
Language.Core.Printer
pakind
Language.Core.Printer
palt
Language.Core.Printer
panmname
Language.Core.Printer
pappexp
Language.Core.Printer
pappty
Language.Core.Printer
parens
Language.Core.ParsecParser
parse
Language.Core.Parser
parseCore
Language.Core.ParsecParser
ParseResult
Language.Core.ParseGlue
pattbind
Language.Core.Printer
paty
Language.Core.Printer
pbind
Language.Core.Printer
pbty
Language.Core.Printer
pcdef
Language.Core.Printer
pclit
Language.Core.Printer
peqkind
Language.Core.Printer
pexp
Language.Core.Printer
pfexp
Language.Core.Printer
pforall
Language.Core.Printer
pkind
Language.Core.Printer
plamexp
Language.Core.Printer
plit
Language.Core.Printer
pmname
Language.Core.Printer
pmodule
1 (Function)
Language.Core.Printer
2 (Function)
Language.Core.DebugPrinter
Pname
Language.Core.Core
pname
Language.Core.Printer
pqname
Language.Core.Printer
PrepM
Language.Core.Prep
prepModule
Language.Core.Prep
primCoercionError
Language.Core.Check
primEnv
Language.Core.Prims
primId
Language.Core.Prims
primMname
Language.Core.Core
primPkg
Language.Core.Core
PrintOpts
1 (Type/Class)
Language.Core.DebugPrinter
2 (Data Constructor)
Language.Core.DebugPrinter
pstring
Language.Core.Printer
pt
Language.Core.ParsecParser
ptbind
Language.Core.Printer
ptdef
Language.Core.Printer
pty
Language.Core.Printer
pvbind
Language.Core.Printer
pvdef
Language.Core.Printer
pvdefg
Language.Core.Printer
Qual
Language.Core.Core
qual
Language.Core.Core
Rec
Language.Core.Core
removeTypeBinds
Language.Core.DebugPrinter
reserved
Language.Core.ParsecParser
reserved'
Language.Core.ParsecParser
returnP
Language.Core.ParseGlue
RightC
Language.Core.ParsecParser
RightCo
Language.Core.ParsecParser
rightCo
Language.Core.ParsecParser
RightCoercion
Language.Core.Core
splitApp
Language.Core.CoreUtils
splitAppIgnoreCasts
Language.Core.CoreUtils
splitBinds
Language.Core.CoreUtils
splitDataConApp_maybe
Language.Core.CoreUtils
splitFunTy2_maybe
Language.Core.CoreUtils
splitFunTy_maybe
Language.Core.CoreUtils
splitLambda
Language.Core.CoreUtils
splitModuleName
Language.Core.ParseGlue
splitTy
Language.Core.Check
splitTyConApp_maybe
Language.Core.Core
stringLit
Language.Core.ParsecParser
stringLiteral
Language.Core.ParsecParser
subKindOf
Language.Core.Core
substIn
Language.Core.CoreUtils
substl
Language.Core.CoreUtils
,
Language.Core.Check
substNewtys
Language.Core.Prep
substVars
Language.Core.CoreUtils
Sym
Language.Core.ParsecParser
symbol
Language.Core.ParsecParser
SymC
Language.Core.ParsecParser
symCo
Language.Core.ParsecParser
SymCoercion
Language.Core.Core
tAddrzh
Language.Core.Prims
Tapp
Language.Core.Core
tArrow
Language.Core.Core
Tb
Language.Core.Core
Tbind
Language.Core.Core
tBool
Language.Core.Prims
tByteArrayzh
Language.Core.Prims
tcArrow
Language.Core.Core
tcBool
Language.Core.Prims
Tcenv
Language.Core.Check
tcenv_
Language.Core.Check
tCharzh
Language.Core.Prims
tcIO
Language.Core.Prims
Tcon
1 (Type/Class)
Language.Core.Core
2 (Data Constructor)
Language.Core.Core
tcStablePtrzh
Language.Core.Prims
tcStatezh
Language.Core.Prims
tcUtuple
Language.Core.Core
Tdef
Language.Core.Core
tdefDcons
Language.Core.CoreUtils
tdefNames
Language.Core.CoreUtils
tdefTcons
Language.Core.CoreUtils
tDoublezh
Language.Core.Prims
tFloatzh
Language.Core.Prims
Tforall
Language.Core.Core
thenP
Language.Core.ParseGlue
tInt64zh
Language.Core.Prims
tIntzh
Language.Core.Prims
TKat
Language.Core.ParseGlue
TKbiglambda
Language.Core.ParseGlue
TKcase
Language.Core.ParseGlue
TKcast
Language.Core.ParseGlue
TKcbrace
Language.Core.ParseGlue
TKchar
Language.Core.ParseGlue
TKcname
Language.Core.ParseGlue
TKcolon
Language.Core.ParseGlue
TKcoloncolon
Language.Core.ParseGlue
TKcparen
Language.Core.ParseGlue
TKdata
Language.Core.ParseGlue
TKdot
Language.Core.ParseGlue
TKdynexternal
Language.Core.ParseGlue
TKEOF
Language.Core.ParseGlue
TKeq
Language.Core.ParseGlue
TKexternal
Language.Core.ParseGlue
TKforall
Language.Core.ParseGlue
TKhash
Language.Core.ParseGlue
TKin
Language.Core.ParseGlue
TKinst
Language.Core.ParseGlue
TKinteger
Language.Core.ParseGlue
TKlabel
Language.Core.ParseGlue
TKlambda
Language.Core.ParseGlue
TKleft
Language.Core.ParseGlue
TKlet
Language.Core.ParseGlue
TKmodule
Language.Core.ParseGlue
TKname
Language.Core.ParseGlue
TKnewtype
Language.Core.ParseGlue
TKnote
Language.Core.ParseGlue
TKobrace
Language.Core.ParseGlue
TKof
Language.Core.ParseGlue
TKoparen
Language.Core.ParseGlue
TKpercent
Language.Core.ParseGlue
TKquestion
Language.Core.ParseGlue
TKrarrow
Language.Core.ParseGlue
TKrational
Language.Core.ParseGlue
TKrec
Language.Core.ParseGlue
TKright
Language.Core.ParseGlue
TKsemicolon
Language.Core.ParseGlue
TKstar
Language.Core.ParseGlue
TKstring
Language.Core.ParseGlue
TKsym
Language.Core.ParseGlue
TKtrans
Language.Core.ParseGlue
TKunsafe
Language.Core.ParseGlue
TKwild
Language.Core.ParseGlue
Token
Language.Core.ParseGlue
topVbind
Language.Core.ParsecParser
Trans
Language.Core.ParsecParser
TransC
Language.Core.ParsecParser
transCo
Language.Core.ParsecParser
TransCoercion
Language.Core.Core
tRWS
Language.Core.Prims
tUtuple
Language.Core.Core
Tvar
1 (Type/Class)
Language.Core.Core
2 (Data Constructor)
Language.Core.Core
Tvenv
Language.Core.Check
tWord64zh
Language.Core.Prims
tWordzh
Language.Core.Prims
Ty
Language.Core.Core
unencodedChar
Language.Core.Encoding
uniqueNamesIn
Language.Core.Merge
unitMname
Language.Core.Core
unliftedKind
Language.Core.ParsecParser
unqual
Language.Core.Core
Unsafe
Language.Core.ParsecParser
UnsafeC
Language.Core.ParsecParser
unsafeCo
Language.Core.ParsecParser
UnsafeCoercion
Language.Core.Core
upperName
Language.Core.ParsecParser
UserString
Language.Core.Encoding
utuple
Language.Core.Core
Var
1 (Type/Class)
Language.Core.Core
2 (Data Constructor)
Language.Core.Core
Vb
Language.Core.Core
Vbind
Language.Core.Core
vbinds
Language.Core.CoreUtils
vbNames
Language.Core.CoreUtils
Vdef
1 (Type/Class)
Language.Core.Core
2 (Data Constructor)
Language.Core.Core
Vdefg
Language.Core.Core
vdefgBodies
Language.Core.CoreUtils
vdefgNames
Language.Core.CoreUtils
vdefgNamesQ
Language.Core.CoreUtils
vdefgTys
Language.Core.CoreUtils
vdefNames
Language.Core.CoreUtils
vdefNamesQ
Language.Core.CoreUtils
vdefTys
Language.Core.CoreUtils
Venv
Language.Core.Check
venv_
Language.Core.Check
whiteSpace
Language.Core.ParsecParser
withSemi
Language.Core.ParsecParser
withTerminator
Language.Core.ParsecParser
wrapperMainAnMname
Language.Core.Core
wrapperMainMname
Language.Core.Core
wrapperMainVar
Language.Core.Core
zDecodeString
Language.Core.Encoding
zEncodeString
Language.Core.Encoding