Home
last modified time | relevance | path

Searched refs:scopeImports (Results 1 – 2 of 2) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DBase.hs62 , scopeImports :: Map C.QName A.ModuleName function
613 , scopeImports = Map.empty function
689 , scopeImports = (Map.union `on` scopeImports) s1 s2 function
950 $ s { scopeImports = Map.empty }
1031 imports = map lookP $ Map.elems $ scopeImports s
1047 | (c, a) <- Map.toList $ scopeImports root
1081 | (c, a) <- Map.toList $ scopeImports root ]
1160 imported q = fmap (,PublicAccess) $ Map.lookup q $ scopeImports root
1300 (x, y) <- Map.toList $ scopeImports s
1383 pretty scope@Scope{ scopeName = name, scopeParents = parents, scopeImports = imps } =
H A DMonad.hs532 s { scopeImports = Map.insert q m (scopeImports s) }