Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/
H A DGenerate.hs104 _ -> modifyTCLens stSyntaxInfo (h <>)
176 stSyntaxInfo `modifyTCLens` mappend syntaxInfo
352 syntaxInfo <- useTC stSyntaxInfo
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/
H A DImports.hs1019 stSyntaxInfo `modifyTCLens` \inf -> (inf `mappend` toks) `mappend` warningInfo
1174 syntaxInfo <- useTC stSyntaxInfo
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DBase.hs560 stSyntaxInfo :: Lens' HighlightingInfo TCState
561 stSyntaxInfo f s = function