diff options
| author | Eduardo Julian | 2021-08-25 16:47:50 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-25 16:47:50 -0400 |
| commit | b216900093c905b3b20dd45c69e577b192e2f7a3 (patch) | |
| tree | 4d6ac7d257752a8c54ca77dd58df9753ce357ab6 /stdlib/source/library/lux/world/console.lux | |
| parent | 36303d6cb2ce3ab9e36d045b9516c997bd461862 (diff) | |
Updates to the Lua compiler.
Diffstat (limited to 'stdlib/source/library/lux/world/console.lux')
| -rw-r--r-- | stdlib/source/library/lux/world/console.lux | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/world/console.lux b/stdlib/source/library/lux/world/console.lux index 4f52cacb1..02d4ee299 100644 --- a/stdlib/source/library/lux/world/console.lux +++ b/stdlib/source/library/lux/world/console.lux @@ -17,8 +17,6 @@ ["%" format (#+ format)]]]]]) (interface: .public (Console !) - {#.doc (example "An interface to console/terminal I/O.")} - (: (-> [] (! (Try Char))) read) (: (-> [] (! (Try Text))) @@ -101,14 +99,10 @@ (as_is))) (def: .public (write_line message console) - {#.doc (example "Writes the message on the console and appends a new-line/line-feed at the end.")} (All [!] (-> Text (Console !) (! (Try Any)))) (\ console write (format message text.new_line))) (interface: .public (Mock s) - {#.doc (example "A mock/simulation of a console." - "Useful for testing.")} - (: (-> s (Try [s Char])) on_read) (: (-> s (Try [s Text])) |