Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/
H A DResponse.hs64 | Resp_ClearHighlighting TokenBased constructor
210 Resp_ClearHighlighting {} -> __IMPOSSIBLE__
H A DResponse.hs-boot29 | Resp_ClearHighlighting TokenBased
H A DJSONTop.hs391 encodeTCM (Resp_ClearHighlighting tokenBased) = kind "ClearHighlighting"
H A DEmacsTop.hs58 lispifyResponse (Resp_ClearHighlighting tokenBased) =
H A DInteractionTop.hs901 putResponse (Resp_ClearHighlighting NotOnlyTokenBased)