Searched refs:qnameModule (Results 1 – 15 of 15) sorted by relevance
61 data QName = QName { qnameModule :: ModuleName function212 is = map nameId $ mnameToList (qnameModule q) ++ [qnameName q]422 getRange q = getRange (qnameModule q, qnameName q)435 setRange r q = q { qnameModule = setRange r $ qnameModule q
408 np <- argsToUse (qnameModule x)412 hidings <- map getHiding . telToList <$> lookupSection (qnameModule x)414 commonTel <- lookupSection (commonParentModule old $ qnameModule x)778 dropLastModule q@QName{ qnameModule = m } =779 q{ qnameModule = mnameFromList $929 _ -> qnameModule f935 getDefFreeVars = getModuleFreeVars . qnameModule941 vs <- moduleParamsToApply $ qnameModule q1141 m = dropAnon $ qnameModule q
383 withCurrentModule (AN.qnameModule def) $ do388 moduleTel <- lookupSection (AN.qnameModule def)470 modnames = filter (\n -> AN.qnameModule n == AN.qnameModule def && n /= def) qnames
32 clauseQName f i = QName (qnameModule f) <$> clauseName (qnameName f) i
34 mnameToList, qnameName, qnameModule, nameId )263 modNm <- topLevelModuleName (qnameModule q)266 qms = mnameToList $ qnameModule q
133 params <- moduleParamsToApply $ qnameModule f504 withCurrentModule (qnameModule f) $ do
791 tel <- lift $ lookupSection (qnameModule f) -- don't shadow the names in this telescope
133 m1 <- topLevelModuleName (qnameModule q)
696 concreteQualifier = map A.nameConcrete . A.mnameToList . A.qnameModule
630 else renMod' False (qnameModule x)
824 doc <- liftTCM $ withCurrentModule (qnameModule g) $ buildClosure $
876 unlessM (allM xs $ ((0 ==) . size) <.> lookupSection . qnameModule . anameName) $
676 theta <- lookupSection (qnameModule x)
1905 … = prettyDisamb $ lastMaybe . filter (noRange /=) . map nameBindingSite . mnameToList . qnameModule
1790 unlessM ((A.qnameModule x' ==) <$> getCurrentModule) $2187 unless (A.qnameModule x == m) $