diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/world/console.lux | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/lux/world/console.lux b/stdlib/source/lux/world/console.lux index 0448637ca..62beffb39 100644 --- a/stdlib/source/lux/world/console.lux +++ b/stdlib/source/lux/world/console.lux @@ -16,27 +16,27 @@ (close [] (Task Unit))) (for {"JVM" - (as-is (host;import java.lang.AutoCloseable + (as-is (host;import java/lang/AutoCloseable (close [] #io #try void)) - (host;import java.io.InputStream) + (host;import java/io/InputStream) - (host;import java.io.Reader) + (host;import java/io/Reader) - (host;import java.io.InputStreamReader + (host;import java/io/InputStreamReader (new [InputStream])) - (host;import java.io.BufferedReader + (host;import java/io/BufferedReader (new [Reader]) (read [] #io #try int) (readLine [] #io #try String)) - (host;import java.io.PrintStream + (host;import java/io/PrintStream (print [String] #io #try void)) - (host;import java.lang.System - (#static in java.io.InputStream) - (#static out java.io.PrintStream)) + (host;import java/lang/System + (#static in java/io/InputStream) + (#static out java/io/PrintStream)) (class: JVM-Console Console {#input BufferedReader @@ -45,30 +45,30 @@ (def: read-char (|>> get@Console (get@ #input) - (BufferedReader.read []) + (BufferedReader::read []) (:: io;Functor<Process> map (|>> int-to-nat text;from-code)) promise;future)) (def: read-line (|>> get@Console (get@ #input) - (BufferedReader.readLine []) + (BufferedReader::readLine []) promise;future)) (def: (write message) (|>> get@Console (get@ #output) - (PrintStream.print [message]) + (PrintStream::print [message]) promise;future)) (def: (close self) (promise;future (do io;Monad<Process> - [_ (AutoCloseable.close [] (|> self get@Console (get@ #input)))] - (AutoCloseable.close [] (|> self get@Console (get@ #output))))))) + [_ (AutoCloseable::close [] (|> self get@Console (get@ #input)))] + (AutoCloseable::close [] (|> self get@Console (get@ #output))))))) (def: #export open (Process Console) - (io (#e;Success (new@JVM-Console {#input (|> System.in InputStreamReader.new BufferedReader.new) - #output System.out}))))) + (io (#e;Success (new@JVM-Console {#input (|> System::in InputStreamReader::new BufferedReader::new) + #output System::out}))))) }) |