[WIP] Add auto-complete suggestions

README.md

@@ -83,7 +83,7 @@ ln -s "$PWD/output" "$PWD/../client/public/js/output"
 #
 # We run this in a subshell so that setting noglob only lasts for the duration
 # of the command and no longer.
-(set -o noglob && stack exec trypurescript 8081 $(spago sources))
+(set -o noglob && stack exec trypurescript 8081 8082 $(spago sources))
 
 # Should output that it is compiling the sources (first time)
 # Then: Setting phasers to stun... (port 8081) (ctrl-c to quit)
@@ -178,9 +178,10 @@ If the compiled JavaScript code in the response includes a `require` call such a
 
 The server application takes the following arguments on the command line:
 
-- port number
+- port number for the server
+- port number for the IDE server
 - a list of input source files
 
 #### Example
 
-    trypurescript 8081 'bower_components/purescript-*/src/**/*.purs'
+    trypurescript 8081 8082 'bower_components/purescript-*/src/**/*.purs'

deploy/start

@@ -4,4 +4,4 @@ set -ex
 set -o noglob
 export XDG_CACHE_HOME="$PWD/.spago-cache"
 spago install
-exec trypurescript +RTS -N2 -A128m -M3G -RTS 8081 $(spago sources)
+exec trypurescript +RTS -N2 -A128m -M3G -RTS 8081 8082 $(spago sources)

server/Main.hs

@@ -18,7 +18,9 @@ import           Control.Monad.Writer.Strict (runWriterT)
 import qualified Data.Aeson as A
 import           Data.Aeson ((.=))
 import           Data.Bifunctor (first, second, bimap)
+import qualified Data.ByteString as BS
 import qualified Data.ByteString.Lazy as BL
+import qualified Data.ByteString.Lazy.Char8 as BL.Char8
 import           Data.Default (def)
 import           Data.Function (on)
 import qualified Data.IORef as IORef
@@ -28,7 +30,9 @@ import qualified Data.Map as M
 import           Data.Text (Text)
 import qualified Data.Text as T
 import qualified Data.Text.Encoding as T
+import qualified Data.Text.Lazy as TL
 import           Data.Time.Clock (UTCTime)
+import qualified Data.Vector as V
 import           GHC.Generics (Generic)
 import qualified Language.PureScript as P
 import qualified Language.PureScript.CST as CST
@@ -47,6 +51,7 @@ import           System.Environment (getArgs)
 import           System.Exit (exitFailure)
 import           System.FilePath.Glob (glob)
 import qualified System.IO as IO
+import qualified System.Process as Process
 import           Web.Scotty
 import qualified Web.Scotty as Scotty
 
@@ -113,8 +118,8 @@ buildMakeActions codegenRef =
   outputPrimDocs :: Make.Make ()
   outputPrimDocs = pure ()
 
-server :: [P.ExternsFile] -> P.Env -> P.Environment -> Int -> IO ()
-server externs initNamesEnv initEnv port = do
+server :: [P.ExternsFile] -> P.Env -> P.Environment -> Int -> String -> IO ()
+server externs initNamesEnv initEnv port pursIDEPortString = do
   codegenRef <- IORef.newIORef Nothing
   let makeActions = buildMakeActions codegenRef
   let compile :: Text -> IO (Either Error ([P.JSONError], JS))
@@ -157,6 +162,36 @@ server externs initNamesEnv initEnv port = do
           Scotty.json $ A.object [ "error" .= err ]
         Right (warnings, comp) ->
           Scotty.json $ A.object [ "js" .= comp, "warnings" .= warnings ]
+
+    get "/complete" $ do
+      query <- param "q"
+      Scotty.setHeader "Access-Control-Allow-Origin" "*"
+      Scotty.setHeader "Content-Type" "application/json"
+      let mkCommand q = A.encode $ A.object
+                  [ "command" .= ("complete" :: Text)
+                  , "params" .= A.object 
+                    [ "filters" .= A.Array
+                      ( V.fromList 
+                        [ A.object
+                          [ "filter" .= ("prefix" :: Text) 
+                          , "params" .= A.object
+                            [ "search" .= q ]
+                          ]
+                        ]
+                      )
+                    ]
+                  ]
+      (Just handleIn, Just handleOut, _, _) <- liftIO $
+        Process.createProcess_
+          "purs-ide-client"
+          (Process.proc "purs" ["ide", "client", "-p", pursIDEPortString])
+            { Process.std_in = Process.CreatePipe
+            , Process.std_out = Process.CreatePipe
+            }
+      liftIO (IO.hSetBuffering handleIn IO.NoBuffering)
+      liftIO (BL.Char8.hPutStrLn handleIn (mkCommand (query :: Text)))
+      result <- liftIO (BS.hGetContents handleOut)
+      Scotty.text (TL.fromStrict (T.decodeUtf8 result))
 
     get "/search" $ do
       query <- param "q"
@@ -230,7 +265,7 @@ main :: IO ()
 main = do
   -- Stop mangled "Compiling ModuleName" text
   IO.hSetBuffering IO.stderr IO.LineBuffering
-  (portString : inputGlobs) <- getArgs
+  (portString : pursIDEPortString : inputGlobs) <- getArgs
   let port = read portString
   inputFiles <- concat <$> traverse glob inputGlobs
   e <- runExceptT $ do
@@ -240,4 +275,7 @@ main = do
     pure (exts, namesEnv, env)
   case e of
     Left err -> print err >> exitFailure
-    Right (exts, namesEnv, env) -> server exts namesEnv env port
+    Right (exts, namesEnv, env) -> do
+      let pursIDEServer = Process.proc "purs" ("ide":"server":"-p":pursIDEPortString:inputGlobs)
+      Process.withCreateProcess pursIDEServer $
+        \_ _ _ _ -> server exts namesEnv env port pursIDEPortString

stack.yaml.lock

@@ -5,19 +5,19 @@
 
 packages:
 - completed:
-    hackage: purescript-0.14.3@sha256:4b75604e86c335711e1b1f1f73ef381108d047c9277df1cdc71922ec7da7c181,18623
+    hackage: purescript-0.14.5@sha256:511f50e7f267b65e1f656cdff9f9665073496efdf4375a3a86aa68496dae7281,18623
     pantry-tree:
-      size: 132222
-      sha256: e3957c9d2c96434fcf5e8f310b34f4ea696cc8e5f63e60958eae5c6e31aba4c6
+      size: 121096
+      sha256: 895dfc2fc938d99930f4ad17d1c475baf59efb4ad0c64519dfd09e482db38ff3
   original:
-    hackage: purescript-0.14.3
+    hackage: purescript-0.14.5
 - completed:
-    hackage: purescript-cst-0.3.0.0@sha256:369317d52737c4fa8c74a875283ed6cc0ef68e7c64db13d6e5bb7a7f72b76572,3861
+    hackage: purescript-cst-0.4.0.0@sha256:bfe7be3962e83b645a4a8cd1805f31de17db3d3456962e1a2d17016fe5d7f96d,3861
     pantry-tree:
       size: 3018
-      sha256: 38f94bcc121068215c6082bab39b6c555cadd3b88e786740c394a5c4b98c4100
+      sha256: 1681432cc9fa87bc6344e7c604f94a15a016af6e4b7c3519ee035f0f51d90c9c
   original:
-    hackage: purescript-cst-0.3.0.0
+    hackage: purescript-cst-0.4.0.0
 - completed:
     hackage: language-javascript-0.7.0.0@sha256:3eab0262b8ac5621936a4beab6a0f97d0e00a63455a8b0e3ac1547b4088dae7d,3898
     pantry-tree:

trypurescript.cabal

@@ -32,8 +32,10 @@ executable trypurescript
                    http-types -any,
                    transformers -any,
                    mtl -any,
+                   process -any,
                    text -any,
                    time -any,
+                   vector -any,
                    warp -any
     hs-source-dirs: server
     main-is: Main.hs