Searched refs:concreteNamesInScope (Results 1 – 3 of 3) sorted by relevance
38 import Agda.Syntax.Scope.Base ( concreteNamesInScope, NameOrModule(..) )313 inscope <- Set.toList . concreteNamesInScope <$> getScope
1070 concreteNamesInScope :: ScopeInfo -> Set C.QName1071 concreteNamesInScope scope = function
867 concreteNamesInScope = (Map.keys namesInScope ++ Map.keys modulesInScope :: [C.Name]) function