validParameters | Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop |
ValueCmp | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
Var | |
1 (Data Constructor) | Agda.Auto.Syntax |
2 (Data Constructor) | Agda.Syntax.Internal |
3 (Data Constructor) | Agda.Syntax.Abstract |
var | Agda.TypeChecking.Primitive |
VarArg | Agda.TypeChecking.Positivity |
varFreq | Agda.TypeChecking.Test.Generators |
variant | Agda.Utils.QuickCheck |
VarMP | Agda.TypeChecking.Coverage.Match |
VarName | |
1 (Data Constructor) | Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop |
2 (Type/Class) | Agda.TypeChecking.Test.Generators |
3 (Data Constructor) | Agda.TypeChecking.Test.Generators |
VarP | |
1 (Data Constructor) | Agda.Syntax.Internal |
2 (Data Constructor) | Agda.Syntax.Abstract |
vars | Agda.Compiler.Alonzo.PatternMonad |
vcat | |
1 (Function) | Agda.Utils.Pretty |
2 (Function) | Agda.TypeChecking.Pretty |
vecApp | Agda.Compiler.Alonzo.Main |
vector | Agda.Utils.QuickCheck |
vectorOf | Agda.Utils.QuickCheck |
VerboseKey | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
verboseS | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
version | Agda.Version |
vimFile | Agda.Interaction.Highlighting.Vim |
VisitedModules | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
visitModule | Agda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad |