infernu-0.0.0.0: Type inference and checker for JavaScript (experimental)

Index

addEquivalenceInfernu.Types
addNamedTypeInfernu.InferState
addPendingUnificationInfernu.InferState
addVarInstanceInfernu.InferState
addVarSchemeInfernu.InferState
allocNamedTypeInfernu.InferState
annotatedSourceInfernu.Util
applyMainSubstInfernu.InferState
applySubstInfernu.Types
applySubst'Infernu.Types
applySubstInferInfernu.InferState
areEquivalentNamedTypesInfernu.InferState
arrayRowTypeInfernu.Builtins.Array
builtinsInfernu.Builtins.Operators
checkFilesInfernu.Util
checkSourceInfernu.Util
Class 
1 (Type/Class)Infernu.Types
2 (Data Constructor)Infernu.Types
classesInfernu.Types
classInstancesInfernu.Types
ClassName 
1 (Type/Class)Infernu.Types
2 (Data Constructor)Infernu.Types
composeSubstInfernu.Types
declNameInfernu.Types
decycleInfernu.Decycle
decycle2Infernu.Decycle
decycle3Infernu.Decycle
decycleOnInfernu.Decycle
defaultOptionsInfernu.Options
dropAtInfernu.InferState
EAbsInfernu.Types
EAppInfernu.Types
EArrayInfernu.Types
EAssignInfernu.Types
ECaseInfernu.Types
EIndexInfernu.Types
EIndexAssignInfernu.Types
ELetInfernu.Types
ELitInfernu.Types
emptyInferStateInfernu.InferState
emptySourceInfernu.Types
ENewInfernu.Types
EPropInfernu.Types
EPropAssignInfernu.Types
EPropNameInfernu.Types
ERowInfernu.Types
EStringMapInfernu.Types
ETupleInfernu.Types
EVarInfernu.Types
EVarNameInfernu.Types
ExpInfernu.Types
failWithInfernu.InferState
failWithMInfernu.InferState
Fix 
1 (Type/Class)Infernu.Fix, Infernu.Types
2 (Data Constructor)Infernu.Fix, Infernu.Types
fixToListInfernu.Fix
FlatRowEndInfernu.Types
FlatRowEndRecInfernu.Types
FlatRowEndTVarInfernu.Types
flattenRowInfernu.Types
flipMapInfernu.Lib
fmapReplaceInfernu.Fix
freeTypeVarsInfernu.Types
freshInfernu.InferState
freshVarIdInfernu.InferState
FTypeInfernu.Types
generalizeInfernu.InferState
GenInfo 
1 (Type/Class)Infernu.Types
2 (Data Constructor)Infernu.Types
getAnnotationsInfernu.Infer
getFreeTVarsInfernu.InferState
getMainSubstInfernu.InferState
getNamedTypeInfernu.InferState
getPendingUnificationsInfernu.InferState
getRowTVarInfernu.Types
getStateInfernu.InferState
getVarIdInfernu.InferState
getVarInstancesInfernu.InferState
getVarSchemeInfernu.InferState
getVarSchemeByVarIdInfernu.InferState
InferInfernu.InferState
InferState 
1 (Type/Class)Infernu.Types
2 (Data Constructor)Infernu.Types
instantiateInfernu.InferState
instantiateSchemeInfernu.InferState
instantiateVarInfernu.InferState
isExpansiveInfernu.InferState
isGenInfernu.Types
isRecParamOnlyInfernu.InferState
lastNameInfernu.Types
liftRowTVarInfernu.Types
LitBooleanInfernu.Types
LitNullInfernu.Types
LitNumberInfernu.Types
LitRegexInfernu.Types
LitStringInfernu.Types
LitUndefinedInfernu.Types
LitValInfernu.Types
lookupClassInfernu.InferState
mainSubstInfernu.Types
mapErrorInfernu.InferState
mapTopAnnotationInfernu.Types
mapVarNamesInfernu.Types
matchZipInfernu.Lib
messageInfernu.Types
minifyVarsInfernu.InferState, Infernu.Infer
minifyVarsFuncInfernu.InferState
nakedSingleOrTupleInfernu.Pretty
namedTypesInfernu.Types
NameSource 
1 (Type/Class)Infernu.Types
2 (Data Constructor)Infernu.Types
nameSourceInfernu.Types
nullSubstInfernu.Types
optFileNamesInfernu.Options
Options 
1 (Type/Class)Infernu.Options
2 (Data Constructor)Infernu.Options
optQuietInfernu.Options
optsInfernu.Options
optShowCoreInfernu.Options
optShowParsedInfernu.Options
pendingUniInfernu.Types
predClassInfernu.Types
predTypeInfernu.Types
PrettyInfernu.Pretty, Infernu.Infer
prettyInfernu.Pretty, Infernu.Infer
prettyListInfernu.Pretty
prettyTabInfernu.Pretty, Infernu.Infer
prettyTypeInfernu.Pretty
qualEmptyInfernu.Types
qualPredInfernu.Types
QualTypeInfernu.Types
qualTypeInfernu.Types
regexRowTypeInfernu.Builtins.Regex
replaceFixInfernu.Fix, Infernu.Types
replaceFixQualInfernu.InferState
replaceRecTypeInfernu.InferState
resolveSimpleMutualRecursionInfernu.InferState
RowTVar 
1 (Type/Class)Infernu.Types
2 (Data Constructor)Infernu.Types
runInferInfernu.InferState
runInferWithInfernu.InferState
runSubInferInfernu.InferState
runTypeInferenceInfernu.Infer
safeLookupInfernu.Lib
schemeEmptyInfernu.Types
schemeFromQualInfernu.Types
schemeTypeInfernu.Types
schemeVarsInfernu.Types
setPendingUnificationsInfernu.InferState
setStateInfernu.InferState
setVarSchemeInfernu.InferState
singletonSubstInfernu.Types
Source 
1 (Type/Class)Infernu.Types
2 (Data Constructor)Infernu.Types
sourceInfernu.Types
splatMapInfernu.Lib
stringRowTypeInfernu.Builtins.String
SubstableInfernu.Types
substVarInfernu.InferState
tabInfernu.Pretty
TArrayInfernu.Types
TBody 
1 (Data Constructor)Infernu.Types
2 (Type/Class)Infernu.Types
TBooleanInfernu.Types
TConsInfernu.Types
TConsNameInfernu.Types
testInfernu.Infer
TFuncInfernu.Types
throwErrorInfernu.InferState
TNameInfernu.Types
TNullInfernu.Types
TNumberInfernu.Types
toChrInfernu.Pretty
TPredInfernu.Types
TPredIsInInfernu.Types
TQual 
1 (Type/Class)Infernu.Types
2 (Data Constructor)Infernu.Types
traceInfernu.Log
traceLogInfernu.Log
traceLogValInfernu.Log
tracePrettyInfernu.Log
translateInfernu.Parse
TRegexInfernu.Types
TRowInfernu.Types
TRowEndInfernu.Types
TRowListInfernu.Types
TRowPropInfernu.Types
TRowRecInfernu.Types
TScheme 
1 (Type/Class)Infernu.Types
2 (Data Constructor)Infernu.Types
TStringInfernu.Types
TStringMapInfernu.Types
TSubstInfernu.Types
TTupleInfernu.Types
TUndefinedInfernu.Types
TVarInfernu.Types
TVarNameInfernu.Types
TypeInfernu.Types
typeClassesInfernu.Builtins.TypeClasses
TypeEnvInfernu.Types
TypeError 
1 (Type/Class)Infernu.Types, Infernu.Infer
2 (Data Constructor)Infernu.Types
TypeId 
1 (Type/Class)Infernu.Types
2 (Data Constructor)Infernu.Types
TypeSchemeInfernu.Types
unFixInfernu.Fix, Infernu.Types
unflattenRowInfernu.Types
unifyInfernu.Unify
unifyAllInfernu.Unify
unifylInfernu.Unify
unifyPendingInfernu.Unify
unifyPredsLInfernu.Unify
unifyRowPropertyBiasedInfernu.Unify
unrollNameInfernu.InferState
unrollNameBySchemeInfernu.InferState
unsafeGeneralizeInfernu.InferState
VarId 
1 (Type/Class)Infernu.Types
2 (Data Constructor)Infernu.Types
varInstancesInfernu.Types
VarNamesInfernu.Types
varSchemesInfernu.Types