aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/world/program.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/world/program.lux')
-rw-r--r--stdlib/source/library/lux/world/program.lux488
1 files changed, 244 insertions, 244 deletions
diff --git a/stdlib/source/library/lux/world/program.lux b/stdlib/source/library/lux/world/program.lux
index cb3c96f19..c3870d14d 100644
--- a/stdlib/source/library/lux/world/program.lux
+++ b/stdlib/source/library/lux/world/program.lux
@@ -24,8 +24,8 @@
["[0]" dictionary {"+" Dictionary}]
["[0]" list ("[1]#[0]" functor)]]]
["[0]" ffi {"+" import:}
- (~~ (.for ["JavaScript" (~~ (.as_is ["[0]" node_js]))
- "{old}" (~~ (.as_is ["node_js" //math]))]
+ (~~ (.for "JavaScript" (~~ (.as_is ["[0]" node_js]))
+ "{old}" (~~ (.as_is ["node_js" //math]))
(~~ (.as_is))))]
["[0]" macro
["[0]" template]]
@@ -144,144 +144,144 @@
(jvm##consume iterator)}
{.#End}))
)]
- (for [@.old (as_is <jvm>)
- @.jvm (as_is <jvm>)
- @.js (as_is (def: default_exit!
- (-> Exit (IO Nothing))
- (|>> %.int panic! io.io))
-
- (import: NodeJs_Process
- "[1]::[0]"
- (exit [ffi.Number] "io" Nothing)
- (cwd [] "io" Path))
-
- (def: (exit_node_js! code)
- (-> Exit (IO Nothing))
- (case (ffi.global ..NodeJs_Process [process])
- {.#Some process}
- (NodeJs_Process::exit (i.frac code) process)
-
- {.#None}
- (..default_exit! code)))
-
- (import: Browser_Window
+ (for @.old (as_is <jvm>)
+ @.jvm (as_is <jvm>)
+ @.js (as_is (def: default_exit!
+ (-> Exit (IO Nothing))
+ (|>> %.int panic! io.io))
+
+ (import: NodeJs_Process
+ "[1]::[0]"
+ (exit [ffi.Number] "io" Nothing)
+ (cwd [] "io" Path))
+
+ (def: (exit_node_js! code)
+ (-> Exit (IO Nothing))
+ (case (ffi.global ..NodeJs_Process [process])
+ {.#Some process}
+ (NodeJs_Process::exit (i.frac code) process)
+
+ {.#None}
+ (..default_exit! code)))
+
+ (import: Browser_Window
+ "[1]::[0]"
+ (close [] Nothing))
+
+ (import: Browser_Location
+ "[1]::[0]"
+ (reload [] Nothing))
+
+ (def: (exit_browser! code)
+ (-> Exit (IO Nothing))
+ (case [(ffi.global ..Browser_Window [window])
+ (ffi.global ..Browser_Location [location])]
+ [{.#Some window} {.#Some location}]
+ (exec
+ (Browser_Window::close window)
+ (Browser_Location::reload location)
+ (..default_exit! code))
+
+ [{.#Some window} {.#None}]
+ (exec
+ (Browser_Window::close window)
+ (..default_exit! code))
+
+ [{.#None} {.#Some location}]
+ (exec
+ (Browser_Location::reload location)
+ (..default_exit! code))
+
+ [{.#None} {.#None}]
+ (..default_exit! code)))
+
+ (import: Object
+ "[1]::[0]"
+ ("static" entries [Object] (Array (Array ffi.String))))
+
+ (import: NodeJs_OS
+ "[1]::[0]"
+ (homedir [] "io" Path)))
+ @.python (as_is (import: os
+ "[1]::[0]"
+ ("static" getcwd [] "io" ffi.String)
+ ("static" _exit [ffi.Integer] "io" Nothing))
+
+ (import: os/path
+ "[1]::[0]"
+ ("static" expanduser [ffi.String] "io" ffi.String))
+
+ (import: os/environ
+ "[1]::[0]"
+ ("static" keys [] "io" (Array ffi.String))
+ ("static" get [ffi.String] "io" "?" ffi.String)))
+ @.lua (as_is (ffi.import: LuaFile
"[1]::[0]"
- (close [] Nothing))
+ (read [ffi.String] "io" "?" ffi.String)
+ (close [] "io" ffi.Boolean))
+
+ (ffi.import: (io/popen [ffi.String] "io" "try" "?" LuaFile))
+ (ffi.import: (os/getenv [ffi.String] "io" "?" ffi.String))
+ (ffi.import: (os/exit [ffi.Integer] "io" Nothing))
+
+ (def: (run_command default command)
+ (-> Text Text (IO Text))
+ (do [! io.monad]
+ [outcome (io/popen [command])]
+ (case outcome
+ {try.#Success outcome}
+ (case outcome
+ {.#Some file}
+ (do !
+ [?output (LuaFile::read "*l" file)
+ _ (LuaFile::close file)]
+ (in (maybe.else default ?output)))
+
+ {.#None}
+ (in default))
+
+ {try.#Failure _}
+ (in default)))))
+ @.ruby (as_is (ffi.import: Env
+ "[1]::[0]"
+ ("static" keys [] (Array Text))
+ ("static" fetch [Text] "io" "?" Text))
- (import: Browser_Location
- "[1]::[0]"
- (reload [] Nothing))
-
- (def: (exit_browser! code)
- (-> Exit (IO Nothing))
- (case [(ffi.global ..Browser_Window [window])
- (ffi.global ..Browser_Location [location])]
- [{.#Some window} {.#Some location}]
- (exec
- (Browser_Window::close window)
- (Browser_Location::reload location)
- (..default_exit! code))
-
- [{.#Some window} {.#None}]
- (exec
- (Browser_Window::close window)
- (..default_exit! code))
-
- [{.#None} {.#Some location}]
- (exec
- (Browser_Location::reload location)
- (..default_exit! code))
-
- [{.#None} {.#None}]
- (..default_exit! code)))
-
- (import: Object
- "[1]::[0]"
- ("static" entries [Object] (Array (Array ffi.String))))
+ (ffi.import: "fileutils" FileUtils
+ "[1]::[0]"
+ ("static" pwd Path))
+
+ (ffi.import: Dir
+ "[1]::[0]"
+ ("static" home Path))
- (import: NodeJs_OS
- "[1]::[0]"
- (homedir [] "io" Path)))
- @.python (as_is (import: os
- "[1]::[0]"
- ("static" getcwd [] "io" ffi.String)
- ("static" _exit [ffi.Integer] "io" Nothing))
-
- (import: os/path
- "[1]::[0]"
- ("static" expanduser [ffi.String] "io" ffi.String))
-
- (import: os/environ
- "[1]::[0]"
- ("static" keys [] "io" (Array ffi.String))
- ("static" get [ffi.String] "io" "?" ffi.String)))
- @.lua (as_is (ffi.import: LuaFile
+ (ffi.import: Kernel
"[1]::[0]"
- (read [ffi.String] "io" "?" ffi.String)
- (close [] "io" ffi.Boolean))
-
- (ffi.import: (io/popen [ffi.String] "io" "try" "?" LuaFile))
- (ffi.import: (os/getenv [ffi.String] "io" "?" ffi.String))
- (ffi.import: (os/exit [ffi.Integer] "io" Nothing))
-
- (def: (run_command default command)
- (-> Text Text (IO Text))
- (do [! io.monad]
- [outcome (io/popen [command])]
- (case outcome
- {try.#Success outcome}
- (case outcome
- {.#Some file}
- (do !
- [?output (LuaFile::read "*l" file)
- _ (LuaFile::close file)]
- (in (maybe.else default ?output)))
-
- {.#None}
- (in default))
-
- {try.#Failure _}
- (in default)))))
- @.ruby (as_is (ffi.import: Env
- "[1]::[0]"
- ("static" keys [] (Array Text))
- ("static" fetch [Text] "io" "?" Text))
-
- (ffi.import: "fileutils" FileUtils
- "[1]::[0]"
- ("static" pwd Path))
-
- (ffi.import: Dir
- "[1]::[0]"
- ("static" home Path))
-
- (ffi.import: Kernel
- "[1]::[0]"
- ("static" exit [Int] "io" Nothing)))
-
- ... @.php
- ... (as_is (ffi.import: (exit [Int] "io" Nothing))
- ... ... https://www.php.net/manual/en/function.exit.php
- ... (ffi.import: (getcwd [] "io" ffi.String))
- ... ... https://www.php.net/manual/en/function.getcwd.php
- ... (ffi.import: (getenv "as" getenv/1 [ffi.String] "io" ffi.String))
- ... (ffi.import: (getenv "as" getenv/0 [] "io" (Array ffi.String)))
- ... ... https://www.php.net/manual/en/function.getenv.php
- ... ... https://www.php.net/manual/en/function.array-keys.php
- ... (ffi.import: (array_keys [(Array ffi.String)] (Array ffi.String)))
- ... )
-
- ... @.scheme
- ... (as_is (ffi.import: (exit [Int] "io" Nothing))
- ... ... https://srfi.schemers.org/srfi-98/srfi-98.html
- ... (abstract: Pair Any)
- ... (abstract: PList Any)
- ... (ffi.import: (get-environment-variables [] "io" PList))
- ... (ffi.import: (car [Pair] Text))
- ... (ffi.import: (cdr [Pair] Text))
- ... (ffi.import: (car "as" head [PList] Pair))
- ... (ffi.import: (cdr "as" tail [PList] PList)))
- ]
+ ("static" exit [Int] "io" Nothing)))
+
+ ... @.php
+ ... (as_is (ffi.import: (exit [Int] "io" Nothing))
+ ... ... https://www.php.net/manual/en/function.exit.php
+ ... (ffi.import: (getcwd [] "io" ffi.String))
+ ... ... https://www.php.net/manual/en/function.getcwd.php
+ ... (ffi.import: (getenv "as" getenv/1 [ffi.String] "io" ffi.String))
+ ... (ffi.import: (getenv "as" getenv/0 [] "io" (Array ffi.String)))
+ ... ... https://www.php.net/manual/en/function.getenv.php
+ ... ... https://www.php.net/manual/en/function.array-keys.php
+ ... (ffi.import: (array_keys [(Array ffi.String)] (Array ffi.String)))
+ ... )
+
+ ... @.scheme
+ ... (as_is (ffi.import: (exit [Int] "io" Nothing))
+ ... ... https://srfi.schemers.org/srfi-98/srfi-98.html
+ ... (abstract: Pair Any)
+ ... (abstract: PList Any)
+ ... (ffi.import: (get-environment-variables [] "io" PList))
+ ... (ffi.import: (car [Pair] Text))
+ ... (ffi.import: (cdr [Pair] Text))
+ ... (ffi.import: (car "as" head [PList] Pair))
+ ... (ffi.import: (cdr "as" tail [PList] PList)))
+
(as_is)))
(implementation: .public default
@@ -294,40 +294,40 @@
..jvm##consume
(list#each (|>> ffi.of_string))
io.io)]
- (for [@.old <jvm>
- @.jvm <jvm>
- @.js (io.io (if ffi.on_node_js?
- (case (ffi.global Object [process env])
- {.#Some process/env}
- (|> (Object::entries [process/env])
- (array.list {.#None})
- (list#each (|>> (array.read! 0) maybe.trusted)))
-
- {.#None}
- (list))
- (list)))
- @.python (# io.monad each (array.list {.#None}) (os/environ::keys []))
- ... Lua offers no way to get all the environment variables available.
- @.lua (io.io (list))
- @.ruby (io.io (array.list {.#None} (Env::keys [])))
- ... @.php (do io.monad
- ... [environment (..getenv/0 [])]
- ... (in (|> environment
- ... ..array_keys
- ... (array.list {.#None})
- ... (list#each (function (_ variable)
- ... [variable ("php array read" (:as Nat variable) environment)]))
- ... (dictionary.of_list text.hash))))
- ... @.scheme (do io.monad
- ... [input (..get-environment-variables [])]
- ... (loop [input input
- ... output environment.empty]
- ... (if ("scheme object nil?" input)
- ... (in output)
- ... (let [entry (..head input)]
- ... (again (..tail input)
- ... (dictionary.has (..car entry) (..cdr entry) output))))))
- ])))
+ (for @.old <jvm>
+ @.jvm <jvm>
+ @.js (io.io (if ffi.on_node_js?
+ (case (ffi.global Object [process env])
+ {.#Some process/env}
+ (|> (Object::entries [process/env])
+ (array.list {.#None})
+ (list#each (|>> (array.read! 0) maybe.trusted)))
+
+ {.#None}
+ (list))
+ (list)))
+ @.python (# io.monad each (array.list {.#None}) (os/environ::keys []))
+ ... Lua offers no way to get all the environment variables available.
+ @.lua (io.io (list))
+ @.ruby (io.io (array.list {.#None} (Env::keys [])))
+ ... @.php (do io.monad
+ ... [environment (..getenv/0 [])]
+ ... (in (|> environment
+ ... ..array_keys
+ ... (array.list {.#None})
+ ... (list#each (function (_ variable)
+ ... [variable ("php array read" (:as Nat variable) environment)]))
+ ... (dictionary.of_list text.hash))))
+ ... @.scheme (do io.monad
+ ... [input (..get-environment-variables [])]
+ ... (loop [input input
+ ... output environment.empty]
+ ... (if ("scheme object nil?" input)
+ ... (in output)
+ ... (let [entry (..head input)]
+ ... (again (..tail input)
+ ... (dictionary.has (..car entry) (..cdr entry) output))))))
+ )))
(def: (variable name)
(template.let [(!fetch <method> <post>)
@@ -340,23 +340,23 @@
{.#None}
(exception.except ..unknown_environment_variable [name]))))]]
(with_expansions [<jvm> (!fetch (<| java/lang/System::resolveEnv ffi.as_string) ffi.of_string)]
- (for [@.old <jvm>
- @.jvm <jvm>
- @.js (io.io (if ffi.on_node_js?
- (case (do maybe.monad
- [process/env (ffi.global Object [process env])]
- (array.read! (:as Nat name)
- (:as (Array Text) process/env)))
- {.#Some value}
- {try.#Success value}
-
- {.#None}
- (exception.except ..unknown_environment_variable [name]))
- (exception.except ..unknown_environment_variable [name])))
- @.python (!fetch os/environ::get |>)
- @.lua (!fetch os/getenv |>)
- @.ruby (!fetch Env::fetch |>)
- ]))))
+ (for @.old <jvm>
+ @.jvm <jvm>
+ @.js (io.io (if ffi.on_node_js?
+ (case (do maybe.monad
+ [process/env (ffi.global Object [process env])]
+ (array.read! (:as Nat name)
+ (:as (Array Text) process/env)))
+ {.#Some value}
+ {try.#Success value}
+
+ {.#None}
+ (exception.except ..unknown_environment_variable [name]))
+ (exception.except ..unknown_environment_variable [name])))
+ @.python (!fetch os/environ::get |>)
+ @.lua (!fetch os/getenv |>)
+ @.ruby (!fetch Env::fetch |>)
+ ))))
(def: home
(io.run!
@@ -365,23 +365,23 @@
(maybe#each (|>> ffi.of_string))
(maybe.else "")
io.io)]
- (for [@.old <jvm>
- @.jvm <jvm>
- @.js (if ffi.on_node_js?
- (|> (node_js.require "os")
- maybe.trusted
- (:as NodeJs_OS)
- NodeJs_OS::homedir)
- <default>)
- @.python (os/path::expanduser "~")
- @.lua (..run_command "~" "echo ~")
- @.ruby (io.io (Dir::home))
- ... @.php (do io.monad
- ... [output (..getenv/1 ["HOME"])]
- ... (in (if (bit#= false (:as Bit output))
- ... "~"
- ... output)))
- ]
+ (for @.old <jvm>
+ @.jvm <jvm>
+ @.js (if ffi.on_node_js?
+ (|> (node_js.require "os")
+ maybe.trusted
+ (:as NodeJs_OS)
+ NodeJs_OS::homedir)
+ <default>)
+ @.python (os/path::expanduser "~")
+ @.lua (..run_command "~" "echo ~")
+ @.ruby (io.io (Dir::home))
+ ... @.php (do io.monad
+ ... [output (..getenv/1 ["HOME"])]
+ ... (in (if (bit#= false (:as Bit output))
+ ... "~"
+ ... output)))
+
... TODO: Replace dummy implementation.
<default>))))
@@ -392,30 +392,30 @@
(maybe#each (|>> ffi.of_string))
(maybe.else "")
io.io)]
- (for [@.old <jvm>
- @.jvm <jvm>
- @.js (if ffi.on_node_js?
- (case (ffi.global ..NodeJs_Process [process])
- {.#Some process}
- (NodeJs_Process::cwd process)
-
- {.#None}
- (io.io <default>))
- (io.io <default>))
- @.python (os::getcwd [])
- @.lua (do io.monad
- [.let [default <default>]
- on_windows (..run_command default "cd")]
- (if (same? default on_windows)
- (..run_command default "pwd")
- (in on_windows)))
- @.ruby (io.io (FileUtils::pwd))
- ... @.php (do io.monad
- ... [output (..getcwd [])]
- ... (in (if (bit#= false (:as Bit output))
- ... "."
- ... output)))
- ]
+ (for @.old <jvm>
+ @.jvm <jvm>
+ @.js (if ffi.on_node_js?
+ (case (ffi.global ..NodeJs_Process [process])
+ {.#Some process}
+ (NodeJs_Process::cwd process)
+
+ {.#None}
+ (io.io <default>))
+ (io.io <default>))
+ @.python (os::getcwd [])
+ @.lua (do io.monad
+ [.let [default <default>]
+ on_windows (..run_command default "cd")]
+ (if (same? default on_windows)
+ (..run_command default "pwd")
+ (in on_windows)))
+ @.ruby (io.io (FileUtils::pwd))
+ ... @.php (do io.monad
+ ... [output (..getcwd [])]
+ ... (in (if (bit#= false (:as Bit output))
+ ... "."
+ ... output)))
+
... TODO: Replace dummy implementation.
(io.io <default>)))))
@@ -423,19 +423,19 @@
(with_expansions [<jvm> (do io.monad
[_ (java/lang/System::exit (ffi.as_int code))]
(in (undefined)))]
- (for [@.old <jvm>
- @.jvm <jvm>
- @.js (cond ffi.on_node_js?
- (..exit_node_js! code)
-
- ffi.on_browser?
- (..exit_browser! code)
-
- ... else
- (..default_exit! code))
- @.python (os::_exit code)
- @.lua (os/exit code)
- @.ruby (Kernel::exit code)
- ... @.php (..exit [code])
- ... @.scheme (..exit [code])
- ]))))
+ (for @.old <jvm>
+ @.jvm <jvm>
+ @.js (cond ffi.on_node_js?
+ (..exit_node_js! code)
+
+ ffi.on_browser?
+ (..exit_browser! code)
+
+ ... else
+ (..default_exit! code))
+ @.python (os::_exit code)
+ @.lua (os/exit code)
+ @.ruby (Kernel::exit code)
+ ... @.php (..exit [code])
+ ... @.scheme (..exit [code])
+ ))))
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 23:40:15 +0000