Index
| ! | Narc.AST |
| $> | Narc.Util |
| Abs | Narc.AST |
| abs | Narc |
| abs_ | Narc.AST |
| alistmap | Narc.Util |
| allEq | Narc.Util |
| App | Narc.AST |
| app | Narc |
| applyTySubst | Narc.Type |
| appPrim | Narc.Eval |
| app_ | Narc.AST |
| asList | Narc.Util |
| Average | Narc.SQL |
| bagEq | Narc.Util |
| bind | |
| 1 (Function) | Narc.Type |
| 2 (Function) | Narc.Eval |
| Bool | Narc.AST |
| bu | Narc.Rewrite |
| cnst_ | Narc.AST |
| collate | Narc.Util |
| Comp | Narc.AST |
| compile | Narc.Compile |
| composeTySubst | Narc.Type |
| concatVLists | Narc.Eval |
| cond | Narc.SQL |
| Const | Narc.AST, Narc |
| contains | Narc.Util |
| Count | Narc.SQL |
| cross | Narc.Util |
| disjoinSubst | Narc.Type |
| disjoint | Narc.Util |
| disjointAlist | Narc.Util |
| Divide | Narc.SQL |
| dom | Narc.Util |
| emptyQuery | Narc.SQL |
| emptyTySubst | Narc.Type |
| Env | Narc.Eval |
| Eq | Narc.SQL |
| eqUpTo | Narc.Util |
| ErrorGensym | Narc.Failure |
| eval | Narc.Eval |
| Failure | Narc.Failure |
| failureToProperty | Narc.Failure.QuickCheck |
| failureToPropertyIgnoreFailure | Narc.Failure.QuickCheck |
| fayl | Narc.Failure |
| Field | Narc.Common |
| foreach | Narc |
| foreach_ | Narc.AST |
| freevarsQuery | Narc.SQL |
| fromValue | Narc.Eval |
| ftvs | Narc.Type |
| ftvsSubst | Narc.Type |
| fvs | Narc.AST |
| graph | Narc.Util |
| groundQuery | Narc.SQL |
| groundQueryExpr | Narc.SQL |
| having | Narc |
| If | Narc.AST |
| ifthenelse | Narc |
| ifthenelse_ | Narc.AST |
| image | Narc.Util |
| infer | Narc.TypeInfer |
| infer' | Narc.TypeInfer |
| inferType | Narc.TypeInfer |
| inferType' | Narc.TypeInfer |
| inferTys | Narc.TypeInfer |
| initialEnv | Narc.Eval |
| instanceOf | Narc.Type |
| instantiate | Narc.Type |
| intSqrt | Narc.Util |
| isBaseTy | Narc.Type |
| isDBRecordTy | Narc.Type |
| isDBTableTy | Narc.Type |
| isError | Narc.Failure |
| isErrorMSuccess | Narc.Failure |
| isLeft | Narc.Util |
| isQRecord | Narc.SQL |
| isRecordTy | Narc.Type |
| isRight | Narc.Util |
| isSuccess | Narc.Failure |
| isTyVar | Narc.Type |
| Less | Narc.SQL |
| main | Narc.Test |
| makeInitialTyEnv | Narc.TypeInfer |
| makeNormalizerTests | Narc.Test |
| maps | Narc.Util |
| mapstrcat | Narc.Util |
| Max | Narc.SQL |
| Min | Narc.SQL |
| Minus | Narc.SQL |
| mr | Narc.Util |
| NarcTerm | Narc |
| narcTermToSQL | Narc |
| Nil | Narc.AST |
| nil | Narc |
| nil_ | Narc.AST |
| normalizeType | Narc.Type |
| nubassoc | Narc.Util |
| Num | Narc.AST |
| numFtvs | Narc.Type |
| occurs | Narc.Type |
| onCorresponding | Narc.Util |
| onLeft | Narc.Util |
| onRight | Narc.Util |
| Op | Narc.SQL |
| perhaps | Narc.Rewrite |
| PlainTerm | Narc.AST |
| Plus | Narc.SQL |
| Pretty | Narc.Pretty |
| pretty | Narc.Pretty |
| PrimApp | Narc.AST |
| primApp | Narc |
| primApp_ | Narc.AST |
| Project | Narc.AST |
| project | Narc |
| project_ | Narc.AST |
| prop_composeTySubst | Narc.Type |
| prop_eval_safe | Narc.Test |
| prop_typedTermGen_tyCheck | Narc.Test |
| prop_unify_apply_subst | Narc.Type |
| QBool | Narc.SQL |
| QExists | Narc.SQL |
| QField | Narc.SQL |
| QIf | Narc.SQL |
| QNot | Narc.SQL |
| QNum | Narc.SQL |
| QOp | Narc.SQL |
| QRecord | Narc.SQL |
| QType | Narc.Type |
| Query | Narc.SQL |
| QUnion | Narc.SQL |
| Record | Narc.AST |
| record | Narc |
| record_ | Narc.AST |
| rename | Narc.AST |
| retagulate | Narc.AST |
| rng | Narc.Util |
| rslt | Narc.SQL |
| run | |
| 1 (Function) | Narc.Eval |
| 2 (Function) | Narc.HDBC |
| runError | Narc.Failure |
| runErrorGensym | Narc.Failure |
| runInfer | Narc.TypeInfer |
| runInferType | Narc.TypeInfer |
| runNormalizeType | Narc.Type |
| runTyCheck | Narc.TypeInfer |
| runUnitTests | Narc.Test |
| rw | Narc.Rewrite |
| Select | Narc.SQL |
| serialize | Narc.SQL |
| serializeAtom | Narc.SQL |
| serializeOp | Narc.SQL |
| serializeRow | Narc.SQL |
| setEq | Narc.Util |
| setMinus | Narc.Util |
| shadow | Narc.Util |
| Singleton | Narc.AST |
| singleton | Narc |
| singleton_ | Narc.AST |
| sizeQuery | Narc.SQL |
| sizeQueryExact | Narc.SQL |
| sortAlist | Narc.Util |
| String | Narc.AST |
| strip | Narc.AST |
| substTerm | Narc.AST |
| Sum | Narc.SQL |
| Table | Narc.AST |
| table_ | Narc.AST |
| Tabname | Narc.Common |
| tabs | Narc.SQL |
| TArr | Narc.Type |
| TBool | Narc.Type |
| Term | Narc.AST |
| Term' | Narc.AST |
| Times | Narc.SQL |
| TList | Narc.Type |
| TNum | Narc.Type |
| TRecord | Narc.Type |
| tryErrorGensym | Narc.Failure |
| TString | Narc.Type |
| TUnit | Narc.Type |
| TVar | Narc.Type |
| tyCheck | Narc.TypeInfer |
| tyCheckTerms | Narc.TypeInfer |
| tyCheckTests | Narc.TypeInfer |
| TyEnv | Narc.Type |
| Type | Narc.Type |
| typeAnno | Narc.TypeInfer |
| TypedTerm | Narc.AST |
| typingTest | Narc.TypeInfer |
| typingTest1 | Narc.TypeInfer |
| TySubst | Narc.Type |
| TyVar | Narc.Type |
| u | Narc.Util |
| unassoc | Narc.Util |
| under | Narc.Failure |
| unify | Narc.Type |
| unifyAll | Narc.Type |
| Union | Narc.AST |
| union | Narc |
| union_ | Narc.AST |
| Unit | Narc.AST |
| unit | Narc |
| unitAssert | Narc.TypeInfer |
| unitTests | Narc.Test |
| unit_ | Narc.AST |
| UnOp | Narc.SQL |
| unquantType | Narc.TypeInfer |
| VAbs | Narc.Eval |
| validEnv | Narc.Util |
| Value | Narc.Eval |
| Var | |
| 1 (Type/Class) | Narc.AST |
| 2 (Data Constructor) | Narc.AST |
| variables | Narc.AST |
| var_ | Narc.AST |
| VBool | Narc.Eval |
| VList | Narc.Eval |
| VNum | Narc.Eval |
| VRecord | Narc.Eval |
| VUnit | Narc.Eval |
| zipAlist | Narc.Util |
| \\\ | Narc.Util |