waitok | Agda.Auto.NarrowingSearch |
wakeConstraints | Agda.TypeChecking.Monad.Constraints, Agda.TypeChecking.Monad |
wakeIrrelevantVars | Agda.TypeChecking.Irrelevance |
wakeupConstraints | Agda.TypeChecking.Constraints |
wakeupConstraints_ | Agda.TypeChecking.Constraints |
wakeupListener | Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop |
Warnings | |
1 (Type/Class) | Agda.Interaction.Imports |
2 (Data Constructor) | Agda.Interaction.Imports |
warningsToError | Agda.Interaction.Imports |
warshall | Agda.Utils.Warshall |
warshallG | Agda.Utils.Warshall |
Weak | Agda.Auto.Syntax |
weak | Agda.Auto.Syntax |
weakarglist | Agda.Auto.Syntax |
weakelr | Agda.Auto.Syntax |
weaken | Agda.Auto.Convert |
weakens | Agda.Auto.Convert |
weaki | Agda.Auto.Syntax |
weakly | Agda.TypeChecking.MetaVars.Occurs |
WeaklyRigid | Agda.TypeChecking.Free |
weaklyRigidVars | Agda.TypeChecking.Free |
Weight | Agda.Utils.Warshall |
wellFormedIndices | Agda.TypeChecking.Rules.LHS.Split |
whatInduction | Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad |
whenConstraints | Agda.TypeChecking.Constraints |
whenFail | Agda.Utils.QuickCheck |
whenFail' | Agda.Utils.QuickCheck |
whenM | Agda.Utils.Monad |
WhereClause | Agda.Syntax.Concrete |
WildMP | Agda.TypeChecking.Coverage.Match |
WildP | |
1 (Data Constructor) | Agda.Syntax.Concrete |
2 (Data Constructor) | Agda.Syntax.Abstract |
WildV | Agda.Syntax.Concrete.Operators.Parser |
withAnonymousModule | Agda.TypeChecking.Monad.Env, Agda.TypeChecking.Monad |
WithApp | |
1 (Data Constructor) | Agda.Syntax.Concrete |
2 (Data Constructor) | Agda.Syntax.Abstract |
withAppBrackets | Agda.Syntax.Fixity |
WithArgCtx | Agda.Syntax.Fixity |
withArgsFrom | Agda.Syntax.Common |
WithClausePatternMismatch | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
withConstraint | Agda.TypeChecking.Monad.Constraints, Agda.TypeChecking.Monad |
withContextPrecedence | Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop |
withCurrentModule | |
1 (Function) | Agda.TypeChecking.Monad.Env, Agda.TypeChecking.Monad |
2 (Function) | Agda.Syntax.Scope.Monad |
withCurrentModule' | Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop |
withDisplayForm | Agda.TypeChecking.With |
withEnv | Agda.TypeChecking.Monad.Env, Agda.TypeChecking.Monad |
withFresh | Agda.Utils.Fresh |
WithFunction | Agda.TypeChecking.Rules.Def |
WithFunctionProblem | Agda.TypeChecking.Rules.Def |
withFunctionType | Agda.TypeChecking.With |
WithFunCtx | Agda.Syntax.Fixity |
withImportPath | Agda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad |
within | Agda.Utils.QuickCheck |
withInteractionId | Agda.Interaction.BasicOps |
withInterval | Agda.Syntax.Parser.LexActions |
withInterval' | Agda.Syntax.Parser.LexActions |
withInterval_ | Agda.Syntax.Parser.LexActions |
withLayout | Agda.Syntax.Parser.LexActions, Agda.Syntax.Parser.Layout |
withLocalVars | Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop |
withMetaId | Agda.Interaction.BasicOps |
withMetaInfo | Agda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad |
withRangeOf | Agda.Syntax.Position, Agda.Interaction.GhciTop |
withRangesOf | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop |
withRangesOfQ | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop |
WithRHS | Agda.Syntax.Abstract |
withScope | |
1 (Function) | Agda.TypeChecking.Monad.State, Agda.TypeChecking.Monad |
2 (Function) | Agda.Syntax.Translation.AbstractToConcrete |
withScope_ | Agda.TypeChecking.Monad.State, Agda.TypeChecking.Monad |
withSignature | Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad |
withTopLevelModule | Agda.TypeChecking.Monad.State, Agda.TypeChecking.Monad |
wordBoundary | Agda.Compiler.JS.Parser |
wordsBy | Agda.Utils.List |
workOnTypes | Agda.TypeChecking.Irrelevance |
workOnTypes' | Agda.TypeChecking.Irrelevance |
writeFile | Agda.Utils.IO.UTF8 |
writeInterface | Agda.Interaction.Imports |
writeModule | |
1 (Function) | Agda.Compiler.MAlonzo.Compiler |
2 (Function) | Agda.Compiler.JS.Compiler |
WrongHidingInApplication | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
WrongHidingInLambda | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
WrongHidingInLHS | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
WrongIrrelevanceInLambda | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
WrongNumberOfConstructorArguments | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
WSM | Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop |