| val | Language.Hakaru.Parser.AST |
| Value | Language.Hakaru.Syntax.Value |
| Var | |
| 1 (Data Constructor) | Language.Hakaru.Syntax.ABT |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| var | |
| 1 (Function) | Language.Hakaru.Syntax.ABT |
| 2 (Function) | Language.Hakaru.Parser.Parser |
| varEnv | Language.Hakaru.CodeGen.CodeGenMonad |
| varEq | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| VarEqTypeError | |
| 1 (Type/Class) | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| 2 (Data Constructor) | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| varHint | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| Variable | |
| 1 (Type/Class) | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| 2 (Data Constructor) | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| VariableEvaluator | Language.Hakaru.Evaluation.Lazy |
| varID | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| Varmap | Language.Hakaru.Syntax.AST.Eq |
| VArray | Language.Hakaru.Syntax.Value |
| VarSet | |
| 1 (Type/Class) | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| 2 (Data Constructor) | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| varType | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| VDatum | Language.Hakaru.Syntax.Value |
| View | Language.Hakaru.Syntax.ABT |
| viewABT | Language.Hakaru.Syntax.ABT |
| viewDatum | Language.Hakaru.Syntax.DatumCase |
| viewHeadDatum | Language.Hakaru.Evaluation.Types |
| viewWhnfDatum | Language.Hakaru.Evaluation.Types |
| VInt | Language.Hakaru.Syntax.Value |
| VLam | Language.Hakaru.Syntax.Value |
| VMeasure | Language.Hakaru.Syntax.Value |
| VNat | Language.Hakaru.Syntax.Value |
| void_jmEq1 | Language.Hakaru.Syntax.AST.Eq |
| void_varEq | Language.Hakaru.Syntax.AST.Eq |
| VProb | Language.Hakaru.Syntax.Value |
| VReal | Language.Hakaru.Syntax.Value |