aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/data/format/tar.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/data/format/tar.lux')
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux28
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux
index 17f18e005..0e274a6e6 100644
--- a/stdlib/source/test/lux/data/format/tar.lux
+++ b/stdlib/source/test/lux/data/format/tar.lux
@@ -35,7 +35,7 @@
(def: path
Test
(_.with-cover [/.Path]
- (do {@ random.monad}
+ (do {! random.monad}
[expected (random.ascii/lower-alpha /.path-size)
invalid (random.ascii/lower-alpha (inc /.path-size))
not-ascii (random.text (random.char (unicode.set [unicode.katakana (list)]))
@@ -68,7 +68,7 @@
(def: name
Test
(_.with-cover [/.Name]
- (do {@ random.monad}
+ (do {! random.monad}
[expected (random.ascii/lower-alpha /.name-size)
invalid (random.ascii/lower-alpha (inc /.name-size))
not-ascii (random.text (random.char (unicode.set [unicode.katakana (list)]))
@@ -101,9 +101,9 @@
(def: small
Test
(_.with-cover [/.Small]
- (do {@ random.monad}
- [expected (|> random.nat (:: @ map (n.% /.small-limit)))
- invalid (|> random.nat (:: @ map (n.max /.small-limit)))]
+ (do {! random.monad}
+ [expected (|> random.nat (:: ! map (n.% /.small-limit)))
+ invalid (|> random.nat (:: ! map (n.max /.small-limit)))]
(`` ($_ _.and
(_.cover [/.small /.from-small]
(case (/.small expected)
@@ -125,9 +125,9 @@
(def: big
Test
(_.with-cover [/.Big]
- (do {@ random.monad}
- [expected (|> random.nat (:: @ map (n.% /.big-limit)))
- invalid (|> random.nat (:: @ map (n.max /.big-limit)))]
+ (do {! random.monad}
+ [expected (|> random.nat (:: ! map (n.% /.big-limit)))
+ invalid (|> random.nat (:: ! map (n.max /.big-limit)))]
(`` ($_ _.and
(_.cover [/.big /.from-big]
(case (/.big expected)
@@ -150,12 +150,12 @@
(def: entry
Test
- (do {@ random.monad}
+ (do {! random.monad}
[expected-path (random.ascii/lower-alpha (dec /.path-size))
- expected-moment (:: @ map (|>> (n.% 1,0,00,00,00,00,000) .int instant.from-millis)
+ expected-moment (:: ! map (|>> (n.% 1,0,00,00,00,00,000) .int instant.from-millis)
random.nat)
chunk (random.ascii/lower-alpha chunk-size)
- chunks (:: @ map (n.% 100) random.nat)
+ chunks (:: ! map (n.% 100) random.nat)
#let [content (|> chunk
(list.repeat chunks)
(text.join-with "")
@@ -218,7 +218,7 @@
(def: random-mode
(Random /.Mode)
- (do {@ random.monad}
+ (do {! random.monad}
[]
(random.either (random.either (random.either (wrap /.execute-by-other)
(wrap /.write-by-other))
@@ -236,7 +236,7 @@
(def: mode
Test
(_.with-cover [/.Mode /.mode]
- (do {@ random.monad}
+ (do {! random.monad}
[path (random.ascii/lower-alpha 10)
modes (random.list 4 ..random-mode)
#let [expected-mode (list@fold /.and /.none modes)]]
@@ -308,7 +308,7 @@
(def: ownership
Test
- (do {@ random.monad}
+ (do {! random.monad}
[path (random.ascii/lower-alpha /.path-size)
expected (random.ascii/lower-alpha /.name-size)
invalid (random.ascii/lower-alpha (inc /.name-size))