| valid | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Map1 |
| 3 (Function) | Mikan.Utils.Set1 |
| validProfileOptionStrings | Mikan.Interaction.Options.ProfileOptions |
| VALU | Mikan.TypeChecking.Serialise.Base |
| Value | |
| 1 (Type/Class) | Mikan.Interaction.JSON |
| 2 (Data Constructor) | Mikan.Utils.WithDefault |
| value | Mikan.TypeChecking.Serialise.Base |
| valueArgs | Mikan.TypeChecking.Serialise.Base |
| valueAt | Mikan.Utils.Trie |
| ValueCmp | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ValueCmpOnFace | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| valueList | Mikan.TypeChecking.Serialise.Instances.General |
| valueListPair | Mikan.TypeChecking.Serialise.Instances.General |
| valueN | Mikan.TypeChecking.Serialise.Base |
| valueRM | Mikan.TypeChecking.Serialise.Instances.Highlighting |
| valuN | Mikan.TypeChecking.Serialise.Base |
| valuN' | Mikan.TypeChecking.Serialise.Base |
| Var | |
| 1 (Data Constructor) | Mikan.Syntax.Internal.Term |
| 2 (Data Constructor) | Mikan.Syntax.Reflected |
| 3 (Data Constructor) | Mikan.Syntax.Abstract |
| 4 (Type/Class) | Mikan.TypeChecking.Names |
| var | Mikan.Syntax.Internal.Term |
| VarArg | |
| 1 (Data Constructor) | Mikan.TypeChecking.Positivity.Occurrence |
| 2 (Data Constructor) | Mikan.TypeChecking.Positivity.Warnings |
| varBoundary | Mikan.TypeChecking.Telescope |
| varCount | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| VarCounts | |
| 1 (Type/Class) | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| 2 (Data Constructor) | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| varCounts | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| varDependencies | Mikan.TypeChecking.Telescope |
| varDependents | Mikan.TypeChecking.Telescope |
| varFlexRig | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| VarHead | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Variable | Mikan.TypeChecking.Free.Base |
| variable | Mikan.TypeChecking.Free.Generic |
| variable' | Mikan.TypeChecking.Free.Generic |
| varM | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| VarMap | |
| 1 (Type/Class) | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| 2 (Data Constructor) | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| VarMap' | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| VarName | Mikan.Syntax.Scope.Base |
| varNumber | Mikan.Syntax.Common |
| VarOcc | |
| 1 (Type/Class) | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| 2 (Data Constructor) | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| VarOcc' | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| VarP | |
| 1 (Data Constructor) | Mikan.Syntax.Internal.Pattern |
| 2 (Data Constructor) | Mikan.Syntax.Reflected |
| 3 (Data Constructor) | Mikan.Syntax.Abstract |
| varP | Mikan.Syntax.Internal.Pattern |
| VarPart | Mikan.Syntax.Common |
| varRangeStart | Mikan.TypeChecking.Serialise.Base |
| Vars | |
| 1 (Type/Class) | Mikan.Syntax.Translation.ReflectedToAbstract |
| 2 (Type/Class) | Mikan.TypeChecking.Names |
| Vars1 | Mikan.TypeChecking.Names |
| VarSet | Mikan.Utils.VarSet |
| varSetA | Mikan.TypeChecking.Serialise.Base |
| varSetC | Mikan.TypeChecking.Serialise.Base |
| varSetD | Mikan.TypeChecking.Serialise.Base |
| varSort | Mikan.Syntax.Internal.Term |
| varTable | Mikan.Syntax.Internal.Term |
| varTableSize | Mikan.Syntax.Internal.Term |
| varTel | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| VB# | Mikan.Utils.VarSet |
| vcase | Mikan.TypeChecking.Serialise.Base |
| vcat | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| Verbalize | Mikan.TypeChecking.Errors |
| verbalize | Mikan.TypeChecking.Errors |
| verbalizeNotAValidLetBinding | Mikan.Interaction.Options.Errors |
| verbalizeNotAValidLetExpression | Mikan.Interaction.Options.Errors |
| verboseBracket | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| verboseBracketTCM | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| VerboseKey | Mikan.Interaction.Options, Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| VerboseKeyItem | Mikan.Interaction.Options |
| VerboseLevel | Mikan.Interaction.Options, Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| verboseS | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Verbosity | Mikan.Interaction.Options, Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| verifyImportDirective | Mikan.Syntax.Scope.Monad |
| version | Mikan.Version |
| versionWithCommitInfo | Mikan.VersionCommit |
| view | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| viewProjectedVar | Mikan.TypeChecking.MetaVars |
| views | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| viewTC | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| vimFile | Mikan.Interaction.Highlighting.Vim |
| visible | Mikan.Syntax.Common |
| VisitedModules | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| visitModule | Mikan.TypeChecking.Monad.Imports, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| void | Mikan.Utils.Monad |
| VS# | Mikan.Utils.VarSet |
| vsep | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |