diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/world/file.lux | 234 |
1 files changed, 117 insertions, 117 deletions
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux index d1d1d175b..35706fa8a 100644 --- a/stdlib/source/test/lux/world/file.lux +++ b/stdlib/source/test/lux/world/file.lux @@ -80,126 +80,126 @@ 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) []) - _ (!.use (\ file delete) [])] - (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) - _ (!.use (\ file append) dataR) - content (!.use (\ file content) []) - read-size (!.use (\ file size) []) - _ (!.use (\ file delete) [])] - (wrap (and (n.= (n.* 2 file-size) read-size) - (\ binary.equivalence = - dataL - (try.assume (binary.slice 0 (dec file-size) content))) - (\ binary.equivalence = - dataR - (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)) - (try.lift io.monad (/.exists? io.monad /.default path)))] - pre! check-existence! - dir (!.use (\ /.default create-directory) path) - post! check-existence! - _ (!.use (\ dir discard) []) - 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"] - 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) []) - _ (!.use (\ file delete) []) - _ (!.use (\ dir discard) [])] - (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"] - 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) []) + ## (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) []) + ## _ (!.use (\ file delete) [])] + ## (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) + ## _ (!.use (\ file append) dataR) + ## content (!.use (\ file content) []) + ## read-size (!.use (\ file size) []) + ## _ (!.use (\ file delete) [])] + ## (wrap (and (n.= (n.* 2 file-size) read-size) + ## (\ binary.equivalence = + ## dataL + ## (try.assume (binary.slice 0 (dec file-size) content))) + ## (\ binary.equivalence = + ## dataR + ## (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)) + ## (try.lift io.monad (/.exists? io.monad /.default path)))] + ## pre! check-existence! + ## dir (!.use (\ /.default create-directory) path) + ## post! check-existence! + ## _ (!.use (\ dir discard) []) + ## 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"] + ## 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) []) + ## _ (!.use (\ file delete) []) + ## _ (!.use (\ dir discard) [])] + ## (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"] + ## 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) []) - 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 (\ 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)))))))] - (_.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) []) - _ (!.use (\ file delete) [])] - (wrap (\ instant.equivalence = new-modified current-modified))))] - (_.assert "Can change the time of last modification." - (try.default #0 result)))) - (wrap (do promise.monad - [#let [path0 (format "temp_file_8+0") - path1 (format "temp_file_8+1")] - result (promise.future - (do (try.with io.monad) - [#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) - file1 (: (IO (Try (File IO))) ## TODO: Remove : - (!.use (\ file0 move) path1)) - post! (check-existence! path0) - confirmed? (check-existence! path1) - _ (!.use (\ file1 delete) [])] - (wrap (and pre! - (not post!) - confirmed?))))] - (_.assert "Can move a file from one path to another." - (try.default #0 result)))) + ## _ (!.use (\ file delete) []) + ## _ (!.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)))))))] + ## (_.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) []) + ## _ (!.use (\ file delete) [])] + ## (wrap (\ instant.equivalence = new-modified current-modified))))] + ## (_.assert "Can change the time of last modification." + ## (try.default #0 result)))) + ## (wrap (do promise.monad + ## [#let [path0 (format "temp_file_8+0") + ## path1 (format "temp_file_8+1")] + ## result (promise.future + ## (do (try.with io.monad) + ## [#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) + ## file1 (: (IO (Try (File IO))) ## TODO: Remove : + ## (!.use (\ file0 move) path1)) + ## post! (check-existence! path0) + ## confirmed? (check-existence! path1) + ## _ (!.use (\ file1 delete) [])] + ## (wrap (and pre! + ## (not post!) + ## confirmed?))))] + ## (_.assert "Can move a file from one path to another." + ## (try.default #0 result)))) /watch.test )))) |