aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/world/file.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/world/file.lux')
-rw-r--r--stdlib/source/test/lux/world/file.lux134
1 files changed, 67 insertions, 67 deletions
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux
index 35706fa8a..173bd7586 100644
--- a/stdlib/source/test/lux/world/file.lux
+++ b/stdlib/source/test/lux/world/file.lux
@@ -30,37 +30,37 @@
[data
["_." binary]]])
-(def: truncate-millis
+(def: truncate_millis
(let [millis +1,000]
(|>> (i./ millis) (i.* millis))))
-(def: (creation-and-deletion number)
+(def: (creation_and_deletion number)
(-> Nat Test)
(r\wrap (do promise.monad
[#let [path (format "temp_file_" (%.nat number))]
result (promise.future
(do (try.with io.monad)
- [#let [check-existence! (: (IO (Try Bit))
+ [#let [check_existence! (: (IO (Try Bit))
(try.lift io.monad (/.exists? io.monad /.default path)))]
- pre! check-existence!
- file (!.use (\ /.default create-file) path)
- post! check-existence!
+ pre! check_existence!
+ file (!.use (\ /.default create_file) path)
+ post! check_existence!
_ (!.use (\ file delete) [])
- remains? check-existence!]
+ remains? check_existence!]
(wrap (and (not pre!)
post!
(not remains?)))))]
(_.assert "Can create/delete files."
(try.default #0 result)))))
-(def: (read-and-write number data)
+(def: (read_and_write number data)
(-> Nat Binary Test)
(r\wrap (do promise.monad
[#let [path (format "temp_file_" (%.nat number))]
result (promise.future
(do (try.with io.monad)
- [file (!.use (\ /.default create-file) path)
- _ (!.use (\ file over-write) data)
+ [file (!.use (\ /.default create_file) path)
+ _ (!.use (\ file over_write) data)
content (!.use (\ file content) [])
_ (!.use (\ file delete) [])]
(wrap (\ binary.equivalence = data content))))]
@@ -69,114 +69,114 @@
(def: #export test
Test
- (<| (_.context (%.name (name-of /._)))
+ (<| (_.context (%.name (name_of /._)))
(do {! r.monad}
- [file-size (|> r.nat (\ ! map (|>> (n.% 100) (n.max 10))))
- dataL (_binary.random file-size)
- dataR (_binary.random file-size)
- new-modified (|> r.int (\ ! map (|>> i.abs
+ [file_size (|> r.nat (\ ! map (|>> (n.% 100) (n.max 10))))
+ dataL (_binary.random file_size)
+ dataR (_binary.random file_size)
+ new_modified (|> r.int (\ ! map (|>> i.abs
(i.% +10,000,000,000,000)
- truncate-millis
- duration.from-millis
+ truncate_millis
+ duration.from_millis
instant.absolute)))]
($_ _.and
- ## (..creation-and-deletion 0)
- ## (..read-and-write 1 dataL)
+ ## (..creation_and_deletion 0)
+ ## (..read_and_write 1 dataL)
## (wrap (do promise.monad
## [#let [path "temp_file_2"]
## result (promise.future
## (do (try.with io.monad)
- ## [file (!.use (\ /.default create-file) path)
- ## _ (!.use (\ file over-write) dataL)
- ## read-size (!.use (\ file size) [])
+ ## [file (!.use (\ /.default create_file) path)
+ ## _ (!.use (\ file over_write) dataL)
+ ## read_size (!.use (\ file size) [])
## _ (!.use (\ file delete) [])]
- ## (wrap (n.= file-size read-size))))]
+ ## (wrap (n.= file_size read_size))))]
## (_.assert "Can read file size."
## (try.default #0 result))))
## (wrap (do promise.monad
## [#let [path "temp_file_3"]
## result (promise.future
## (do (try.with io.monad)
- ## [file (!.use (\ /.default create-file) path)
- ## _ (!.use (\ file over-write) dataL)
+ ## [file (!.use (\ /.default create_file) path)
+ ## _ (!.use (\ file over_write) dataL)
## _ (!.use (\ file append) dataR)
## content (!.use (\ file content) [])
- ## read-size (!.use (\ file size) [])
+ ## read_size (!.use (\ file size) [])
## _ (!.use (\ file delete) [])]
- ## (wrap (and (n.= (n.* 2 file-size) read-size)
+ ## (wrap (and (n.= (n.* 2 file_size) read_size)
## (\ binary.equivalence =
## dataL
- ## (try.assume (binary.slice 0 (dec file-size) content)))
+ ## (try.assume (binary.slice 0 (dec file_size) content)))
## (\ binary.equivalence =
## dataR
- ## (try.assume (binary.slice file-size (dec read-size) content)))))))]
+ ## (try.assume (binary.slice file_size (dec read_size) content)))))))]
## (_.assert "Can append to files."
## (try.default #0 result))))
## (wrap (do promise.monad
## [#let [path "temp_dir_4"]
## result (promise.future
## (do (try.with io.monad)
- ## [#let [check-existence! (: (IO (Try Bit))
+ ## [#let [check_existence! (: (IO (Try Bit))
## (try.lift io.monad (/.exists? io.monad /.default path)))]
- ## pre! check-existence!
- ## dir (!.use (\ /.default create-directory) path)
- ## post! check-existence!
+ ## pre! check_existence!
+ ## dir (!.use (\ /.default create_directory) path)
+ ## post! check_existence!
## _ (!.use (\ dir discard) [])
- ## remains? check-existence!]
+ ## remains? check_existence!]
## (wrap (and (not pre!)
## post!
## (not remains?)))))]
## (_.assert "Can create/delete directories."
## (try.default #0 result))))
## (wrap (do promise.monad
- ## [#let [file-path "temp_file_5"
- ## dir-path "temp_dir_5"]
+ ## [#let [file_path "temp_file_5"
+ ## dir_path "temp_dir_5"]
## result (promise.future
## (do (try.with io.monad)
- ## [dir (!.use (\ /.default create-directory) dir-path)
- ## file (!.use (\ /.default create-file) (format dir-path "/" file-path))
- ## _ (!.use (\ file over-write) dataL)
- ## read-size (!.use (\ file size) [])
+ ## [dir (!.use (\ /.default create_directory) dir_path)
+ ## file (!.use (\ /.default create_file) (format dir_path "/" file_path))
+ ## _ (!.use (\ file over_write) dataL)
+ ## read_size (!.use (\ file size) [])
## _ (!.use (\ file delete) [])
## _ (!.use (\ dir discard) [])]
- ## (wrap (n.= file-size read-size))))]
+ ## (wrap (n.= file_size read_size))))]
## (_.assert "Can create files inside of directories."
## (try.default #0 result))))
## (wrap (do promise.monad
- ## [#let [file-path "temp_file_6"
- ## dir-path "temp_dir_6"
- ## inner-dir-path "inner_temp_dir_6"]
+ ## [#let [file_path "temp_file_6"
+ ## dir_path "temp_dir_6"
+ ## inner_dir_path "inner_temp_dir_6"]
## result (promise.future
## (do (try.with io.monad)
- ## [dir (!.use (\ /.default create-directory) dir-path)
- ## pre-files (!.use (\ dir files) [])
- ## pre-directories (!.use (\ dir directories) [])
+ ## [dir (!.use (\ /.default create_directory) dir_path)
+ ## pre_files (!.use (\ dir files) [])
+ ## pre_directories (!.use (\ dir directories) [])
- ## file (!.use (\ /.default create-file) (format dir-path "/" file-path))
- ## inner-dir (!.use (\ /.default create-directory) (format dir-path "/" inner-dir-path))
- ## post-files (!.use (\ dir files) [])
- ## post-directories (!.use (\ dir directories) [])
+ ## file (!.use (\ /.default create_file) (format dir_path "/" file_path))
+ ## inner_dir (!.use (\ /.default create_directory) (format dir_path "/" inner_dir_path))
+ ## post_files (!.use (\ dir files) [])
+ ## post_directories (!.use (\ dir directories) [])
## _ (!.use (\ file delete) [])
- ## _ (!.use (\ inner-dir discard) [])
+ ## _ (!.use (\ inner_dir discard) [])
## _ (!.use (\ dir discard) [])]
- ## (wrap (and (and (n.= 0 (list.size pre-files))
- ## (n.= 0 (list.size pre-directories)))
- ## (and (n.= 1 (list.size post-files))
- ## (n.= 1 (list.size post-directories)))))))]
+ ## (wrap (and (and (n.= 0 (list.size pre_files))
+ ## (n.= 0 (list.size pre_directories)))
+ ## (and (n.= 1 (list.size post_files))
+ ## (n.= 1 (list.size post_directories)))))))]
## (_.assert "Can list files/directories inside a directory."
## (try.default #0 result))))
## (wrap (do promise.monad
## [#let [path "temp_file_7"]
## result (promise.future
## (do (try.with io.monad)
- ## [file (!.use (\ /.default create-file) path)
- ## _ (!.use (\ file over-write) dataL)
- ## _ (!.use (\ file modify) new-modified)
- ## current-modified (!.use (\ file last-modified) [])
+ ## [file (!.use (\ /.default create_file) path)
+ ## _ (!.use (\ file over_write) dataL)
+ ## _ (!.use (\ file modify) new_modified)
+ ## current_modified (!.use (\ file last_modified) [])
## _ (!.use (\ file delete) [])]
- ## (wrap (\ instant.equivalence = new-modified current-modified))))]
+ ## (wrap (\ instant.equivalence = new_modified current_modified))))]
## (_.assert "Can change the time of last modification."
## (try.default #0 result))))
## (wrap (do promise.monad
@@ -184,16 +184,16 @@
## path1 (format "temp_file_8+1")]
## result (promise.future
## (do (try.with io.monad)
- ## [#let [check-existence! (: (-> Path (IO (Try Bit)))
+ ## [#let [check_existence! (: (_> Path (IO (Try Bit)))
## (|>> (/.exists? io.monad /.default)
## (try.lift io.monad)))]
- ## file0 (!.use (\ /.default create-file) path0)
- ## _ (!.use (\ file0 over-write) dataL)
- ## pre! (check-existence! path0)
+ ## file0 (!.use (\ /.default create_file) path0)
+ ## _ (!.use (\ file0 over_write) dataL)
+ ## pre! (check_existence! path0)
## file1 (: (IO (Try (File IO))) ## TODO: Remove :
## (!.use (\ file0 move) path1))
- ## post! (check-existence! path0)
- ## confirmed? (check-existence! path1)
+ ## post! (check_existence! path0)
+ ## confirmed? (check_existence! path1)
## _ (!.use (\ file1 delete) [])]
## (wrap (and pre!
## (not post!)
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-24 02:14:03 +0000