Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/
H A DFromAbstract.hs279 Nothing -> singleOtherAspect DottedPattern r <> hl e
683 singleOtherAspect :: HasRange a => OtherAspect -> a -> Hiliter
684 singleOtherAspect a x = pure $ H.singleton (rToR $ getRange x) $ parserBased { otherAspects = singl… function