| UnexpectedDiagnostics
| IncorrectApplyEditRequest String
| UnexpectedResponseError LspIdRsp ResponseError
+ | UnexpectedServerTermination
deriving Eq
instance Exception SessionException
++ msgStr
show (UnexpectedResponseError lid e) = "Received an exepected error in a response for id " ++ show lid ++ ":\n"
++ show e
+ show UnexpectedServerTermination = "Language server unexpectedly terminated"
-- | A predicate that matches on any 'SessionException'
anySessionException :: SessionException -> Bool