diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/abstract/apply.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/codec.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/comonad/cofree.lux | 8 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/enum.lux | 10 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/equivalence.lux | 48 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/fold.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/functor.lux | 24 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/interval.lux | 48 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/monad.lux | 42 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/monad/free.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/monoid.lux | 8 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/order.lux | 14 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/predicate.lux | 2 |
13 files changed, 110 insertions, 110 deletions
diff --git a/stdlib/source/test/lux/abstract/apply.lux b/stdlib/source/test/lux/abstract/apply.lux index 998c0b91c..d56860291 100644 --- a/stdlib/source/test/lux/abstract/apply.lux +++ b/stdlib/source/test/lux/abstract/apply.lux @@ -23,9 +23,9 @@ ($_ _.and (_.cover [/.compose] (let [expected (n.+ left right)] - (case (:: (/.compose maybe.monad maybe.apply list.apply) apply - (#.Some (list (n.+ left))) - (#.Some (list right))) + (case (\ (/.compose maybe.monad maybe.apply list.apply) apply + (#.Some (list (n.+ left))) + (#.Some (list right))) (^ (#.Some (list actual))) (n.= expected actual) diff --git a/stdlib/source/test/lux/abstract/codec.lux b/stdlib/source/test/lux/abstract/codec.lux index ca45c3c25..da9a7b438 100644 --- a/stdlib/source/test/lux/abstract/codec.lux +++ b/stdlib/source/test/lux/abstract/codec.lux @@ -38,7 +38,7 @@ [expected random.bit] (<| (_.covering /._) (_.cover [/.compose] - (case (|> expected (:: ..codec encode) (:: ..codec decode)) + (case (|> expected (\ ..codec encode) (\ ..codec decode)) (#try.Success actual) (bit\= expected actual) diff --git a/stdlib/source/test/lux/abstract/comonad/cofree.lux b/stdlib/source/test/lux/abstract/comonad/cofree.lux index 0c75e9f74..9fc2df11b 100644 --- a/stdlib/source/test/lux/abstract/comonad/cofree.lux +++ b/stdlib/source/test/lux/abstract/comonad/cofree.lux @@ -26,16 +26,16 @@ (def: (interpret [head tail]) (All [a] (-> (/.CoFree Sequence a) (Sequence a))) (|> tail - (sequence\map (:: (/.comonad sequence.functor) unwrap)) + (sequence\map (\ (/.comonad sequence.functor) unwrap)) [head] //.pending)) (def: comparison (Comparison (/.CoFree Sequence)) (function (_ == left right) - (:: (list.equivalence ==) = - (sequence.take 100 (..interpret left)) - (sequence.take 100 (..interpret right))))) + (\ (list.equivalence ==) = + (sequence.take 100 (..interpret left)) + (sequence.take 100 (..interpret right))))) (def: #export test Test diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux index c79a7e4c0..4446d958c 100644 --- a/stdlib/source/test/lux/abstract/enum.lux +++ b/stdlib/source/test/lux/abstract/enum.lux @@ -18,7 +18,7 @@ (def: #export test Test (let [limit (: (Random Nat) - (:: random.monad map (n.% 20) random.nat))] + (\ random.monad map (n.% 20) random.nat))] (do random.monad [start limit end limit @@ -32,14 +32,14 @@ (let [expected-size (|> end (n.- start) inc) expected-start? (|> range list.head (maybe\map (n.= start)) (maybe.default false)) expected-end? (|> range list.last (maybe\map (n.= end)) (maybe.default false)) - can-be-backwards? (:: (list.equivalence n.equivalence) = - (/.range n.enum start end) - (list.reverse (/.range n.enum end start))) + can-be-backwards? (\ (list.equivalence n.equivalence) = + (/.range n.enum start end) + (list.reverse (/.range n.enum end start))) every-element-is-a-successor? (case range (#.Cons head tail) (|> (list\fold (function (_ next [verdict prev]) [(and verdict - (n.= next (:: n.enum succ prev))) + (n.= next (\ n.enum succ prev))) next]) [true head] tail) diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux index ae065c031..0193773eb 100644 --- a/stdlib/source/test/lux/abstract/equivalence.lux +++ b/stdlib/source/test/lux/abstract/equivalence.lux @@ -29,34 +29,34 @@ #let [equivalence (: (Equivalence (Equivalence Nat)) (structure (def: (= left right) - (and (bit\= (:: left = leftN leftN) - (:: right = leftN leftN)) - (bit\= (:: left = rightN rightN) - (:: right = rightN rightN)) - (bit\= (:: left = leftN rightN) - (:: right = leftN rightN))))))]] + (and (bit\= (\ left = leftN leftN) + (\ right = leftN leftN)) + (bit\= (\ left = rightN rightN) + (\ right = rightN rightN)) + (bit\= (\ left = leftN rightN) + (\ right = leftN rightN))))))]] (<| (_.covering /._) ($_ _.and (_.with-cover [/.functor] ($contravariant.spec equivalence n.equivalence /.functor)) (_.cover [/.sum] (let [equivalence (/.sum n.equivalence i.equivalence)] - (and (bit\= (:: n.equivalence = leftN leftN) - (:: equivalence = (#.Left leftN) (#.Left leftN))) - (bit\= (:: n.equivalence = leftN rightN) - (:: equivalence = (#.Left leftN) (#.Left rightN))) - (bit\= (:: i.equivalence = leftI leftI) - (:: equivalence = (#.Right leftI) (#.Right leftI))) - (bit\= (:: i.equivalence = leftI rightI) - (:: equivalence = (#.Right leftI) (#.Right rightI)))))) + (and (bit\= (\ n.equivalence = leftN leftN) + (\ equivalence = (#.Left leftN) (#.Left leftN))) + (bit\= (\ n.equivalence = leftN rightN) + (\ equivalence = (#.Left leftN) (#.Left rightN))) + (bit\= (\ i.equivalence = leftI leftI) + (\ equivalence = (#.Right leftI) (#.Right leftI))) + (bit\= (\ i.equivalence = leftI rightI) + (\ equivalence = (#.Right leftI) (#.Right rightI)))))) (_.cover [/.product] (let [equivalence (/.product n.equivalence i.equivalence)] - (and (bit\= (and (:: n.equivalence = leftN leftN) - (:: i.equivalence = leftI leftI)) - (:: equivalence = [leftN leftI] [leftN leftI])) - (bit\= (and (:: n.equivalence = leftN rightN) - (:: i.equivalence = leftI rightI)) - (:: equivalence = [leftN leftI] [rightN rightI]))))) + (and (bit\= (and (\ n.equivalence = leftN leftN) + (\ i.equivalence = leftI leftI)) + (\ equivalence = [leftN leftI] [leftN leftI])) + (bit\= (and (\ n.equivalence = leftN rightN) + (\ i.equivalence = leftI rightI)) + (\ equivalence = [leftN leftI] [rightN rightI]))))) (_.cover [/.rec] (let [equivalence (: (Equivalence (List Nat)) (/.rec (function (_ equivalence) @@ -68,11 +68,11 @@ [(#.Cons leftH lefT) (#.Cons rightH rightT)] (and (n.= leftH rightH) - (:: equivalence = lefT rightT)) + (\ equivalence = lefT rightT)) _ false))))))] - (and (:: equivalence = (list sample sample) (list sample sample)) - (not (:: equivalence = (list sample sample) (list sample))) - (not (:: equivalence = (list sample sample) (list different different)))))) + (and (\ equivalence = (list sample sample) (list sample sample)) + (not (\ equivalence = (list sample sample) (list sample))) + (not (\ equivalence = (list sample sample) (list different different)))))) )))) diff --git a/stdlib/source/test/lux/abstract/fold.lux b/stdlib/source/test/lux/abstract/fold.lux index b2939f8c7..66f7a6e48 100644 --- a/stdlib/source/test/lux/abstract/fold.lux +++ b/stdlib/source/test/lux/abstract/fold.lux @@ -20,6 +20,6 @@ (<| (_.covering /._) ($_ _.and (_.cover [/.with-monoid] - (n.= (:: list.fold fold (:: n.addition compose) (:: n.addition identity) samples) + (n.= (\ list.fold fold (\ n.addition compose) (\ n.addition identity) samples) (/.with-monoid n.addition list.fold samples))) )))) diff --git a/stdlib/source/test/lux/abstract/functor.lux b/stdlib/source/test/lux/abstract/functor.lux index a900f9fd9..593400eb5 100644 --- a/stdlib/source/test/lux/abstract/functor.lux +++ b/stdlib/source/test/lux/abstract/functor.lux @@ -23,26 +23,26 @@ (<| (_.covering /._) ($_ _.and (_.cover [/.Or /.sum] - (and (case (:: (/.sum maybe.functor list.functor) map - (n.+ shift) - (#.Left (#.Some left))) + (and (case (\ (/.sum maybe.functor list.functor) map + (n.+ shift) + (#.Left (#.Some left))) (#.Left (#.Some actual)) (n.= (n.+ shift left) actual) _ false) - (case (:: (/.sum maybe.functor list.functor) map - (n.+ shift) - (#.Right (list right))) + (case (\ (/.sum maybe.functor list.functor) map + (n.+ shift) + (#.Right (list right))) (^ (#.Right (list actual))) (n.= (n.+ shift right) actual) _ false))) (_.cover [/.And /.product] - (case (:: (/.product maybe.functor list.functor) map - (n.+ shift) - [(#.Some left) (list right)]) + (case (\ (/.product maybe.functor list.functor) map + (n.+ shift) + [(#.Some left) (list right)]) (^ [(#.Some actualL) (list actualR)]) (and (n.= (n.+ shift left) actualL) (n.= (n.+ shift right) actualR)) @@ -50,9 +50,9 @@ _ false)) (_.cover [/.Then /.compose] - (case (:: (/.compose maybe.functor list.functor) map - (n.+ shift) - (#.Some (list left))) + (case (\ (/.compose maybe.functor list.functor) map + (n.+ shift) + (#.Some (list left))) (^ (#.Some (list actual))) (n.= (n.+ shift left) actual) diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux index 0c8355a49..55ad4111d 100644 --- a/stdlib/source/test/lux/abstract/interval.lux +++ b/stdlib/source/test/lux/abstract/interval.lux @@ -139,13 +139,13 @@ Test (do {! random.monad} [[l m r] (|> (random.set n.hash 3 random.nat) - (:: ! map (|>> set.to-list - (list.sort n.<) - (case> (^ (list b t1 t2)) - [b t1 t2] + (\ ! map (|>> set.to-list + (list.sort n.<) + (case> (^ (list b t1 t2)) + [b t1 t2] - _ - (undefined))))) + _ + (undefined))))) #let [left (/.singleton n.enum l) right (/.singleton n.enum r)]] ($_ _.and @@ -161,13 +161,13 @@ Test (do {! random.monad} [[b t1 t2] (|> (random.set n.hash 3 random.nat) - (:: ! map (|>> set.to-list - (list.sort n.<) - (case> (^ (list b t1 t2)) - [b t1 t2] + (\ ! map (|>> set.to-list + (list.sort n.<) + (case> (^ (list b t1 t2)) + [b t1 t2] - _ - (undefined))))) + _ + (undefined))))) #let [int-left (/.between n.enum t1 t2) int-right (/.between n.enum b t1)]] ($_ _.and @@ -188,13 +188,13 @@ (do {! random.monad} [some-interval ..interval [x0 x1 x2 x3] (|> (random.set n.hash 4 random.nat) - (:: ! map (|>> set.to-list - (list.sort n.<) - (case> (^ (list x0 x1 x2 x3)) - [x0 x1 x2 x3] + (\ ! map (|>> set.to-list + (list.sort n.<) + (case> (^ (list x0 x1 x2 x3)) + [x0 x1 x2 x3] - _ - (undefined)))))] + _ + (undefined)))))] ($_ _.and (_.test "Every interval is nested into itself." (/.nested? some-interval some-interval)) @@ -221,13 +221,13 @@ (do {! random.monad} [some-interval ..interval [x0 x1 x2 x3] (|> (random.set n.hash 4 random.nat) - (:: ! map (|>> set.to-list - (list.sort n.<) - (case> (^ (list x0 x1 x2 x3)) - [x0 x1 x2 x3] + (\ ! map (|>> set.to-list + (list.sort n.<) + (case> (^ (list x0 x1 x2 x3)) + [x0 x1 x2 x3] - _ - (undefined)))))] + _ + (undefined)))))] ($_ _.and (_.test "No interval overlaps with itself." (not (/.overlaps? some-interval some-interval))) diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux index 14529fdc5..19e5bb342 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -29,35 +29,35 @@ (n.= (inc mono) (: (Identity Nat) (/.bind identity.monad - (|>> inc (:: identity.monad wrap)) - (:: identity.monad wrap mono))))) + (|>> inc (\ identity.monad wrap)) + (\ identity.monad wrap mono))))) (_.cover [/.seq] - (:: (list.equivalence n.equivalence) = - (list\map inc poly) - (|> poly - (list\map (|>> inc (:: identity.monad wrap))) - (: (List (Identity Nat))) - (/.seq identity.monad) - (: (Identity (List Nat)))))) + (\ (list.equivalence n.equivalence) = + (list\map inc poly) + (|> poly + (list\map (|>> inc (\ identity.monad wrap))) + (: (List (Identity Nat))) + (/.seq identity.monad) + (: (Identity (List Nat)))))) (_.cover [/.map] - (:: (list.equivalence n.equivalence) = - (list\map inc poly) - (|> poly - (/.map identity.monad (|>> inc (:: identity.monad wrap))) - (: (Identity (List Nat)))))) + (\ (list.equivalence n.equivalence) = + (list\map inc poly) + (|> poly + (/.map identity.monad (|>> inc (\ identity.monad wrap))) + (: (Identity (List Nat)))))) (_.cover [/.filter] - (:: (list.equivalence n.equivalence) = - (list.filter n.even? poly) - (|> poly - (/.filter identity.monad (|>> n.even? (:: identity.monad wrap))) - (: (Identity (List Nat)))))) + (\ (list.equivalence n.equivalence) = + (list.filter n.even? poly) + (|> poly + (/.filter identity.monad (|>> n.even? (\ identity.monad wrap))) + (: (Identity (List Nat)))))) (_.cover [/.fold] (n.= (list\fold n.+ 0 poly) (|> poly (/.fold identity.monad (function (_ part whole) - (:: identity.monad wrap - (n.+ part whole))) + (\ identity.monad wrap + (n.+ part whole))) 0) (: (Identity Nat))))) )))) diff --git a/stdlib/source/test/lux/abstract/monad/free.lux b/stdlib/source/test/lux/abstract/monad/free.lux index 48c960d19..5cae8ef16 100644 --- a/stdlib/source/test/lux/abstract/monad/free.lux +++ b/stdlib/source/test/lux/abstract/monad/free.lux @@ -36,9 +36,9 @@ (def: comparison (Comparison (/.Free List)) (function (_ == left right) - (:: (list.equivalence ==) = - (..interpret left) - (..interpret right)))) + (\ (list.equivalence ==) = + (..interpret left) + (..interpret right)))) (def: #export test Test diff --git a/stdlib/source/test/lux/abstract/monoid.lux b/stdlib/source/test/lux/abstract/monoid.lux index e987e8fb3..2037adeea 100644 --- a/stdlib/source/test/lux/abstract/monoid.lux +++ b/stdlib/source/test/lux/abstract/monoid.lux @@ -24,10 +24,10 @@ (<| (_.covering /._) ($_ _.and (_.cover [/.compose] - (let [[natLR intLR] (:: (/.compose nat.addition int.multiplication) compose - [natL intL] [natR intR])] - (and (nat.= (:: nat.addition compose natL natR) + (let [[natLR intLR] (\ (/.compose nat.addition int.multiplication) compose + [natL intL] [natR intR])] + (and (nat.= (\ nat.addition compose natL natR) natLR) - (int.= (:: int.multiplication compose intL intR) + (int.= (\ int.multiplication compose intL intR) intLR)))) )))) diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux index f330d88ae..38479a79f 100644 --- a/stdlib/source/test/lux/abstract/order.lux +++ b/stdlib/source/test/lux/abstract/order.lux @@ -27,12 +27,12 @@ #let [equivalence (: (Equivalence (/.Order Nat)) (structure (def: (= leftO rightO) - (and (bit\= (:: leftO < left left) - (:: rightO < left left)) - (bit\= (:: leftO < right right) - (:: rightO < right right)) - (bit\= (:: leftO < left right) - (:: rightO < left right))))))]]) + (and (bit\= (\ leftO < left left) + (\ rightO < left left)) + (bit\= (\ leftO < right right) + (\ rightO < right right)) + (bit\= (\ leftO < left right) + (\ rightO < left right))))))]]) ($_ _.and (_.with-cover [/.functor] ($contravariant.spec equivalence n.order /.functor)) @@ -45,7 +45,7 @@ (_.cover [/.<=] (and (/.<= n.order left left) (/.<= n.order right right) - (bit\= (:: n.order < left right) + (bit\= (\ n.order < left right) (/.<= n.order left right)))) (_.cover [/.>=] (and (/.>= n.order left left) diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux index 8bf5c05f0..502e1c845 100644 --- a/stdlib/source/test/lux/abstract/predicate.lux +++ b/stdlib/source/test/lux/abstract/predicate.lux @@ -46,7 +46,7 @@ (let [generator (: (Random (/.Predicate Nat)) (|> random.nat (random.filter (|>> (n.= 0) not)) - (:: ! map multiple?)))] + (\ ! map multiple?)))] ($_ _.and (_.with-cover [/.union] ($monoid.spec equivalence /.union generator)) |