Index

AmbiguousName	Inferno.Infer
AssertConditionMustBeBool	Inferno.Infer
AssertionFailed	Inferno.Eval.Error
baseOpsTable	Inferno.Module.Prelude
BlockComment	Inferno.Parse
buildPinnedQQModules	Inferno.Module
BuiltinEnumHash
1 (Data Constructor)	Inferno.Module
2 (Type/Class)	Inferno.Module
BuiltinFunHash
1 (Data Constructor)	Inferno.Module
2 (Type/Class)	Inferno.Module
builtinModule	Inferno.Module.Builtin
BuiltinModuleHash
1 (Data Constructor)	Inferno.Module
2 (Type/Class)	Inferno.Module
builtinModules	Inferno.Module.Prelude
builtinModulesOpsTable	Inferno.Module.Prelude
builtinModulesPinMap	Inferno.Module.Prelude
builtinModulesTerms	Inferno.Module.Prelude
CaseBranchesMustBeEqType	Inferno.Infer
CastError	Inferno.Eval.Error
cEmpty	Inferno.Infer.Exhaustiveness
cEnum	Inferno.Infer.Exhaustiveness
checkUsefullness	Inferno.Infer.Exhaustiveness
cInf	Inferno.Infer.Exhaustiveness
closeOver	Inferno.Infer.Env, Inferno.Infer
closeOverType	Inferno.Infer.Env, Inferno.Infer
combineTermEnvs	Inferno.Module
Comment	Inferno.Parse
cOne	Inferno.Infer.Exhaustiveness
Constraint	Inferno.Infer
couldNotCast	Inferno.Module.Cast
CouldNotFindTypeclassWitness	Inferno.Infer
cTuple	Inferno.Infer.Exhaustiveness
def	Inferno.Parse
docs	Inferno.Infer.Env
documentation	Inferno.Parse
drop_	Inferno.Parse.Error
Either3	Inferno.Module.Cast
Either4	Inferno.Module.Cast
Either5	Inferno.Module.Cast
Either6	Inferno.Module.Cast
Either7	Inferno.Module.Cast
empty	Inferno.Infer.Env
emptyHash	Inferno.Module.Builtin
emptyTmenv	Inferno.Eval
enumBoolHash	Inferno.Module.Builtin
EnumDef	Inferno.Parse
EnumNamespace	Inferno.Infer.Env
Env	Inferno.Infer.Env
eval	Inferno.Eval
EvalError	Inferno.Eval.Error
exhaustive	Inferno.Infer.Exhaustiveness
ExpectedFunction	Inferno.Infer
Export	Inferno.Parse
expr	Inferno.Parse
extend	Inferno.Infer.Env
findTypeClassWitnesses	Inferno.Infer
fromList	Inferno.Infer.Env
fromListModule	Inferno.Infer.Env
FromValue	Inferno.Module.Cast
fromValue	Inferno.Module.Cast
FunNamespace	Inferno.Infer.Env
fv	Inferno.Infer.Env
generalize	Inferno.Infer.Env
identExpr	Inferno.Infer.Env
IfBranchesMustBeEqType	Inferno.Infer
IfConditionMustBeBool	Inferno.Infer
ImplicitVarTypeOverlap	Inferno.Infer
inferExpr	Inferno.Infer
inferno	Inferno.Utils.QQ.Script
infernoModules	Inferno.Utils.QQ.Module
InfernoParsingError	Inferno.Parse
inferPossibleTypes	Inferno.Infer
inferTypeReps	Inferno.Infer
InfiniteType	Inferno.Infer
InfixOpNotFound	Inferno.Parse
InlineDef	Inferno.Parse
insertBuiltinModule	Inferno.Infer.Pinned
insertCommentIntoExpr	Inferno.Parse.Commented
insertCommentIntoImport	Inferno.Parse.Commented
insertCommentIntoPat	Inferno.Parse.Commented
insertCommentsIntoExpr	Inferno.Parse.Commented
insertHardcodedModule	Inferno.Infer.Pinned
Interpreter	Inferno.Eval
keys	Inferno.Infer.Env
Kind0	Inferno.Module.Cast
LineComment	Inferno.Parse
lookup	Inferno.Infer.Env
lookupPinned	Inferno.Infer.Env
merge	Inferno.Infer.Env
mergeEnvs	Inferno.Infer.Env
messageItemsPretty	Inferno.Parse.Error
metaToValue	Inferno.Utils.QQ.Module
mkEnumText	Inferno.Infer.Exhaustiveness
mkProxy	Inferno.Utils.QQ.Module
Module
1 (Data Constructor)	Inferno.Module
2 (Type/Class)	Inferno.Module
ModuleDoesNotExist	Inferno.Infer
ModuleMap	Inferno.Module.Prelude
moduleName	Inferno.Module
ModuleNamespace	Inferno.Infer.Env
ModuleNameTaken	Inferno.Infer
ModuleNotFound	Inferno.Parse
moduleObjects	Inferno.Module
moduleOpsTable	Inferno.Module
modulesParser	Inferno.Parse
moduleTypeClasses	Inferno.Module
name	Inferno.Parse
NameInModuleDoesNotExist	Inferno.Infer
Namespace	Inferno.Infer.Env
namespaceToIdent	Inferno.Infer.Env
NonExhaustivePatternMatch	Inferno.Infer
normTC	Inferno.Infer.Env
normtype	Inferno.Infer.Env
NotFoundInImplicitEnv	Inferno.Eval.Error
oneHash	Inferno.Module.Builtin
openModule	Inferno.Infer.Pinned
OpNamespace	Inferno.Infer.Env
OpsTable	Inferno.Parse
orList	Inferno.Parse.Error
parseExpr	Inferno.Parse
parseType	Inferno.Parse
Pattern	Inferno.Infer.Exhaustiveness
PatternsMustBeEqType	Inferno.Infer
PatternUnificationFail	Inferno.Infer
pinExpr	Inferno.Infer.Pinned
PinnedModule	Inferno.Module
pinnedModuleHashToTy	Inferno.Module
pinnedModuleNameToHash	Inferno.Module
pinnedModuleTerms	Inferno.Module
pinnedTypes	Inferno.Infer.Env
preludeNameToTypeMap	Inferno.Module.Prelude
prettyError	Inferno.Parse.Error, Inferno.Parse
pureEval	Inferno.Eval
QQDefinition	Inferno.Parse
QQRawDef	Inferno.Parse
QQToValueDef	Inferno.Parse
remove	Inferno.Infer.Env
runEvalIO	Inferno.Eval
RuntimeError	Inferno.Eval.Error
rws	Inferno.Parse
showErrorFancy	Inferno.Parse.Error
showErrorItem	Inferno.Parse.Error
Signature	Inferno.Parse
singleton	Inferno.Infer.Env
Subst
1 (Data Constructor)	Inferno.Infer
2 (Type/Class)	Inferno.Infer
TermEnv	Inferno.Eval
toList	Inferno.Infer.Env
topLevel	Inferno.Parse
TopLevelDefn	Inferno.Parse
toType	Inferno.Module.Cast
ToValue	Inferno.Module.Cast, Inferno.Module
toValue	Inferno.Module.Cast, Inferno.Module
ty	Inferno.Infer.Env
TypeClassInstance	Inferno.Parse
TypeClassNoPartialMatch	Inferno.Infer
TypeClassNotFoundError	Inferno.Infer
TypeEnv	Inferno.Infer.Env
TypeError	Inferno.Infer
TypeMetadata
1 (Data Constructor)	Inferno.Infer.Env
2 (Type/Class)	Inferno.Infer.Env
TypeNamespace	Inferno.Infer.Env
types	Inferno.Infer.Env
UnboundExtIdent	Inferno.Infer
UnboundNameInNamespace	Inferno.Infer
UnboundTyVar	Inferno.Parse
UnificationFail	Inferno.Infer
UselessPattern	Inferno.Infer
VarMultipleOccurrence	Inferno.Infer
W	Inferno.Infer.Exhaustiveness