diff options
Diffstat (limited to 'stdlib/source/test/lux/data')
38 files changed, 157 insertions, 157 deletions
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index 9e4e8e6b6..02c8373cd 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -1,24 +1,24 @@ (.using [library [lux "*" - [ffi {"+"}] - ["_" test {"+" Test}] + [ffi (.only)] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] ["[0]" enum] [\\specification ["$[0]" equivalence] ["$[0]" monoid]]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" Exception}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only Exception)]] [data [collection ["[0]" list ("[1]#[0]" functor)] [array - [\\unsafe {"+"}]]]] + [\\unsafe (.only)]]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["[0]" i64]]]]] diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux index 25e1c5c8e..9a8e2c0f3 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux index 42c962e59..3516bd626 100644 --- a/stdlib/source/test/lux/data/collection.lux +++ b/stdlib/source/test/lux/data/collection.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}]]] + ["_" test (.only Test)]]] ["[0]" / "_" ["[1][0]" array] ["[1][0]" bits] diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index 278394bd3..badba4922 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -1,17 +1,17 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [functor {"+"}] - [monad {"+" do}] + [functor (.only)] + [monad (.only do)] ["[0]" monoid ["$[1]" \\specification]] - ["[0]" mix {"+" Mix} + ["[0]" mix (.only Mix) ["$[1]" \\specification]] [\\specification ["$[0]" equivalence] - ["$[0]" functor {"+" Injection}]]] + ["$[0]" functor (.only Injection)]]] [control ["[0]" maybe ("[1]#[0]" functor)]] [data @@ -21,11 +21,11 @@ ["[0]" list] ["[0]" set]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Array} + ["[0]" / (.only Array) ["!" \\unsafe]]]) (def: injection diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux index 717ed5337..b4c9beda0 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -1,18 +1,18 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" predicate] [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Bits}]]) + ["[0]" / (.only 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 b48338682..3bca9cf59 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [hash {"+" Hash}] - [monad {"+" do}] + [hash (.only Hash)] + [monad (.only do)] [\\specification ["$[0]" equivalence] - ["$[0]" functor {"+" Injection}]]] + ["$[0]" functor (.only Injection)]]] [control ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try] diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index 6e3acefa2..de575006c 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence}] - [order {"+" Order}] + [monad (.only do)] + [equivalence (.only Equivalence)] + [order (.only Order)] [\\specification ["$[0]" equivalence]]] [control @@ -17,7 +17,7 @@ ["[0]" set] ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[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 ecac86868..ce6ff1722 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" monoid]]] @@ -16,7 +16,7 @@ ["[0]" set] ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index 9351adb21..65f32d8c5 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] ["[0]" enum] [\\specification ["$[0]" equivalence] @@ -25,7 +25,7 @@ [collection ["[0]" set]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["[0]" int]]]]] diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index ef8575e81..a8f4bdea6 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] - ["$[0]" functor {"+" Injection}]]] + ["$[0]" functor (.only Injection)]]] [data ["[0]" bit ("[1]#[0]" equivalence)] [collection diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index c802d6368..3a966e63a 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -1,19 +1,19 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" functor)]] [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Queue}]]) + ["[0]" / (.only Queue)]]) (def: .public (random size) (-> Nat (Random (Queue Nat))) diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index f3c3bb0d0..43266f2a2 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -1,18 +1,18 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" monoid] ["$[0]" mix] - ["$[0]" functor {"+" Injection}] + ["$[0]" functor (.only Injection)] ["$[0]" apply] ["$[0]" monad]]] [control - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] ["[0]" exception]] [data ["[0]" bit ("[1]#[0]" equivalence)] diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index e42a3e3a7..798e768b4 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [hash {"+" Hash}] - [monad {"+" do}] + [hash (.only Hash)] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -14,7 +14,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index 93f7ef7e6..2bbd890e6 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [hash {"+" Hash}] - [monad {"+" do}] + [hash (.only Hash)] + [monad (.only do)] ["[0]" predicate] [\\specification ["$[0]" equivalence] @@ -15,7 +15,7 @@ ["[0]" set] ["[0]" list ("[1]#[0]" mix)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 429df3d21..36f3ebef6 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - [order {"+" Order}] + [monad (.only do)] + [order (.only Order)] [\\specification ["$[0]" equivalence]]] [data @@ -12,11 +12,11 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Set} + ["[0]" / (.only Set) ["[0]" //]]]) (def: size diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index 62844c59d..6ce39af67 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] - ["$[0]" functor {"+" Injection}]]] + ["$[0]" functor (.only Injection)]]] [control ["[0]" maybe]] [data diff --git a/stdlib/source/test/lux/data/collection/stream.lux b/stdlib/source/test/lux/data/collection/stream.lux index f06af6f9c..66a66a7cb 100644 --- a/stdlib/source/test/lux/data/collection/stream.lux +++ b/stdlib/source/test/lux/data/collection/stream.lux @@ -1,17 +1,17 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence}] + [monad (.only do)] + [equivalence (.only Equivalence)] ["[0]" enum] [\\specification ["$[0]" functor] ["$[0]" comonad]]] [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [math diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index 0adcb50ba..d37ed210b 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" mix] @@ -13,11 +13,11 @@ [collection ["[0]" list ("[1]#[0]" functor mix)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Tree}]]) + ["[0]" / (.only 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 3fc005e70..131c758a2 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" functor)]] [data @@ -14,7 +14,7 @@ ["[0]" random] [number ["n" nat]]] - [type {"+" by_example}]]] + [type (.only by_example)]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index b6b9a965f..02e2fc901 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" functor] @@ -22,7 +22,7 @@ ["n" nat]]]]] ["[0]" //] [\\library - ["[0]" / {"+" Zipper} + ["[0]" / (.only Zipper) ["tree" //]]]) (def: move diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux index de615faaf..b7dfa7405 100644 --- a/stdlib/source/test/lux/data/color.lux +++ b/stdlib/source/test/lux/data/color.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -12,7 +12,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["f" frac] diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux index 70663ba7c..d69ffca31 100644 --- a/stdlib/source/test/lux/data/color/named.lux +++ b/stdlib/source/test/lux/data/color/named.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data [collection ["[0]" list] @@ -11,7 +11,7 @@ [macro ["[0]" template]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/format/binary.lux b/stdlib/source/test/lux/data/format/binary.lux index 571a1ef5a..19c429b90 100644 --- a/stdlib/source/test/lux/data/format/binary.lux +++ b/stdlib/source/test/lux/data/format/binary.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}] + [equivalence (.only Equivalence)] + [monad (.only do)] [\\specification ["$[0]" monoid]]] [data ["[0]" binary ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 63bbcab87..382f219ef 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" meta] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" codec]]] @@ -14,22 +14,22 @@ ["[0]" product] ["[0]" bit] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" sequence] ["[0]" dictionary] ["[0]" set] ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["[0]" frac]]] ["[0]" macro - ["[0]" syntax {"+" syntax:}] + ["[0]" syntax (.only syntax:)] ["[0]" code]]]] [\\library - ["[0]" / {"+" JSON} ("#[0]" equivalence)]]) + ["[0]" / (.only 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 b4c57411f..243d9d3e3 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe] ["[0]" try] @@ -14,7 +14,7 @@ ["[0]" product] ["[0]" binary ("[1]#[0]" equivalence monoid)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]] ["[0]" unicode "_" @@ -26,10 +26,10 @@ ["[0]" format "_" ["[1]" binary]]] [time - ["[0]" instant {"+" Instant}] + ["[0]" instant (.only Instant)] ["[0]" duration]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["i" int]]]]] diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index 0e45f5d72..20b4593dc 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -1,9 +1,9 @@ (.using [library [lux {"-" char symbol} - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" Monad do}] + [monad (.only Monad do)] [\\specification ["$[0]" equivalence] ["$[0]" codec]]] @@ -14,20 +14,20 @@ ["</>" xml]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" dictionary] ["[0]" list ("[1]#[0]" functor)]]] [macro ["^" pattern]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]] [meta ["[0]" symbol]]]] [\\library - ["[0]" / {"+" XML}]]) + ["[0]" / (.only XML)]]) (def: char_range Text diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux index 2e8c63f0b..c15ddf662 100644 --- a/stdlib/source/test/lux/data/identity.lux +++ b/stdlib/source/test/lux/data/identity.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad] ["$[0]" comonad]]]]] [\\library - ["[0]" / {"+" Identity}]]) + ["[0]" / (.only Identity)]]) (def: injection (Injection Identity) diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux index 9f7465057..f908c32c0 100644 --- a/stdlib/source/test/lux/data/product.lux +++ b/stdlib/source/test/lux/data/product.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [math diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index f1b132062..ce9f1ae13 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index 76e6f4ccb..80b4788ae 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -1,9 +1,9 @@ (.using [library [lux {"-" char} - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux index aefc51bf1..1540b6485 100644 --- a/stdlib/source/test/lux/data/text/buffer.lux +++ b/stdlib/source/test/lux/data/text/buffer.lux @@ -1,14 +1,14 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index b0a70422c..3949cb8ba 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" codec]]] [control @@ -17,7 +17,7 @@ [macro ["[0]" template]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux index a95ea21e9..a4bd1beec 100644 --- a/stdlib/source/test/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux @@ -1,16 +1,16 @@ (.using - [library - [lux "*" - ["_" test {"+" Test}] - [abstract - [\\specification - ["$[0]" codec]]] - [data - ["[0]" text]] - [math - ["[0]" random {"+" Random}]]]] - [\\library - ["[0]" /]]) + [library + [lux "*" + ["_" test (.only Test)] + [abstract + [\\specification + ["$[0]" codec]]] + [data + ["[0]" text]] + [math + ["[0]" random (.only 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 bcff2ef7d..b69cd62eb 100644 --- a/stdlib/source/test/lux/data/text/escape.lux +++ b/stdlib/source/test/lux/data/text/escape.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" debug] ["[0]" meta] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception] @@ -13,17 +13,17 @@ ["<[0]>" code]]] [data ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text {"+" Char} ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["[0]" text (.only Char) ("[1]#[0]" equivalence) + ["%" format (.only format)]] [collection - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code] ["[0]" template]] [math - ["[0]" random {"+" Random}] - [number {"+" hex} + ["[0]" random (.only Random)] + [number (.only hex) ["n" nat]]]]] [\\library ["[0]" / diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux index 97a9005f8..b6f93d856 100644 --- a/stdlib/source/test/lux/data/text/format.lux +++ b/stdlib/source/test/lux/data/text/format.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - [equivalence {"+" Equivalence}] + [monad (.only do)] + [equivalence (.only Equivalence)] [functor [\\specification ["$[0]" contravariant]]]] @@ -25,7 +25,7 @@ ["[0]" duration] ["[0]" date]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] ["[0]" modulus] ["[0]" modular] [number diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index 7488c1b83..c1896061e 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -1,23 +1,23 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try] [parser - ["<[0]>" text {"+" Parser}] + ["<[0]>" text (.only Parser)] ["<[0]>" code]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] ["[0]" macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code]] [math - [number {"+" hex}] + [number (.only hex)] ["[0]" random]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index b7c79e556..77a739e90 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -16,8 +16,8 @@ [macro ["[0]" template]] [math - ["[0]" random {"+" Random}] - [number {"+" hex} + ["[0]" random (.only Random)] + [number (.only hex) ["n" nat]]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index 66b35626a..11270eab3 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [data @@ -12,7 +12,7 @@ [collection ["[0]" set ("[1]#[0]" equivalence)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] ["[0]" / "_" |