Searched refs:anameName (Results 1 – 14 of 14) sorted by relevance
41 let userIdentifiers = fmap (fmap anameName . anames) rnms56 t <- normalForm norm =<< typeOfConst (anameName n)
362 TCP.<+> TCP.text (prettyShow $ anameName a)365 TCP.nest 2 (pWhy (nameBindingSite $ qnameName $ anameName a) (anameLineage a))
1268 d <- getConstInfo $ anameName n
339 throwError $ A.qualify_ y :| map anameName ys'350 possibleBaseNames = filter (canHaveSuffix . anameName . fst) $ possibleNames xbase367 Just ds -> throwError $ fmap (anameName . fst) $ caseMaybe suffixedNames id ((<>) . snd) ds372 Just (suffix , sds) -> throwError $ fmap (anameName . fst) sds381 Just ns -> \ f -> filter $ (`Set.member` ns) . A.qnameName . anameName . f385 updateConcreteName d@(AbsName { anameName = A.QName qm qn }) x =386 d { anameName = A.QName (setRange (getRange x) qm) (qn { nameConcrete = x }) }459 notation = namesToNotation x . qnameName . anameName498 DefinedName _ d _ -> clash $ anameName d513 then success else clash $ anameName (List1.head ds)[all …]
457 { anameName :: A.QName function483 (==) = (==) `on` anameName486 compare = compare `on` anameName493 lensAnameName f am = f (anameName am) <&> \ m -> am { anameName = m }710 allANames = Set.fromList . map anameName . concat . Map.elems792 (Set.insert $ anameName y) -- y is in scope now1313 (q, k) <- (anameName &&& anameKind) <$> ms1349 setBindingSite r x = x { anameName = setBindingSite r $ anameName x }1360 pretty = pretty . anameName1421 getRange = getRange . anameName[all …]
576 raiseWarningsOnUsage $ anameName d604 let xs = fmap anameName ds679 DefinedName _ d NoSuffix -> return $ anameName d1824 let x' = anameName ax1865 let x' = anameName ax2178 livesInCurrentModule = livesInCurrentModule . anameName2374 rebindName acc kind x $ anameName y2434 ys <- fmap anameName <$> toAbstractExistingName x2756 FieldName ds -> return $ fmap anameName ds2842 c = AmbQ (fmap anameName ds)[all …]
673 toConcrete = toConcrete . anameName
28 public <- Set.mapMonotonic anameName . publicNames <$> getScope
336 prettyTCM = prettyTCM . anameName
439 DefinedName _acc x _suffix -> hilite $ anameName x440 FieldName xs -> hiliteProjection $ A.AmbQ $ fmap anameName xs441 ConstructorName i xs -> hiliteAmbiguousQName k $ A.AmbQ $ fmap anameName xs443 PatternSynResName xs -> hilitePatternSynonym $ A.AmbQ $ fmap anameName xs
434 qnames = map (\(x, y) -> (x, Scope.anameName $ head y)) $ Map.toList names469 qnames = map (Scope.anameName . head) $ Map.elems names
941 x = anameName d954 FieldName xs -> Proj ProjSystem . AmbQ . fmap anameName $ xs955 ConstructorName _ xs -> Con . AmbQ . fmap anameName $ xs956 PatternSynResName xs -> PatternSyn . AmbQ . fmap anameName $ xs
628 DefinedName _ d NoSuffix -> return $ anameName d876 unlessM (allM xs $ ((0 ==) . size) <.> lookupSection . qnameModule . anameName) $909 bind x = bindBuiltinName b (Def (anameName x) [])
91 [ mergeNotations $ map (namesToNotation x . A.qnameName . anameName) ds