Home
last modified time | relevance | path

Searched refs:nameAsp (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
543 (nameAsp Module)
670 boundAspect = nameAsp Bound False
689 nameAsp :: NameKind -> Bool -> Aspects
690 nameAsp = nameAsp' . Just function