Searched refs:AllowAmbiguousNames (Results 1 – 3 of 3) sorted by relevance
1180 data AllowAmbiguousNames type1205 inverseScopeLookupName' :: AllowAmbiguousNames -> A.QName -> ScopeInfo -> [C.QName]1211 inverseScopeLookupName'' :: AllowAmbiguousNames -> A.QName -> ScopeInfo -> Maybe NameMapEntry1242 inverseScopeLookupModule' :: AllowAmbiguousNames -> A.ModuleName -> ScopeInfo -> [C.QName]
28 import Agda.Syntax.Scope.Base (isNameInScope, inverseScopeLookupName', AllowAmbiguousNames(..))
306 lookupQName :: AllowAmbiguousNames -> A.QName -> AbsToCon C.QName