diff options
Diffstat (limited to 'stdlib/source/test/lux/data/collection/row.lux')
| -rw-r--r-- | stdlib/source/test/lux/data/collection/row.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux index 8e8348617..a8ff3a7ab 100644 --- a/stdlib/source/test/lux/data/collection/row.lux +++ b/stdlib/source/test/lux/data/collection/row.lux @@ -7,7 +7,7 @@ [\\specification ["$." equivalence] ["$." monoid] - ["$." fold] + ["$." mix] ["$." functor (#+ Injection)] ["$." apply] ["$." monad]]] @@ -17,7 +17,7 @@ [data ["." bit ("#\." equivalence)] [collection - ["." list ("#\." fold)] + ["." list ("#\." mix)] ["." set]]] [math ["." random] @@ -35,8 +35,8 @@ ($equivalence.spec (/.equivalence n.equivalence) (random.row size random.nat))) (_.for [/.monoid] ($monoid.spec (/.equivalence n.equivalence) /.monoid (random.row size random.nat))) - (_.for [/.fold] - ($fold.spec /\in /.equivalence /.fold)) + (_.for [/.mix] + ($mix.spec /\in /.equivalence /.mix)) (_.for [/.functor] ($functor.spec /\in /.equivalence /.functor)) (_.for [/.apply] |