Integrate Parsec transformer into Session monad

[lsp-test.git] / src / Language / Haskell / LSP / Test / Parsing.hs

diff --git a/src/Language/Haskell/LSP/Test/Parsing.hs b/src/Language/Haskell/LSP/Test/Parsing.hs
index de2ca860e65622c014ee0a85a8ecae9e8c2a1185..b5f5b6b4a740a3d17642cd185293f3877ad469a3 100644 (file)
--- a/src/Language/Haskell/LSP/Test/Parsing.hs
+++ b/src/Language/Haskell/LSP/Test/Parsing.hs
@@ -1,24 +1,53 @@
 {-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE FlexibleInstances #-}
 module Language.Haskell.LSP.Test.Parsing where
 
+import Control.Monad.IO.Class
+import Control.Monad.Trans.Reader
+import qualified Data.ByteString.Lazy.Char8 as B
 import Language.Haskell.LSP.Messages
 import Language.Haskell.LSP.Types
 import Language.Haskell.LSP.Test.Messages
+import Language.Haskell.LSP.Test.Decoding
+import System.IO
+import Control.Concurrent
 import Text.Parsec hiding (satisfy)
 
 data MessageParserState = MessageParserState
 
-type MessageParser = Parsec [FromServerMessage] MessageParserState
+data SessionContext = SessionContext
+  {
+    serverIn :: Handle,
+    rootDir :: FilePath,
+    messageChan :: Chan FromServerMessage,
+    requestMap :: MVar RequestMap
+  }
 
-notification :: MessageParser FromServerMessage
+newtype SessionState = SessionState
+  {
+    curReqId :: LspId
+  }
+
+type Session = ParsecT (Chan FromServerMessage) SessionState (ReaderT SessionContext IO)
+
+notification :: Session FromServerMessage
 notification = satisfy isServerNotification
 
-request :: MessageParser FromServerMessage
+request :: Session FromServerMessage
 request = satisfy isServerRequest
 
-response :: MessageParser FromServerMessage
+response :: Session FromServerMessage
 response = satisfy isServerResponse
 
+loggingNotification :: Session FromServerMessage
+loggingNotification = satisfy shouldSkip
+  where
+    shouldSkip (NotLogMessage _) = True
+    shouldSkip (NotShowMessage _) = True
+    shouldSkip (ReqShowMessage _) = True
+    shouldSkip _ = False
+
 satisfy :: (Stream s m a, Eq a, Show a) => (a -> Bool) -> ParsecT s u m a
 satisfy pred = tokenPrim show nextPos test
   where nextPos x _ _ = x
@@ -28,5 +57,7 @@ testLog = NotLogMessage (NotificationMessage "2.0" WindowLogMessage (LogMessageP
 
 testSymbols = RspDocumentSymbols (ResponseMessage "2.0" (IdRspInt 0) (Just (List [])) Nothing)
 
-parseMessages :: MessageParser a -> [FromServerMessage] -> Either ParseError a
-parseMessages parser = runP parser MessageParserState ""
\ No newline at end of file
+instance (MonadIO m) => Stream (Chan a) m a where
+  uncons c = do
+    x <- liftIO $ readChan c
+    return $ Just (x, c)