diff options
Diffstat (limited to 'stdlib/source/test/lux/data/collection')
16 files changed, 37 insertions, 37 deletions
diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index b1d6b549f..ee06a8073 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -13,10 +13,10 @@ ["$[0]" equivalence] ["$[0]" functor (.only Injection)]]] [control - ["[0]" maybe ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)]] [data ["[0]" bit] - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" list] ["[0]" set]]] diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux index ad26c0120..11a4da3cb 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -9,13 +9,13 @@ ["$[0]" equivalence] ["$[0]" functor (.only Injection)]]] [control - ["[0]" maybe ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] ["[0]" try] ["[0]" exception]] [data ["[0]" product] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" set]]] [math ["[0]" random] diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index 01c979131..75e7a36e2 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -9,15 +9,15 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" maybe ("[1]#[0]" monad)]] + ["[0]" maybe (.open: "[1]#[0]" monad)]] [data ["[0]" product] - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [collection ["[0]" set] - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux index 3b8f1ae99..252ca9f85 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -8,9 +8,9 @@ ["$[0]" equivalence] ["$[0]" monoid]]] [control - ["[0]" maybe ("[1]#[0]" monad)]] + ["[0]" maybe (.open: "[1]#[0]" monad)]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" text] [collection ["[0]" set] diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index c727f3041..81e8d76dc 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -21,7 +21,7 @@ [data ["[0]" bit] ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" set]]] [math @@ -30,7 +30,7 @@ ["n" nat] ["[0]" int]]]]] [\\library - ["[0]" / ("[1]#[0]" monad)]]) + ["[0]" / (.open: "[1]#[0]" monad)]]) (def: bounded_size (Random Nat) diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index 05388830b..a67697de2 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -8,10 +8,10 @@ ["$[0]" equivalence] ["$[0]" functor (.only Injection)]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [collection ["[0]" set] - ["[0]" list ("[1]#[0]" monoid)]]] + ["[0]" list (.open: "[1]#[0]" monoid)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index fc8484b42..624231fb1 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -5,9 +5,9 @@ [abstract ["[0]" monad (.only do)]] [control - ["[0]" maybe ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index f86951ea4..92d59f68d 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -15,17 +15,17 @@ ["[0]" try (.only Try)] ["[0]" exception]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection - ["[0]" list ("[1]#[0]" mix)] + ["[0]" list (.open: "[1]#[0]" mix)] ["[0]" set]]] [math ["[0]" random] [number ["n" nat]]]]] [\\library - ["[0]" / ("[1]#[0]" monad)]]) + ["[0]" / (.open: "[1]#[0]" monad)]]) (def: signatures Test diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index 53bf5ee0e..17617c2dc 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -10,7 +10,7 @@ ["$[0]" hash] ["$[0]" monoid]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [collection ["[0]" list]]] [math @@ -18,7 +18,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / ("#[0]" equivalence)]]) + ["[0]" / (.open: "[1]#[0]" equivalence)]]) (def: gen_nat (Random Nat) @@ -68,7 +68,7 @@ (bit#= (/.empty? setL) (n.= 0 (/.size setL)))) (_.coverage [/.list /.of_list] - (|> setL /.list (/.of_list n.hash) (#= setL))) + (|> setL /.list (/.of_list n.hash) (/#= setL))) (_.coverage [/.member?] (and (list.every? (/.member? setL) (/.list setL)) (not (/.member? setL non_memberL)))) @@ -89,12 +89,12 @@ (|> setL (/.has non_memberL) (/.lacks non_memberL) - (#= setL)) + (/#= setL)) idempotency! (|> setL (/.lacks non_memberL) - (#= setL))] + (/#= setL))] (and symmetry! idempotency!))) (_.coverage [/.union /.sub?] @@ -107,7 +107,7 @@ union_with_empty_set! (|> setL (/.union (/.empty n.hash)) - (#= setL))] + (/#= setL))] (and sets_are_subs_of_their_unions! union_with_empty_set!))) (_.coverage [/.intersection /.super?] diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index 2811e074c..555d7e210 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -10,10 +10,10 @@ ["$[0]" equivalence] ["$[0]" hash]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [collection ["[0]" set] - ["[0]" list ("[1]#[0]" mix)]]] + ["[0]" list (.open: "[1]#[0]" mix)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index f8dba7aaf..64a1dc4bb 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -8,11 +8,11 @@ [\\specification ["$[0]" equivalence]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [collection ["[0]" list]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index 70141fc19..337b7de4e 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -10,7 +10,7 @@ [control ["[0]" maybe]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/data/collection/stream.lux b/stdlib/source/test/lux/data/collection/stream.lux index 7c6f10baf..ee293cfa8 100644 --- a/stdlib/source/test/lux/data/collection/stream.lux +++ b/stdlib/source/test/lux/data/collection/stream.lux @@ -13,7 +13,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index c936ded41..945c1c6b8 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -11,7 +11,7 @@ [data ["[0]" product] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index d2ddb1b96..a9e3d68e6 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -5,11 +5,11 @@ [abstract [monad (.only do)]] [control - ["[0]" maybe ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)]] [data - ["[0]" text ("[1]#[0]" equivalence monoid)] + ["[0]" text (.open: "[1]#[0]" equivalence monoid)] [collection - ["[0]" list ("[1]#[0]" mix)]]] + ["[0]" list (.open: "[1]#[0]" mix)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index 4270e0f88..4a2bbac26 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -10,7 +10,7 @@ ["$[0]" comonad]]] [control ["[0]" pipe] - ["[0]" maybe ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)]] [data ["[0]" product] ["[0]" text] |