Initial add

Author: paf31

.gitignore

@@ -0,0 +1 @@
+js/

Makefile

@@ -0,0 +1,13 @@
+all: lib test
+
+lib:
+	mkdir -p js/System/
+	psc src/System/ReadLine.purs.hs \
+	  -o js/System/ReadLine.js \
+	  -e js/System/ReadLine.e.purs.hs \
+	  --module System.ReadLine --tco --magic-do
+
+test:
+	psc src/System/ReadLine.purs.hs examples/Examples.purs.hs \
+	  -o js/Examples.js \
+	  --main --module Main --tco --magic-do

examples/Examples.purs.hs

@@ -0,0 +1,19 @@
+module Main where
+
+import Prelude
+import Control.Monad
+import Control.Monad.Eff
+import System.ReadLine
+import Debug.Trace
+import Data.Tuple
+
+completion :: forall eff. Completer eff
+completion s = return $ Tuple [] s
+
+lineHandler s = trace $ "You typed: " ++ s
+
+main = do
+  interface <- createInterface process.stdin process.stdout completion
+  setPrompt "? " 2 interface
+  prompt interface
+  setLineHandler lineHandler interface

src/System/ReadLine.purs.hs

@@ -0,0 +1,71 @@
+module System.ReadLine where
+
+import Data.Tuple
+import Control.Monad.Eff
+
+foreign import data Console :: !
+
+foreign import data Interface :: *
+
+foreign import data InputStream :: *
+
+foreign import data OutputStream :: *
+
+foreign import process :: { stderr :: OutputStream, stdout :: OutputStream, stdin :: System.ReadLine.InputStream }
+
+type Completer eff = String -> Eff eff (Tuple [String] String)
+
+type LineHandler eff = String -> Eff eff {}
+
+foreign import setLineHandler 
+  "function setLineHandler(callback) {\
+  \  return function(readline) {\
+  \    return function() {\
+  \      readline.on('line', function (line) {\
+  \        callback(line)();\
+  \      });\
+  \      return readline;\
+  \    };\
+  \  };\
+  \};" :: forall eff. LineHandler eff -> Interface -> Control.Monad.Eff.Eff (console :: System.ReadLine.Console | eff) System.ReadLine.Interface
+
+foreign import prompt 
+  "function prompt(readline) {\
+  \  return function() {\
+  \    readline.prompt();\
+  \    return readline;\
+  \  };\
+  \};" :: forall eff. Interface -> Control.Monad.Eff.Eff (console :: Console | eff) System.ReadLine.Interface
+
+foreign import setPrompt 
+  "function setPrompt(prompt) {\
+  \  return function(length) {\
+  \    return function(readline) {\
+  \      return function() {\
+  \        readline.setPrompt(prompt, length);\
+  \        return readline;\
+  \      };\
+  \    };\
+  \  };\
+  \}" :: forall eff. Prim.String -> Prim.Number -> Interface -> Control.Monad.Eff.Eff (console :: Console | eff) System.ReadLine.Interface
+
+foreign import createInterface 
+  "function createInterface(input) {\
+  \  return function(output) {\
+  \    return function(completer) {\
+  \      return function() {\
+  \        var readline = require('readline');\
+  \        return readline.createInterface({\
+  \          input: input,\
+  \          output: output,\
+  \          completer: function(line) {\
+  \            var completions = completer(line)();\
+  \            return completions.values;\
+  \          }\
+  \        });\
+  \      };\
+  \    };\
+  \  };\
+  \}" :: forall eff. InputStream -> OutputStream -> System.ReadLine.Completer eff -> Control.Monad.Eff.Eff (console :: System.ReadLine.Console | eff) System.ReadLine.Interface
+
+