aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/world/file.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/world/file.lux')
-rw-r--r--stdlib/source/lux/world/file.lux200
1 files changed, 100 insertions, 100 deletions
diff --git a/stdlib/source/lux/world/file.lux b/stdlib/source/lux/world/file.lux
index 3b80a7ea8..48a024400 100644
--- a/stdlib/source/lux/world/file.lux
+++ b/stdlib/source/lux/world/file.lux
@@ -1,6 +1,6 @@
(.module:
[lux #*
- ["." host]
+ ["." ffi]
["@" target]
[abstract
["." monad (#+ Monad do)]]
@@ -231,9 +231,9 @@
["Instant" (%.instant instant)]
["Path" file]))
- (host.import: java/lang/String)
+ (ffi.import: java/lang/String)
- (`` (host.import: java/io/File
+ (`` (ffi.import: java/io/File
["#::."
(new [java/lang/String])
(~~ (template [<name>]
@@ -263,24 +263,24 @@
_
(wrap (exception.throw exception [path])))))
- (host.import: java/lang/AutoCloseable
+ (ffi.import: java/lang/AutoCloseable
["#::."
(close [] #io #try void)])
- (host.import: java/io/OutputStream
+ (ffi.import: java/io/OutputStream
["#::."
(write [[byte]] #io #try void)
(flush [] #io #try void)])
- (host.import: java/io/FileOutputStream
+ (ffi.import: java/io/FileOutputStream
["#::."
(new [java/io/File boolean] #io #try)])
- (host.import: java/io/InputStream
+ (ffi.import: java/io/InputStream
["#::."
(read [[byte]] #io #try int)])
- (host.import: java/io/FileInputStream
+ (ffi.import: java/io/FileInputStream
["#::."
(new [java/io/File] #io #try)])
@@ -444,45 +444,45 @@
@.jvm (as_is <for_jvm>)
@.js
- (as_is (host.import: Buffer
+ (as_is (ffi.import: Buffer
(#static from [Binary] ..Buffer))
- (host.import: FileDescriptor)
-
- (host.import: Stats
- (size host.Number)
- (mtimeMs host.Number)
- (isFile [] #io #try host.Boolean)
- (isDirectory [] #io #try host.Boolean))
-
- (host.import: FsConstants
- (F_OK host.Number)
- (R_OK host.Number)
- (W_OK host.Number)
- (X_OK host.Number))
+ (ffi.import: FileDescriptor)
+
+ (ffi.import: Stats
+ (size ffi.Number)
+ (mtimeMs ffi.Number)
+ (isFile [] #io #try ffi.Boolean)
+ (isDirectory [] #io #try ffi.Boolean))
+
+ (ffi.import: FsConstants
+ (F_OK ffi.Number)
+ (R_OK ffi.Number)
+ (W_OK ffi.Number)
+ (X_OK ffi.Number))
- (host.import: Fs
+ (ffi.import: Fs
(constants FsConstants)
- (readFileSync [host.String] #io #try Binary)
- (appendFileSync [host.String Buffer] #io #try Any)
- (writeFileSync [host.String Buffer] #io #try Any)
- (statSync [host.String] #io #try Stats)
- (accessSync [host.String host.Number] #io #try Any)
- (renameSync [host.String host.String] #io #try Any)
- (utimesSync [host.String host.Number host.Number] #io #try Any)
- (unlink [host.String] #io #try Any)
- (readdirSync [host.String] #io #try (Array host.String))
- (mkdirSync [host.String] #io #try Any)
- (rmdirSync [host.String] #io #try Any))
-
- (host.import: JsPath
- (sep host.String)
- (basename [host.String] host.String))
+ (readFileSync [ffi.String] #io #try Binary)
+ (appendFileSync [ffi.String Buffer] #io #try Any)
+ (writeFileSync [ffi.String Buffer] #io #try Any)
+ (statSync [ffi.String] #io #try Stats)
+ (accessSync [ffi.String ffi.Number] #io #try Any)
+ (renameSync [ffi.String ffi.String] #io #try Any)
+ (utimesSync [ffi.String ffi.Number ffi.Number] #io #try Any)
+ (unlink [ffi.String] #io #try Any)
+ (readdirSync [ffi.String] #io #try (Array ffi.String))
+ (mkdirSync [ffi.String] #io #try Any)
+ (rmdirSync [ffi.String] #io #try Any))
+
+ (ffi.import: JsPath
+ (sep ffi.String)
+ (basename [ffi.String] ffi.String))
(template [<name> <path>]
[(def: (<name> _)
- (-> [] (Maybe (-> host.String Any)))
- (host.constant (-> host.String Any) <path>))]
+ (-> [] (Maybe (-> ffi.String Any)))
+ (ffi.constant (-> ffi.String Any) <path>))]
[normal_require [require]]
[global_require [global require]]
@@ -490,7 +490,7 @@
)
(def: (require _)
- (-> [] (-> host.String Any))
+ (-> [] (-> ffi.String Any))
(case [(normal_require []) (global_require []) (process_load [])]
(^or [(#.Some require) _ _]
[_ (#.Some require) _]
@@ -675,7 +675,7 @@
))
(def: separator
- (if host.on_node_js?
+ (if ffi.on_node_js?
(JsPath::sep (..node_path []))
"/"))
))
@@ -685,35 +685,35 @@
(as_is (type: (Tuple/2 left right)
(primitive "python_tuple[2]" [left right]))
- (host.import: PyFile
+ (ffi.import: PyFile
(read [] #io #try Binary)
(write [Binary] #io #try #? Any)
(close [] #io #try #? Any))
- (host.import: (open [host.String host.String] #io #try PyFile))
- (host.import: (tuple [[host.Integer host.Integer]] (Tuple/2 host.Integer host.Integer)))
-
- (host.import: os
- (#static F_OK host.Integer)
- (#static R_OK host.Integer)
- (#static W_OK host.Integer)
- (#static X_OK host.Integer)
-
- (#static mkdir [host.String] #io #try #? Any)
- (#static access [host.String host.Integer] #io #try host.Boolean)
- (#static remove [host.String] #io #try #? Any)
- (#static rmdir [host.String] #io #try #? Any)
- (#static rename [host.String host.String] #io #try #? Any)
- (#static utime [host.String (Tuple/2 host.Integer host.Integer)] #io #try #? Any)
- (#static listdir [host.String] #io #try (Array host.String)))
-
- (host.import: os/path
- (#static isfile [host.String] #io #try host.Boolean)
- (#static isdir [host.String] #io #try host.Boolean)
- (#static sep host.String)
- (#static basename [host.String] host.String)
- (#static getsize [host.String] #io #try host.Integer)
- (#static getmtime [host.String] #io #try host.Float))
+ (ffi.import: (open [ffi.String ffi.String] #io #try PyFile))
+ (ffi.import: (tuple [[ffi.Integer ffi.Integer]] (Tuple/2 ffi.Integer ffi.Integer)))
+
+ (ffi.import: os
+ (#static F_OK ffi.Integer)
+ (#static R_OK ffi.Integer)
+ (#static W_OK ffi.Integer)
+ (#static X_OK ffi.Integer)
+
+ (#static mkdir [ffi.String] #io #try #? Any)
+ (#static access [ffi.String ffi.Integer] #io #try ffi.Boolean)
+ (#static remove [ffi.String] #io #try #? Any)
+ (#static rmdir [ffi.String] #io #try #? Any)
+ (#static rename [ffi.String ffi.String] #io #try #? Any)
+ (#static utime [ffi.String (Tuple/2 ffi.Integer ffi.Integer)] #io #try #? Any)
+ (#static listdir [ffi.String] #io #try (Array ffi.String)))
+
+ (ffi.import: os/path
+ (#static isfile [ffi.String] #io #try ffi.Boolean)
+ (#static isdir [ffi.String] #io #try ffi.Boolean)
+ (#static sep ffi.String)
+ (#static basename [ffi.String] ffi.String)
+ (#static getsize [ffi.String] #io #try ffi.Integer)
+ (#static getmtime [ffi.String] #io #try ffi.Float))
(`` (structure: (file path)
(-> Path (File IO))
@@ -881,19 +881,19 @@
)
@.lua
- (as_is (host.import: LuaFile
- (read [host.String] #io host.String)
- (write [host.String] #io #? LuaFile)
- (flush [] #io host.Boolean)
- (close [] #io host.Boolean))
+ (as_is (ffi.import: LuaFile
+ (read [ffi.String] #io ffi.String)
+ (write [ffi.String] #io #? LuaFile)
+ (flush [] #io ffi.Boolean)
+ (close [] #io ffi.Boolean))
- (host.import: (io/open [host.String host.String] #io #? LuaFile))
+ (ffi.import: (io/open [ffi.String ffi.String] #io #? LuaFile))
- (host.import: (package/config host.String))
+ (ffi.import: (package/config ffi.String))
- (host.import: (os/rename [host.String host.String] #io #? host.Boolean))
- (host.import: (os/remove [host.String] #io #? host.Boolean))
- (host.import: (os/execute [host.String] #io #? host.Boolean))
+ (ffi.import: (os/rename [ffi.String ffi.String] #io #? ffi.Boolean))
+ (ffi.import: (os/remove [ffi.String] #io #? ffi.Boolean))
+ (ffi.import: (os/execute [ffi.String] #io #? ffi.Boolean))
(def: default_separator
Text
@@ -1142,19 +1142,19 @@
)
@.ruby
- (as_is (host.import: Time #as RubyTime
+ (as_is (ffi.import: Time #as RubyTime
(#static at [Frac] RubyTime)
(to_f [] Frac))
- (host.import: Stat #as RubyStat
+ (ffi.import: Stat #as RubyStat
(executable? [] Bit)
(size Int)
(mtime [] RubyTime))
- (host.import: File #as RubyFile
- (#static SEPARATOR host.String)
- (#static open [Path host.String] #io #try RubyFile)
+ (ffi.import: File #as RubyFile
+ (#static SEPARATOR ffi.String)
+ (#static open [Path ffi.String] #io #try RubyFile)
(#static stat [Path] #io #try RubyStat)
(#static delete [Path] #io #try Int)
(#static file? [Path] #io #try Bit)
@@ -1166,13 +1166,13 @@
(flush [] #io #try #? Any)
(close [] #io #try #? Any))
- (host.import: Dir #as RubyDir
+ (ffi.import: Dir #as RubyDir
(#static open [Path] #io #try RubyDir)
(children [] #io #try (Array Path))
(close [] #io #try #? Any))
- (host.import: "fileutils" FileUtils #as RubyFileUtils
+ (ffi.import: "fileutils" FileUtils #as RubyFileUtils
(#static touch [Path] #io #try #? Any)
(#static move [Path Path] #io #try #? Any)
(#static rmdir [Path] #io #try #? Any)
@@ -1353,34 +1353,34 @@
)
@.php
- (as_is (host.import: (FILE_APPEND Int))
+ (as_is (ffi.import: (FILE_APPEND Int))
## https://www.php.net/manual/en/dir.constants.php
- (host.import: (DIRECTORY_SEPARATOR host.String))
+ (ffi.import: (DIRECTORY_SEPARATOR ffi.String))
## https://www.php.net/manual/en/function.pack.php
## https://www.php.net/manual/en/function.unpack.php
- (host.import: (unpack [host.String host.String] Binary))
+ (ffi.import: (unpack [ffi.String ffi.String] Binary))
## https://www.php.net/manual/en/ref.filesystem.php
## https://www.php.net/manual/en/function.file-get-contents.php
- (host.import: (file_get_contents [Path] #io #try host.String))
+ (ffi.import: (file_get_contents [Path] #io #try ffi.String))
## https://www.php.net/manual/en/function.file-put-contents.php
- (host.import: (file_put_contents [Path host.String Int] #io #try host.Integer))
- (host.import: (filemtime [Path] #io #try host.Integer))
- (host.import: (filesize [Path] #io #try host.Integer))
- (host.import: (is_executable [Path] #io #try host.Boolean))
- (host.import: (touch [Path host.Integer] #io #try host.Boolean))
- (host.import: (rename [Path Path] #io #try host.Boolean))
- (host.import: (unlink [Path] #io #try host.Boolean))
+ (ffi.import: (file_put_contents [Path ffi.String Int] #io #try ffi.Integer))
+ (ffi.import: (filemtime [Path] #io #try ffi.Integer))
+ (ffi.import: (filesize [Path] #io #try ffi.Integer))
+ (ffi.import: (is_executable [Path] #io #try ffi.Boolean))
+ (ffi.import: (touch [Path ffi.Integer] #io #try ffi.Boolean))
+ (ffi.import: (rename [Path Path] #io #try ffi.Boolean))
+ (ffi.import: (unlink [Path] #io #try ffi.Boolean))
## https://www.php.net/manual/en/function.rmdir.php
- (host.import: (rmdir [Path] #io #try host.Boolean))
+ (ffi.import: (rmdir [Path] #io #try ffi.Boolean))
## https://www.php.net/manual/en/function.scandir.php
- (host.import: (scandir [Path] #io #try (Array Path)))
+ (ffi.import: (scandir [Path] #io #try (Array Path)))
## https://www.php.net/manual/en/function.is-file.php
- (host.import: (is_file [Path] #io #try host.Boolean))
+ (ffi.import: (is_file [Path] #io #try ffi.Boolean))
## https://www.php.net/manual/en/function.is-dir.php
- (host.import: (is_dir [Path] #io #try host.Boolean))
+ (ffi.import: (is_dir [Path] #io #try ffi.Boolean))
## https://www.php.net/manual/en/function.mkdir.php
- (host.import: (mkdir [Path] #io #try host.Boolean))
+ (ffi.import: (mkdir [Path] #io #try ffi.Boolean))
(def: byte_array_format "C*")
(def: default_separator (..DIRECTORY_SEPARATOR))
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 22:46:13 +0000