Index
| !! | Infernu.Prelude |
| $ | Infernu.Prelude |
| $! | Infernu.Prelude |
| && | Infernu.Prelude |
| * | Infernu.Prelude |
| ** | Infernu.Prelude |
| *> | Infernu.Prelude |
| + | Infernu.Prelude |
| ++ | Infernu.Prelude |
| - | Infernu.Prelude |
| . | Infernu.Prelude |
| / | Infernu.Prelude |
| /= | Infernu.Prelude |
| < | Infernu.Prelude |
| <$> | Infernu.Prelude |
| <* | Infernu.Prelude |
| <*> | Infernu.Prelude |
| <= | Infernu.Prelude |
| =<< | Infernu.Prelude |
| == | Infernu.Prelude |
| > | Infernu.Prelude |
| >= | Infernu.Prelude |
| >> | Infernu.Prelude |
| >>= | Infernu.Prelude |
| abs | Infernu.Prelude |
| acos | Infernu.Prelude |
| acosh | Infernu.Prelude |
| addEquivalence | Infernu.Types |
| addNamedType | Infernu.InferState |
| addPendingUnification | Infernu.InferState |
| addVarInstance | Infernu.InferState |
| addVarScheme | Infernu.InferState |
| all | Infernu.Prelude |
| allocNamedType | Infernu.InferState |
| and | Infernu.Prelude |
| annotatedSource | Infernu.Util |
| any | Infernu.Prelude |
| appendFile | Infernu.Prelude |
| Applicative | Infernu.Prelude |
| applyMainSubst | Infernu.InferState |
| applySubst | Infernu.Types |
| applySubst' | Infernu.Types |
| applySubstInfer | Infernu.InferState |
| areEquivalentNamedTypes | Infernu.InferState |
| arrayRowType | Infernu.Builtins.Array |
| asin | Infernu.Prelude |
| asinh | Infernu.Prelude |
| asTypeOf | Infernu.Prelude |
| atan | Infernu.Prelude |
| atan2 | Infernu.Prelude |
| atanh | Infernu.Prelude |
| Bool | Infernu.Prelude |
| bool | Infernu.Prelude |
| Bounded | Infernu.Prelude |
| break | Infernu.Prelude |
| builtins | Infernu.Builtins.Operators |
| ceiling | Infernu.Prelude |
| Char | Infernu.Prelude |
| checkFiles | Infernu.Util |
| checkSource | Infernu.Util |
| Class | |
| 1 (Type/Class) | Infernu.Types |
| 2 (Data Constructor) | Infernu.Types |
| classes | Infernu.Types |
| classInstances | Infernu.Types |
| ClassName | |
| 1 (Type/Class) | Infernu.Types |
| 2 (Data Constructor) | Infernu.Types |
| compare | Infernu.Prelude |
| composeSubst | Infernu.Types |
| concat | Infernu.Prelude |
| concatMap | Infernu.Prelude |
| const | Infernu.Prelude |
| cos | Infernu.Prelude |
| cosh | Infernu.Prelude |
| curry | Infernu.Prelude |
| cycle | Infernu.Prelude |
| declName | Infernu.Types |
| decodeFloat | Infernu.Prelude |
| decycle | Infernu.Decycle |
| decycle2 | Infernu.Decycle |
| decycle3 | Infernu.Decycle |
| decycleOn | Infernu.Decycle |
| defaultOptions | Infernu.Options |
| div | Infernu.Prelude |
| divMod | Infernu.Prelude |
| Double | Infernu.Prelude |
| drop | Infernu.Prelude |
| dropAt | Infernu.InferState |
| dropWhile | Infernu.Prelude |
| EAbs | Infernu.Types |
| EApp | Infernu.Types |
| EArray | Infernu.Types |
| EAssign | Infernu.Types |
| ECase | Infernu.Types |
| EIndex | Infernu.Types |
| EIndexAssign | Infernu.Types |
| Either | Infernu.Prelude |
| either | Infernu.Prelude |
| elem | Infernu.Prelude |
| ELet | Infernu.Types |
| ELit | Infernu.Types |
| emptyInferState | Infernu.InferState |
| emptySource | Infernu.Types |
| encodeFloat | Infernu.Prelude |
| ENew | Infernu.Types |
| Enum | Infernu.Prelude |
| enumFrom | Infernu.Prelude |
| enumFromThen | Infernu.Prelude |
| enumFromThenTo | Infernu.Prelude |
| enumFromTo | Infernu.Prelude |
| EProp | Infernu.Types |
| EPropAssign | Infernu.Types |
| EPropName | Infernu.Types |
| EQ | Infernu.Prelude |
| Eq | Infernu.Prelude |
| ERow | Infernu.Types |
| error | Infernu.Prelude |
| EStringMap | Infernu.Types |
| ETuple | Infernu.Types |
| EVar | Infernu.Types |
| EVarName | Infernu.Types |
| even | Infernu.Prelude |
| Exp | Infernu.Types |
| exp | Infernu.Prelude |
| exponent | Infernu.Prelude |
| fail | Infernu.Prelude |
| failWith | Infernu.InferState |
| failWithM | Infernu.InferState |
| False | Infernu.Prelude |
| FilePath | Infernu.Prelude |
| filter | Infernu.Prelude |
| Fix | |
| 1 (Type/Class) | Infernu.Fix, Infernu.Types |
| 2 (Data Constructor) | Infernu.Fix, Infernu.Types |
| fixToList | Infernu.Fix |
| FlatRowEnd | Infernu.Types |
| FlatRowEndRec | Infernu.Types |
| FlatRowEndTVar | Infernu.Types |
| flattenRow | Infernu.Types |
| flip | Infernu.Prelude |
| flipMap | Infernu.Lib |
| Float | Infernu.Prelude |
| floatDigits | Infernu.Prelude |
| Floating | Infernu.Prelude |
| floatRadix | Infernu.Prelude |
| floatRange | Infernu.Prelude |
| floor | Infernu.Prelude |
| fmap | Infernu.Prelude |
| fmapReplace | Infernu.Fix |
| fold | Infernu.Prelude |
| Foldable | Infernu.Prelude |
| foldl | Infernu.Prelude |
| foldl' | Infernu.Prelude |
| foldl1 | Infernu.Prelude |
| foldMap | Infernu.Prelude |
| foldr | Infernu.Prelude |
| foldr' | Infernu.Prelude |
| foldr1 | Infernu.Prelude |
| Fractional | Infernu.Prelude |
| freeTypeVars | Infernu.Types |
| fresh | Infernu.InferState |
| freshVarId | Infernu.InferState |
| fromEnum | Infernu.Prelude |
| fromInteger | Infernu.Prelude |
| fromIntegral | Infernu.Prelude |
| fromRational | Infernu.Prelude |
| fst | Infernu.Prelude |
| FType | Infernu.Types |
| Functor | Infernu.Prelude |
| gcd | Infernu.Prelude |
| generalize | Infernu.InferState |
| GenInfo | |
| 1 (Type/Class) | Infernu.Types |
| 2 (Data Constructor) | Infernu.Types |
| getAnnotations | Infernu.Infer |
| getChar | Infernu.Prelude |
| getContents | Infernu.Prelude |
| getFreeTVars | Infernu.InferState |
| getLine | Infernu.Prelude |
| getMainSubst | Infernu.InferState |
| getNamedType | Infernu.InferState |
| getPendingUnifications | Infernu.InferState |
| getRowTVar | Infernu.Types |
| getState | Infernu.InferState |
| getVarId | Infernu.InferState |
| getVarInstances | Infernu.InferState |
| getVarScheme | Infernu.InferState |
| getVarSchemeByVarId | Infernu.InferState |
| GT | Infernu.Prelude |
| head | Infernu.Prelude |
| id | Infernu.Prelude |
| Infer | Infernu.InferState |
| InferState | |
| 1 (Type/Class) | Infernu.Types |
| 2 (Data Constructor) | Infernu.Types |
| init | Infernu.Prelude |
| instantiate | Infernu.InferState |
| instantiateScheme | Infernu.InferState |
| instantiateVar | Infernu.InferState |
| Int | Infernu.Prelude |
| Integer | Infernu.Prelude |
| Integral | Infernu.Prelude |
| interact | Infernu.Prelude |
| IO | Infernu.Prelude |
| IOError | Infernu.Prelude |
| ioError | Infernu.Prelude |
| isDenormalized | Infernu.Prelude |
| isExpansive | Infernu.InferState |
| isGen | Infernu.Types |
| isIEEE | Infernu.Prelude |
| isInfinite | Infernu.Prelude |
| isNaN | Infernu.Prelude |
| isNegativeZero | Infernu.Prelude |
| isRecParamOnly | Infernu.InferState |
| iterate | Infernu.Prelude |
| Just | Infernu.Prelude |
| last | Infernu.Prelude |
| lastName | Infernu.Types |
| lcm | Infernu.Prelude |
| Left | Infernu.Prelude |
| length | Infernu.Prelude |
| lex | Infernu.Prelude |
| liftRowTVar | Infernu.Types |
| lines | Infernu.Prelude |
| LitBoolean | Infernu.Types |
| LitNull | Infernu.Types |
| LitNumber | Infernu.Types |
| LitRegex | Infernu.Types |
| LitString | Infernu.Types |
| LitUndefined | Infernu.Types |
| LitVal | Infernu.Types |
| log | Infernu.Prelude |
| logBase | Infernu.Prelude |
| lookup | Infernu.Prelude |
| lookupClass | Infernu.InferState |
| LT | Infernu.Prelude |
| mainSubst | Infernu.Types |
| map | Infernu.Prelude |
| mapError | Infernu.InferState |
| mapM | Infernu.Prelude |
| mapM_ | Infernu.Prelude |
| mappend | Infernu.Prelude |
| mapTopAnnotation | Infernu.Types |
| mapVarNames | Infernu.Types |
| matchZip | Infernu.Lib |
| max | Infernu.Prelude |
| maxBound | Infernu.Prelude |
| maximum | Infernu.Prelude |
| Maybe | Infernu.Prelude |
| maybe | Infernu.Prelude |
| mconcat | Infernu.Prelude |
| mempty | Infernu.Prelude |
| message | Infernu.Types |
| min | Infernu.Prelude |
| minBound | Infernu.Prelude |
| minifyVars | Infernu.InferState, Infernu.Infer |
| minifyVarsFunc | Infernu.InferState |
| minimum | Infernu.Prelude |
| mod | Infernu.Prelude |
| Monad | Infernu.Prelude |
| Monoid | Infernu.Prelude |
| nakedSingleOrTuple | Infernu.Pretty |
| namedTypes | Infernu.Types |
| NameSource | |
| 1 (Type/Class) | Infernu.Types |
| 2 (Data Constructor) | Infernu.Types |
| nameSource | Infernu.Types |
| negate | Infernu.Prelude |
| not | Infernu.Prelude |
| notElem | Infernu.Prelude |
| Nothing | Infernu.Prelude |
| null | Infernu.Prelude |
| nullSubst | Infernu.Types |
| Num | Infernu.Prelude |
| odd | Infernu.Prelude |
| optFileNames | Infernu.Options |
| Options | |
| 1 (Type/Class) | Infernu.Options |
| 2 (Data Constructor) | Infernu.Options |
| optQuiet | Infernu.Options |
| opts | Infernu.Options |
| optShowCore | Infernu.Options |
| optShowParsed | Infernu.Options |
| or | Infernu.Prelude |
| Ord | Infernu.Prelude |
| Ordering | Infernu.Prelude |
| otherwise | Infernu.Prelude |
| pendingUni | Infernu.Types |
| pi | Infernu.Prelude |
| pred | Infernu.Prelude |
| predClass | Infernu.Types |
| predType | Infernu.Types |
| Pretty | Infernu.Pretty, Infernu.Infer |
| pretty | Infernu.Pretty, Infernu.Infer |
| prettyList | Infernu.Pretty |
| prettyTab | Infernu.Pretty, Infernu.Infer |
| prettyType | Infernu.Pretty |
| Infernu.Prelude | |
| product | Infernu.Prelude |
| properFraction | Infernu.Prelude |
| pure | Infernu.Prelude |
| putChar | Infernu.Prelude |
| putStr | Infernu.Prelude |
| putStrLn | Infernu.Prelude |
| qualEmpty | Infernu.Types |
| qualPred | Infernu.Types |
| QualType | Infernu.Types |
| qualType | Infernu.Types |
| quot | Infernu.Prelude |
| quotRem | Infernu.Prelude |
| Rational | Infernu.Prelude |
| Read | Infernu.Prelude |
| read | Infernu.Prelude |
| readFile | Infernu.Prelude |
| readIO | Infernu.Prelude |
| readList | Infernu.Prelude |
| readLn | Infernu.Prelude |
| readParen | Infernu.Prelude |
| ReadS | Infernu.Prelude |
| reads | Infernu.Prelude |
| readsPrec | Infernu.Prelude |
| Real | Infernu.Prelude |
| RealFloat | Infernu.Prelude |
| RealFrac | Infernu.Prelude |
| realToFrac | Infernu.Prelude |
| recip | Infernu.Prelude |
| regexRowType | Infernu.Builtins.Regex |
| rem | Infernu.Prelude |
| repeat | Infernu.Prelude |
| replaceFix | Infernu.Fix, Infernu.Types |
| replaceFixQual | Infernu.InferState |
| replaceRecType | Infernu.InferState |
| replicate | Infernu.Prelude |
| resolveSimpleMutualRecursion | Infernu.InferState |
| return | Infernu.Prelude |
| reverse | Infernu.Prelude |
| Right | Infernu.Prelude |
| round | Infernu.Prelude |
| RowTVar | |
| 1 (Type/Class) | Infernu.Types |
| 2 (Data Constructor) | Infernu.Types |
| runInfer | Infernu.InferState |
| runInferWith | Infernu.InferState |
| runSubInfer | Infernu.InferState |
| runTypeInference | Infernu.Infer |
| safeLookup | Infernu.Lib |
| scaleFloat | Infernu.Prelude |
| scanl | Infernu.Prelude |
| scanl1 | Infernu.Prelude |
| scanr | Infernu.Prelude |
| scanr1 | Infernu.Prelude |
| schemeEmpty | Infernu.Types |
| schemeFromQual | Infernu.Types |
| schemeType | Infernu.Types |
| schemeVars | Infernu.Types |
| seq | Infernu.Prelude |
| sequence | Infernu.Prelude |
| sequenceA | Infernu.Prelude |
| sequence_ | Infernu.Prelude |
| setPendingUnifications | Infernu.InferState |
| setState | Infernu.InferState |
| setVarScheme | Infernu.InferState |
| Show | Infernu.Prelude |
| show | Infernu.Prelude |
| showChar | Infernu.Prelude |
| showList | Infernu.Prelude |
| showParen | Infernu.Prelude |
| ShowS | Infernu.Prelude |
| shows | Infernu.Prelude |
| showsPrec | Infernu.Prelude |
| showString | Infernu.Prelude |
| significand | Infernu.Prelude |
| signum | Infernu.Prelude |
| sin | Infernu.Prelude |
| singletonSubst | Infernu.Types |
| sinh | Infernu.Prelude |
| snd | Infernu.Prelude |
| Source | |
| 1 (Type/Class) | Infernu.Types |
| 2 (Data Constructor) | Infernu.Types |
| source | Infernu.Types |
| span | Infernu.Prelude |
| splatMap | Infernu.Lib |
| splitAt | Infernu.Prelude |
| sqrt | Infernu.Prelude |
| String | Infernu.Prelude |
| stringRowType | Infernu.Builtins.String |
| Substable | Infernu.Types |
| substVar | Infernu.InferState |
| subtract | Infernu.Prelude |
| succ | Infernu.Prelude |
| sum | Infernu.Prelude |
| tab | Infernu.Pretty |
| tail | Infernu.Prelude |
| take | Infernu.Prelude |
| takeWhile | Infernu.Prelude |
| tan | Infernu.Prelude |
| tanh | Infernu.Prelude |
| TArray | Infernu.Types |
| TBody | |
| 1 (Data Constructor) | Infernu.Types |
| 2 (Type/Class) | Infernu.Types |
| TBoolean | Infernu.Types |
| TCons | Infernu.Types |
| TConsName | Infernu.Types |
| test | Infernu.Infer |
| TFunc | Infernu.Types |
| throwError | Infernu.InferState |
| TName | Infernu.Types |
| TNull | Infernu.Types |
| TNumber | Infernu.Types |
| toChr | Infernu.Pretty |
| toEnum | Infernu.Prelude |
| toInteger | Infernu.Prelude |
| toRational | Infernu.Prelude |
| TPred | Infernu.Types |
| TPredIsIn | Infernu.Types |
| TQual | |
| 1 (Type/Class) | Infernu.Types |
| 2 (Data Constructor) | Infernu.Types |
| trace | Infernu.Log |
| traceLog | Infernu.Log |
| traceLogVal | Infernu.Log |
| tracePretty | Infernu.Log |
| translate | Infernu.Parse |
| Traversable | Infernu.Prelude |
| traverse | Infernu.Prelude |
| TRegex | Infernu.Types |
| TRow | Infernu.Types |
| TRowEnd | Infernu.Types |
| TRowList | Infernu.Types |
| TRowProp | Infernu.Types |
| TRowRec | Infernu.Types |
| True | Infernu.Prelude |
| truncate | Infernu.Prelude |
| TScheme | |
| 1 (Type/Class) | Infernu.Types |
| 2 (Data Constructor) | Infernu.Types |
| TString | Infernu.Types |
| TStringMap | Infernu.Types |
| TSubst | Infernu.Types |
| TTuple | Infernu.Types |
| TUndefined | Infernu.Types |
| TVar | Infernu.Types |
| TVarName | Infernu.Types |
| Type | Infernu.Types |
| typeClasses | Infernu.Builtins.TypeClasses |
| TypeEnv | Infernu.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 |
| TypeScheme | Infernu.Types |
| uncurry | Infernu.Prelude |
| undefined | Infernu.Prelude |
| unFix | Infernu.Fix, Infernu.Types |
| unflattenRow | Infernu.Types |
| unify | Infernu.Unify |
| unifyAll | Infernu.Unify |
| unifyl | Infernu.Unify |
| unifyPending | Infernu.Unify |
| unifyPredsL | Infernu.Unify |
| unifyRowPropertyBiased | Infernu.Unify |
| unlines | Infernu.Prelude |
| unrollName | Infernu.InferState |
| unrollNameByScheme | Infernu.InferState |
| unsafeGeneralize | Infernu.InferState |
| until | Infernu.Prelude |
| unwords | Infernu.Prelude |
| unzip | Infernu.Prelude |
| unzip3 | Infernu.Prelude |
| userError | Infernu.Prelude |
| VarId | |
| 1 (Type/Class) | Infernu.Types |
| 2 (Data Constructor) | Infernu.Types |
| varInstances | Infernu.Types |
| VarNames | Infernu.Types |
| varSchemes | Infernu.Types |
| words | Infernu.Prelude |
| writeFile | Infernu.Prelude |
| zip | Infernu.Prelude |
| zip3 | Infernu.Prelude |
| zipWith | Infernu.Prelude |
| zipWith3 | Infernu.Prelude |
| ^ | Infernu.Prelude |
| ^^ | Infernu.Prelude |
| || | Infernu.Prelude |