Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/
H A DFromAbstract.hs404 hiliteAsName n = hiliteCName [] n noRange Nothing $ nameAsp Module
480 hiliteCName [] (A.nameConcrete n) noRange Nothing $ nameAsp Module
518 hiliteCName [] (A.nameConcrete x) noRange (Just $ A.nameBindingSite x) $ nameAsp Bound
530 hiliteField xs x bindingR = hiliteCName xs x noRange bindingR $ nameAsp Field
538 hiliteCName
552 hiliteCName
565 hiliteCName xs x fr mR asp = do function
644 hiliteCName (concreteQualifier x)