aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/lux/world/file.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-06-16 00:48:19 -0400
committerEduardo Julian2022-06-16 00:48:19 -0400
commit9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch)
tree115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/specification/lux/world/file.lux
parentf92c806ee8da63f04bbefbf558f6249bacdb47ea (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.lux26
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)