diff options
author | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
commit | 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch) | |
tree | 115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/specification/lux/world/file.lux | |
parent | f92c806ee8da63f04bbefbf558f6249bacdb47ea (diff) |
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to 'stdlib/source/specification/lux/world/file.lux')
-rw-r--r-- | stdlib/source/specification/lux/world/file.lux | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux index 7b4512970..1b31a1e4c 100644 --- a/stdlib/source/specification/lux/world/file.lux +++ b/stdlib/source/specification/lux/world/file.lux @@ -30,7 +30,7 @@ [\\library ["[0]" /]]) -(def: (for_path fs) +(def (for_path fs) (-> (IO (/.System Async)) Test) (<| (_.for [/.Path]) (do [! random.monad] @@ -55,7 +55,7 @@ (text#= child))) )))) -(def: (directory?&make_directory fs parent) +(def (directory?&make_directory fs parent) (-> (/.System Async) /.Path (Async Bit)) (do async.monad [directory_pre! (at fs directory? parent) @@ -67,7 +67,7 @@ {try.#Failure _} false) directory_post!)))) -(def: (file?&write fs content path) +(def (file?&write fs content path) (-> (/.System Async) Binary /.Path (Async Bit)) (do async.monad [file_pre! (at fs file? path) @@ -79,7 +79,7 @@ {try.#Failure _} false) file_post!)))) -(def: (file_size&read&append fs expected_file_size content appendix path) +(def (file_size&read&append fs expected_file_size content appendix path) (-> (/.System Async) Nat Binary Binary /.Path (Async Bit)) (do async.monad [pre_file_size (at fs file_size path) @@ -107,7 +107,7 @@ post_file_size! post_content!))))))) -(def: (modified?&last_modified fs expected_time path) +(def (modified?&last_modified fs expected_time path) (-> (/.System Async) Instant /.Path (Async Bit)) (do async.monad [modified? (at fs modify path expected_time) @@ -117,7 +117,7 @@ [_ modified?] (at ! each (instant#= expected_time) last_modified)))))) -(def: (directory_files&sub_directories fs parent sub_dir child) +(def (directory_files&sub_directories fs parent sub_dir child) (-> (/.System Async) /.Path /.Path /.Path (Async Bit)) (let [sub_dir (/.rooted fs parent sub_dir) child (/.rooted fs parent child)] @@ -136,7 +136,7 @@ (try#each (list#= (list sub_dir))) (try.else false)))))))))) -(def: (move&delete fs parent child alternate_child) +(def (move&delete fs parent child alternate_child) (-> (/.System Async) /.Path Text Text (Async Bit)) (let [origin (/.rooted fs parent child) destination (/.rooted fs parent alternate_child)] @@ -154,7 +154,7 @@ (in (and lost? found?)))))))) -(def: (for_system fs) +(def (for_system fs) (-> (IO (/.System Async)) Test) (<| (do [! random.monad] [parent (random.numeric 2) @@ -205,7 +205,7 @@ directory_files&sub_directories move&delete)))) -(def: (make_directories&cannot_make_directory fs) +(def (make_directories&cannot_make_directory fs) (-> (IO (/.System Async)) Test) (<| (do [! random.monad] [dir/0 (random.numeric 2) @@ -252,7 +252,7 @@ (exception.match? /.cannot_make_directory error)))) ))) -(def: (make_file&cannot_make_file fs) +(def (make_file&cannot_make_file fs) (-> (IO (/.System Async)) Test) (<| (do [! random.monad] [file/0 (random.numeric 3)]) @@ -275,14 +275,14 @@ (exception.match? /.cannot_make_file error))) ))) -(def: (for_utilities fs) +(def (for_utilities fs) (-> (IO (/.System Async)) Test) (all _.and (..make_directories&cannot_make_directory fs) (..make_file&cannot_make_file fs) )) -(def: (exists? fs) +(def (exists? fs) (-> (IO (/.System Async)) Test) (<| (do [! random.monad] [file (random.numeric 2) @@ -322,7 +322,7 @@ post_dir/0 post_dir/1)))) -(def: .public (spec fs) +(def .public (spec fs) (-> (IO (/.System Async)) Test) (all _.and (..for_path fs) |