| 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 | Language.Hakaru.Syntax.ABT |
| 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 |
| varForExpr | Language.Hakaru.Syntax.Gensym |
| 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.Types |
| varID | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| Varmap | Language.Hakaru.Syntax.AST.Eq |
| varOfType | Language.Hakaru.Syntax.Gensym |
| 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 |
| varSetKeys | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| varType | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| VDatum | Language.Hakaru.Syntax.Value |
| Vector | Language.Hakaru.Runtime.LogFloatPrelude |
| 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 |
| VReducer | Language.Hakaru.Syntax.Value |
| VRed_Array | Language.Hakaru.Syntax.Value |
| VRed_Num | Language.Hakaru.Syntax.Value |
| VRed_Pair | Language.Hakaru.Syntax.Value |
| VRed_Unit | Language.Hakaru.Syntax.Value |
| V_LogFloat | Language.Hakaru.Runtime.LogFloatPrelude |