Home
last modified time | relevance | path

Searched refs:nsModules (Results 1 – 3 of 3) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DBase.hs307 , nsModules :: ModulesInScope function
343 ModuleTag -> nsModules
566 , nsModules = fm $ nsModules ns function
577 , nsModules = nsModules ns1 `fm` nsModules ns2 function
587 mapNameSpaceM fd fm fs ns = update ns <$> fd (nsNames ns) <*> fm (nsModules ns) <*> fs (nsInScope n…
589 update ns ds ms is = ns { nsNames = ds, nsModules = ms, nsInScope = is }
739 , nsModules = allNamesInScope s function
746 , nsModules = namesInScope fs s function
H A DMonad.hs993 modClashes = filter (\ (_c, as) -> length as >= 2) $ Map.toList $ nsModules exported
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Translation/
H A DConcreteToAbstract.hs2207 fromMaybe [] . Map.lookup x . nsModules . thingsInScope [PublicNS, PrivateNS] <$> getCurrentScope