Searched refs:inverseScopeLookupName (Results 1 – 4 of 4) sorted by relevance
19 import Agda.Syntax.Scope.Base (inverseScopeLookupName)113 inScope scope x = not $ null $ inverseScopeLookupName x scope
1202 inverseScopeLookupName :: A.QName -> ScopeInfo -> [C.QName]1203 inverseScopeLookupName = inverseScopeLookupName' AmbiguousConProjs function
51 import Agda.Syntax.Scope.Base (inverseScopeLookupName)627 ifM (not . null . inverseScopeLookupName x <$> getScope) (reifyDef' x es) $ do
1758 , C.QName{} <- Fold.toList $ listToMaybe $ inverseScopeLookupName q scope