blob: cf7d2f2d4065fa5a1207f3d4b4dceee9d03e2493 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
(.module:
[lux #*
[control
[monad (#+ do)]
["ex" exception (#+ exception:)]]
[data
["." error]
["." text
format]]
["." io (#+ IO Process io)]
[host (#+ import:)]
[compiler
["." host]]])
(do-template [<name>]
[(exception: #export (<name>)
"")]
[cannot-open]
[cannot-close]
)
(signature: #export (Console !)
(: (-> [] (! Nat))
read)
(: (-> [] (! Text))
read-line)
(: (-> Text (! Any))
write)
(: (-> [] (! Any))
close))
(`` (for {(~~ (static host.jvm))
(as-is (import: java/lang/String)
(import: #long java/io/Console
(readLine [] #io #try String))
(import: java/io/InputStream
(read [] #io #try int))
(import: java/io/PrintStream
(print [String] #io #try void))
(import: java/lang/System
(#static console [] #io #? java/io/Console)
(#static in java/io/InputStream)
(#static out java/io/PrintStream))
(def: #export open
(Process (Console Process))
(do io.Monad<IO>
[?jvm-console (System::console)]
(case ?jvm-console
#.None
(io.fail (ex.construct cannot-open []))
(#.Some jvm-console)
(let [jvm-input (System::in)
jvm-output (System::out)]
(<| io.from-io
wrap
(: (Console Process)) ## TODO: Remove ASAP
(structure
(def: (read _)
(|> jvm-input
InputStream::read
(:: io.Functor<Process> map .nat)))
(def: (read-line _)
(java/io/Console::readLine jvm-console))
(def: (write message)
(PrintStream::print message jvm-output))
(def: close
(|>> (ex.construct cannot-close) io.fail)))))))))
}))
(def: #export (write-line message Console<!>)
(All [!] (-> Text (Console !) (! Any)))
(:: Console<!> write (format message text.new-line)))
|
