Testing a missing JavaScript primitive

gistfile1.idr

module Main

%lib Node "readline"

data ReadLine = MkReadLine Ptr

readlineClose : ReadLine -> IO ()
readlineClose (MkReadLine rl) =
  mkForeign (FFun "%0.close()" [FPtr] FUnit) rl

onLine : ReadLine -> (String -> IO ()) -> IO ()
onLine (MkReadLine rl) k = mkForeign (
    FFun "%0.on('line',%1)" [FPtr, FFunction FString (FAny (IO ()))] FUnit
  ) rl k

readline : IO ReadLine
readline = do
  ptr <- mkForeign (FFun createInterface [] FPtr)
  return $ MkReadLine ptr
where
  createInterface : String
  createInterface =
       "readline.createInterface({"
    ++ "  input: process.stdin,"
    ++ "  ouput: process.stdout,"
    ++ "  terminal: false"
    ++ "})"

main : IO ()
main = do
  rl <- readline
  onLine rl (\f => do print $ negate (prim__strToFloat f)
                      readlineClose rl)