X-Git-Url: http://git.lukelau.me/?a=blobdiff_plain;f=src%2FLanguage%2FHaskell%2FLSP%2FTest%2FParsing.hs;h=693c62e9aab0670e83001003803d72798cb2ec1f;hb=5170a20560a68b8fcaed83ecaf6146d84a147992;hp=8c05590304533b59e95dc1400875f9a20ad8cb87;hpb=bf93e74482200ee189ca0be09970b9a34bb1511c;p=opengl.git diff --git a/src/Language/Haskell/LSP/Test/Parsing.hs b/src/Language/Haskell/LSP/Test/Parsing.hs index 8c05590..693c62e 100644 --- a/src/Language/Haskell/LSP/Test/Parsing.hs +++ b/src/Language/Haskell/LSP/Test/Parsing.hs @@ -5,51 +5,13 @@ module Language.Haskell.LSP.Test.Parsing where import Control.Applicative -import Control.Concurrent.Chan -import Control.Concurrent.MVar -import Control.Monad.Trans.Class -import Control.Monad.Trans.Reader -import Control.Monad.Trans.State import Data.Aeson import qualified Data.ByteString.Lazy.Char8 as B -import Data.Conduit hiding (await) import Data.Conduit.Parser import Data.Maybe import Language.Haskell.LSP.Messages import Language.Haskell.LSP.Types hiding (error) -import Language.Haskell.LSP.Test.Compat -import Language.Haskell.LSP.Test.Decoding import Language.Haskell.LSP.Test.Messages -import System.IO - -data SessionContext = SessionContext - { - serverIn :: Handle, - rootDir :: FilePath, - messageChan :: Chan FromServerMessage, - requestMap :: MVar RequestMap, - initRsp :: MVar InitializeResponse - } - -newtype SessionState = SessionState - { - curReqId :: LspId - } - -type ParserStateReader a s r m = ConduitParser a (StateT s (ReaderT r m)) - --- | A session representing one instance of launching and connecting to a server. --- --- You can send and receive messages to the server within 'Session' via 'getMessage', --- 'sendRequest' and 'sendNotification'. --- --- @ --- runSession \"path\/to\/root\/dir\" $ do --- docItem <- getDocItem "Desktop/simple.hs" "haskell" --- sendNotification TextDocumentDidOpen (DidOpenTextDocumentParams docItem) --- diagnostics <- getMessage :: Session PublishDiagnosticsNotification --- @ -type Session = ParserStateReader FromServerMessage SessionState SessionContext IO -- | Matches if the message is a notification. anyNotification :: Monad m => ConduitParser FromServerMessage m FromServerMessage @@ -113,18 +75,3 @@ satisfy pred = do then return x else empty -runSession' :: Chan FromServerMessage -> SessionContext -> SessionState -> Session a -> IO (a, SessionState) -runSession' chan context state session = runReaderT (runStateT conduit state) context - where conduit = runConduit $ chanSource chan .| runConduitParser session - -get :: Monad m => ParserStateReader a s r m s -get = lift Control.Monad.Trans.State.get - -put :: Monad m => s -> ParserStateReader a s r m () -put = lift . Control.Monad.Trans.State.put - -modify :: Monad m => (s -> s) -> ParserStateReader a s r m () -modify = lift . Control.Monad.Trans.State.modify - -ask :: Monad m => ParserStateReader a s r m r -ask = lift $ lift Control.Monad.Trans.Reader.ask