Replaced kebab-case with snake_case for naming convention.

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!)