diff options
author | Eduardo Julian | 2020-12-02 06:42:20 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-12-02 06:42:20 -0400 |
commit | 34e310622bdeb1d0588c0664c0e78cbaa84f837c (patch) | |
tree | eb7c04185b57c781f45d0ccdb955bc9afc2aa8dc /stdlib/source/test/lux/data/collection/row.lux | |
parent | 982a19e0c5d57b53f9726b780fec4c18f0787b4f (diff) |
Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the convention that only macros that deal with types may start with a colon.
Diffstat (limited to 'stdlib/source/test/lux/data/collection/row.lux')
-rw-r--r-- | stdlib/source/test/lux/data/collection/row.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux index 7a51ff797..17dae6904 100644 --- a/stdlib/source/test/lux/data/collection/row.lux +++ b/stdlib/source/test/lux/data/collection/row.lux @@ -29,7 +29,7 @@ (def: signatures Test (do {! random.monad} - [size (:: ! map (n.% 100) random.nat)] + [size (\ ! map (n.% 100) random.nat)] ($_ _.and (_.with-cover [/.equivalence] ($equivalence.spec (/.equivalence n.equivalence) (random.row size random.nat))) @@ -48,7 +48,7 @@ (def: whole Test (do {! random.monad} - [size (:: ! map (n.% 100) random.nat) + [size (\ ! map (n.% 100) random.nat) sample (random.set n.hash size random.nat) #let [sample (|> sample set.to-list /.from-list)] #let [(^open "/\.") (/.equivalence n.equivalence)]] @@ -81,10 +81,10 @@ (def: index-based Test (do {! random.monad} - [size (:: ! map (|>> (n.% 100) inc) random.nat)] + [size (\ ! map (|>> (n.% 100) inc) random.nat)] ($_ _.and (do ! - [good-index (|> random.nat (:: ! map (n.% size))) + [good-index (|> random.nat (\ ! map (n.% size))) #let [bad-index (n.+ size good-index)] sample (random.set n.hash size random.nat) non-member (random.filter (|>> (set.member? sample) not) @@ -134,7 +134,7 @@ (<| (_.covering /._) (_.with-cover [/.Row]) (do {! random.monad} - [size (:: ! map (|>> (n.% 100) inc) random.nat)] + [size (\ ! map (|>> (n.% 100) inc) random.nat)] ($_ _.and ..signatures ..whole |