Searched refs:stSyntaxInfo (Results 1 – 3 of 3) sorted by relevance
104 _ -> modifyTCLens stSyntaxInfo (h <>)176 stSyntaxInfo `modifyTCLens` mappend syntaxInfo352 syntaxInfo <- useTC stSyntaxInfo
1019 stSyntaxInfo `modifyTCLens` \inf -> (inf `mappend` toks) `mappend` warningInfo1174 syntaxInfo <- useTC stSyntaxInfo
560 stSyntaxInfo :: Lens' HighlightingInfo TCState561 stSyntaxInfo f s = function