From b0914546f8e8ea5ef970c1f92dbb0072aa22be63 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 20 Jul 2018 23:43:59 -0400 Subject: "^open" and "open:" now use aliases instead of prefixes, the same way as module aliases. --- stdlib/test/test/lux.lux | 2 +- stdlib/test/test/lux/cli.lux | 4 +-- stdlib/test/test/lux/concurrency/actor.lux | 2 +- stdlib/test/test/lux/concurrency/frp.lux | 6 ++-- stdlib/test/test/lux/concurrency/promise.lux | 2 +- stdlib/test/test/lux/concurrency/semaphore.lux | 4 +-- stdlib/test/test/lux/concurrency/stm.lux | 2 +- stdlib/test/test/lux/control/continuation.lux | 8 ++--- stdlib/test/test/lux/control/interval.lux | 8 ++--- stdlib/test/test/lux/control/pipe.lux | 2 +- stdlib/test/test/lux/control/reader.lux | 6 ++-- stdlib/test/test/lux/control/state.lux | 8 ++--- stdlib/test/test/lux/control/writer.lux | 8 ++--- stdlib/test/test/lux/data/collection/array.lux | 8 ++--- .../test/test/lux/data/collection/dictionary.lux | 8 ++--- .../lux/data/collection/dictionary/ordered.lux | 12 +++---- stdlib/test/test/lux/data/collection/list.lux | 40 +++++++++++----------- stdlib/test/test/lux/data/collection/queue.lux | 2 +- stdlib/test/test/lux/data/collection/row.lux | 12 +++---- stdlib/test/test/lux/data/collection/sequence.lux | 14 ++++---- stdlib/test/test/lux/data/collection/set.lux | 2 +- .../test/test/lux/data/collection/set/ordered.lux | 4 +-- stdlib/test/test/lux/data/collection/tree/rose.lux | 8 ++--- .../test/lux/data/collection/tree/rose/zipper.lux | 4 +-- stdlib/test/test/lux/data/color.lux | 4 +-- stdlib/test/test/lux/data/error.lux | 6 ++-- stdlib/test/test/lux/data/format/json.lux | 8 ++--- stdlib/test/test/lux/data/format/xml.lux | 10 +++--- stdlib/test/test/lux/data/ident.lux | 8 ++--- stdlib/test/test/lux/data/identity.lux | 8 ++--- stdlib/test/test/lux/data/lazy.lux | 4 +-- stdlib/test/test/lux/data/maybe.lux | 12 +++---- stdlib/test/test/lux/data/number.lux | 20 +++++------ stdlib/test/test/lux/data/number/complex.lux | 4 +-- stdlib/test/test/lux/data/number/ratio.lux | 4 +-- stdlib/test/test/lux/data/sum.lux | 2 +- stdlib/test/test/lux/data/text.lux | 6 ++-- stdlib/test/test/lux/data/text/format.lux | 2 +- stdlib/test/test/lux/data/text/lexer.lux | 4 +-- stdlib/test/test/lux/data/text/regex.lux | 2 +- stdlib/test/test/lux/host.jvm.lux | 2 +- stdlib/test/test/lux/io.lux | 6 ++-- .../test/lux/language/compiler/analysis/case.lux | 6 ++-- .../lux/language/compiler/analysis/function.lux | 4 +-- .../lux/language/compiler/analysis/primitive.lux | 4 +-- .../compiler/analysis/procedure/common.lux | 2 +- .../lux/language/compiler/analysis/reference.lux | 6 ++-- .../lux/language/compiler/analysis/structure.lux | 6 ++-- .../test/lux/language/compiler/synthesis/case.lux | 2 +- .../lux/language/compiler/synthesis/function.lux | 4 +-- .../lux/language/compiler/synthesis/structure.lux | 2 +- stdlib/test/test/lux/language/syntax.lux | 2 +- stdlib/test/test/lux/language/type.lux | 12 +++---- stdlib/test/test/lux/language/type/check.lux | 8 ++--- stdlib/test/test/lux/macro/code.lux | 2 +- stdlib/test/test/lux/macro/poly/equivalence.lux | 4 +-- stdlib/test/test/lux/math.lux | 4 +-- stdlib/test/test/lux/math/logic/fuzzy.lux | 2 +- stdlib/test/test/lux/math/modular.lux | 6 ++-- stdlib/test/test/lux/math/random.lux | 2 +- stdlib/test/test/lux/time/date.lux | 22 ++++++------ stdlib/test/test/lux/time/duration.lux | 10 +++--- stdlib/test/test/lux/time/instant.lux | 14 ++++---- stdlib/test/test/lux/type/implicit.lux | 4 +-- stdlib/test/test/lux/world/net/tcp.lux | 2 +- 65 files changed, 209 insertions(+), 209 deletions(-) (limited to 'stdlib/test') diff --git a/stdlib/test/test/lux.lux b/stdlib/test/test/lux.lux index 5325d9b79..65f176b87 100644 --- a/stdlib/test/test/lux.lux +++ b/stdlib/test/test/lux.lux @@ -6,7 +6,7 @@ ["." maybe] [number ["." i64]] - [text ("text/" Equivalence) + [text ("text/." Equivalence) format]] ["." math ["r" random]] diff --git a/stdlib/test/test/lux/cli.lux b/stdlib/test/test/lux/cli.lux index 1504f2187..6d156d3b2 100644 --- a/stdlib/test/test/lux/cli.lux +++ b/stdlib/test/test/lux/cli.lux @@ -7,7 +7,7 @@ [data ["E" error] ["." number] - [text ("text/" Equivalence) + [text ("text/." Equivalence) format] [collection ["." list]]] @@ -20,7 +20,7 @@ (<| (times +100) (do @ [num-args (|> r.nat (:: @ map (n/% +10))) - #let [(^open "Nat/") number.Codec + #let [(^open "Nat/.") number.Codec gen-arg (:: @ map Nat/encode r.nat)] yes gen-arg #let [gen-ignore (|> (r.unicode +5) (r.filter (|>> (text/= yes) not)))] diff --git a/stdlib/test/test/lux/concurrency/actor.lux b/stdlib/test/test/lux/concurrency/actor.lux index a84ded979..a1e9ec549 100644 --- a/stdlib/test/test/lux/concurrency/actor.lux +++ b/stdlib/test/test/lux/concurrency/actor.lux @@ -9,7 +9,7 @@ [text format]] [concurrency - ["P" promise ("promise/" Monad)] + ["P" promise ("promise/." Monad)] ["T" task] ["&" actor (#+ actor: message:)]]] lux/test) diff --git a/stdlib/test/test/lux/concurrency/frp.lux b/stdlib/test/test/lux/concurrency/frp.lux index db2ad4a2f..c69ae6038 100644 --- a/stdlib/test/test/lux/concurrency/frp.lux +++ b/stdlib/test/test/lux/concurrency/frp.lux @@ -8,7 +8,7 @@ [collection ["." list]]] [concurrency - ["." promise ("promise/" Monad)] + ["." promise ("promise/." Monad)] ["." frp (#+ Channel)] ["." atom (#+ Atom atom)]]] lux/test) @@ -32,7 +32,7 @@ (wrap output))) (context: "FRP" - (let [(^open "list/") (list.Equivalence number.Equivalence)] + (let [(^open "list/.") (list.Equivalence number.Equivalence)] ($_ seq (wrap (do promise.Monad [#let [values (list 0 1 2 3 4 5)] @@ -97,7 +97,7 @@ (do io.Monad [#let [>f< (: (Channel (-> Int Int)) (frp.channel [])) >a< (: (Channel Int) (frp.channel []))] - output (read! (let [(^open) frp.Apply] + output (read! (let [(^open ".") frp.Apply] (apply >f< >a<))) _ (write! (list inc) >f<) _ (write! (list 12345) >a<)] diff --git a/stdlib/test/test/lux/concurrency/promise.lux b/stdlib/test/test/lux/concurrency/promise.lux index 2ede2b349..7dda27503 100644 --- a/stdlib/test/test/lux/concurrency/promise.lux +++ b/stdlib/test/test/lux/concurrency/promise.lux @@ -5,7 +5,7 @@ ["M" monad (#+ do Monad)] pipe] [concurrency - ["&" promise ("&/" Monad)]] + ["&" promise ("&/." Monad)]] [math ["r" random]]] lux/test) diff --git a/stdlib/test/test/lux/concurrency/semaphore.lux b/stdlib/test/test/lux/concurrency/semaphore.lux index b941654f0..df145ff82 100644 --- a/stdlib/test/test/lux/concurrency/semaphore.lux +++ b/stdlib/test/test/lux/concurrency/semaphore.lux @@ -4,10 +4,10 @@ ["." monad (#+ do)]] [data ["." maybe] - ["." text ("text/" Equivalence Monoid) + ["." text ("text/." Equivalence Monoid) format] [collection - ["." list ("list/" Functor)]]] + ["." list ("list/." Functor)]]] [concurrency ["/" semaphore] ["." promise (#+ Promise)] diff --git a/stdlib/test/test/lux/concurrency/stm.lux b/stdlib/test/test/lux/concurrency/stm.lux index d4697cd6e..a1897b846 100644 --- a/stdlib/test/test/lux/concurrency/stm.lux +++ b/stdlib/test/test/lux/concurrency/stm.lux @@ -6,7 +6,7 @@ [data ["." number] [collection - ["." list ("list/" Functor)]]] + ["." list ("list/." Functor)]]] [concurrency ["." atom (#+ Atom atom)] ["&" stm] diff --git a/stdlib/test/test/lux/control/continuation.lux b/stdlib/test/test/lux/control/continuation.lux index 60dfb7ac4..be7ac920c 100644 --- a/stdlib/test/test/lux/control/continuation.lux +++ b/stdlib/test/test/lux/control/continuation.lux @@ -14,8 +14,8 @@ (<| (times +100) (do @ [sample r.nat - #let [(^open "&/") &.Apply - (^open "&/") &.Monad] + #let [(^open "&/.") &.Apply + (^open "&/.") &.Monad] elems (r.list +3 r.nat)] ($_ seq (test "Can run continuations to compute their values." @@ -55,8 +55,8 @@ (wrap output)))))) (test "Can use delimited continuations with shifting." - (let [(^open "&/") &.Monad - (^open "L/") (list.Equivalence number.Equivalence) + (let [(^open "&/.") &.Monad + (^open "L/.") (list.Equivalence number.Equivalence) visit (: (-> (List Nat) (&.Cont (List Nat) (List Nat))) (function (visit xs) diff --git a/stdlib/test/test/lux/control/interval.lux b/stdlib/test/test/lux/control/interval.lux index 190ebce0d..ba2e3c7b3 100644 --- a/stdlib/test/test/lux/control/interval.lux +++ b/stdlib/test/test/lux/control/interval.lux @@ -18,7 +18,7 @@ (do @ [bottom r.int top r.int - #let [(^open "&/") &.Equivalence]] + #let [(^open "&/.") &.Equivalence]] ($_ seq (test "Every interval is equal to itself." (and (let [self (&.between number.Enum bottom top)] @@ -94,7 +94,7 @@ right-singleton gen-singleton left-outer gen-outer right-outer gen-outer - #let [(^open "&/") &.Equivalence]] + #let [(^open "&/.") &.Equivalence]] ($_ seq (test "The union of an interval to itself yields the same interval." (&/= some-interval (&.union some-interval some-interval))) @@ -116,7 +116,7 @@ right-singleton gen-singleton left-outer gen-outer right-outer gen-outer - #let [(^open "&/") &.Equivalence]] + #let [(^open "&/.") &.Equivalence]] ($_ seq (test "The intersection of an interval to itself yields the same interval." (&/= some-interval (&.intersection some-interval some-interval))) @@ -132,7 +132,7 @@ (<| (times +100) (do @ [some-interval gen-interval - #let [(^open "&/") &.Equivalence]] + #let [(^open "&/.") &.Equivalence]] ($_ seq (test "The complement of a complement is the same as the original." (&/= some-interval (|> some-interval &.complement &.complement))) diff --git a/stdlib/test/test/lux/control/pipe.lux b/stdlib/test/test/lux/control/pipe.lux index d03becffc..2cc09fbf8 100644 --- a/stdlib/test/test/lux/control/pipe.lux +++ b/stdlib/test/test/lux/control/pipe.lux @@ -5,7 +5,7 @@ pipe] [data identity - [text ("text/" Equivalence) + [text ("text/." Equivalence) format]] [math ["r" random]]] diff --git a/stdlib/test/test/lux/control/reader.lux b/stdlib/test/test/lux/control/reader.lux index 51b1f82f3..135cce4ee 100644 --- a/stdlib/test/test/lux/control/reader.lux +++ b/stdlib/test/test/lux/control/reader.lux @@ -8,8 +8,8 @@ lux/test) (context: "Readers" - (let [(^open "&/") &.Apply - (^open "&/") &.Monad] + (let [(^open "&/.") &.Apply + (^open "&/.") &.Monad] ($_ seq (test "" (i/= 123 (&.run 123 &.ask))) (test "" (i/= 246 (&.run 123 (&.local (i/* 2) &.ask)))) @@ -23,7 +23,7 @@ (wrap (f x y))))))))) (context: "Monad transformer" - (let [(^open "io/") io.Monad] + (let [(^open "io/.") io.Monad] (test "Can add reader functionality to any monad." (|> (: (&.Reader Text (io.IO Int)) (do (&.ReaderT io.Monad) diff --git a/stdlib/test/test/lux/control/state.lux b/stdlib/test/test/lux/control/state.lux index 2b3b3160c..e7f26bfe3 100644 --- a/stdlib/test/test/lux/control/state.lux +++ b/stdlib/test/test/lux/control/state.lux @@ -51,9 +51,9 @@ (do @ [state r.nat value r.nat - #let [(^open "&/") &.Functor - (^open "&/") &.Apply - (^open "&/") &.Monad]] + #let [(^open "&/.") &.Functor + (^open "&/.") &.Apply + (^open "&/.") &.Monad]] ($_ seq (test "Can use functor." (with-conditions [state (inc state)] @@ -80,7 +80,7 @@ [state r.nat left r.nat right r.nat] - (let [(^open "io/") io.Monad] + (let [(^open "io/.") io.Monad] (test "Can add state functionality to any monad." (|> (: (&.State' io.IO Nat Nat) (do (&.Monad io.Monad) diff --git a/stdlib/test/test/lux/control/writer.lux b/stdlib/test/test/lux/control/writer.lux index 7172e865e..6b31046ea 100644 --- a/stdlib/test/test/lux/control/writer.lux +++ b/stdlib/test/test/lux/control/writer.lux @@ -7,12 +7,12 @@ ["&" writer]] [data ["." product] - ["." text ("text/" Equivalence)]]] + ["." text ("text/." Equivalence)]]] lux/test) (context: "Writer." - (let [(^open "&/") (&.Monad text.Monoid) - (^open "&/") (&.Apply text.Monoid)] + (let [(^open "&/.") (&.Monad text.Monoid) + (^open "&/.") (&.Apply text.Monoid)] ($_ seq (test "Functor respects Writer." (i/= 11 (product.right (&/map inc ["" 10])))) @@ -34,7 +34,7 @@ (context: "Monad transformer" (let [lift (&.lift text.Monoid io.Monad) - (^open "io/") io.Monad] + (^open "io/.") io.Monad] (test "Can add writer functionality to any monad." (|> (io.run (do (&.WriterT text.Monoid io.Monad) [a (lift (io/wrap 123)) diff --git a/stdlib/test/test/lux/data/collection/array.lux b/stdlib/test/test/lux/data/collection/array.lux index a362df27b..0e42c7132 100644 --- a/stdlib/test/test/lux/data/collection/array.lux +++ b/stdlib/test/test/lux/data/collection/array.lux @@ -104,8 +104,8 @@ (do @ [size bounded-size array (r.array size r.nat)] - (let [(^open) @.Functor - (^open) (@.Equivalence number.Equivalence)] + (let [(^open ".") @.Functor + (^open ".") (@.Equivalence number.Equivalence)] ($_ seq (test "Functor shouldn't alter original array." (let [copy (map id array)] @@ -124,8 +124,8 @@ sizeR bounded-size left (r.array sizeL r.nat) right (r.array sizeR r.nat) - #let [(^open) @.Monoid - (^open) (@.Equivalence number.Equivalence) + #let [(^open ".") @.Monoid + (^open ".") (@.Equivalence number.Equivalence) fusion (compose left right)]] ($_ seq (test "Appending two arrays should produce a new one twice as large." diff --git a/stdlib/test/test/lux/data/collection/dictionary.lux b/stdlib/test/test/lux/data/collection/dictionary.lux index c56bd7d42..aec463ec8 100644 --- a/stdlib/test/test/lux/data/collection/dictionary.lux +++ b/stdlib/test/test/lux/data/collection/dictionary.lux @@ -8,7 +8,7 @@ ["." maybe] [collection ["&" dictionary] - ["." list ("list/" Fold Functor)]]] + ["." list ("list/." Fold Functor)]]] [math ["r" random]]] lux/test) @@ -90,19 +90,19 @@ (n/= (dec (&.size plus)) (&.size base))))) (test "A Dictionary should equal itself & going to<->from lists shouldn't change that." - (let [(^open) (&.Equivalence number.Equivalence)] + (let [(^open ".") (&.Equivalence number.Equivalence)] (and (= dict dict) (|> dict &.entries (&.from-list number.Hash) (= dict))))) (test "Merging a Dictionary to itself changes nothing." - (let [(^open) (&.Equivalence number.Equivalence)] + (let [(^open ".") (&.Equivalence number.Equivalence)] (= dict (&.merge dict dict)))) (test "If you merge, and the second dict has overlapping keys, it should overwrite yours." (let [dict' (|> dict &.entries (list/map (function (_ [k v]) [k (inc v)])) (&.from-list number.Hash)) - (^open) (&.Equivalence number.Equivalence)] + (^open ".") (&.Equivalence number.Equivalence)] (= dict' (&.merge dict' dict)))) (test "Can merge values in such a way that they become combined." diff --git a/stdlib/test/test/lux/data/collection/dictionary/ordered.lux b/stdlib/test/test/lux/data/collection/dictionary/ordered.lux index b95f889b1..b3d917625 100644 --- a/stdlib/test/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/test/test/lux/data/collection/dictionary/ordered.lux @@ -10,7 +10,7 @@ ["s" set] ["dict" dictionary ["&" ordered]] - ["." list ("list/" Functor)]]] + ["." list ("list/." Functor)]]] [math ["r" random]]] lux/test) @@ -30,7 +30,7 @@ (n/< left right)) pairs) sorted-values (list/map product.right sorted-pairs) - (^open "&/") (&.Equivalence number.Equivalence)]] + (^open "&/.") (&.Equivalence number.Equivalence)]] ($_ seq (test "Can query the size of a dictionary." (n/= size (&.size sample))) @@ -63,10 +63,10 @@ (&/= sample))) (test "Order is preserved." - (let [(^open "list/") (list.Equivalence (: (Equivalence [Nat Nat]) - (function (_ [kr vr] [ks vs]) - (and (n/= kr ks) - (n/= vr vs)))))] + (let [(^open "list/.") (list.Equivalence (: (Equivalence [Nat Nat]) + (function (_ [kr vr] [ks vs]) + (and (n/= kr ks) + (n/= vr vs)))))] (list/= (&.entries sample) sorted-pairs))) diff --git a/stdlib/test/test/lux/data/collection/list.lux b/stdlib/test/test/lux/data/collection/list.lux index 2e8ac8b0e..2afdcefe2 100644 --- a/stdlib/test/test/lux/data/collection/list.lux +++ b/stdlib/test/test/lux/data/collection/list.lux @@ -29,8 +29,8 @@ other-size bounded-size other-sample (r.list other-size r.nat) separator r.nat - #let [(^open) (&.Equivalence number.Equivalence) - (^open "&/") &.Functor]] + #let [(^open ".") (&.Equivalence number.Equivalence) + (^open "&/.") &.Functor]] ($_ seq (test "The size function should correctly portray the size of the list." (n/= size (&.size sample))) @@ -75,8 +75,8 @@ other-size bounded-size other-sample (r.list other-size r.nat) separator r.nat - #let [(^open) (&.Equivalence number.Equivalence) - (^open "&/") &.Functor]] + #let [(^open ".") (&.Equivalence number.Equivalence) + (^open "&/.") &.Functor]] ($_ seq (test "Appending the head and the tail should yield the original list." (let [head (maybe.assume (&.head sample)) @@ -85,21 +85,21 @@ (#.Cons head tail)))) (test "Appending the inits and the last should yield the original list." - (let [(^open) &.Monoid + (let [(^open ".") &.Monoid inits (maybe.assume (&.inits sample)) last (maybe.assume (&.last sample))] (= sample (compose inits (list last))))) (test "Functor should go over every element of the list." - (let [(^open) &.Functor + (let [(^open ".") &.Functor there (map inc sample) back-again (map dec there)] (and (not (= sample there)) (= sample back-again)))) (test "Splitting a list into chunks and re-appending them should yield the original list." - (let [(^open) &.Monoid + (let [(^open ".") &.Monoid [left right] (&.split idx sample) [left' right'] (&.split-with n/even? sample)] (and (= sample @@ -138,22 +138,22 @@ separator r.nat from (|> r.nat (:: @ map (n/% +10))) to (|> r.nat (:: @ map (n/% +10))) - #let [(^open) (&.Equivalence number.Equivalence) - (^open "&/") &.Functor]] + #let [(^open ".") (&.Equivalence number.Equivalence) + (^open "&/.") &.Functor]] ($_ seq (test "If you zip 2 lists, the result's size will be that of the smaller list." (n/= (&.size (&.zip2 sample other-sample)) (n/min (&.size sample) (&.size other-sample)))) (test "I can pair-up elements of a list in order." - (let [(^open) &.Functor + (let [(^open ".") &.Functor zipped (&.zip2 sample other-sample) num-zipper (&.size zipped)] (and (|> zipped (map product.left) (= (&.take num-zipper sample))) (|> zipped (map product.right) (= (&.take num-zipper other-sample)))))) (test "You can generate indices for any size, and they will be in ascending order." - (let [(^open) &.Functor + (let [(^open ".") &.Functor indices (&.indices size)] (and (n/= size (&.size indices)) (= indices @@ -165,14 +165,14 @@ ))) (test "The 'interpose' function places a value between every member of a list." - (let [(^open) &.Functor + (let [(^open ".") &.Functor sample+ (&.interpose separator sample)] (and (n/= (|> size (n/* +2) dec) (&.size sample+)) (|> sample+ &.as-pairs (map product.right) (&.every? (n/= separator)))))) (test "List append is a monoid." - (let [(^open) &.Monoid] + (let [(^open ".") &.Monoid] (and (= sample (compose identity sample)) (= sample (compose sample identity)) (let [[left right] (&.split size (compose sample other-sample))] @@ -180,15 +180,15 @@ (= other-sample right)))))) (test "Apply allows you to create singleton lists, and apply lists of functions to lists of values." - (let [(^open) &.Monad - (^open) &.Apply] + (let [(^open ".") &.Monad + (^open ".") &.Apply] (and (= (list separator) (wrap separator)) (= (map inc sample) (apply (wrap inc) sample))))) (test "List concatenation is a monad." - (let [(^open) &.Monad - (^open) &.Monoid] + (let [(^open ".") &.Monad + (^open ".") &.Monoid] (= (compose sample other-sample) (join (list sample other-sample))))) @@ -216,10 +216,10 @@ (&/map product.right enum-sample))))) (test "Ranges can be constructed forward and backwards." - (and (let [(^open "list/") (&.Equivalence number.Equivalence)] + (and (let [(^open "list/.") (&.Equivalence number.Equivalence)] (list/= (&.n/range from to) (&.reverse (&.n/range to from)))) - (let [(^open "list/") (&.Equivalence number.Equivalence) + (let [(^open "list/.") (&.Equivalence number.Equivalence) from (.int from) to (.int to)] (list/= (&.i/range from to) @@ -229,7 +229,7 @@ ## TODO: Add again once new-luxc becomes the standard compiler. (context: "Monad transformer" (let [lift (&.lift io.Monad) - (^open "io/") io.Monad] + (^open "io/.") io.Monad] (test "Can add list functionality to any monad." (|> (io.run (do (&.ListT io.Monad) [a (lift (io/wrap 123)) diff --git a/stdlib/test/test/lux/data/collection/queue.lux b/stdlib/test/test/lux/data/collection/queue.lux index 82ea751d8..935f8f22b 100644 --- a/stdlib/test/test/lux/data/collection/queue.lux +++ b/stdlib/test/test/lux/data/collection/queue.lux @@ -30,7 +30,7 @@ (n/= size (&.size (&.pop (&.push non-member sample)))))) (test "Transforming to/from list can't change the queue." - (let [(^open "&/") (&.Equivalence number.Equivalence)] + (let [(^open "&/.") (&.Equivalence number.Equivalence)] (|> sample &.to-list &.from-list (&/= sample)))) diff --git a/stdlib/test/test/lux/data/collection/row.lux b/stdlib/test/test/lux/data/collection/row.lux index ad71d0380..ec6d7659d 100644 --- a/stdlib/test/test/lux/data/collection/row.lux +++ b/stdlib/test/test/lux/data/collection/row.lux @@ -6,7 +6,7 @@ ["." number] ["." maybe] [collection ["&" row] - [list ("list/" Fold)]]] + [list ("list/." Fold)]]] [math ["r" random]]] lux/test) @@ -19,11 +19,11 @@ sample (r.row size r.nat) other-sample (r.row size r.nat) non-member (|> r.nat (r.filter (|>> (&.member? number.Equivalence sample) not))) - #let [(^open "&/") (&.Equivalence number.Equivalence) - (^open "&/") &.Apply - (^open "&/") &.Monad - (^open "&/") &.Fold - (^open "&/") &.Monoid]] + #let [(^open "&/.") (&.Equivalence number.Equivalence) + (^open "&/.") &.Apply + (^open "&/.") &.Monad + (^open "&/.") &.Fold + (^open "&/.") &.Monoid]] ($_ seq (test "Can query size of row." (if (&.empty? sample) diff --git a/stdlib/test/test/lux/data/collection/sequence.lux b/stdlib/test/test/lux/data/collection/sequence.lux index b33882557..dd545e906 100644 --- a/stdlib/test/test/lux/data/collection/sequence.lux +++ b/stdlib/test/test/lux/data/collection/sequence.lux @@ -5,8 +5,8 @@ comonad] [data ["." maybe] - ["." number ("nat/" Codec)] - ["." text ("text/" Monoid)] + ["." number ("nat/." Codec)] + ["." text ("text/." Monoid)] [collection ["." list] ["&" sequence]]] @@ -23,7 +23,7 @@ elem r.nat cycle-seed (r.list size r.nat) cycle-sample-idx (|> r.nat (:: @ map (n/% +1000))) - #let [(^open "List/") (list.Equivalence number.Equivalence) + #let [(^open "List/.") (list.Equivalence number.Equivalence) sample0 (&.iterate inc +0) sample1 (&.iterate inc offset)]] ($_ seq @@ -68,7 +68,7 @@ (&.nth offset odds)))))) (test "Functor goes over 'all' elements in a sequence." - (let [(^open "&/") &.Functor + (let [(^open "&/.") &.Functor there (&/map (n/* factor) sample0) back-again (&/map (n// factor) there)] (and (not (List/= (&.take size sample0) @@ -77,7 +77,7 @@ (&.take size back-again))))) (test "CoMonad produces a value for every element in a sequence." - (let [(^open "&/") &.Functor] + (let [(^open "&/.") &.Functor] (List/= (&.take size (&/map (n/* factor) sample1)) (&.take size (be &.CoMonad @@ -85,8 +85,8 @@ (n/* factor (&.head inputs))))))) (test "'unfold' generalizes 'iterate'." - (let [(^open "&/") &.Functor - (^open "List/") (list.Equivalence text.Equivalence)] + (let [(^open "&/.") &.Functor + (^open "List/.") (list.Equivalence text.Equivalence)] (List/= (&.take size (&/map nat/encode (&.iterate inc offset))) (&.take size diff --git a/stdlib/test/test/lux/data/collection/set.lux b/stdlib/test/test/lux/data/collection/set.lux index 3db08f344..78bb1bc42 100644 --- a/stdlib/test/test/lux/data/collection/set.lux +++ b/stdlib/test/test/lux/data/collection/set.lux @@ -25,7 +25,7 @@ setR (r.set number.Hash sizeR gen-nat) non-member (|> gen-nat (r.filter (|>> (&.member? setL) not))) - #let [(^open "&/") &.Equivalence]] + #let [(^open "&/.") &.Equivalence]] ($_ seq (test "I can query the size of a set." (and (n/= sizeL (&.size setL)) diff --git a/stdlib/test/test/lux/data/collection/set/ordered.lux b/stdlib/test/test/lux/data/collection/set/ordered.lux index d75fe3c53..fe7b3069c 100644 --- a/stdlib/test/test/lux/data/collection/set/ordered.lux +++ b/stdlib/test/test/lux/data/collection/set/ordered.lux @@ -26,7 +26,7 @@ sizeR gen-nat listL (|> (r.set number.Hash sizeL gen-nat) (:: @ map set.to-list)) listR (|> (r.set number.Hash sizeR gen-nat) (:: @ map set.to-list)) - #let [(^open "&/") &.Equivalence + #let [(^open "&/.") &.Equivalence setL (&.from-list number.Order listL) setR (&.from-list number.Order listR) sortedL (list.sort n/< listL) @@ -65,7 +65,7 @@ (test "Order is preserved." (let [listL (&.to-list setL) - (^open "L/") (list.Equivalence number.Equivalence)] + (^open "L/.") (list.Equivalence number.Equivalence)] (L/= listL (list.sort n/< listL)))) diff --git a/stdlib/test/test/lux/data/collection/tree/rose.lux b/stdlib/test/test/lux/data/collection/tree/rose.lux index f1cb294fb..a891807b8 100644 --- a/stdlib/test/test/lux/data/collection/tree/rose.lux +++ b/stdlib/test/test/lux/data/collection/tree/rose.lux @@ -5,10 +5,10 @@ [data ["." product] ["." number] - [text ("text/" Equivalence) + [text ("text/." Equivalence) format] [collection - ["." list ("list/" Functor Fold)] + ["." list ("list/." Functor Fold)] [tree ["&" rose]]]] [math @@ -34,8 +34,8 @@ (<| (times +100) (do @ [[size sample] gen-tree - #let [(^open "&/") (&.Equivalence number.Equivalence) - (^open "&/") &.Fold + #let [(^open "&/.") (&.Equivalence number.Equivalence) + (^open "&/.") &.Fold concat (function (_ addition partial) (format partial (%n addition)))]] ($_ seq (test "Can compare trees for equivalence." diff --git a/stdlib/test/test/lux/data/collection/tree/rose/zipper.lux b/stdlib/test/test/lux/data/collection/tree/rose/zipper.lux index 1a24a805b..01ba51e80 100644 --- a/stdlib/test/test/lux/data/collection/tree/rose/zipper.lux +++ b/stdlib/test/test/lux/data/collection/tree/rose/zipper.lux @@ -40,8 +40,8 @@ new-val r.nat pre-val r.nat post-val r.nat - #let [(^open "tree/") (rose.Equivalence number.Equivalence) - (^open "list/") (list.Equivalence number.Equivalence)]] + #let [(^open "tree/.") (rose.Equivalence number.Equivalence) + (^open "list/.") (list.Equivalence number.Equivalence)]] ($_ seq (test "Trees can be converted to/from zippers." (|> sample diff --git a/stdlib/test/test/lux/data/color.lux b/stdlib/test/test/lux/data/color.lux index 246945686..d9555a79c 100644 --- a/stdlib/test/test/lux/data/color.lux +++ b/stdlib/test/test/lux/data/color.lux @@ -4,7 +4,7 @@ [monad (#+ do)]] [data ["@" color] - [number ("frac/" Number)]] + [number ("frac/." Number)]] ["." math ["r" random]]] lux/test) @@ -79,7 +79,7 @@ (distance (@.brighter ratio colorful) white)))) (test "Can calculate complement." (let [~any (@.complement any) - (^open "@/") @.Equivalence] + (^open "@/.") @.Equivalence] (and (not (@/= any ~any)) (@/= any (@.complement ~any))))) (test "Can saturate color." diff --git a/stdlib/test/test/lux/data/error.lux b/stdlib/test/test/lux/data/error.lux index 9b69c6a80..bea6146aa 100644 --- a/stdlib/test/test/lux/data/error.lux +++ b/stdlib/test/test/lux/data/error.lux @@ -9,8 +9,8 @@ lux/test) (context: "Errors" - (let [(^open "&/") &.Apply - (^open "&/") &.Monad] + (let [(^open "&/.") &.Apply + (^open "&/.") &.Monad] ($_ seq (test "Functor correctly handles both cases." (and (|> (: (&.Error Int) (#&.Success 10)) @@ -48,7 +48,7 @@ (context: "Monad transformer" (let [lift (&.lift io.Monad) - (^open "io/") io.Monad] + (^open "io/.") io.Monad] (test "Can add error functionality to any monad." (|> (io.run (do (&.ErrorT io.Monad) [a (lift (io/wrap 123)) diff --git a/stdlib/test/test/lux/data/format/json.lux b/stdlib/test/test/lux/data/format/json.lux index 2183c5004..60cecbd6d 100644 --- a/stdlib/test/test/lux/data/format/json.lux +++ b/stdlib/test/test/lux/data/format/json.lux @@ -58,8 +58,8 @@ (<| (times +100) (do @ [sample gen-json - #let [(^open "@/") @.Equivalence - (^open "@/") @.Codec]] + #let [(^open "@/.") @.Equivalence + (^open "@/.") @.Codec]] ($_ seq (test "Every JSON is equal to itself." (@/= sample sample)) @@ -171,8 +171,8 @@ ## (times +100) (do @ [sample gen-record - #let [(^open "@/") Equivalence - (^open "@/") Codec]] + #let [(^open "@/.") Equivalence + (^open "@/.") Codec]] (test "Can encode/decode arbitrary types." (|> sample @/encode @/decode (case> (#e.Success result) diff --git a/stdlib/test/test/lux/data/format/xml.lux b/stdlib/test/test/lux/data/format/xml.lux index 8795e7f27..d09dc1b45 100644 --- a/stdlib/test/test/lux/data/format/xml.lux +++ b/stdlib/test/test/lux/data/format/xml.lux @@ -8,15 +8,15 @@ ["." ident] ["E" error] ["." maybe] - ["." text ("text/" Equivalence) + ["." text ("text/." Equivalence) format] [format ["&" xml]] [collection ["dict" dictionary] - ["." list ("list/" Functor)]]] + ["." list ("list/." Functor)]]] [math - ["r" random ("r/" Monad)]]] + ["r" random ("r/." Monad)]]] lux/test) (def: char-range @@ -62,8 +62,8 @@ (<| (times +100) (do @ [sample gen-xml - #let [(^open "&/") &.Equivalence - (^open "&/") &.Codec]] + #let [(^open "&/.") &.Equivalence + (^open "&/.") &.Codec]] ($_ seq (test "Every XML is equal to itself." (&/= sample sample)) diff --git a/stdlib/test/test/lux/data/ident.lux b/stdlib/test/test/lux/data/ident.lux index 622edf474..ed9339f01 100644 --- a/stdlib/test/test/lux/data/ident.lux +++ b/stdlib/test/test/lux/data/ident.lux @@ -5,7 +5,7 @@ pipe] [data ["&" ident] - ["." text ("text/" Equivalence) + ["." text ("text/." Equivalence) format]] [math ["r" random]]] @@ -30,8 +30,8 @@ module2 (gen-part sizeM2) name2 (gen-part sizeN2) #let [ident2 [module2 name2]] - #let [(^open "&/") &.Equivalence - (^open "&/") &.Codec]] + #let [(^open "&/.") &.Equivalence + (^open "&/.") &.Codec]] ($_ seq (test "Can get the module & name parts of an ident." (and (is? module1 (&.module ident1)) @@ -58,7 +58,7 @@ )))) (context: "Ident-related macros." - (let [(^open "&/") &.Equivalence] + (let [(^open "&/.") &.Equivalence] ($_ seq (test "Can obtain Ident from symbol." (and (&/= ["lux" "yolo"] (ident-for .yolo)) diff --git a/stdlib/test/test/lux/data/identity.lux b/stdlib/test/test/lux/data/identity.lux index 9fe0cb50e..c7703f24b 100644 --- a/stdlib/test/test/lux/data/identity.lux +++ b/stdlib/test/test/lux/data/identity.lux @@ -5,13 +5,13 @@ comonad] [data ["&" identity] - [text ("text/" Monoid Equivalence)]]] + [text ("text/." Monoid Equivalence)]]] lux/test) (context: "Identity" - (let [(^open "&/") &.Apply - (^open "&/") &.Monad - (^open "&/") &.CoMonad] + (let [(^open "&/.") &.Apply + (^open "&/.") &.Monad + (^open "&/.") &.CoMonad] ($_ seq (test "Functor does not affect values." (text/= "yololol" (&/map (text/compose "yolo") "lol"))) diff --git a/stdlib/test/test/lux/data/lazy.lux b/stdlib/test/test/lux/data/lazy.lux index 785f08719..094a1d164 100644 --- a/stdlib/test/test/lux/data/lazy.lux +++ b/stdlib/test/test/lux/data/lazy.lux @@ -46,8 +46,8 @@ (n/= (inc sample)))) (test "Apply apply." - (let [(^open "&/") &.Monad - (^open "&/") &.Apply] + (let [(^open "&/.") &.Monad + (^open "&/.") &.Apply] (|> (&/apply (&/wrap inc) (&/wrap sample)) &.thaw (n/= (inc sample))))) diff --git a/stdlib/test/test/lux/data/maybe.lux b/stdlib/test/test/lux/data/maybe.lux index 4a1d39552..95ee39d91 100644 --- a/stdlib/test/test/lux/data/maybe.lux +++ b/stdlib/test/test/lux/data/maybe.lux @@ -1,18 +1,18 @@ (.module: [lux #* - ["." io ("io/" Monad)] + ["." io ("io/." Monad)] [control ["M" monad (#+ do Monad)] pipe] [data - ["&" maybe ("&/" Monoid)] - ["." text ("text/" Monoid)]]] + ["&" maybe ("&/." Monoid)] + ["." text ("text/." Monoid)]]] lux/test) (context: "Maybe" - (let [(^open "&/") &.Apply - (^open "&/") &.Monad - (^open "&/") (&.Equivalence text.Equivalence)] + (let [(^open "&/.") &.Apply + (^open "&/.") &.Monad + (^open "&/.") (&.Equivalence text.Equivalence)] ($_ seq (test "Can compare Maybe values." (and (&/= #.None #.None) diff --git a/stdlib/test/test/lux/data/number.lux b/stdlib/test/test/lux/data/number.lux index fc96fd8ff..93c0ac68d 100644 --- a/stdlib/test/test/lux/data/number.lux +++ b/stdlib/test/test/lux/data/number.lux @@ -5,7 +5,7 @@ pipe] [data number - [text ("text/" Equivalence) + [text ("text/." Equivalence) format]] [math ["r" random]]] @@ -33,8 +33,8 @@ (<| (times +100) (do @ [x rand-gen - #let [(^open) - (^open) ]] + #let [(^open ".") + (^open ".") ]] (test "" (and (>= x (abs x)) ## abs(0.0) == 0.0 && negate(abs(0.0)) == -0.0 (or (text/= "Frac" category) @@ -56,8 +56,8 @@ (<| (times +100) (do @ [x rand-gen] - (test "" (let [(^open) - (^open) ] + (test "" (let [(^open ".") + (^open ".") ] (and (> x (:: succ x)) (< x @@ -78,8 +78,8 @@ (<| (times +100) (do @ [x (|> rand-gen (r.filter )) - #let [(^open) - (^open) ]] + #let [(^open ".") + (^open ".") ]] (test "" (and (<= x (:: bottom)) (>= x (:: top)))))))] @@ -95,9 +95,9 @@ (<| (times +100) (do @ [x (|> rand-gen (:: @ map (|>> (:: abs) )) (r.filter )) - #let [(^open) - (^open) - (^open) ]] + #let [(^open ".") + (^open ".") + (^open ".") ]] (test "Composing with identity doesn't change the value." (and (= x (compose identity x)) (= x (compose x identity)) diff --git a/stdlib/test/test/lux/data/number/complex.lux b/stdlib/test/test/lux/data/number/complex.lux index 838c625c6..9347b891c 100644 --- a/stdlib/test/test/lux/data/number/complex.lux +++ b/stdlib/test/test/lux/data/number/complex.lux @@ -4,10 +4,10 @@ [monad (#+ do Monad)] pipe] [data - ["." number ("frac/" Number) + ["." number ("frac/." Number) ["&" complex]] [collection - ["." list ("list/" Functor)]]] + ["." list ("list/." Functor)]]] ["." math ["r" random]]] lux/test) diff --git a/stdlib/test/test/lux/data/number/ratio.lux b/stdlib/test/test/lux/data/number/ratio.lux index 32fc03e7a..8a2f1640d 100644 --- a/stdlib/test/test/lux/data/number/ratio.lux +++ b/stdlib/test/test/lux/data/number/ratio.lux @@ -5,7 +5,7 @@ pipe] [data [number - ["&" ratio ("&/" Number)]]] + ["&" ratio ("&/." Number)]]] [math ["r" random]]] lux/test) @@ -106,7 +106,7 @@ (<| (times +100) (do @ [sample gen-ratio - #let [(^open "&/") &.Codec]] + #let [(^open "&/.") &.Codec]] (test "Can encode/decode ratios." (|> sample &/encode &/decode (case> (#.Right output) diff --git a/stdlib/test/test/lux/data/sum.lux b/stdlib/test/test/lux/data/sum.lux index 4d699581f..a771a23bb 100644 --- a/stdlib/test/test/lux/data/sum.lux +++ b/stdlib/test/test/lux/data/sum.lux @@ -10,7 +10,7 @@ lux/test) (context: "Sum operations" - (let [(^open "List/") (list.Equivalence text.Equivalence)] + (let [(^open "List/.") (list.Equivalence text.Equivalence)] ($_ seq (test "Can inject values into Either." (and (|> (left "Hello") (case> (+0 "Hello") #1 _ #0)) diff --git a/stdlib/test/test/lux/data/text.lux b/stdlib/test/test/lux/data/text.lux index bb7ee219a..e4982cab7 100644 --- a/stdlib/test/test/lux/data/text.lux +++ b/stdlib/test/test/lux/data/text.lux @@ -66,7 +66,7 @@ fake-sample (&.join-with " " (list sampleL sampleR)) dup-sample (&.join-with "" (list sampleL sampleR)) enclosed-sample (&.enclose [sampleR sampleR] sampleL) - (^open) &.Equivalence]] + (^open ".") &.Equivalence]] (test "" (and (not (= sample fake-sample)) (= sample dup-sample) (&.starts-with? sampleL sample) @@ -114,7 +114,7 @@ parts (r.list sizeL part-gen) #let [sample1 (&.concat (list.interpose sep1 parts)) sample2 (&.concat (list.interpose sep2 parts)) - (^open "&/") &.Equivalence]] + (^open "&/.") &.Equivalence]] ($_ seq (test "Can split text through a separator." (n/= (list.size parts) @@ -126,7 +126,7 @@ )))) (context: "Structures" - (let [(^open "&/") &.Order] + (let [(^open "&/.") &.Order] ($_ seq (test "" (&/< "bcd" "abc")) (test "" (not (&/< "abc" "abc"))) diff --git a/stdlib/test/test/lux/data/text/format.lux b/stdlib/test/test/lux/data/text/format.lux index eb42a088d..a66a579b6 100644 --- a/stdlib/test/test/lux/data/text/format.lux +++ b/stdlib/test/test/lux/data/text/format.lux @@ -8,7 +8,7 @@ lux/test) (context: "Formatters" - (let [(^open "&/") text.Equivalence] + (let [(^open "&/.") text.Equivalence] ($_ seq (test "Can format common values simply." (and (&/= "#1" (%b #1)) diff --git a/stdlib/test/test/lux/data/text/lexer.lux b/stdlib/test/test/lux/data/text/lexer.lux index d86093f3a..392b0ccc8 100644 --- a/stdlib/test/test/lux/data/text/lexer.lux +++ b/stdlib/test/test/lux/data/text/lexer.lux @@ -6,7 +6,7 @@ ["p" parser]] [data ["E" error] - ["." text ("text/" Equivalence) + ["." text ("text/." Equivalence) format ["&" lexer]] [collection @@ -33,7 +33,7 @@ (def: (should-passL test input) (-> (List Text) (E.Error (List Text)) Bit) - (let [(^open "list/") (list.Equivalence text.Equivalence)] + (let [(^open "list/.") (list.Equivalence text.Equivalence)] (case input (#.Right output) (list/= test output) diff --git a/stdlib/test/test/lux/data/text/regex.lux b/stdlib/test/test/lux/data/text/regex.lux index c177e07a4..2b9a5b9df 100644 --- a/stdlib/test/test/lux/data/text/regex.lux +++ b/stdlib/test/test/lux/data/text/regex.lux @@ -5,7 +5,7 @@ pipe ["p" parser]] [data - [text ("text/" Equivalence) + [text ("text/." Equivalence) format ["." lexer (#+ Lexer)] ["&" regex]]] diff --git a/stdlib/test/test/lux/host.jvm.lux b/stdlib/test/test/lux/host.jvm.lux index b2b88148c..400f786b0 100644 --- a/stdlib/test/test/lux/host.jvm.lux +++ b/stdlib/test/test/lux/host.jvm.lux @@ -4,7 +4,7 @@ [monad (#+ do Monad)] pipe] [data - [text ("text/" Equivalence)]] + [text ("text/." Equivalence)]] ["&" host (#+ import: class: interface: object)] [math ["r" random]]] diff --git a/stdlib/test/test/lux/io.lux b/stdlib/test/test/lux/io.lux index 0fb9018a6..1cef1097d 100644 --- a/stdlib/test/test/lux/io.lux +++ b/stdlib/test/test/lux/io.lux @@ -5,7 +5,7 @@ ["M" monad (#+ do Monad)]] [data [number] - [text ("text/" Equivalence) + [text ("text/." Equivalence) format]]] lux/test) @@ -14,8 +14,8 @@ (test "" (text/= "YOLO" (&.run (&.io "YOLO")))) (test "" (i/= 11 (&.run (:: &.Functor map inc (&.io 10))))) (test "" (i/= 10 (&.run (:: &.Monad wrap 10)))) - (test "" (i/= 30 (&.run (let [(^open "&/") &.Apply - (^open "&/") &.Monad] + (test "" (i/= 30 (&.run (let [(^open "&/.") &.Apply + (^open "&/.") &.Monad] (&/apply (&/wrap (i/+ 10)) (&/wrap 20)))))) (test "" (i/= 30 (&.run (do &.Monad [f (wrap i/+) diff --git a/stdlib/test/test/lux/language/compiler/analysis/case.lux b/stdlib/test/test/lux/language/compiler/analysis/case.lux index c15bb192a..183ae7da7 100644 --- a/stdlib/test/test/lux/language/compiler/analysis/case.lux +++ b/stdlib/test/test/lux/language/compiler/analysis/case.lux @@ -6,12 +6,12 @@ [data ["." product] ["." maybe] - ["." text ("text/" Equivalence)] + ["." text ("text/." Equivalence)] [collection - ["." list ("list/" Monad)] + ["." list ("list/." Monad)] ["." set]]] [math - ["r" random ("random/" Monad)]] + ["r" random ("random/." Monad)]] [macro ["." code]] [language diff --git a/stdlib/test/test/lux/language/compiler/analysis/function.lux b/stdlib/test/test/lux/language/compiler/analysis/function.lux index f3c7dc5b5..559a4a841 100644 --- a/stdlib/test/test/lux/language/compiler/analysis/function.lux +++ b/stdlib/test/test/lux/language/compiler/analysis/function.lux @@ -7,10 +7,10 @@ ["e" error] ["." maybe] ["." product] - [text ("text/" Equivalence) + [text ("text/." Equivalence) format] [collection - ["." list ("list/" Functor)]]] + ["." list ("list/." Functor)]]] [math ["r" random]] ["." macro diff --git a/stdlib/test/test/lux/language/compiler/analysis/primitive.lux b/stdlib/test/test/lux/language/compiler/analysis/primitive.lux index c5a5bee5a..e49284c1a 100644 --- a/stdlib/test/test/lux/language/compiler/analysis/primitive.lux +++ b/stdlib/test/test/lux/language/compiler/analysis/primitive.lux @@ -9,11 +9,11 @@ [text format]] [math - ["r" random ("random/" Monad)]] + ["r" random ("random/." Monad)]] [macro ["." code]] ["." language - [".L" type ("type/" Equivalence)] + [".L" type ("type/." Equivalence)] ["." compiler ["." init] ["." analysis (#+ Analysis Operation) diff --git a/stdlib/test/test/lux/language/compiler/analysis/procedure/common.lux b/stdlib/test/test/lux/language/compiler/analysis/procedure/common.lux index 82858a595..92afb7083 100644 --- a/stdlib/test/test/lux/language/compiler/analysis/procedure/common.lux +++ b/stdlib/test/test/lux/language/compiler/analysis/procedure/common.lux @@ -16,7 +16,7 @@ [macro ["." code]] [language - [type ("type/" Equivalence)] + [type ("type/." Equivalence)] ["." compiler ["." init] [analysis diff --git a/stdlib/test/test/lux/language/compiler/analysis/reference.lux b/stdlib/test/test/lux/language/compiler/analysis/reference.lux index 118b1b586..ac302db3e 100644 --- a/stdlib/test/test/lux/language/compiler/analysis/reference.lux +++ b/stdlib/test/test/lux/language/compiler/analysis/reference.lux @@ -5,15 +5,15 @@ pipe] [data ["e" error] - [ident ("ident/" Equivalence)] - [text ("text/" Equivalence)]] + [ident ("ident/." Equivalence)] + [text ("text/." Equivalence)]] [math ["r" random]] [macro ["." code]] ["." language] [language - [type ("type/" Equivalence)] + [type ("type/." Equivalence)] ["." reference] ["." compiler ["." init] diff --git a/stdlib/test/test/lux/language/compiler/analysis/structure.lux b/stdlib/test/test/lux/language/compiler/analysis/structure.lux index 79d040e51..c3c5a0dc2 100644 --- a/stdlib/test/test/lux/language/compiler/analysis/structure.lux +++ b/stdlib/test/test/lux/language/compiler/analysis/structure.lux @@ -4,20 +4,20 @@ [monad (#+ do)] pipe] [data - [bit ("bit/" Equivalence)] + [bit ("bit/." Equivalence)] ["e" error] ["." product] ["." maybe] ["." text] [collection - ["." list ("list/" Functor)] + ["." list ("list/." Functor)] ["." set]]] [math ["r" random]] [macro ["." code]] ["." language - ["." type ("type/" Equivalence) + ["." type ("type/." Equivalence) ["." check]] ["." compiler ["." init] diff --git a/stdlib/test/test/lux/language/compiler/synthesis/case.lux b/stdlib/test/test/lux/language/compiler/synthesis/case.lux index 2acde1a5b..70e13af4b 100644 --- a/stdlib/test/test/lux/language/compiler/synthesis/case.lux +++ b/stdlib/test/test/lux/language/compiler/synthesis/case.lux @@ -4,7 +4,7 @@ [monad (#+ do)] pipe] [data - ["." error ("error/" Functor)]] + ["." error ("error/." Functor)]] [language ["." reference] ["." compiler diff --git a/stdlib/test/test/lux/language/compiler/synthesis/function.lux b/stdlib/test/test/lux/language/compiler/synthesis/function.lux index 35d2c4dd6..62d8c97a0 100644 --- a/stdlib/test/test/lux/language/compiler/synthesis/function.lux +++ b/stdlib/test/test/lux/language/compiler/synthesis/function.lux @@ -11,11 +11,11 @@ [text format] [collection - ["." list ("list/" Functor Fold)] + ["." list ("list/." Functor Fold)] ["dict" dictionary (#+ Dictionary)] ["." set]]] [language - ["." reference (#+ Variable) ("variable/" Equivalence)] + ["." reference (#+ Variable) ("variable/." Equivalence)] ["." compiler ["." analysis (#+ Arity Analysis)] ["//" synthesis (#+ Synthesis) diff --git a/stdlib/test/test/lux/language/compiler/synthesis/structure.lux b/stdlib/test/test/lux/language/compiler/synthesis/structure.lux index 2b86e318a..dcec26fb9 100644 --- a/stdlib/test/test/lux/language/compiler/synthesis/structure.lux +++ b/stdlib/test/test/lux/language/compiler/synthesis/structure.lux @@ -4,7 +4,7 @@ [monad (#+ do)] pipe] [data - [bit ("bit/" Equivalence)] + [bit ("bit/." Equivalence)] ["." product] ["." error] [collection diff --git a/stdlib/test/test/lux/language/syntax.lux b/stdlib/test/test/lux/language/syntax.lux index 8ead2f863..469e07c10 100644 --- a/stdlib/test/test/lux/language/syntax.lux +++ b/stdlib/test/test/lux/language/syntax.lux @@ -12,7 +12,7 @@ ["." list] ["dict" dictionary (#+ Dictionary)]]] [math - ["r" random ("r/" Monad)]] + ["r" random ("r/." Monad)]] [macro ["." code]] [language diff --git a/stdlib/test/test/lux/language/type.lux b/stdlib/test/test/lux/language/type.lux index ae0b5283b..8db1c5a19 100644 --- a/stdlib/test/test/lux/language/type.lux +++ b/stdlib/test/test/lux/language/type.lux @@ -28,7 +28,7 @@ (def: gen-type (r.Random Type) - (let [(^open "R/") r.Monad] + (let [(^open "R/.") r.Monad] (r.rec (function (_ gen-type) ($_ r.alt (r.seq gen-name (R/wrap (list))) @@ -95,8 +95,8 @@ #1))) (list.repeat size) (M.seq @)) - #let [(^open "&/") &.Equivalence - (^open "L/") (list.Equivalence &.Equivalence)]] + #let [(^open "&/.") &.Equivalence + (^open "L/.") (list.Equivalence &.Equivalence)]] (with-expansions [ (do-template [ ] [(test (format "Can build and tear-down " " types.") @@ -125,8 +125,8 @@ _ #1)))) - #let [(^open "&/") &.Equivalence - (^open "L/") (list.Equivalence &.Equivalence)]] + #let [(^open "&/.") &.Equivalence + (^open "L/.") (list.Equivalence &.Equivalence)]] ($_ seq (test "Can build and tear-down function types." (let [[inputs output] (|> (&.function members extra) &.flatten-function)] @@ -150,7 +150,7 @@ _ #1)))) - #let [(^open "&/") &.Equivalence]] + #let [(^open "&/.") &.Equivalence]] (with-expansions [ (do-template [ ] [(test (format "Can build and tear-down " " types.") diff --git a/stdlib/test/test/lux/language/type/check.lux b/stdlib/test/test/lux/language/type/check.lux index 868039238..a8cf1963f 100644 --- a/stdlib/test/test/lux/language/type/check.lux +++ b/stdlib/test/test/lux/language/type/check.lux @@ -7,14 +7,14 @@ ["." product] ["." maybe] ["." number] - [text ("text/" Equivalence)] + [text ("text/." Equivalence)] [collection - ["." list ("list/" Functor)] + ["." list ("list/." Functor)] ["." set]]] [math ["r" random]] [language - ["." type ("type/" Equivalence) + ["." type ("type/." Equivalence) ["@" check]]]] lux/test) @@ -31,7 +31,7 @@ (def: gen-type (r.Random Type) - (let [(^open "r/") r.Monad] + (let [(^open "r/.") r.Monad] (r.rec (function (_ gen-type) ($_ r.alt (r.seq gen-name (r/wrap (list))) diff --git a/stdlib/test/test/lux/macro/code.lux b/stdlib/test/test/lux/macro/code.lux index 1a7eba2b7..735c28f64 100644 --- a/stdlib/test/test/lux/macro/code.lux +++ b/stdlib/test/test/lux/macro/code.lux @@ -5,7 +5,7 @@ [monad (#+ do Monad)]] [data [number] - [text ("text/" Equivalence) + [text ("text/." Equivalence) format]] [math ["r" random]] [macro ["&" code]]] diff --git a/stdlib/test/test/lux/macro/poly/equivalence.lux b/stdlib/test/test/lux/macro/poly/equivalence.lux index d6e48ed13..3e554442b 100644 --- a/stdlib/test/test/lux/macro/poly/equivalence.lux +++ b/stdlib/test/test/lux/macro/poly/equivalence.lux @@ -6,7 +6,7 @@ [data ["." bit] ["." maybe] - [number ("int/" Number)] + [number ("int/." Number)] ["." text format] [collection @@ -68,6 +68,6 @@ (<| (times +100) (do @ [sample gen-record - #let [(^open "&/") Equivalence]] + #let [(^open "&/.") Equivalence]] (test "Every instance equals itself." (&/= sample sample))))) diff --git a/stdlib/test/test/lux/math.lux b/stdlib/test/test/lux/math.lux index ec38702ea..c20a89c60 100644 --- a/stdlib/test/test/lux/math.lux +++ b/stdlib/test/test/lux/math.lux @@ -3,8 +3,8 @@ [control [monad (#+ do Monad)]] [data - [bit ("bit/" Equivalence)] - [number ("frac/" Number)]] + [bit ("bit/." Equivalence)] + [number ("frac/." Number)]] ["&" math ["r" random]]] lux/test) diff --git a/stdlib/test/test/lux/math/logic/fuzzy.lux b/stdlib/test/test/lux/math/logic/fuzzy.lux index 95c231dca..585857883 100644 --- a/stdlib/test/test/lux/math/logic/fuzzy.lux +++ b/stdlib/test/test/lux/math/logic/fuzzy.lux @@ -3,7 +3,7 @@ [control [monad (#+ do Monad)]] [data - [bit ("bit/" Equivalence)] + [bit ("bit/." Equivalence)] ["." number] [text format] diff --git a/stdlib/test/test/lux/math/modular.lux b/stdlib/test/test/lux/math/modular.lux index cfc40fcfa..cd1f637e9 100644 --- a/stdlib/test/test/lux/math/modular.lux +++ b/stdlib/test/test/lux/math/modular.lux @@ -4,7 +4,7 @@ [monad (#+ do)]] [data ["." product] - [bit ("bit/" Equivalence)] + [bit ("bit/." Equivalence)] ["e" error] [text format]] @@ -12,7 +12,7 @@ ["r" random] ["/" modular]] [language - [type ("type/" Equivalence)]]] + [type ("type/." Equivalence)]]] lux/test) (def: %3 (/.modulus 3)) @@ -116,7 +116,7 @@ #1)) (test "Can encode/decode to text." - (let [(^open "mod/") (/.Codec normalM)] + (let [(^open "mod/.") (/.Codec normalM)] (case (|> subject mod/encode mod/decode) (#e.Success output) (/.m/= subject output) diff --git a/stdlib/test/test/lux/math/random.lux b/stdlib/test/test/lux/math/random.lux index dfb58c46b..24f95bd30 100644 --- a/stdlib/test/test/lux/math/random.lux +++ b/stdlib/test/test/lux/math/random.lux @@ -51,7 +51,7 @@ (test "Can filter values." (n/<= top filtered)) (test "Can shuffle rows." - (let [(^open "v/") (row.Equivalence number.Equivalence) + (let [(^open "v/.") (row.Equivalence number.Equivalence) sorted (row.from-list sorted)] (and (not (v/= sorted shuffled)) (v/= sorted (row.from-list re-sorted))))) diff --git a/stdlib/test/test/lux/time/date.lux b/stdlib/test/test/lux/time/date.lux index 72c15f4f5..ecccbc034 100644 --- a/stdlib/test/test/lux/time/date.lux +++ b/stdlib/test/test/lux/time/date.lux @@ -6,7 +6,7 @@ [data ["." error]] [math - ["r" random ("random/" Monad)]] + ["r" random ("random/." Monad)]] [time ["@." instant] ["@" date]]] @@ -33,7 +33,7 @@ (<| (times +100) (do @ [sample month - #let [(^open "@/") @.Equivalence]] + #let [(^open "@/.") @.Equivalence]] (test "Every value equals itself." (@/= sample sample))))) @@ -42,7 +42,7 @@ (do @ [reference month sample month - #let [(^open "@/") @.Order]] + #let [(^open "@/.") @.Order]] (test "Valid Order." (and (or (@/< reference sample) (@/>= reference sample)) @@ -53,7 +53,7 @@ (<| (times +100) (do @ [sample month - #let [(^open "@/") @.Enum]] + #let [(^open "@/.") @.Enum]] (test "Valid Enum." (and (not (@/= (@/succ sample) sample)) @@ -76,7 +76,7 @@ (<| (times +100) (do @ [sample day - #let [(^open "@/") @.Equivalence]] + #let [(^open "@/.") @.Equivalence]] (test "Every value equals itself." (@/= sample sample))))) @@ -85,7 +85,7 @@ (do @ [reference day sample day - #let [(^open "@/") @.Order]] + #let [(^open "@/.") @.Order]] (test "Valid Order." (and (or (@/< reference sample) (@/>= reference sample)) @@ -96,7 +96,7 @@ (<| (times +100) (do @ [sample day - #let [(^open "@/") @.Enum]] + #let [(^open "@/.") @.Enum]] (test "Valid Enum." (and (not (@/= (@/succ sample) sample)) @@ -113,7 +113,7 @@ (<| (times +100) (do @ [sample date - #let [(^open "@/") @.Equivalence]] + #let [(^open "@/.") @.Equivalence]] (test "Every value equals itself." (@/= sample sample))))) @@ -122,7 +122,7 @@ (do @ [reference date sample date - #let [(^open "@/") @.Order]] + #let [(^open "@/.") @.Order]] (test "Valid Order." (and (or (@/< reference sample) (@/>= reference sample)) @@ -134,8 +134,8 @@ ## (times +100) (do @ [sample date - #let [(^open "@/") @.Equivalence - (^open "@/") @.Codec]] + #let [(^open "@/.") @.Equivalence + (^open "@/.") @.Codec]] (test "Can encode/decode dates." (|> sample @/encode diff --git a/stdlib/test/test/lux/time/duration.lux b/stdlib/test/test/lux/time/duration.lux index f746f9217..199eabe24 100644 --- a/stdlib/test/test/lux/time/duration.lux +++ b/stdlib/test/test/lux/time/duration.lux @@ -26,7 +26,7 @@ (<| (times +100) (do @ [sample duration - #let [(^open "@/") @.Equivalence]] + #let [(^open "@/.") @.Equivalence]] (test "Every duration equals itself." (@/= sample sample))))) @@ -35,7 +35,7 @@ (do @ [reference duration sample duration - #let [(^open "@/") @.Order]] + #let [(^open "@/.") @.Order]] (test "Can compare times." (and (or (@/< reference sample) (@/>= reference sample)) @@ -48,7 +48,7 @@ [sample (|> duration (:: @ map (@.frame @.day))) frame duration factor (|> r.int (:: @ map (|>> (i/% 10) (i/max 1)))) - #let [(^open "@/") @.Order]] + #let [(^open "@/.") @.Order]] ($_ seq (test "Can scale a duration." (|> sample (@.scale factor) (@.query sample) (i/= factor))) @@ -77,8 +77,8 @@ (<| (times +100) (do @ [sample duration - #let [(^open "@/") @.Equivalence - (^open "@/") @.Codec]] + #let [(^open "@/.") @.Equivalence + (^open "@/.") @.Codec]] (test "Can encode/decode durations." (E.default #0 (do E.Monad diff --git a/stdlib/test/test/lux/time/instant.lux b/stdlib/test/test/lux/time/instant.lux index 27161fa67..40902fa03 100644 --- a/stdlib/test/test/lux/time/instant.lux +++ b/stdlib/test/test/lux/time/instant.lux @@ -35,7 +35,7 @@ (<| (times +100) (do @ [sample instant - #let [(^open "@/") @.Equivalence]] + #let [(^open "@/.") @.Equivalence]] (test "Every instant equals itself." (@/= sample sample))))) @@ -44,7 +44,7 @@ (do @ [reference instant sample instant - #let [(^open "@/") @.Order]] + #let [(^open "@/.") @.Order]] (test "Can compare instants." (and (or (@/< reference sample) (@/>= reference sample)) @@ -55,7 +55,7 @@ (<| (times +100) (do @ [sample instant - #let [(^open "@/") @.Enum]] + #let [(^open "@/.") @.Enum]] (test "Valid Enum." (and (not (@/= (@/succ sample) sample)) @@ -69,8 +69,8 @@ (do @ [sample instant span _duration.duration - #let [(^open "@/") @.Equivalence - (^open "@d/") @d.Equivalence]] + #let [(^open "@/.") @.Equivalence + (^open "@d/.") @d.Equivalence]] ($_ seq (test "The span of a instant and itself has an empty duration." (|> sample (@.span sample) (@d/= @d.empty))) @@ -86,8 +86,8 @@ ## ## (times +100) ## (do @ ## [sample instant -## #let [(^open "@/") @.Equivalence -## (^open "@/") @.Codec]] +## #let [(^open "@/.") @.Equivalence +## (^open "@/.") @.Codec]] ## (test "Can encode/decode instants." ## (|> sample ## @/encode diff --git a/stdlib/test/test/lux/type/implicit.lux b/stdlib/test/test/lux/type/implicit.lux index 71e2f29c6..8bb1d0d48 100644 --- a/stdlib/test/test/lux/type/implicit.lux +++ b/stdlib/test/test/lux/type/implicit.lux @@ -6,7 +6,7 @@ [functor] [monad (#+ do Monad)]] [data - [bit ("bit/" Equivalence)] + [bit ("bit/." Equivalence)] [number] [collection [list]]] [math @@ -21,7 +21,7 @@ y r.nat] ($_ seq (test "Can automatically select first-order structures." - (let [(^open "list/") (list.Equivalence number.Equivalence)] + (let [(^open "list/.") (list.Equivalence number.Equivalence)] (and (bit/= (:: number.Equivalence = x y) (::: = x y)) (list/= (list.n/range +1 +10) diff --git a/stdlib/test/test/lux/world/net/tcp.lux b/stdlib/test/test/lux/world/net/tcp.lux index 370697323..cda068a78 100644 --- a/stdlib/test/test/lux/world/net/tcp.lux +++ b/stdlib/test/test/lux/world/net/tcp.lux @@ -7,7 +7,7 @@ [concurrency ["P" promise] ["T" task] - [frp ("frp/" Functor)]] + [frp ("frp/." Functor)]] [data ["E" error] ["." text -- cgit v1.2.3