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.lux58
1 files changed, 29 insertions, 29 deletions
diff --git a/stdlib/source/library/lux/world/program.lux b/stdlib/source/library/lux/world/program.lux
index 98a642fcf..9b0733ec5 100644
--- a/stdlib/source/library/lux/world/program.lux
+++ b/stdlib/source/library/lux/world/program.lux
@@ -129,10 +129,10 @@
(import: java/lang/System
["#::."
- (#static getenv [] (java/util/Map java/lang/String java/lang/String))
- (#static getenv #as resolveEnv [java/lang/String] #io #? java/lang/String)
- (#static getProperty [java/lang/String] #? java/lang/String)
- (#static exit [int] #io void)])
+ ("static" getenv [] (java/util/Map java/lang/String java/lang/String))
+ ("static" getenv #as resolveEnv [java/lang/String] "io" "?" java/lang/String)
+ ("static" getProperty [java/lang/String] "?" java/lang/String)
+ ("static" exit [int] "io" void)])
(def: (jvm\\consume iterator)
(All (_ a) (-> (java/util/Iterator a) (List a)))
@@ -149,8 +149,8 @@
(import: NodeJs_Process
["#::."
- (exit [ffi.Number] #io Nothing)
- (cwd [] #io Path)])
+ (exit [ffi.Number] "io" Nothing)
+ (cwd [] "io" Path)])
(def: (exit_node_js! code)
(-> Exit (IO Nothing))
@@ -194,11 +194,11 @@
(import: Object
["#::."
- (#static entries [Object] (Array (Array ffi.String)))])
+ ("static" entries [Object] (Array (Array ffi.String)))])
(import: NodeJs_OS
["#::."
- (homedir [] #io Path)])
+ (homedir [] "io" Path)])
(template [<name> <path>]
[(def: (<name> _)
@@ -222,25 +222,25 @@
(undefined))))
@.python (as_is (import: os
["#::."
- (#static getcwd [] #io ffi.String)
- (#static _exit [ffi.Integer] #io Nothing)])
+ ("static" getcwd [] "io" ffi.String)
+ ("static" _exit [ffi.Integer] "io" Nothing)])
(import: os/path
["#::."
- (#static expanduser [ffi.String] #io ffi.String)])
+ ("static" expanduser [ffi.String] "io" ffi.String)])
(import: os/environ
["#::."
- (#static keys [] #io (Array ffi.String))
- (#static get [ffi.String] #io #? ffi.String)]))
+ ("static" keys [] "io" (Array ffi.String))
+ ("static" get [ffi.String] "io" "?" ffi.String)]))
@.lua (as_is (ffi.import: LuaFile
["#::."
- (read [ffi.String] #io #? ffi.String)
- (close [] #io ffi.Boolean)])
+ (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))
+ (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))
@@ -262,39 +262,39 @@
(in default)))))
@.ruby (as_is (ffi.import: Env #as RubyEnv
["#::."
- (#static keys [] (Array Text))
- (#static fetch [Text] #io #? Text)])
+ ("static" keys [] (Array Text))
+ ("static" fetch [Text] "io" "?" Text)])
(ffi.import: "fileutils" FileUtils #as RubyFileUtils
["#::."
- (#static pwd Path)])
+ ("static" pwd Path)])
(ffi.import: Dir #as RubyDir
["#::."
- (#static home Path)])
+ ("static" home Path)])
(ffi.import: Kernel #as RubyKernel
["#::."
- (#static exit [Int] #io Nothing)]))
+ ("static" exit [Int] "io" Nothing)]))
... @.php
- ... (as_is (ffi.import: (exit [Int] #io Nothing))
+ ... (as_is (ffi.import: (exit [Int] "io" Nothing))
... ... https://www.php.net/manual/en/function.exit.php
- ... (ffi.import: (getcwd [] #io ffi.String))
+ ... (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)))
+ ... (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))
+ ... (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: (get-environment-variables [] "io" PList))
... (ffi.import: (car [Pair] Text))
... (ffi.import: (cdr [Pair] Text))
... (ffi.import: (car #as head [PList] Pair))