Index
| addToEnv | |
| 1 (Function) | LAM.Base, LAM.Pure |
| 2 (Function) | LAM.IsDBEnv |
| annotate | LAM.Trim |
| annotate1 | LAM.Trim |
| App | |
| 1 (Data Constructor) | LC.Base |
| 2 (Data Constructor) | LAM.Types.Generic, LAM.Base |
| app | LAM.IsDBEnv |
| appN | LC.Base |
| appT | LAM.Base |
| Base | LAM.Types.Pure, LAM.Base |
| bench18 | LAM.Parse |
| BV | LAM.Types.BV, LAM.Base |
| BVCtrs | LAM.Types.BV, LAM.Base |
| BVDB | LAM.Types.BV, LAM.Base |
| BVDBCtrs | LAM.Types.BV, LAM.Base |
| BVDBTerm | LAM.Types.BV, LAM.Base |
| BVTerm | LAM.Types.BV, LAM.Base |
| bvTest | LAM.Types.BV, LAM.Base |
| CanTrim | LAM.CanTrim |
| Closure | |
| 1 (Type/Class) | LAM.Base |
| 2 (Data Constructor) | LAM.Base |
| collectHeap | LAM.Base, LAM.CanTrim |
| cons | LAM.IsDBEnv |
| convBVCtrs | LAM.Types.BV, LAM.Base |
| convBVCtrs' | LAM.Types.BV, LAM.Base |
| convClosureRef | LAM.Base |
| convStateRef | LAM.Base |
| CseDB | LAM.Types.BV, LAM.Base |
| CseDBBV | LAM.Types.BV, LAM.Base |
| Cst | LAM.Types.BV, LAM.Base |
| CstB | LAM.Types.BV, LAM.Base |
| CstDB | LAM.Types.BV, LAM.Base |
| CstDBBV | LAM.Types.BV, LAM.Base |
| DB | LAM.Types.Pure, LAM.Base |
| DBTApp | LAM.Trim |
| DBTApp1 | LAM.Trim |
| DBTerm | LAM.Types.Pure, LAM.Base |
| DBTLam | LAM.Trim |
| DBTLam1 | LAM.Trim |
| DBTLet | LAM.Trim |
| DBTLet1 | LAM.Trim |
| DBTrim | LAM.Trim |
| DBTTerm0 | LAM.Trim |
| DBTTerm1 | LAM.Trim |
| DBTVar | LAM.Trim |
| DBTVar1 | LAM.Trim |
| eFromList | LAM.Base, LAM.Pure |
| eLookup | LAM.Base, LAM.Pure |
| empty | Trie.Map |
| env | LAM.Base |
| Environment | LAM.Exec.DBTrimPure |
| Err | LAM.Exec.DBNoTrimPure |
| ETerm | LAM.Types.Generic, LAM.Base |
| eToList | LAM.Base, LAM.Pure |
| evalHnf | LAM.IsLAM |
| evalPrint | LAM.IsLAM |
| Ext | LAM.Types.Generic, LAM.Base |
| freeIxs | LAM.Base |
| freeVars | LAM.Base |
| freshName | LAM.Base |
| fromBVDBTerm | LAM.Types.BV, LAM.Base |
| fromDBTerm | LAM.Types.Generic, LAM.Base |
| fromDBTermCtx | LAM.Types.Generic, LAM.Base |
| fromDBTTerm0 | LAM.Trim |
| fromDBTTerm0Trim | LAM.Trim |
| fromDBTTerm1 | LAM.Trim |
| fromList | |
| 1 (Function) | Trie.Map |
| 2 (Function) | LAM.IsDBEnv |
| H | LAM.Base |
| HeapPointer | LAM.Exec.DBNoTrimPure |
| HeapRefs | LAM.Base |
| heuristicCompPState | LAM.Pure |
| heuristicCompState | LAM.Pure |
| initS | LAM.IsLAM |
| inlineLambda | LAM.Opt |
| insert | Trie.Map |
| insertMulti | Trie.Map |
| isClosed | LAM.Base |
| IsDBEnv | LAM.IsDBEnv |
| isFree | LAM.Base |
| IsLAM | |
| 1 (Type/Class) | LAM.IsLAM |
| 2 (Data Constructor) | LAM.IsLAM |
| isLAM | |
| 1 (Function) | LAM.Exec.NamedNoTrimPure |
| 2 (Function) | LAM.Exec.DBTrimPure |
| 3 (Function) | LAM.Exec.DBNoTrimPure |
| isLAMC | LAM.Exec.NamedNoTrimPure |
| isLAMG | |
| 1 (Function) | LAM.Exec.DBTrimPure |
| 2 (Function) | LAM.Exec.DBNoTrimPure |
| isLAMGC | LAM.Exec.DBNoTrimPure |
| isLAMN | |
| 1 (Function) | LAM.Exec.DBTrimPure |
| 2 (Function) | LAM.Exec.DBNoTrimPure |
| isLAMSeq | LAM.Exec.DBNoTrimPure |
| isLAMVec | LAM.Exec.DBNoTrimPure |
| IsNamedEnv | LAM.Base, LAM.Pure |
| Lam | |
| 1 (Data Constructor) | LC.Base |
| 2 (Data Constructor) | LAM.Types.Generic, LAM.Base |
| length | LAM.IsDBEnv |
| Let | LAM.Types.Generic, LAM.Base |
| lookup | Trie.Map |
| lookupI | LAM.IsDBEnv |
| lookupList | Util |
| mapFree | LAM.Base |
| mark2 | |
| 1 (Function) | LAM.Exec.NamedNoTrimPure |
| 2 (Function) | LAM.Exec.DBNoTrimPure |
| mark3 | LAM.Exec.DBTrimPure |
| mergeLet | LAM.Opt |
| mkClosure | LAM.Exec.DBTrimPure |
| mkLet | LC.Base |
| Name | |
| 1 (Type/Class) | LC.Base |
| 2 (Type/Class) | LAM.Types.Generic, LAM.Base |
| NamedList | |
| 1 (Type/Class) | LAM.Base |
| 2 (Data Constructor) | LAM.Base |
| OpP | LAM.Types.BV, LAM.Base |
| OpPB | LAM.Types.BV, LAM.Base |
| OpPDB | LAM.Types.BV, LAM.Base |
| OpPDBBV | LAM.Types.BV, LAM.Base |
| OPr | LAM.Types.BV, LAM.Base |
| OPrB | LAM.Types.BV, LAM.Base |
| OPrDB | LAM.Types.BV, LAM.Base |
| OPrDBBV | LAM.Types.BV, LAM.Base |
| P | LAM.Base |
| parseTerm | |
| 1 (Function) | LC.Parse |
| 2 (Function) | LAM.Parse |
| PState | LAM.Pure |
| PState' | LAM.Pure |
| RClosure | LAM.Base |
| Ref | LAM.Pure |
| REnvironment | LAM.Base |
| RetDB | LAM.Types.BV, LAM.Base |
| RetDBBV | LAM.Types.BV, LAM.Base |
| RHeap | LAM.Pure |
| RHeapPointer | LAM.Base |
| RStack | LAM.Base |
| RState | LAM.Base |
| runHnf | LAM.Pure |
| runHnfPrint | LAM.Pure |
| runHnfPrintTrace | LAM.Pure |
| runTrace | LAM.IsLAM |
| runTraceFinite | LAM.IsLAM |
| showTermWithCtx | LAM.Types.Generic, LAM.Base |
| simpHeapAddrs | LAM.Pure |
| State | |
| 1 (Type/Class) | LAM.Base |
| 2 (Type/Class) | LAM.Exec.DBTrimPure |
| 3 (Type/Class) | LAM.Exec.DBNoTrimPure |
| stateToTerm | LAM.Pure |
| step | LAM.IsLAM |
| substName | LAM.Base |
| t | LAM.Base |
| Tag | LAM.Base |
| Term | |
| 1 (Type/Class) | LC.Base |
| 2 (Type/Class) | LAM.Types.Pure, LAM.Base |
| termDebug | LAM.Parse |
| termFromDBTTerm0 | LAM.Trim |
| termFromDBTTerm1 | LAM.Trim |
| termToDBTTerm0 | LAM.Trim |
| termToDBTTerm1 | LAM.Trim |
| toClosure | LAM.IsDBEnv |
| toDBTerm | LAM.Types.Generic, LAM.Base |
| toDBTermCtx | LAM.Types.Generic, LAM.Base |
| toDBTTerm0 | LAM.Trim |
| toDBTTerm0' | LAM.Trim |
| toDBTTerm1 | LAM.Trim |
| toList | Trie.Map |
| ToPureState | LAM.Pure |
| toPureState | LAM.Pure |
| toPureStateGen | LAM.Pure |
| toTerm | LAM.Base |
| Trie | Trie.Map |
| trim | LAM.CanTrim |
| Trim0 | LAM.Trim |
| trimEnv | LAM.IsDBEnv |
| trimLookup1 | LAM.Trim |
| Trimmer0 | |
| 1 (Type/Class) | LAM.Trim |
| 2 (Data Constructor) | LAM.Trim |
| Trimmer1 | |
| 1 (Type/Class) | LAM.Trim |
| 2 (Data Constructor) | LAM.Trim |
| trimState | LAM.Pure |
| trueTerm | LAM.Parse |
| uncons | LAM.IsDBEnv |
| unsafeAddr | Addr |
| unsafeLookupNs | LAM.Base |
| Var | |
| 1 (Data Constructor) | LC.Base |
| 2 (Data Constructor) | LAM.Types.Generic, LAM.Base |
| withFix | LAM.Base |
| XExt | LAM.Types.Generic, LAM.Base |
| XLet | |
| 1 (Data Constructor) | LAM.Types.Generic, LAM.Base |
| 2 (Type/Class) | LAM.Types.Generic, LAM.Base |
| XVar | LAM.Types.Generic, LAM.Base |