diff options
Diffstat (limited to 'stdlib/source/test/lux/data')
39 files changed, 399 insertions, 399 deletions
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index a9dbaca2e..1fb97272c 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -3,24 +3,24 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}] - ["." enum] + ["[0]" monad {"+" [do]}] + ["[0]" enum] [\\specification - ["$." equivalence] - ["$." monoid]]] + ["$[0]" equivalence] + ["$[0]" monoid]]] [control - ["." try {"+" [Try]}] - ["." exception {"+" [Exception]}]] + ["[0]" try {"+" [Try]}] + ["[0]" exception {"+" [Exception]}]] [data [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number - ["." i64] + ["[0]" i64] ["n" nat]]]]] [\\library - ["." / {"+" [Binary]}]]) + ["[0]" / {"+" [Binary]}]]) (def: (succeed result) (-> (Try Bit) Bit) diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux index 11ecc92c3..f54892910 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -5,16 +5,16 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." monoid] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" monoid] + ["$[0]" codec]]] [control - ["." function]] + ["[0]" function]] [math - ["." random]]]] + ["[0]" random]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux index 5f8047ac4..b6615368b 100644 --- a/stdlib/source/test/lux/data/collection.lux +++ b/stdlib/source/test/lux/data/collection.lux @@ -2,24 +2,24 @@ [library [lux "*" ["_" test {"+" [Test]}]]] - ["." / "_" - ["#." array] - ["#." bits] - ["#." list] - ["#." row] - ["#." sequence] - ["#." stack] - ["#." dictionary - ["#/." ordered] - ["#/." plist]] - ["#." queue - ["#/." priority]] - ["#." set - ["#/." multi] - ["#/." ordered]] - ["#." tree - ["#/." finger] - ["#/." zipper]]]) + ["[0]" / "_" + ["[1][0]" array] + ["[1][0]" bits] + ["[1][0]" list] + ["[1][0]" row] + ["[1][0]" sequence] + ["[1][0]" stack] + ["[1][0]" dictionary + ["[1]/[0]" ordered] + ["[1]/[0]" plist]] + ["[1][0]" queue + ["[1]/[0]" priority]] + ["[1][0]" set + ["[1]/[0]" multi] + ["[1]/[0]" ordered]] + ["[1][0]" tree + ["[1]/[0]" finger] + ["[1]/[0]" zipper]]]) (def: dictionary Test diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index 102a7a2a5..46783bc56 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -5,23 +5,23 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." monoid] - ["$." mix] - ["$." functor {"+" [Injection]}]]] + ["$[0]" equivalence] + ["$[0]" monoid] + ["$[0]" mix] + ["$[0]" functor {"+" [Injection]}]]] [control - ["." maybe]] + ["[0]" maybe]] [data - ["." bit] + ["[0]" bit] [collection - ["." list] - ["." set]]] + ["[0]" list] + ["[0]" set]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / {"+" [Array]}]]) + ["[0]" / {"+" [Array]}]]) (def: injection (Injection Array) diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux index a3f877cb1..ea93acfcb 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -4,15 +4,15 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." predicate] + ["[0]" predicate] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / {"+" [Bits]}]]) + ["[0]" / {"+" [Bits]}]]) (def: (size min max) (-> Nat Nat (Random Nat)) diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux index 60314ca82..788f6c3eb 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -6,23 +6,23 @@ [hash {"+" [Hash]}] [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." functor {"+" [Injection]}]]] + ["$[0]" equivalence] + ["$[0]" functor {"+" [Injection]}]]] [control - ["." maybe ("#\." functor)] - ["." try] - ["." exception]] + ["[0]" maybe ("[1]\[0]" functor)] + ["[0]" try] + ["[0]" exception]] [data - ["." product] + ["[0]" product] [collection - ["." list ("#\." functor)] - ["." set]]] + ["[0]" list ("[1]\[0]" functor)] + ["[0]" set]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: injection (Injection (/.Dictionary Nat)) @@ -109,12 +109,12 @@ (list.size (/.values dict)))) (_.cover [/.merged] - (let [merging_with_oneself (let [(^open ".") (/.equivalence n.equivalence)] + (let [merging_with_oneself (let [(^open "[0]") (/.equivalence n.equivalence)] (= dict (/.merged dict dict))) overwritting_keys (let [dict' (|> dict /.entries (list\each (function (_ [k v]) [k (++ v)])) (/.of_list n.hash)) - (^open ".") (/.equivalence n.equivalence)] + (^open "[0]") (/.equivalence n.equivalence)] (= dict' (/.merged dict' dict)))] (and merging_with_oneself overwritting_keys))) @@ -125,7 +125,7 @@ (/.values (/.merged_with n.+ dict dict))))) (_.cover [/.of_list] - (let [(^open ".") (/.equivalence n.equivalence)] + (let [(^open "[0]") (/.equivalence n.equivalence)] (and (= dict dict) (|> dict /.entries (/.of_list n.hash) (= dict))))) ))) diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index 9759aa3d4..65bb6226d 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -7,21 +7,21 @@ [equivalence {"+" [Equivalence]}] [order {"+" [Order]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." maybe ("#\." monad)]] + ["[0]" maybe ("[1]\[0]" monad)]] [data - ["." product] - ["." bit ("#\." equivalence)] + ["[0]" product] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." set] - ["." list ("#\." functor)]]] + ["[0]" set] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public (dictionary order gen_key gen_value size) (All (_ k v) @@ -57,11 +57,11 @@ (n.< left right)) pairs) sorted_values (list\each product.right sorted_pairs) - (^open "list\.") (list.equivalence (: (Equivalence [Nat Nat]) + (^open "list\[0]") (list.equivalence (: (Equivalence [Nat Nat]) (function (_ [kr vr] [ks vs]) (and (n.= kr ks) (n.= vr vs))))) - (^open "/\.") (/.equivalence n.equivalence)]] + (^open "/\[0]") (/.equivalence n.equivalence)]] ($_ _.and (_.for [/.equivalence] ($equivalence.spec (/.equivalence n.equivalence) (..dictionary n.order random.nat random.nat size))) diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux index 56d376740..572f06c31 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -5,21 +5,21 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." maybe ("#\." monad)]] + ["[0]" maybe ("[1]\[0]" monad)]] [data - ["." bit ("#\." equivalence)] - ["." text] + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" text] [collection - ["." set] - ["." list]]] + ["[0]" set] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public (random size gen_key gen_value) (All (_ v) diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index 639e69400..e4776e1ab 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -4,33 +4,33 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." enum] + ["[0]" enum] [\\specification - ["$." equivalence] - ["$." hash] - ["$." monoid] - ["$." mix] - ["$." functor] - ["$." apply] - ["$." monad]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" monoid] + ["$[0]" mix] + ["$[0]" functor] + ["$[0]" apply] + ["$[0]" monad]]] [control pipe - ["." io] - ["." maybe] - ["." function]] + ["[0]" io] + ["[0]" maybe] + ["[0]" function]] [data - ["." bit] - ["." product] - ["." text ("#\." equivalence)] + ["[0]" bit] + ["[0]" product] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." set]]] + ["[0]" set]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] - ["." int]]]]] + ["[0]" int]]]]] [\\library - ["." / ("#\." monad)]]) + ["[0]" / ("[1]\[0]" monad)]]) (def: bounded_size (Random Nat) @@ -69,7 +69,7 @@ [parameter random.nat subject random.nat] (let [lifted (/.lifted io.monad) - (^open "io\.") io.monad + (^open "io\[0]") io.monad expected (n.+ parameter subject)] (_.cover [/.with /.lifted] (|> (io.run! (do (/.with io.monad) @@ -87,7 +87,7 @@ Test (do [! random.monad] [size ..bounded_size - .let [(^open "/\.") (/.equivalence n.equivalence)] + .let [(^open "/\[0]") (/.equivalence n.equivalence)] sample (\ ! each set.list (random.set n.hash size random.nat))] ($_ _.and (_.cover [/.size] @@ -129,8 +129,8 @@ (def: indices Test - (let [(^open "/\.") (/.equivalence n.equivalence) - (^open "/\.") /.functor] + (let [(^open "/\[0]") (/.equivalence n.equivalence) + (^open "/\[0]") /.functor] (do [! random.monad] [sample ..random .let [size (/.size sample)]] @@ -178,8 +178,8 @@ (def: slice Test - (let [(^open "/\.") (/.equivalence n.equivalence) - (^open "/\.") /.monoid] + (let [(^open "/\[0]") (/.equivalence n.equivalence) + (^open "/\[0]") /.monoid] (do [! random.monad] [sample (random.only (|>> /.size (n.> 0)) ..random) @@ -227,7 +227,7 @@ (def: member Test - (let [(^open "/\.") (/.equivalence n.equivalence)] + (let [(^open "/\[0]") (/.equivalence n.equivalence)] (do [! random.monad] [sample ..random] (`` ($_ _.and @@ -265,9 +265,9 @@ (def: grouping Test - (let [(^open "/\.") (/.equivalence n.equivalence) - (^open "/\.") /.functor - (^open "/\.") /.monoid + (let [(^open "/\[0]") (/.equivalence n.equivalence) + (^open "/\[0]") /.functor + (^open "/\[0]") /.monoid +/2 (: (-> Nat Nat Nat) (function (_ left right) @@ -350,7 +350,7 @@ (def: search Test - (let [(^open "/\.") /.functor + (let [(^open "/\[0]") /.functor choose (: (-> Nat (Maybe Text)) (function (_ value) @@ -393,8 +393,8 @@ Test (<| (_.covering /._) (_.for [.List]) - (let [(^open "/\.") (/.equivalence n.equivalence) - (^open "/\.") /.functor] + (let [(^open "/\[0]") (/.equivalence n.equivalence) + (^open "/\[0]") /.functor] (do [! random.monad] [sample ..random separator random.nat] @@ -429,7 +429,7 @@ (/.mixes n.+ 0 sample))) (do random.monad [expected random.nat - .let [(^open "/\.") (/.equivalence n.equivalence)]] + .let [(^open "/\[0]") (/.equivalence n.equivalence)]] (_.cover [/.when] (and (/\= (list expected) (/.when true (list expected))) (/\= (list) (/.when false (list expected)))))) diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index 7a24ad89d..117617468 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -5,19 +5,19 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." functor {"+" [Injection]}]]] + ["$[0]" equivalence] + ["$[0]" functor {"+" [Injection]}]]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." set] - ["." list ("#\." monoid)]]] + ["[0]" set] + ["[0]" list ("[1]\[0]" monoid)]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: injection (Injection /.Queue) diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index 2f61d3e57..0ce7111f6 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -3,17 +3,17 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." maybe ("#\." functor)]] + ["[0]" maybe ("[1]\[0]" functor)]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / {"+" [Queue]}]]) + ["[0]" / {"+" [Queue]}]]) (def: .public (random size) (-> Nat (Random (Queue Nat))) diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux index af3acdb18..fa4f7271f 100644 --- a/stdlib/source/test/lux/data/collection/row.lux +++ b/stdlib/source/test/lux/data/collection/row.lux @@ -5,26 +5,26 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." monoid] - ["$." mix] - ["$." functor {"+" [Injection]}] - ["$." apply] - ["$." monad]]] + ["$[0]" equivalence] + ["$[0]" monoid] + ["$[0]" mix] + ["$[0]" functor {"+" [Injection]}] + ["$[0]" apply] + ["$[0]" monad]]] [control - ["." try {"+" [Try]}] - ["." exception]] + ["[0]" try {"+" [Try]}] + ["[0]" exception]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." list ("#\." mix)] - ["." set]]] + ["[0]" list ("[1]\[0]" mix)] + ["[0]" set]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / ("#\." monad)]]) + ["[0]" / ("[1]\[0]" monad)]]) (def: signatures Test @@ -51,7 +51,7 @@ [size (\ ! each (n.% 100) random.nat) sample (random.set n.hash size random.nat) .let [sample (|> sample set.list /.of_list)] - .let [(^open "/\.") (/.equivalence n.equivalence)]] + .let [(^open "/\[0]") (/.equivalence n.equivalence)]] ($_ _.and (_.cover [/.size] (n.= size (/.size sample))) @@ -145,7 +145,7 @@ non_member (random.only (|>> (set.member? sample) not) random.nat) .let [sample (|> sample set.list /.of_list)] - .let [(^open "/\.") (/.equivalence n.equivalence)]] + .let [(^open "/\[0]") (/.equivalence n.equivalence)]] ($_ _.and (do ! [value/0 random.nat diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index cd5427b16..0d772e7dd 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -5,21 +5,21 @@ [abstract [monad {"+" [do]}] [equivalence {"+" [Equivalence]}] - ["." enum] + ["[0]" enum] [\\specification - ["$." functor] - ["$." comonad]]] + ["$[0]" functor] + ["$[0]" comonad]]] [data - ["." text + ["[0]" text ["%" format {"+" [format]}]] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (implementation: (equivalence super) (All (_ a) (-> (Equivalence a) (Equivalence (/.Sequence a)))) @@ -42,7 +42,7 @@ Test (<| (_.covering /._) (_.for [/.Sequence]) - (let [(^open "list\.") (list.equivalence n.equivalence)]) + (let [(^open "list\[0]") (list.equivalence n.equivalence)]) (do [! random.monad] [repeated random.nat index (\ ! each (n.% 100) random.nat) @@ -103,8 +103,8 @@ (n.= (++ (n.* 2 offset)) (/.item offset odds))))) (_.cover [/.iterations] - (let [(^open "/\.") /.functor - (^open "list\.") (list.equivalence text.equivalence)] + (let [(^open "/\[0]") /.functor + (^open "list\[0]") (list.equivalence text.equivalence)] (list\= (/.first size (/\each %.nat (..iterations ++ offset))) (/.first size diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index ec572c03c..3745cf845 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -6,19 +6,19 @@ [hash {"+" [Hash]}] [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." monoid]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" monoid]]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / ("\." equivalence)]]) + ["[0]" / ("\[0]" equivalence)]]) (def: gen_nat (Random Nat) diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index c1a5d6fa5..2b614a1a4 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -5,21 +5,21 @@ [abstract [hash {"+" [Hash]}] [monad {"+" [do]}] - ["." predicate] + ["[0]" predicate] [\\specification - ["$." equivalence] - ["$." hash]]] + ["$[0]" equivalence] + ["$[0]" hash]]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." set] - ["." list ("#\." mix)]]] + ["[0]" set] + ["[0]" list ("[1]\[0]" mix)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: count (Random Nat) diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index c2133dd11..b89bad1bb 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -6,18 +6,18 @@ [monad {"+" [do]}] [order {"+" [Order]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\library - ["." / {"+" [Set]} - ["." //]]]) + ["[0]" / {"+" [Set]} + ["[0]" //]]]) (def: size (random.Random Nat) @@ -48,7 +48,7 @@ random.nat) .let [listL (//.list usetL)] listR (|> (random.set n.hash sizeR random.nat) (\ ! each //.list)) - .let [(^open "/\.") /.equivalence + .let [(^open "/\[0]") /.equivalence setL (/.of_list n.order listL) setR (/.of_list n.order listR) empty (/.empty n.order)]] diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index 4fca1cb85..eb05c1e67 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -5,18 +5,18 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." functor {"+" [Injection]}]]] + ["$[0]" equivalence] + ["$[0]" functor {"+" [Injection]}]]] [control - ["." maybe]] + ["[0]" maybe]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: (injection value) (Injection /.Stack) diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index 0aba27125..38320588c 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -3,21 +3,21 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}] + ["[0]" monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." mix] - ["$." functor]]] + ["$[0]" equivalence] + ["$[0]" mix] + ["$[0]" functor]]] [data - ["." product] + ["[0]" product] [collection - ["." list ("#\." functor mix)]]] + ["[0]" list ("[1]\[0]" functor mix)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / {"+" [Tree]}]]) + ["[0]" / {"+" [Tree]}]]) (def: .public (tree gen_value) (All (_ a) (-> (Random a) (Random [Nat (Tree a)]))) diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index 09c9af569..a929dbaa5 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -5,18 +5,18 @@ [abstract [monad {"+" [do]}]] [control - ["." maybe ("#\." functor)]] + ["[0]" maybe ("[1]\[0]" functor)]] [data - ["." text ("#\." equivalence monoid)] + ["[0]" text ("[1]\[0]" equivalence monoid)] [collection - ["." list ("#\." mix)]]] + ["[0]" list ("[1]\[0]" mix)]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]] [type {"+" [:by_example]}]]] [\\library - ["." /]]) + ["[0]" /]]) (def: builder (/.builder text.monoid)) diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index 9f780415c..f9308d080 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -5,24 +5,24 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." functor] - ["$." comonad]]] + ["$[0]" equivalence] + ["$[0]" functor] + ["$[0]" comonad]]] [control pipe - ["." maybe ("#\." functor)]] + ["[0]" maybe ("[1]\[0]" functor)]] [data - ["." product] - ["." text] + ["[0]" product] + ["[0]" text] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] - ["." //] + ["[0]" //] [\\library - ["." / {"+" [Zipper]} + ["[0]" / {"+" [Zipper]} ["tree" //]]]) (def: move @@ -159,8 +159,8 @@ [[size sample] (//.tree random.nat) expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) - .let [(^open "tree\.") (tree.equivalence n.equivalence) - (^open "list\.") (list.equivalence n.equivalence)]] + .let [(^open "tree\[0]") (tree.equivalence n.equivalence) + (^open "list\[0]") (list.equivalence n.equivalence)]] ($_ _.and (_.for [/.equivalence] ($equivalence.spec (/.equivalence n.equivalence) (\ ! each (|>> product.right /.zipper) (//.tree random.nat)))) diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux index 0628543f6..5069ab31f 100644 --- a/stdlib/source/test/lux/data/color.lux +++ b/stdlib/source/test/lux/data/color.lux @@ -5,23 +5,23 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." monoid]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" monoid]]] [data [collection - ["." list]]] + ["[0]" list]]] [macro - ["." template]] - ["." math - ["." random {"+" [Random]}] + ["[0]" template]] + ["[0]" math + ["[0]" random {"+" [Random]}] [number ["n" nat] - ["." int] + ["[0]" int] ["f" frac] ["r" rev]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Color) @@ -195,7 +195,7 @@ (..encoding expected) (_.cover [/.complement] (let [~expected (/.complement expected) - (^open "/\.") /.equivalence] + (^open "/\[0]") /.equivalence] (and (not (/\= expected ~expected)) (/\= expected (/.complement ~expected))))) (_.cover [/.black /.white] diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux index c907a5cae..38b2b730f 100644 --- a/stdlib/source/test/lux/data/color/named.lux +++ b/stdlib/source/test/lux/data/color/named.lux @@ -6,17 +6,17 @@ [monad {"+" [do]}]] [data [collection - ["." list] - ["." set]]] + ["[0]" list] + ["[0]" set]]] [macro - ["." template]] + ["[0]" template]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / - ["/#" //]]]) + ["[0]" / + ["/[1]" //]]]) (with_expansions [<colors> (as_is [letter/a [/.alice_blue diff --git a/stdlib/source/test/lux/data/format/binary.lux b/stdlib/source/test/lux/data/format/binary.lux index 6b0242605..f2ace808f 100644 --- a/stdlib/source/test/lux/data/format/binary.lux +++ b/stdlib/source/test/lux/data/format/binary.lux @@ -6,13 +6,13 @@ [equivalence {"+" [Equivalence]}] [monad {"+" [do]}] [\\specification - ["$." monoid]]] + ["$[0]" monoid]]] [data - ["." binary ("#\." equivalence)]] + ["[0]" binary ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." /]]) + ["[0]" /]]) (implementation: equivalence (Equivalence /.Specification) diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 6f9722350..82faaba7f 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -2,34 +2,34 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." meta] + ["[0]" meta] [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" codec]]] [control - ["." try ("#\." functor)]] + ["[0]" try ("[1]\[0]" functor)]] [data - ["." product] - ["." bit] - ["." text + ["[0]" product] + ["[0]" bit] + ["[0]" text ["%" format {"+" [format]}]] [collection - ["." row] - ["." dictionary] - ["." set] - ["." list ("#\." functor)]]] + ["[0]" row] + ["[0]" dictionary] + ["[0]" set] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] - ["." frac]]] - ["." macro - ["." syntax {"+" [syntax:]}] - ["." code]]]] + ["[0]" frac]]] + ["[0]" macro + ["[0]" syntax {"+" [syntax:]}] + ["[0]" code]]]] [\\library - ["." / {"+" [JSON]} ("\." equivalence)]]) + ["[0]" / {"+" [JSON]} ("\[0]" equivalence)]]) (def: .public random (Random /.JSON) diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index 5c0fe2659..d595955b1 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -5,36 +5,36 @@ [abstract [monad {"+" [do]}]] [control - ["." maybe] - ["." try] - ["." exception] + ["[0]" maybe] + ["[0]" try] + ["[0]" exception] ["<>" parser ["<b>" binary]]] [data - ["." product] - ["." binary ("#\." equivalence monoid)] - ["." text ("#\." equivalence) + ["[0]" product] + ["[0]" binary ("[1]\[0]" equivalence monoid)] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}] [encoding - ["." utf8]] - ["." unicode "_" - ["#" set] - ["#/." block]]] + ["[0]" utf8]] + ["[0]" unicode "_" + ["[1]" set] + ["[1]/[0]" block]]] [collection - ["." row] - ["." list ("#\." mix)]] - ["." format "_" - ["#" binary]]] + ["[0]" row] + ["[0]" list ("[1]\[0]" mix)]] + ["[0]" format "_" + ["[1]" binary]]] [time - ["." instant {"+" [Instant]}] - ["." duration]] + ["[0]" instant {"+" [Instant]}] + ["[0]" duration]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["i" int]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: path Test diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index b81ea46ff..27f2e76a5 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -5,27 +5,27 @@ [abstract [monad {"+" [Monad do]}] [\\specification - ["$." equivalence] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" codec]]] [control pipe - ["." maybe] - ["." try] + ["[0]" maybe] + ["[0]" try] ["p" parser ["</>" xml]]] [data - ["." name] - ["." text ("#\." equivalence) + ["[0]" name] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." dictionary] - ["." list ("#\." functor)]]] + ["[0]" dictionary] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\library - ["." / {"+" [XML]}]]) + ["[0]" / {"+" [XML]}]]) (def: char_range Text diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux index 39b385da3..584f7f5e0 100644 --- a/stdlib/source/test/lux/data/identity.lux +++ b/stdlib/source/test/lux/data/identity.lux @@ -5,12 +5,12 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad] - ["$." comonad]]]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad] + ["$[0]" comonad]]]]] [\\library - ["." / {"+" [Identity]}]]) + ["[0]" / {"+" [Identity]}]]) (def: injection (Injection Identity) diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux index b772c8e5d..ca5201761 100644 --- a/stdlib/source/test/lux/data/name.lux +++ b/stdlib/source/test/lux/data/name.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" order] + ["$[0]" codec]]] [control pipe] [data - ["." text ("#\." equivalence)]] + ["[0]" text ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public (random module_size short_size) (-> Nat Nat (Random Name)) @@ -49,7 +49,7 @@ ($order.spec /.order (..random sizeM1 sizeS1))) (_.for [/.codec] (_.and ($codec.spec /.equivalence /.codec (..random sizeM1 sizeS1)) - (let [(^open "/\.") /.codec] + (let [(^open "/\[0]") /.codec] (_.test "Encoding an name without a module component results in text equal to the short of the name." (if (text.empty? module1) (text\= short1 (/\encoded name1)) @@ -59,7 +59,7 @@ (and (same? module1 (/.module name1)) (same? short1 (/.short name1)))) (_.for [.name_of] - (let [(^open "/\.") /.equivalence] + (let [(^open "/\[0]") /.equivalence] ($_ _.and (_.test "Can obtain Name from identifier." (and (/\= [.prelude_module "yolo"] (.name_of .yolo)) diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux index 636ac785a..38b0dad48 100644 --- a/stdlib/source/test/lux/data/product.lux +++ b/stdlib/source/test/lux/data/product.lux @@ -5,14 +5,14 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [math - ["." random] + ["[0]" random] [number ["n" nat] ["i" int]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index d0be3fd0e..c0fae2333 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control pipe] [data - ["." text] + ["[0]" text] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random] + ["[0]" random] [number ["n" nat] ["i" int]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index b5d8b740e..ea5bfce13 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -5,31 +5,31 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." monoid]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" order] + ["$[0]" monoid]]] [control pipe - ["." maybe]] + ["[0]" maybe]] [data [collection - ["." list] - ["." set]]] + ["[0]" list] + ["[0]" set]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] - ["." / "_" - ["#." buffer] - ["#." encoding] - ["#." format] - ["#." regex] - ["#." escape] - ["#." unicode "_" - ["#" set]]] + ["[0]" / "_" + ["[1][0]" buffer] + ["[1][0]" encoding] + ["[1][0]" format] + ["[1][0]" regex] + ["[1][0]" escape] + ["[1][0]" unicode "_" + ["[1]" set]]] [\\library - ["." /]]) + ["[0]" /]]) (def: bounded_size (random.Random Nat) @@ -286,7 +286,7 @@ sampleR (random.unicode sizeR) middle (random.unicode 1) .let [sample (/.together (list sampleL sampleR)) - (^open "/\.") /.equivalence]] + (^open "/\[0]") /.equivalence]] ($_ _.and (_.cover [/.split_at] (|> (/.split_at sizeL sample) @@ -325,7 +325,7 @@ parts (random.list sizeL part_gen) .let [sample1 (/.together (list.interposed sep1 parts)) sample2 (/.together (list.interposed sep2 parts)) - (^open "/\.") /.equivalence]] + (^open "/\[0]") /.equivalence]] (_.cover [/.replaced] (/\= sample2 (/.replaced sep1 sep2 sample1)))) diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux index ad98c2f75..72a9c7912 100644 --- a/stdlib/source/test/lux/data/text/buffer.lux +++ b/stdlib/source/test/lux/data/text/buffer.lux @@ -5,14 +5,14 @@ [abstract [monad {"+" [do]}]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: part (Random Text) diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index 927375cb3..fab8f3c06 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -5,25 +5,25 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." codec]]] + ["$[0]" codec]]] [control - ["." maybe] - ["." try]] + ["[0]" maybe] + ["[0]" try]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." list ("#\." mix)] - ["." set]]] + ["[0]" list ("[1]\[0]" mix)] + ["[0]" set]]] [macro - ["." template]] + ["[0]" template]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]] - ["." / "_" - ["#." utf8]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" utf8]]) (with_expansions [<encodings> (as_is [all/a [/.ascii]] diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux index b046a0dff..aa9b9f93b 100644 --- a/stdlib/source/test/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux @@ -4,13 +4,13 @@ ["_" test {"+" [Test]}] [abstract [\\specification - ["$." codec]]] + ["$[0]" codec]]] [data - ["." text]] + ["[0]" text]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux index 4f1b8ed75..43242b1cf 100644 --- a/stdlib/source/test/lux/data/text/escape.lux +++ b/stdlib/source/test/lux/data/text/escape.lux @@ -2,34 +2,34 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." debug] - ["." meta] + ["[0]" debug] + ["[0]" meta] [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] [parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." bit ("#\." equivalence)] - ["." text {"+" [Char]} ("#\." equivalence) + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" text {"+" [Char]} ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." set {"+" [Set]}]]] + ["[0]" set {"+" [Set]}]]] [macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]] + ["[0]" code] + ["[0]" template]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number {"+" [hex]} ["n" nat]]]]] [\\library - ["." / + ["[0]" / [// - ["." unicode "_" - ["#" set]]]]]) + ["[0]" unicode "_" + ["[1]" set]]]]]) (def: (range max min) (-> Char Char (Random Char)) diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux index e5f13ad69..141705e33 100644 --- a/stdlib/source/test/lux/data/text/format.lux +++ b/stdlib/source/test/lux/data/text/format.lux @@ -7,50 +7,50 @@ [equivalence {"+" [Equivalence]}] [functor [\\specification - ["$." contravariant]]]] + ["$[0]" contravariant]]]] [control - ["." try]] + ["[0]" try]] [data - ["." text ("#\." equivalence)] - ["." bit] - ["." name] + ["[0]" text ("[1]\[0]" equivalence)] + ["[0]" bit] + ["[0]" name] [format - ["." xml] - ["." json]] + ["[0]" xml] + ["[0]" json]] [collection - ["." list ("#\." functor)]]] - ["." time - ["." day] - ["." month] - ["." instant] - ["." duration] - ["." date]] + ["[0]" list ("[1]\[0]" functor)]]] + ["[0]" time + ["[0]" day] + ["[0]" month] + ["[0]" instant] + ["[0]" duration] + ["[0]" date]] [math - ["." random {"+" [Random]} ("#\." monad)] - ["." modulus] - ["." modular] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] + ["[0]" modulus] + ["[0]" modular] [number - ["." nat] - ["." int] - ["." rev] - ["." frac] - ["." ratio]]] + ["[0]" nat] + ["[0]" int] + ["[0]" rev] + ["[0]" frac] + ["[0]" ratio]]] [macro - ["." code]] + ["[0]" code]] [meta - ["." location]] - ["." type]]] - ["$." /// "_" + ["[0]" location]] + ["[0]" type]]] + ["$[0]" /// "_" [format - ["#." xml] - ["#." json]] - ["#." name] + ["[1][0]" xml] + ["[1][0]" json]] + ["[1][0]" name] [// - ["#." type] + ["[1][0]" type] [macro - ["#." code]]]] + ["[1][0]" code]]]] [\\library - ["." /]]) + ["[0]" /]]) (implementation: (equivalence example) (All (_ a) (-> a (Equivalence (/.Format a)))) diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index 26ce416ff..b77909f5a 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -6,21 +6,21 @@ [monad {"+" [do]}]] [control pipe - ["." try] + ["[0]" try] [parser - ["<.>" text {"+" [Parser]}] - ["<.>" code]]] + ["<[0]>" text {"+" [Parser]}] + ["<[0]>" code]]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] - ["." macro + ["[0]" macro [syntax {"+" [syntax:]}] - ["." code]] + ["[0]" code]] [math [number {"+" [hex]}] - ["." random]]]] + ["[0]" random]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: (should_pass regex input) (-> (Parser Text) Text Bit) diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index d127651e7..e0325be7b 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -5,22 +5,22 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." monoid]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" monoid]]] [data - ["." text] + ["[0]" text] [collection - ["." set] - ["." list]]] + ["[0]" set] + ["[0]" list]]] [macro - ["." template]] + ["[0]" template]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number {"+" [hex]} ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Block) diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index ef5b66720..ae3fbed65 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -5,23 +5,23 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [data - ["." product] - ["." bit ("#\." equivalence)] + ["[0]" product] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." set ("#\." equivalence)]]] + ["[0]" set ("[1]\[0]" equivalence)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] - ["." / "_" - ["/#" // "_" - ["#." block]]] + ["[0]" / "_" + ["/[1]" // "_" + ["[1][0]" block]]] [\\library - ["." / + ["[0]" / [// - ["." block]]]]) + ["[0]" block]]]]) (def: .public random (Random /.Set) |