diff options
author | Eduardo Julian | 2020-10-31 02:59:48 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-10-31 02:59:48 -0400 |
commit | eea741e9b4a47ae09832311d6d61f0bd6024f673 (patch) | |
tree | 9d503f609c322c235811856ffa05232991b9c653 /stdlib/source/test/lux/meta | |
parent | cb8f2b36352948108446c7e3b270faa97589bf7a (diff) |
Easy to use Rev constants.
Diffstat (limited to 'stdlib/source/test/lux/meta')
-rw-r--r-- | stdlib/source/test/lux/meta/annotation.lux | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/test/lux/meta/annotation.lux b/stdlib/source/test/lux/meta/annotation.lux index f8f569bde..f0ff06160 100644 --- a/stdlib/source/test/lux/meta/annotation.lux +++ b/stdlib/source/test/lux/meta/annotation.lux @@ -35,14 +35,14 @@ (def: (random-sequence random) (All [a] (-> (Random a) (Random (List a)))) - (do {@ random.monad} - [size (|> random.nat (:: @ map (nat.% 3)))] + (do {! random.monad} + [size (|> random.nat (:: ! map (nat.% 3)))] (random.list size random))) (def: (random-record random) (All [a] (-> (Random a) (Random (List [a a])))) - (do {@ random.monad} - [size (|> random.nat (:: @ map (nat.% 3)))] + (do {! random.monad} + [size (|> random.nat (:: ! map (nat.% 3)))] (random.list size (random.and random random)))) (template: (!expect <pattern> <value>) @@ -57,11 +57,11 @@ (def: typed-value Test - (do {@ random.monad} + (do {! random.monad} [key ..random-key] (`` ($_ _.and (~~ (template [<definition> <random> <constructor> <equivalence>] - [(do {@ random.monad} + [(do {! random.monad} [expected <random>] (_.cover [<definition>] (|> expected <constructor> @@ -86,10 +86,10 @@ (def: flag Test - (do {@ random.monad} + (do {! random.monad} [key ..random-key] (`` ($_ _.and - (do {@ random.monad} + (do ! [dummy ..random-key expected random.bit] (_.cover [/.flagged?] @@ -101,7 +101,7 @@ (..annotation dummy) (/.flagged? key)))))) (~~ (template [<definition> <tag>] - [(do {@ random.monad} + [(do ! [expected random.bit] (_.cover [<definition>] (and (|> expected code.bit @@ -120,11 +120,11 @@ (def: arguments Test - (do {@ random.monad} + (do {! random.monad} [key ..random-key] (`` ($_ _.and (~~ (template [<definition> <tag>] - [(do {@ random.monad} + [(do ! [expected (random.list 5 (random.ascii/alpha 1))] (_.cover [<definition>] (and (|> expected (list@map code.text) code.tuple @@ -145,10 +145,10 @@ Test (<| (_.covering /._) (_.with-cover [/.Annotation]) - (do {@ random.monad} + (do {! random.monad} [key ..random-key] ($_ _.and - (do {@ random.monad} + (do ! [expected _code.random] (_.cover [/.value] (|> expected @@ -159,7 +159,7 @@ ..typed-value - (do {@ random.monad} + (do ! [expected (random.ascii/alpha 10)] (_.cover [/.documentation] (and (not (|> expected code.text |