diff options
Diffstat (limited to 'stdlib/source/test/lux/data/collection/dictionary/plist.lux')
| -rw-r--r-- | stdlib/source/test/lux/data/collection/dictionary/plist.lux | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux index aba318986..346dc5d77 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -5,7 +5,8 @@ [abstract [monad {"+" do}] [\\specification - ["$[0]" equivalence]]] + ["$[0]" equivalence] + ["$[0]" monoid]]] [control ["[0]" maybe ("[1]#[0]" monad)]] [data @@ -47,6 +48,10 @@ (_.for [/.equivalence] ($equivalence.spec (/.equivalence n.equivalence) (..random size gen_key random.nat))) + (_.for [/.monoid] + ($monoid.spec (/.equivalence n.equivalence) + /.monoid + (..random 10 (random.ascii/lower 1) random.nat))) (_.cover [/.size] (n.= size (/.size sample))) |