aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux.lux16
-rw-r--r--stdlib/source/lux/concurrency/actor.lux10
-rw-r--r--stdlib/source/lux/concurrency/promise.lux2
-rw-r--r--stdlib/source/lux/concurrency/space.lux4
-rw-r--r--stdlib/source/lux/concurrency/stm.lux2
-rw-r--r--stdlib/source/lux/concurrency/task.lux4
-rw-r--r--stdlib/source/lux/control/applicative.lux2
-rw-r--r--stdlib/source/lux/control/codec.lux2
-rw-r--r--stdlib/source/lux/control/concatenative.lux14
-rw-r--r--stdlib/source/lux/control/reader.lux2
-rw-r--r--stdlib/source/lux/data/coll/dict.lux8
-rw-r--r--stdlib/source/lux/data/coll/list.lux2
-rw-r--r--stdlib/source/lux/data/coll/queue.lux6
-rw-r--r--stdlib/source/lux/data/coll/sequence.lux6
-rw-r--r--stdlib/source/lux/data/coll/tree/rose.lux2
-rw-r--r--stdlib/source/lux/data/coll/tree/zipper.lux2
-rw-r--r--stdlib/source/lux/data/color.lux12
-rw-r--r--stdlib/source/lux/data/format/html.lux2
-rw-r--r--stdlib/source/lux/data/format/xml.lux4
-rw-r--r--stdlib/source/lux/data/maybe.lux2
-rw-r--r--stdlib/source/lux/data/number.lux2
-rw-r--r--stdlib/source/lux/data/number/complex.lux70
-rw-r--r--stdlib/source/lux/data/number/ratio.lux50
-rw-r--r--stdlib/source/lux/data/tainted.lux4
-rw-r--r--stdlib/source/lux/data/text.lux2
-rw-r--r--stdlib/source/lux/data/text/regex.lux4
-rw-r--r--stdlib/source/lux/host.jvm.lux2
-rw-r--r--stdlib/source/lux/lang/syntax.lux2
-rw-r--r--stdlib/source/lux/macro.lux4
-rw-r--r--stdlib/source/lux/macro/poly.lux2
-rw-r--r--stdlib/source/lux/macro/poly/eq.lux8
-rw-r--r--stdlib/source/lux/macro/poly/functor.lux4
-rw-r--r--stdlib/source/lux/macro/poly/json.lux26
-rw-r--r--stdlib/source/lux/macro/syntax/common/reader.lux2
-rw-r--r--stdlib/source/lux/test.lux2
-rw-r--r--stdlib/source/lux/time/duration.lux4
-rw-r--r--stdlib/source/lux/time/instant.lux6
-rw-r--r--stdlib/source/lux/type/implicit.lux2
-rw-r--r--stdlib/source/lux/type/object.lux16
-rw-r--r--stdlib/source/lux/type/opaque.lux6
-rw-r--r--stdlib/source/lux/type/unit.lux16
-rw-r--r--stdlib/source/lux/world/blob.jvm.lux2
-rw-r--r--stdlib/source/lux/world/console.lux8
-rw-r--r--stdlib/test/test/lux.lux4
-rw-r--r--stdlib/test/test/lux/cli.lux2
-rw-r--r--stdlib/test/test/lux/control/interval.lux8
-rw-r--r--stdlib/test/test/lux/data/coll/array.lux6
-rw-r--r--stdlib/test/test/lux/data/coll/list.lux2
-rw-r--r--stdlib/test/test/lux/data/coll/ordered/dict.lux2
-rw-r--r--stdlib/test/test/lux/data/coll/priority-queue.lux2
-rw-r--r--stdlib/test/test/lux/data/coll/sequence.lux2
-rw-r--r--stdlib/test/test/lux/data/coll/stream.lux4
-rw-r--r--stdlib/test/test/lux/data/coll/tree/rose.lux2
-rw-r--r--stdlib/test/test/lux/data/color.lux4
-rw-r--r--stdlib/test/test/lux/data/format/xml.lux4
-rw-r--r--stdlib/test/test/lux/data/ident.lux4
-rw-r--r--stdlib/test/test/lux/data/number.lux4
-rw-r--r--stdlib/test/test/lux/data/number/complex.lux56
-rw-r--r--stdlib/test/test/lux/data/number/ratio.lux50
-rw-r--r--stdlib/test/test/lux/data/text.lux4
-rw-r--r--stdlib/test/test/lux/data/text/lexer.lux4
-rw-r--r--stdlib/test/test/lux/host.jvm.lux2
-rw-r--r--stdlib/test/test/lux/lang/syntax.lux35
-rw-r--r--stdlib/test/test/lux/lang/type/check.lux4
-rw-r--r--stdlib/test/test/lux/macro/poly/eq.lux2
-rw-r--r--stdlib/test/test/lux/math.lux4
-rw-r--r--stdlib/test/test/lux/math/random.lux2
-rw-r--r--stdlib/test/test/lux/time/duration.lux2
-rw-r--r--stdlib/test/test/lux/time/instant.lux2
-rw-r--r--stdlib/test/test/lux/type/object.lux4
-rw-r--r--stdlib/test/test/lux/world/blob.lux4
-rw-r--r--stdlib/test/test/lux/world/file.lux6
-rw-r--r--stdlib/test/test/lux/world/net/tcp.lux4
-rw-r--r--stdlib/test/test/lux/world/net/udp.lux4
74 files changed, 294 insertions, 293 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index e5da4a105..65167b8e6 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -4602,9 +4602,9 @@
_
(fail "Wrong syntax for open")))
-(macro: #export (|>. tokens)
+(macro: #export (|>> tokens)
{#;doc "## Similar to the piping macro, but rather than taking an initial object to work on, creates a function for taking it.
- (|>. (map int/encode) (interpose \" \") (fold text/compose \"\"))
+ (|>> (map int/encode) (interpose \" \") (fold text/compose \"\"))
## =>
(function [<arg>]
(fold text/compose \"\"
@@ -4614,9 +4614,9 @@
[g!arg (gensym "arg")]
(return (list (` (function [(~ g!arg)] (|> (~ g!arg) (~@ tokens))))))))
-(macro: #export (<|. tokens)
+(macro: #export (<<| tokens)
{#;doc "## Similar to the piping macro, but rather than taking an initial object to work on, creates a function for taking it.
- (<|. (fold text/compose \"\") (interpose \" \") (map int/encode))
+ (<<| (fold text/compose \"\") (interpose \" \") (map int/encode))
## =>
(function [<arg>]
(fold text/compose \"\"
@@ -4689,7 +4689,7 @@
(do Monad<Meta>
[*defs (exported-defs module-name)
_ (test-referrals module-name *defs -defs)]
- (wrap (filter (|>. (is-member? -defs) not) *defs)))
+ (wrap (filter (|>> (is-member? -defs) not) *defs)))
#Nothing
(wrap (list)))
@@ -4728,11 +4728,11 @@
(list (' #refer) (' #all))
(#Only defs)
- (list (' #refer) (`' (#only (~@ (map (|>. [""] symbol$)
+ (list (' #refer) (`' (#only (~@ (map (|>> [""] symbol$)
defs)))))
(#Exclude defs)
- (list (' #refer) (`' (#exclude (~@ (map (|>. [""] symbol$)
+ (list (' #refer) (`' (#exclude (~@ (map (|>> [""] symbol$)
defs)))))
#Nothing
@@ -5881,7 +5881,7 @@
((~ (symbol$ ["" name])) (~ g!tokens) (~ g!compiler))
(~ anns)
(case (~ g!tokens)
- (^ (list (~@ (map (|>. [""] symbol$) args))))
+ (^ (list (~@ (map (|>> [""] symbol$) args))))
(#;Right [(~ g!compiler)
(list (` (~ (replace-syntax rep-env input-template))))])
diff --git a/stdlib/source/lux/concurrency/actor.lux b/stdlib/source/lux/concurrency/actor.lux
index 18bdaa61d..abda284c0 100644
--- a/stdlib/source/lux/concurrency/actor.lux
+++ b/stdlib/source/lux/concurrency/actor.lux
@@ -146,7 +146,7 @@
(do-template [<with> <resolve> <tag> <desc>]
[(def: #hidden (<with> name)
(-> Ident cs;Annotations cs;Annotations)
- (|>. (#;Cons [(ident-for <tag>)
+ (|>> (#;Cons [(ident-for <tag>)
(code;tag name)])))
(def: #hidden (<resolve> name)
@@ -172,7 +172,7 @@
(do-template [<name> <desc>]
[(def: #hidden <name>
(-> Text Text)
- (|>. (format <desc> "@")))]
+ (|>> (format <desc> "@")))]
[state-name "State"]
[behavior-name "Behavior"]
@@ -315,7 +315,7 @@
g!actor-vars (list/map code;local-symbol actor-vars)
g!actor (` ((~ (code;symbol actor-name)) (~@ g!actor-vars)))
g!all-vars (|> (get@ #vars signature) (list/map code;local-symbol) (list/compose g!actor-vars))
- g!inputsC (|> (get@ #inputs signature) (list/map (|>. product;left code;local-symbol)))
+ g!inputsC (|> (get@ #inputs signature) (list/map (|>> product;left code;local-symbol)))
g!inputsT (|> (get@ #inputs signature) (list/map product;right))
g!state (|> signature (get@ #state) code;local-symbol)
g!self (|> signature (get@ #self) code;local-symbol)
@@ -323,11 +323,11 @@
(if (list;empty? actor-vars)
(list)
(|> actor-vars list;size n/dec
- (list;n/range +0) (list/map (|>. code;nat (~) ($) (`))))))
+ (list;n/range +0) (list/map (|>> code;nat (~) ($) (`))))))
ref-replacements (|> (if (list;empty? actor-vars)
(list)
(|> actor-vars list;size n/dec
- (list;n/range +0) (list/map (|>. code;nat (~) ($) (`)))))
+ (list;n/range +0) (list/map (|>> code;nat (~) ($) (`)))))
(: (List Code))
(list;zip2 g!all-vars)
(: (List [Code Code])))
diff --git a/stdlib/source/lux/concurrency/promise.lux b/stdlib/source/lux/concurrency/promise.lux
index 9baaded11..9984ad96a 100644
--- a/stdlib/source/lux/concurrency/promise.lux
+++ b/stdlib/source/lux/concurrency/promise.lux
@@ -82,7 +82,7 @@
(io;run (f value))
#;None
- (let [new (update@ #observers (|>. (#;Cons f)) old)]
+ (let [new (update@ #observers (|>> (#;Cons f)) old)]
(if (io;run (atom;compare-and-swap old new promise))
[]
(await f promise))))))
diff --git a/stdlib/source/lux/concurrency/space.lux b/stdlib/source/lux/concurrency/space.lux
index 87a1d3c22..091cae7fc 100644
--- a/stdlib/source/lux/concurrency/space.lux
+++ b/stdlib/source/lux/concurrency/space.lux
@@ -42,7 +42,7 @@
(All [e s] (-> (A;Actor s) (Action e s) (Space e) (T;Task Unit)))
(send-space (function [subscriptions _]
(T;return (|> subscriptions
- (list;filter (|>. product;left (:! []) (is (:! [] actor)) not))
+ (list;filter (|>> product;left (:! []) (is (:! [] actor)) not))
(#;Cons [actor action]))))
space))
@@ -50,7 +50,7 @@
(All [e s] (-> (A;Actor s) (Space e) (T;Task Unit)))
(send-space (function [subscriptions _]
(T;return (|> subscriptions
- (list;filter (|>. product;left (:! []) (is (:! [] actor)) not)))))
+ (list;filter (|>> product;left (:! []) (is (:! [] actor)) not)))))
space))
(def: #export (emit event space sender)
diff --git a/stdlib/source/lux/concurrency/stm.lux b/stdlib/source/lux/concurrency/stm.lux
index b845c3538..4aaee3580 100644
--- a/stdlib/source/lux/concurrency/stm.lux
+++ b/stdlib/source/lux/concurrency/stm.lux
@@ -47,7 +47,7 @@
(def: raw-read
(All [a] (-> (Var a) a))
- (|>. atom;read io;run (get@ #value)))
+ (|>> atom;read io;run (get@ #value)))
(def: (find-var-value var tx)
(All [a] (-> (Var a) Tx (Maybe a)))
diff --git a/stdlib/source/lux/concurrency/task.lux b/stdlib/source/lux/concurrency/task.lux
index 374acee46..b65d7c563 100644
--- a/stdlib/source/lux/concurrency/task.lux
+++ b/stdlib/source/lux/concurrency/task.lux
@@ -27,7 +27,7 @@
(def: #export (try computation)
(All [a] (-> (Task a) (Task (E;Error a))))
- (:: P;Functor<Promise> map (|>. #E;Success) computation))
+ (:: P;Functor<Promise> map (|>> #E;Success) computation))
(struct: #export _ (F;Functor Task)
(def: (map f fa)
@@ -76,4 +76,4 @@
(def: #export (from-promise promise)
(All [a] (-> (P;Promise a) (Task a)))
- (:: P;Functor<Promise> map (|>. #E;Success) promise))
+ (:: P;Functor<Promise> map (|>> #E;Success) promise))
diff --git a/stdlib/source/lux/control/applicative.lux b/stdlib/source/lux/control/applicative.lux
index 935fda18e..dead34d03 100644
--- a/stdlib/source/lux/control/applicative.lux
+++ b/stdlib/source/lux/control/applicative.lux
@@ -20,7 +20,7 @@
(def: functor (functor;compose (get@ #functor Applicative<F>)
(get@ #functor Applicative<G>)))
(def: wrap
- (|>. (:: Applicative<G> wrap) (:: Applicative<F> wrap)))
+ (|>> (:: Applicative<G> wrap) (:: Applicative<F> wrap)))
(def: (apply fgf fgx)
## (let [fgf' (:: Applicative<F> apply
## (:: Applicative<F> wrap (:: Applicative<G> apply))
diff --git a/stdlib/source/lux/control/codec.lux b/stdlib/source/lux/control/codec.lux
index 55095ee3c..fdd571a10 100644
--- a/stdlib/source/lux/control/codec.lux
+++ b/stdlib/source/lux/control/codec.lux
@@ -18,7 +18,7 @@
(-> (Codec c b) (Codec b a)
(Codec c a)))
(def: encode
- (|>. (:: Codec<b,a> encode)
+ (|>> (:: Codec<b,a> encode)
(:: Codec<c,b> encode)))
(def: (decode cy)
diff --git a/stdlib/source/lux/control/concatenative.lux b/stdlib/source/lux/control/concatenative.lux
index ef66ffac8..9451fa111 100644
--- a/stdlib/source/lux/control/concatenative.lux
+++ b/stdlib/source/lux/control/concatenative.lux
@@ -38,7 +38,7 @@
(s;Syntax Stack)
(p;either (p;seq (p;maybe bottom^)
(s;tuple (p;some s;any)))
- (p;seq (|> bottom^ (p/map (|>. #;Some)))
+ (p;seq (|> bottom^ (p/map (|>> #;Some)))
(p/wrap (list)))))
(def: (stack-fold tops bottom)
@@ -68,8 +68,8 @@
(code;replace (code;local-symbol from) to pre))
aliased
aliases))]
- (case [(|> inputs (get@ #bottom) (m/map (|>. code;nat (~) #;Bound (`))))
- (|> outputs (get@ #bottom) (m/map (|>. code;nat (~) #;Bound (`))))]
+ (case [(|> inputs (get@ #bottom) (m/map (|>> code;nat (~) #;Bound (`))))
+ (|> outputs (get@ #bottom) (m/map (|>> code;nat (~) #;Bound (`))))]
[(#;Some bottomI) (#;Some bottomO)]
(monad;do @
[inputC (singleton (macro;expand-all (stack-fold (get@ #top inputs) bottomI)))
@@ -104,7 +104,7 @@
(` (;;push (~ command)))
[_ (#;Tuple block)]
- (` (;;push (|>. (~@ (L/map prepare block)))))
+ (` (;;push (|>> (~@ (L/map prepare block)))))
_
command))
@@ -119,7 +119,7 @@
(wrap (list (` (def: (~@ (csw;export export)) (~ (code;local-symbol name))
(~ (csw;annotations annotations))
(~ type)
- (|>. (~@ (L/map prepare commands))))))))
+ (|>> (~@ (L/map prepare commands))))))))
(syntax: #export (apply [arity (|> s;nat (p;filter (;n/> +0)))])
(with-gensyms [g!func g!stack g!output]
@@ -310,14 +310,14 @@
(=> [(=> ..a ..b) (=> ..b ..c)]
[(=> ..a ..c)]))
(function [[[stack f] g]]
- [stack (|>. f g)]))
+ [stack (|>> f g)]))
(def: #export curry
(All [..a ..b a]
(=> ..a [a (=> ..a [a] ..b)]
..a [(=> ..a ..b)]))
(function [[[stack arg] quote]]
- [stack (|>. (push arg) quote)]))
+ [stack (|>> (push arg) quote)]))
## [Words]
(word: #export when
diff --git a/stdlib/source/lux/control/reader.lux b/stdlib/source/lux/control/reader.lux
index b080d75ec..41ac32f08 100644
--- a/stdlib/source/lux/control/reader.lux
+++ b/stdlib/source/lux/control/reader.lux
@@ -41,7 +41,7 @@
(def: #export (local change proc)
{#;doc "Run computation with a locally-modified environment."}
(All [r a] (-> (-> r r) (Reader r a) (Reader r a)))
- (|>. change proc))
+ (|>> change proc))
(def: #export (run env proc)
(All [r a] (-> r (Reader r a) a))
diff --git a/stdlib/source/lux/data/coll/dict.lux b/stdlib/source/lux/data/coll/dict.lux
index 0273dc852..5ab078e28 100644
--- a/stdlib/source/lux/data/coll/dict.lux
+++ b/stdlib/source/lux/data/coll/dict.lux
@@ -148,7 +148,7 @@
## Given a top-limit for indices, produces all indices in [0, R).
(def: indices-for
(-> Nat (List Index))
- (|>. n/dec (list;n/range +0)))
+ (|>> n/dec (list;n/range +0)))
## Increases the level-shift by the branching-exponent, to explore
## levels further down the tree.
@@ -514,7 +514,7 @@
## For #Collisions nodes, do a linear scan of all the known KV-pairs.
(#Collisions _hash _colls)
(:: Monad<Maybe> map product;right
- (array;find (|>. product;left (:: Hash<k> = key))
+ (array;find (|>> product;left (:: Hash<k> = key))
_colls))
))
@@ -610,11 +610,11 @@
(def: #export size
(All [k v] (-> (Dict k v) Nat))
- (|>. product;right size'))
+ (|>> product;right size'))
(def: #export empty?
(All [k v] (-> (Dict k v) Bool))
- (|>. size (n/= +0)))
+ (|>> size (n/= +0)))
(def: #export (entries dict)
(All [k v] (-> (Dict k v) (List [k v])))
diff --git a/stdlib/source/lux/data/coll/list.lux b/stdlib/source/lux/data/coll/list.lux
index d00428478..6de9eeaa2 100644
--- a/stdlib/source/lux/data/coll/list.lux
+++ b/stdlib/source/lux/data/coll/list.lux
@@ -285,7 +285,7 @@
(struct: #export _ (Monad List)
(def: applicative Applicative<List>)
- (def: join (|>. reverse (fold compose identity))))
+ (def: join (|>> reverse (fold compose identity))))
## [Functions]
(def: #export (sort < xs)
diff --git a/stdlib/source/lux/data/coll/queue.lux b/stdlib/source/lux/data/coll/queue.lux
index dd26ccc32..2d45dd995 100644
--- a/stdlib/source/lux/data/coll/queue.lux
+++ b/stdlib/source/lux/data/coll/queue.lux
@@ -25,7 +25,7 @@
(def: #export peek
(All [a] (-> (Queue a) (Maybe a)))
- (|>. (get@ #front) list;head))
+ (|>> (get@ #front) list;head))
(def: #export (size queue)
(All [a] (-> (Queue a) Nat))
@@ -35,7 +35,7 @@
(def: #export empty?
(All [a] (-> (Queue a) Bool))
- (|>. (get@ #front) list;empty?))
+ (|>> (get@ #front) list;empty?))
(def: #export (member? Eq<a> queue member)
(All [a] (-> (Eq a) (Queue a) a Bool))
@@ -65,7 +65,7 @@
(set@ #front (list val) queue)
_
- (update@ #rear (|>. (#;Cons val)) queue)))
+ (update@ #rear (|>> (#;Cons val)) queue)))
(struct: #export (Eq<Queue> Eq<a>)
(All [a] (-> (Eq a) (Eq (Queue a))))
diff --git a/stdlib/source/lux/data/coll/sequence.lux b/stdlib/source/lux/data/coll/sequence.lux
index d8c3ddfb9..b97a51450 100644
--- a/stdlib/source/lux/data/coll/sequence.lux
+++ b/stdlib/source/lux/data/coll/sequence.lux
@@ -263,9 +263,9 @@
(n/< vec-size idx))
(if (n/>= (tail-off vec-size) idx)
(|> vec
- ## (update@ #tail (|>. array;clone (array;write (branch-idx idx) val)))
+ ## (update@ #tail (|>> array;clone (array;write (branch-idx idx) val)))
(update@ #tail (: (-> (Base ($ +0)) (Base ($ +0)))
- (|>. array;clone (array;write (branch-idx idx) val))))
+ (|>> array;clone (array;write (branch-idx idx) val))))
)
(|> vec
(update@ #root (put' (get@ #level vec) idx val))))
@@ -363,7 +363,7 @@
(def: #export empty?
(All [a] (-> (Sequence a) Bool))
- (|>. (get@ #size) (n/= +0)))
+ (|>> (get@ #size) (n/= +0)))
## [Syntax]
(syntax: #export (sequence [elems (p;some s;any)])
diff --git a/stdlib/source/lux/data/coll/tree/rose.lux b/stdlib/source/lux/data/coll/tree/rose.lux
index 546982dba..e86dac944 100644
--- a/stdlib/source/lux/data/coll/tree/rose.lux
+++ b/stdlib/source/lux/data/coll/tree/rose.lux
@@ -37,7 +37,7 @@
(def: tree^
(Syntax Tree-Code)
- (|> (|>. p;some s;record (p;seq s;any))
+ (|> (|>> p;some s;record (p;seq s;any))
p;rec
p;some
s;record
diff --git a/stdlib/source/lux/data/coll/tree/zipper.lux b/stdlib/source/lux/data/coll/tree/zipper.lux
index c8f9a9059..e355f7238 100644
--- a/stdlib/source/lux/data/coll/tree/zipper.lux
+++ b/stdlib/source/lux/data/coll/tree/zipper.lux
@@ -168,7 +168,7 @@
(#;Some next)
(#;Some (|> next
- (update@ [#node #rose;children] (|>. list;tail (maybe;default (list)))))))
+ (update@ [#node #rose;children] (|>> list;tail (maybe;default (list)))))))
(#;Cons next side)
(#;Some (|> zipper
diff --git a/stdlib/source/lux/data/color.lux b/stdlib/source/lux/data/color.lux
index 17546902a..3340629c3 100644
--- a/stdlib/source/lux/data/color.lux
+++ b/stdlib/source/lux/data/color.lux
@@ -8,18 +8,18 @@
(def: rgb Nat +256)
(def: top Nat (n/dec rgb))
-(def: nat-to-frac (-> Nat Frac) (|>. nat-to-int int-to-frac))
-(def: frac-to-nat (-> Frac Nat) (|>. frac-to-int int-to-nat))
+(def: nat-to-frac (-> Nat Frac) (|>> nat-to-int int-to-frac))
+(def: frac-to-nat (-> Frac Nat) (|>> frac-to-int int-to-nat))
(def: rgb-factor Frac (nat-to-frac top))
(def: scale-down
(-> Nat Frac)
- (|>. nat-to-frac (f// rgb-factor)))
+ (|>> nat-to-frac (f// rgb-factor)))
(def: scale-up
(-> Frac Nat)
- (|>. (f/* rgb-factor) frac-to-nat))
+ (|>> (f/* rgb-factor) frac-to-nat))
(opaque: #export Color {}
{#red Nat
@@ -34,7 +34,7 @@
(def: #export unpack
(-> Color [Nat Nat Nat])
- (|>. @repr))
+ (|>> @repr))
(struct: #export _ (eq;Eq Color)
(def: (= reference sample)
@@ -298,7 +298,7 @@
(let [[hue saturation brightness] (to-hsb color)
slice (|> 1.0 (f// (nat-to-frac results)))]
(|> (list;n/range +0 (n/dec results))
- (L/map (|>. nat-to-frac
+ (L/map (|>> nat-to-frac
(f/* slice)
(f/+ brightness)
normalize
diff --git a/stdlib/source/lux/data/format/html.lux b/stdlib/source/lux/data/format/html.lux
index e594b2232..e33e7d4ee 100644
--- a/stdlib/source/lux/data/format/html.lux
+++ b/stdlib/source/lux/data/format/html.lux
@@ -27,7 +27,7 @@
(def: attrs-to-text
(-> Attributes Text)
- (|>. (L/map (function [[key val]] (format key "=" "\"" (text val) "\"")))
+ (|>> (L/map (function [[key val]] (format key "=" "\"" (text val) "\"")))
(text;join-with " ")))
(def: #export (tag name attrs children)
diff --git a/stdlib/source/lux/data/format/xml.lux b/stdlib/source/lux/data/format/xml.lux
index 64b45851d..957628e94 100644
--- a/stdlib/source/lux/data/format/xml.lux
+++ b/stdlib/source/lux/data/format/xml.lux
@@ -85,7 +85,7 @@
(def: spaced^
(All [a] (-> (l;Lexer a) (l;Lexer a)))
(let [white-space^ (p;some l;space)]
- (|>. (p;before white-space^)
+ (|>> (p;before white-space^)
(p;after white-space^))))
(def: attr-value^
@@ -140,7 +140,7 @@
(l;Lexer XML)
(|> (p;either cdata^
(l;many xml-char^))
- (p/map (|>. #Text))))
+ (p/map (|>> #Text))))
(def: xml^
(l;Lexer XML)
diff --git a/stdlib/source/lux/data/maybe.lux b/stdlib/source/lux/data/maybe.lux
index c45e756a3..3c247eea3 100644
--- a/stdlib/source/lux/data/maybe.lux
+++ b/stdlib/source/lux/data/maybe.lux
@@ -98,4 +98,4 @@
(def: #export assume
(All [a] (-> (Maybe a) a))
- (|>. (default (undefined))))
+ (|>> (default (undefined))))
diff --git a/stdlib/source/lux/data/number.lux b/stdlib/source/lux/data/number.lux
index 2749d566c..8e330e9d5 100644
--- a/stdlib/source/lux/data/number.lux
+++ b/stdlib/source/lux/data/number.lux
@@ -869,4 +869,4 @@
(struct: #export _ (Hash Deg)
(def: eq Eq<Deg>)
- (def: hash (|>. (:! Nat))))
+ (def: hash (|>> (:! Nat))))
diff --git a/stdlib/source/lux/data/number/complex.lux b/stdlib/source/lux/data/number/complex.lux
index 15fee133f..783c8eb81 100644
--- a/stdlib/source/lux/data/number/complex.lux
+++ b/stdlib/source/lux/data/number/complex.lux
@@ -39,7 +39,7 @@
(or (number;not-a-number? (get@ #real complex))
(number;not-a-number? (get@ #imaginary complex))))
-(def: #export (c.= param input)
+(def: #export (c/= param input)
(-> Complex Complex Bool)
(and (f/= (get@ #real param)
(get@ #real input))
@@ -54,35 +54,35 @@
#imaginary (<op> (get@ #imaginary param)
(get@ #imaginary input))})]
- [c.+ f/+]
- [c.- f/-]
+ [c/+ f/+]
+ [c/- f/-]
)
(struct: #export _ (Eq Complex)
- (def: = c.=))
+ (def: = c/=))
-(def: #export c.negate
+(def: #export c/negate
(-> Complex Complex)
- (|>. (update@ #real frac/negate)
+ (|>> (update@ #real frac/negate)
(update@ #imaginary frac/negate)))
-(def: #export c.signum
+(def: #export c/signum
(-> Complex Complex)
- (|>. (update@ #real frac/signum)
+ (|>> (update@ #real frac/signum)
(update@ #imaginary frac/signum)))
(def: #export conjugate
(-> Complex Complex)
(update@ #imaginary frac/negate))
-(def: #export (c.*' param input)
+(def: #export (c/*' param input)
(-> Frac Complex Complex)
{#real (f/* param
(get@ #real input))
#imaginary (f/* param
(get@ #imaginary input))})
-(def: #export (c.* param input)
+(def: #export (c/* param input)
(-> Complex Complex Complex)
{#real (f/- (f/* (get@ #imaginary param)
(get@ #imaginary input))
@@ -93,7 +93,7 @@
(f/* (get@ #imaginary param)
(get@ #real input)))})
-(def: #export (c./ param input)
+(def: #export (c// param input)
(-> Complex Complex Complex)
(let [(^slots [#real #imaginary]) param]
(if (f/< (frac/abs imaginary)
@@ -107,19 +107,19 @@
{#real (|> (get@ #imaginary input) (f/* quot) (f/+ (get@ #real input)) (f// denom))
#imaginary (|> (get@ #imaginary input) (f/- (f/* quot (get@ #real input))) (f// denom))}))))
-(def: #export (c./' param subject)
+(def: #export (c//' param subject)
(-> Frac Complex Complex)
(let [(^slots [#real #imaginary]) subject]
{#real (f// param real)
#imaginary (f// param imaginary)}))
-(def: #export (c.% param input)
+(def: #export (c/% param input)
(-> Complex Complex Complex)
- (let [scaled (c./ param input)
+ (let [scaled (c// param input)
quotient (|> scaled
(update@ #real math;floor)
(update@ #imaginary math;floor))]
- (c.- (c.* quotient param)
+ (c/- (c/* quotient param)
input)))
(def: #export (cos subject)
@@ -172,7 +172,7 @@
{#real (f// d (math;sinh r2))
#imaginary (f// d (math;sin i2))}))
-(def: #export (c.abs subject)
+(def: #export (c/abs subject)
(-> Complex Complex)
(let [(^slots [#real #imaginary]) subject]
(complex (if (f/< (frac/abs imaginary)
@@ -190,16 +190,16 @@
))))
(struct: #export _ (Number Complex)
- (def: + c.+)
- (def: - c.-)
- (def: * c.*)
- (def: / c./)
- (def: % c.%)
+ (def: + c/+)
+ (def: - c/-)
+ (def: * c/*)
+ (def: / c//)
+ (def: % c/%)
(def: (negate x)
(|> x
(update@ #real frac/negate)
(update@ #imaginary frac/negate)))
- (def: abs c.abs)
+ (def: abs c/abs)
(def: (signum x)
(|> x
(update@ #real frac/signum)
@@ -215,7 +215,7 @@
(def: #export (log subject)
(-> Complex Complex)
(let [(^slots [#real #imaginary]) subject]
- {#real (|> subject c.abs (get@ #real) math;log)
+ {#real (|> subject c/abs (get@ #real) math;log)
#imaginary (math;atan2 real imaginary)}))
(do-template [<name> <type> <op>]
@@ -223,8 +223,8 @@
(-> <type> Complex Complex)
(|> input log (<op> param) exp))]
- [pow Complex c.*]
- [pow' Frac c.*']
+ [pow Complex c/*]
+ [pow' Frac c/*']
)
(def: (copy-sign sign magnitude)
@@ -233,7 +233,7 @@
(def: #export (root2 (^@ input (^slots [#real #imaginary])))
(-> Complex Complex)
- (let [t (|> input c.abs (get@ #real) (f/+ (frac/abs real)) (f// 2.0) math;root2)]
+ (let [t (|> input c/abs (get@ #real) (f/+ (frac/abs real)) (f// 2.0) math;root2)]
(if (f/>= 0.0 real)
{#real t
#imaginary (f// (f/* 2.0 t)
@@ -244,7 +244,7 @@
(def: #export (root2-1z input)
(-> Complex Complex)
- (|> (complex 1.0) (c.- (c.* input input)) root2))
+ (|> (complex 1.0) (c/- (c/* input input)) root2))
(def: #export (reciprocal (^slots [#real #imaginary]))
(-> Complex Complex)
@@ -264,25 +264,25 @@
(def: #export (acos input)
(-> Complex Complex)
(|> input
- (c.+ (|> input root2-1z (c.* i)))
+ (c/+ (|> input root2-1z (c/* i)))
log
- (c.* (c.negate i))))
+ (c/* (c/negate i))))
(def: #export (asin input)
(-> Complex Complex)
(|> input
root2-1z
- (c.+ (c.* i input))
+ (c/+ (c/* i input))
log
- (c.* (c.negate i))))
+ (c/* (c/negate i))))
(def: #export (atan input)
(-> Complex Complex)
(|> input
- (c.+ i)
- (c./ (c.- input i))
+ (c/+ i)
+ (c// (c/- input i))
log
- (c.* (c./ (complex 2.0) i))))
+ (c/* (c// (complex 2.0) i))))
(def: #export (argument (^slots [#real #imaginary]))
(-> Complex Frac)
@@ -293,7 +293,7 @@
(if (n/= +0 nth)
(list)
(let [r-nth (|> nth nat-to-int int-to-frac)
- nth-root-of-abs (|> input c.abs (get@ #real) (math;pow (f// r-nth 1.0)))
+ nth-root-of-abs (|> input c/abs (get@ #real) (math;pow (f// r-nth 1.0)))
nth-phi (|> input argument (f// r-nth))
slice (|> math;pi (f/* 2.0) (f// r-nth))]
(|> (list;n/range +0 (n/dec nth))
diff --git a/stdlib/source/lux/data/number/ratio.lux b/stdlib/source/lux/data/number/ratio.lux
index c056e740a..23e128464 100644
--- a/stdlib/source/lux/data/number/ratio.lux
+++ b/stdlib/source/lux/data/number/ratio.lux
@@ -27,21 +27,21 @@
{#numerator (n// common numerator)
#denominator (n// common denominator)}))
-(def: #export (q.* param input)
+(def: #export (r/* param input)
(-> Ratio Ratio Ratio)
(normalize [(n/* (get@ #numerator param)
(get@ #numerator input))
(n/* (get@ #denominator param)
(get@ #denominator input))]))
-(def: #export (q./ param input)
+(def: #export (r// param input)
(-> Ratio Ratio Ratio)
(normalize [(n/* (get@ #denominator param)
(get@ #numerator input))
(n/* (get@ #numerator param)
(get@ #denominator input))]))
-(def: #export (q.+ param input)
+(def: #export (r/+ param input)
(-> Ratio Ratio Ratio)
(normalize [(n/+ (n/* (get@ #denominator input)
(get@ #numerator param))
@@ -50,7 +50,7 @@
(n/* (get@ #denominator param)
(get@ #denominator input))]))
-(def: #export (q.- param input)
+(def: #export (r/- param input)
(-> Ratio Ratio Ratio)
(normalize [(n/- (n/* (get@ #denominator input)
(get@ #numerator param))
@@ -59,16 +59,16 @@
(n/* (get@ #denominator param)
(get@ #denominator input))]))
-(def: #export (q.% param input)
+(def: #export (r/% param input)
(-> Ratio Ratio Ratio)
(let [quot (n// (n/* (get@ #denominator input)
(get@ #numerator param))
(n/* (get@ #denominator param)
(get@ #numerator input)))]
- (q.- (update@ #numerator (n/* quot) param)
+ (r/- (update@ #numerator (n/* quot) param)
input)))
-(def: #export (q.= param input)
+(def: #export (r/= param input)
(-> Ratio Ratio Bool)
(and (n/= (get@ #numerator param)
(get@ #numerator input))
@@ -83,10 +83,10 @@
(n/* (get@ #denominator param)
(get@ #numerator input)))))]
- [q.< n/<]
- [q.<= n/<=]
- [q.> n/>]
- [q.>= n/>=]
+ [r/< n/<]
+ [r/<= n/<=]
+ [r/> n/>]
+ [r/>= n/>=]
)
(do-template [<name> <comp>]
@@ -96,26 +96,26 @@
right
left))]
- [q.min q.<]
- [q.max q.>]
+ [r/min r/<]
+ [r/max r/>]
)
(struct: #export _ (Eq Ratio)
- (def: = q.=))
+ (def: = r/=))
(struct: #export _ (order;Order Ratio)
(def: eq Eq<Ratio>)
- (def: < q.<)
- (def: <= q.<=)
- (def: > q.>)
- (def: >= q.>=))
+ (def: < r/<)
+ (def: <= r/<=)
+ (def: > r/>)
+ (def: >= r/>=))
(struct: #export _ (Number Ratio)
- (def: + q.+)
- (def: - q.-)
- (def: * q.*)
- (def: / q./)
- (def: % q.%)
+ (def: + r/+)
+ (def: - r/-)
+ (def: * r/*)
+ (def: / r//)
+ (def: % r/%)
(def: (negate (^slots [#numerator #denominator]))
{#numerator denominator
#denominator numerator})
@@ -128,11 +128,11 @@
(def: part-encode
(-> Nat Text)
- (|>. n/encode (text;split +1) maybe;assume product;right))
+ (|>> n/encode (text;split +1) maybe;assume product;right))
(def: part-decode
(-> Text (E;Error Nat))
- (|>. (format "+") n/decode))
+ (|>> (format "+") n/decode))
(struct: #export _ (Codec Text Ratio)
(def: (encode (^slots [#numerator #denominator]))
diff --git a/stdlib/source/lux/data/tainted.lux b/stdlib/source/lux/data/tainted.lux
index ffe128022..d65e9c56b 100644
--- a/stdlib/source/lux/data/tainted.lux
+++ b/stdlib/source/lux/data/tainted.lux
@@ -8,11 +8,11 @@
(def: #export taint
(All [a] (-> a (Tainted a)))
- (|>. @opaque))
+ (|>> @opaque))
(def: #export trust
(All [a] (-> (Tainted a) a))
- (|>. @repr)))
+ (|>> @repr)))
(def: #export (validate pred tainted)
(All [a] (-> (-> a Bool) (Tainted a) (Maybe a)))
diff --git a/stdlib/source/lux/data/text.lux b/stdlib/source/lux/data/text.lux
index d4476b5c2..534901e98 100644
--- a/stdlib/source/lux/data/text.lux
+++ b/stdlib/source/lux/data/text.lux
@@ -185,7 +185,7 @@
(-> (List Text) Text)
(let [(^open) list;Fold<List>
(^open) Monoid<Text>]
- (|>. list;reverse (fold text/compose identity))))
+ (|>> list;reverse (fold text/compose identity))))
(def: #export (join-with sep texts)
(-> Text (List Text) Text)
diff --git a/stdlib/source/lux/data/text/regex.lux b/stdlib/source/lux/data/text/regex.lux
index d38111d7d..37cb091ee 100644
--- a/stdlib/source/lux/data/text/regex.lux
+++ b/stdlib/source/lux/data/text/regex.lux
@@ -78,9 +78,9 @@
(def: re-range^
(l;Lexer Code)
(do p;Monad<Parser>
- [from (|> regex-char^ (:: @ map (|>. (text;nth +0) maybe;assume)))
+ [from (|> regex-char^ (:: @ map (|>> (text;nth +0) maybe;assume)))
_ (l;this "-")
- to (|> regex-char^ (:: @ map (|>. (text;nth +0) maybe;assume)))]
+ to (|> regex-char^ (:: @ map (|>> (text;nth +0) maybe;assume)))]
(wrap (` (l;range (~ (code;nat from)) (~ (code;nat to)))))))
(def: re-char^
diff --git a/stdlib/source/lux/host.jvm.lux b/stdlib/source/lux/host.jvm.lux
index 12f6d7abf..76f54d67f 100644
--- a/stdlib/source/lux/host.jvm.lux
+++ b/stdlib/source/lux/host.jvm.lux
@@ -343,7 +343,7 @@
(def: (get-import name imports)
(-> Text ClassImports (Maybe Text))
(:: maybe;Functor<Maybe> map product;right
- (list;find (|>. product;left (text/= name))
+ (list;find (|>> product;left (text/= name))
imports)))
(def: (add-import short+full imports)
diff --git a/stdlib/source/lux/lang/syntax.lux b/stdlib/source/lux/lang/syntax.lux
index a0d65cc89..49e27aecd 100644
--- a/stdlib/source/lux/lang/syntax.lux
+++ b/stdlib/source/lux/lang/syntax.lux
@@ -582,7 +582,7 @@
(-> Text Aliases Cursor (l;Lexer [Cursor Code]))
(do p;Monad<Parser>
[[value length] <lexer>]
- (wrap [(update@ #;column (|>. ($_ n/+ <extra> length)) where)
+ (wrap [(update@ #;column (|>> ($_ n/+ <extra> length)) where)
[where (<tag> value)]])))]
[symbol #;Symbol (ident^ current-module aliases) +0]
diff --git a/stdlib/source/lux/macro.lux b/stdlib/source/lux/macro.lux
index 53fe18c82..8040d6ea5 100644
--- a/stdlib/source/lux/macro.lux
+++ b/stdlib/source/lux/macro.lux
@@ -433,7 +433,7 @@
(-> Text (Meta Type))
(function [compiler]
(let [test (: (-> [Text [Type Top]] Bool)
- (|>. product;left (text/= name)))]
+ (|>> product;left (text/= name)))]
(case (do maybe;Monad<Maybe>
[scope (list;find (function [env]
(or (list;any? test (: (List [Text [Type Top]])
@@ -614,7 +614,7 @@
(#;Some scopes)
(#e;Success [compiler
- (list/map (|>. (get@ [#;locals #;mappings])
+ (list/map (|>> (get@ [#;locals #;mappings])
(list/map (function [[name [type _]]]
[name type])))
scopes)]))))
diff --git a/stdlib/source/lux/macro/poly.lux b/stdlib/source/lux/macro/poly.lux
index 17a5cdc94..994c719de 100644
--- a/stdlib/source/lux/macro/poly.lux
+++ b/stdlib/source/lux/macro/poly.lux
@@ -201,7 +201,7 @@
partial-varI (n/inc partialI)
partial-varL (label partial-varI)
partialC (` ((~ funcL) (~@ (|> (list;n/range +0 (n/dec num-args))
- (list/map (|>. (n/* +2) n/inc (n/+ funcI) label))
+ (list/map (|>> (n/* +2) n/inc (n/+ funcI) label))
list;reverse))))]
(recur (n/inc current-arg)
(|> env'
diff --git a/stdlib/source/lux/macro/poly/eq.lux b/stdlib/source/lux/macro/poly/eq.lux
index a82b99814..55927e614 100644
--- a/stdlib/source/lux/macro/poly/eq.lux
+++ b/stdlib/source/lux/macro/poly/eq.lux
@@ -111,8 +111,8 @@
(do @
[g!eqs (poly;tuple (p;many Eq<?>))
#let [indices (|> (list;size g!eqs) n/dec (list;n/range +0))
- g!lefts (list/map (|>. nat/encode (text/compose "left") code;local-symbol) indices)
- g!rights (list/map (|>. nat/encode (text/compose "right") code;local-symbol) indices)]]
+ g!lefts (list/map (|>> nat/encode (text/compose "left") code;local-symbol) indices)
+ g!rights (list/map (|>> nat/encode (text/compose "right") code;local-symbol) indices)]]
(wrap (` (: (~ (@Eq inputT))
(function [[(~@ g!lefts)] [(~@ g!rights)]]
(and (~@ (|> (list;zip3 g!eqs g!lefts g!rights)
@@ -135,13 +135,13 @@
(do @
[[funcC varsC bodyC] (poly;polymorphic Eq<?>)]
(wrap (` (: (All [(~@ varsC)]
- (-> (~@ (list/map (|>. (~) eq;Eq (`)) varsC))
+ (-> (~@ (list/map (|>> (~) eq;Eq (`)) varsC))
(eq;Eq ((~ (poly;to-ast *env* inputT)) (~@ varsC)))))
(function (~ funcC) [(~@ varsC)]
(~ bodyC))))))
poly;recursive-call
## If all else fails...
(|> poly;any
- (:: @ map (|>. %type (format "Cannot create Eq for: ") p;fail))
+ (:: @ map (|>> %type (format "Cannot create Eq for: ") p;fail))
(:: @ join))
))))
diff --git a/stdlib/source/lux/macro/poly/functor.lux b/stdlib/source/lux/macro/poly/functor.lux
index 2870fc63f..edd3efcc2 100644
--- a/stdlib/source/lux/macro/poly/functor.lux
+++ b/stdlib/source/lux/macro/poly/functor.lux
@@ -29,7 +29,7 @@
(function [unwrappedT]
(if (n/= +1 num-vars)
(` (functor;Functor (~ (poly;to-ast *env* unwrappedT))))
- (let [paramsC (|> num-vars n/dec list;indices (L/map (|>. %n code;local-symbol)))]
+ (let [paramsC (|> num-vars n/dec list;indices (L/map (|>> %n code;local-symbol)))]
(` (All [(~@ paramsC)]
(functor;Functor ((~ (poly;to-ast *env* unwrappedT)) (~@ paramsC)))))))))
Arg<?> (: (-> Code (poly;Poly Code))
@@ -73,7 +73,7 @@
(Arg<?> outL))
#let [inC+ (|> (list;size inT+) n/dec
(list;n/range +0)
- (L/map (|>. %n (format "\u0000inC") code;local-symbol)))]]
+ (L/map (|>> %n (format "\u0000inC") code;local-symbol)))]]
(wrap (` (function [(~@ inC+)]
(let [(~ outL) ((~ valueC) (~@ inC+))]
(~ outC))))))
diff --git a/stdlib/source/lux/macro/poly/json.lux b/stdlib/source/lux/macro/poly/json.lux
index 02352109a..d001d4839 100644
--- a/stdlib/source/lux/macro/poly/json.lux
+++ b/stdlib/source/lux/macro/poly/json.lux
@@ -34,7 +34,7 @@
(def: tag
(-> Nat Frac)
- (|>. nat-to-int int-to-frac))
+ (|>> nat-to-int int-to-frac))
(def: #hidden (rec-encode non-rec)
(All [a] (-> (-> (-> a JSON)
@@ -61,9 +61,9 @@
(|> low frac-to-int int-to-nat))))))
(struct: #hidden _ (Codec JSON Int)
- (def: encode (|>. int-to-nat (:: Codec<JSON,Nat> encode)))
+ (def: encode (|>> int-to-nat (:: Codec<JSON,Nat> encode)))
(def: decode
- (|>. (:: Codec<JSON,Nat> decode) (:: e;Functor<Error> map nat-to-int))))
+ (|>> (:: Codec<JSON,Nat> decode) (:: e;Functor<Error> map nat-to-int))))
(def: #hidden (nullable writer)
{#;doc "Builds a JSON generator for potentially inexistent values."}
@@ -76,9 +76,9 @@
(struct: #hidden (Codec<JSON,Qty> carrier)
(All [unit] (-> unit (Codec JSON (unit;Qty unit))))
(def: encode
- (|>. unit;out (:: Codec<JSON,Int> encode)))
+ (|>> unit;out (:: Codec<JSON,Int> encode)))
(def: decode
- (|>. (:: Codec<JSON,Int> decode) (:: e;Functor<Error> map (unit;in carrier)))))
+ (|>> (:: Codec<JSON,Int> decode) (:: e;Functor<Error> map (unit;in carrier)))))
(poly: #hidden Codec<JSON,?>//encode
(with-expansions
@@ -89,16 +89,16 @@
<encoder>))))]
[Unit poly;unit (function [(~ (code;symbol ["" "0"]))] #//;Null)]
- [Bool poly;bool (|>. #//;Boolean)]
+ [Bool poly;bool (|>> #//;Boolean)]
[Nat poly;nat (:: ;;Codec<JSON,Nat> (~' encode))]
[Int poly;int (:: ;;Codec<JSON,Int> (~' encode))]
- [Frac poly;frac (|>. #//;Number)]
- [Text poly;text (|>. #//;String)])
+ [Frac poly;frac (|>> #//;Number)]
+ [Text poly;text (|>> #//;String)])
<time> (do-template [<type> <codec>]
[(do @
[_ (poly;this <type>)]
(wrap (` (: (~ (@JSON//encode inputT))
- (|>. (:: <codec> (~' encode)) #//;String)))))]
+ (|>> (:: <codec> (~' encode)) #//;String)))))]
[du;Duration du;Codec<Text,Duration>]
[i;Instant i;Codec<Text,Instant>]
@@ -127,7 +127,7 @@
poly;text
Codec<JSON,?>//encode))]
(wrap (` (: (~ (@JSON//encode inputT))
- (|>. d;entries
+ (|>> d;entries
(;;_map_ (function [[(~ g!key) (~ g!val)]]
[(~ g!key) ((~ .val.) (~ g!val))]))
(d;from-list text;Hash<Text>)
@@ -143,7 +143,7 @@
(poly;this ;List)
Codec<JSON,?>//encode))]
(wrap (` (: (~ (@JSON//encode inputT))
- (|>. (;;_map_ (~ .sub.)) sequence;from-list #//;Array)))))
+ (|>> (;;_map_ (~ .sub.)) sequence;from-list #//;Array)))))
(do @
[#let [g!input (code;local-symbol "\u0000input")]
members (poly;variant (p;many Codec<JSON,?>//encode))]
@@ -159,7 +159,7 @@
[g!encoders (poly;tuple (p;many Codec<JSON,?>//encode))
#let [g!members (|> (list;size g!encoders) n/dec
(list;n/range +0)
- (list/map (|>. nat/encode code;local-symbol)))]]
+ (list/map (|>> nat/encode code;local-symbol)))]]
(wrap (` (: (~ (@JSON//encode inputT))
(function [[(~@ g!members)]]
(//;json [(~@ (list/map (function [[g!member g!encode]]
@@ -276,7 +276,7 @@
(do @
[[funcC varsC bodyC] (poly;polymorphic Codec<JSON,?>//decode)]
(wrap (` (: (All [(~@ varsC)]
- (-> (~@ (list/map (|>. (~) //;Reader (`)) varsC))
+ (-> (~@ (list/map (|>> (~) //;Reader (`)) varsC))
(//;Reader ((~ (poly;to-ast *env* inputT)) (~@ varsC)))))
(function (~ funcC) [(~@ varsC)]
(~ bodyC))))))
diff --git a/stdlib/source/lux/macro/syntax/common/reader.lux b/stdlib/source/lux/macro/syntax/common/reader.lux
index 7874e4d54..7759a7561 100644
--- a/stdlib/source/lux/macro/syntax/common/reader.lux
+++ b/stdlib/source/lux/macro/syntax/common/reader.lux
@@ -91,7 +91,7 @@
(def: (find-definition-args meta-data)
(-> (List [Ident Code]) (List Text))
(<| (maybe;default (list))
- (case (list;find (|>. product;left (ident/= ["lux" "func-args"])) meta-data)
+ (case (list;find (|>> product;left (ident/= ["lux" "func-args"])) meta-data)
(^multi (#;Some [_ value])
[(p;run (list value) tuple-meta^)
(#;Right [_ args])]
diff --git a/stdlib/source/lux/test.lux b/stdlib/source/lux/test.lux
index 10672afaf..9a43645e5 100644
--- a/stdlib/source/lux/test.lux
+++ b/stdlib/source/lux/test.lux
@@ -91,7 +91,7 @@
(def: failed?
(-> Counters Bool)
- (|>. product;right (n/> +0)))
+ (|>> product;right (n/> +0)))
(def: #export (seed value test)
(-> Seed Test Test)
diff --git a/stdlib/source/lux/time/duration.lux b/stdlib/source/lux/time/duration.lux
index 642550bc3..b97ae817a 100644
--- a/stdlib/source/lux/time/duration.lux
+++ b/stdlib/source/lux/time/duration.lux
@@ -17,11 +17,11 @@
(def: #export from-millis
(-> Int Duration)
- (|>. @opaque))
+ (|>> @opaque))
(def: #export to-millis
(-> Duration Int)
- (|>. @repr))
+ (|>> @repr))
(do-template [<name> <op>]
[(def: #export (<name> param subject)
diff --git a/stdlib/source/lux/time/instant.lux b/stdlib/source/lux/time/instant.lux
index 2429d0bee..1175d4c75 100644
--- a/stdlib/source/lux/time/instant.lux
+++ b/stdlib/source/lux/time/instant.lux
@@ -24,11 +24,11 @@
(def: #export from-millis
(-> Int Instant)
- (|>. @opaque))
+ (|>> @opaque))
(def: #export to-millis
(-> Instant Int)
- (|>. @repr))
+ (|>> @repr))
(def: #export (span from to)
(-> Instant Instant duration;Duration)
@@ -63,7 +63,7 @@
(def: order Order<Instant>)
(do-template [<name>]
[(def: <name>
- (|>. @repr (:: number;Enum<Int> <name>) @opaque))]
+ (|>> @repr (:: number;Enum<Int> <name>) @opaque))]
[succ] [pred]
))
diff --git a/stdlib/source/lux/type/implicit.lux b/stdlib/source/lux/type/implicit.lux
index fb08f0a0b..4e3c9e161 100644
--- a/stdlib/source/lux/type/implicit.lux
+++ b/stdlib/source/lux/type/implicit.lux
@@ -20,7 +20,7 @@
(def: (find-type-var id env)
(-> Nat Type-Context (Meta Type))
- (case (list;find (|>. product;left (n/= id))
+ (case (list;find (|>> product;left (n/= id))
(get@ #;var-bindings env))
(#;Some [_ (#;Some type)])
(case type
diff --git a/stdlib/source/lux/type/object.lux b/stdlib/source/lux/type/object.lux
index 461e836a3..881eaa1e5 100644
--- a/stdlib/source/lux/type/object.lux
+++ b/stdlib/source/lux/type/object.lux
@@ -66,7 +66,7 @@
(|> (list;size ancestors)
n/dec
(list;n/range +0)
- (L/map (|>. %n (format "ancestor") code;local-symbol)))))
+ (L/map (|>> %n (format "ancestor") code;local-symbol)))))
## [Methods]
(type: Method
@@ -102,7 +102,7 @@
g!_behavior (code;symbol ["" "_behavior"])
g!_state (code;symbol ["" "_state"])
g!_extension (code;symbol ["" "_extension"])
- g!_args (L/map (|>. product;left nat-to-int %i (format "_") code;local-symbol)
+ g!_args (L/map (|>> product;left nat-to-int %i (format "_") code;local-symbol)
(list;enumerate inputs))
g!destructuring (L/fold (function [_ g!bottom] (` [(~ g!_temp) (~ g!_temp) (~ g!bottom)]))
(` [(~ g!_behavior) (~ g!_state) (~ g!_extension)])
@@ -125,14 +125,14 @@
(def: (with-interface parent interface)
(-> Ident Ident cs;Annotations cs;Annotations)
- (|>. (#;Cons [(ident-for #;;interface-name)
+ (|>> (#;Cons [(ident-for #;;interface-name)
(code;tag interface)])
(#;Cons [(ident-for #;;interface-parent)
(code;tag parent)])))
(def: (with-class interface parent class)
(-> Ident Ident Ident cs;Annotations cs;Annotations)
- (|>. (#;Cons [(ident-for #;;class-interface)
+ (|>> (#;Cons [(ident-for #;;class-interface)
(code;tag interface)])
(#;Cons [(ident-for #;;class-parent)
(code;tag parent)])
@@ -184,7 +184,7 @@
size
(|> (n/dec size)
(list;n/range +0)
- (L/map (|>. (n/* +2) n/inc code;nat (~) #;Bound (`)))
+ (L/map (|>> (n/* +2) n/inc code;nat (~) #;Bound (`)))
(list;zip2 (list;reverse mappings))
(L/fold (function [[mappingC boundC] genericC]
(code;replace boundC mappingC genericC))
@@ -400,7 +400,7 @@
(wrap (list& (` (sig: (~@ (csw;export export))
((~ g!signature) (~@ g!parameters) (~ g!self-class))
(~@ (let [de-alias (code;replace (code;local-symbol alias) g!self-class)]
- (L/map (|>. (update@ #inputs (L/map de-alias))
+ (L/map (|>> (update@ #inputs (L/map de-alias))
(update@ #output de-alias)
(declarationM g!self-class))
methods)))))
@@ -419,7 +419,7 @@
g!states (L/compose g!ancestors (list g!child))
g!self-object (` ((~ g!interface) (~@ g!parameters) (~ g!ext) (~@ g!ancestors) (~ g!child)))
de-alias (code;replace (code;symbol ["" alias]) g!self-object)]
- (L/map (|>. (update@ #inputs (L/map de-alias))
+ (L/map (|>> (update@ #inputs (L/map de-alias))
(update@ #output de-alias)
(definition export decl g!self-object g!ext g!states))
methods))))
@@ -464,7 +464,7 @@
g!parent-structs (if (no-parent? parent)
(list)
- (L/map (|>. (product;both id structN) code;symbol) (list& parent ancestors)))]
+ (L/map (|>> (product;both id structN) code;symbol) (list& parent ancestors)))]
g!parent-inits (M;map @ (function [_] (macro;gensym "parent-init"))
g!parent-structs)
#let [g!full-init (L/fold (function [[parent-struct parent-state] child]
diff --git a/stdlib/source/lux/type/opaque.lux b/stdlib/source/lux/type/opaque.lux
index 636acd6e2..6bbf4c2a9 100644
--- a/stdlib/source/lux/type/opaque.lux
+++ b/stdlib/source/lux/type/opaque.lux
@@ -55,7 +55,7 @@
(def: representation-name
(-> Text Text)
- (|>. ($_ text/compose "{" kind "@" module "}")
+ (|>> ($_ text/compose "{" kind "@" module "}")
(let [[module kind] (ident-for #;;Representation)])))
(def: (install-casts' this-module-name name type-vars)
@@ -74,7 +74,7 @@
(^ (list value))
(wrap (list (` ((: (All [(~@ type-varsC)]
(-> (~ representation-declaration) (~ opaque-declaration)))
- (|>. :!!))
+ (|>> :!!))
(~ value)))))
_
@@ -87,7 +87,7 @@
(^ (list value))
(wrap (list (` ((: (All [(~@ type-varsC)]
(-> (~ opaque-declaration) (~ representation-declaration)))
- (|>. :!!))
+ (|>> :!!))
(~ value)))))
_
diff --git a/stdlib/source/lux/type/unit.lux b/stdlib/source/lux/type/unit.lux
index c2a4629c0..5bf8e9d48 100644
--- a/stdlib/source/lux/type/unit.lux
+++ b/stdlib/source/lux/type/unit.lux
@@ -58,7 +58,7 @@
(do-template [<name> <tag>]
[(def: <name>
(-> Text Text)
- (|>. (format "{" kind "@" module "}")
+ (|>> (format "{" kind "@" module "}")
(let [[module kind] (ident-for <tag>)])))]
[unit-name #;;Unit]
@@ -98,12 +98,12 @@
(` (struct: (~@ (csw;export export)) (~ (code;local-symbol (format "@" name)))
(;;Scale (~ g!scale))
(def: (~' scale)
- (|>. ;;out
+ (|>> ;;out
(i/* (~ (code;int (nat-to-int numerator))))
(i// (~ (code;int (nat-to-int denominator))))
(;;in (:! ((~ g!scale) ($ +0)) []))))
(def: (~' de-scale)
- (|>. ;;out
+ (|>> ;;out
(i/* (~ (code;int (nat-to-int denominator))))
(i// (~ (code;int (nat-to-int numerator))))
(;;in (:! ($ +0) []))))
@@ -116,11 +116,11 @@
(All [unit] (-> (Qty unit) (Qty unit) (Qty unit)))
(|> (out subject) (<op> (out param)) (in (carrier subject))))]
- [u+ i/+]
- [u- i/-]
+ [u/+ i/+]
+ [u/- i/-]
)
-(def: #export (u/ param subject)
+(def: #export (u// param subject)
(All [p s] (-> (Qty p) (Qty s) (|> (Qty s) (Per (Qty p)))))
(function [input]
(|> (out subject)
@@ -128,7 +128,7 @@
(i// (out param))
(in (carrier subject)))))
-(def: #export (u* param subject)
+(def: #export (u/* param subject)
(All [p s] (-> (Qty p) (Qty s) (Product (Qty p) (Qty s))))
(function [input]
(|> (out subject)
@@ -137,7 +137,7 @@
(def: #export (re-scale from to quantity)
(All [si so u] (-> (Scale si) (Scale so) (Qty (si u)) (Qty (so u))))
- (let [[numerator denominator] (|> (:: to ratio) (r;q./ (:: from ratio)))]
+ (let [[numerator denominator] (|> (:: to ratio) (r;r// (:: from ratio)))]
(|> quantity out
(i/* (nat-to-int numerator))
(i// (nat-to-int denominator))
diff --git a/stdlib/source/lux/world/blob.jvm.lux b/stdlib/source/lux/world/blob.jvm.lux
index f6dcb1f6e..c0e52379d 100644
--- a/stdlib/source/lux/world/blob.jvm.lux
+++ b/stdlib/source/lux/world/blob.jvm.lux
@@ -24,7 +24,7 @@
(def: byte-to-nat
(-> (primitive java.lang.Byte) Nat)
- (|>. host;b2l (:! Nat) (bit;and byte-mask)))
+ (|>> host;b2l (:! Nat) (bit;and byte-mask)))
(def: #export (create size)
(-> Nat Blob)
diff --git a/stdlib/source/lux/world/console.lux b/stdlib/source/lux/world/console.lux
index b479aa3e4..0448637ca 100644
--- a/stdlib/source/lux/world/console.lux
+++ b/stdlib/source/lux/world/console.lux
@@ -43,20 +43,20 @@
#output PrintStream}
(def: read-char
- (|>. get@Console
+ (|>> get@Console
(get@ #input)
(BufferedReader.read [])
- (:: io;Functor<Process> map (|>. int-to-nat text;from-code))
+ (:: io;Functor<Process> map (|>> int-to-nat text;from-code))
promise;future))
(def: read-line
- (|>. get@Console
+ (|>> get@Console
(get@ #input)
(BufferedReader.readLine [])
promise;future))
(def: (write message)
- (|>. get@Console
+ (|>> get@Console
(get@ #output)
(PrintStream.print [message])
promise;future))
diff --git a/stdlib/test/test/lux.lux b/stdlib/test/test/lux.lux
index d73f0c5a9..cfc562686 100644
--- a/stdlib/test/test/lux.lux
+++ b/stdlib/test/test/lux.lux
@@ -14,7 +14,7 @@
(context: "Value identity."
(<| (times +100)
(do @
- [size (|> r;nat (:: @ map (|>. (n/% +100) (n/max +10))))
+ [size (|> r;nat (:: @ map (|>> (n/% +100) (n/max +10))))
x (r;text size)
y (r;text size)]
($_ seq
@@ -124,7 +124,7 @@
[x (:: @ map <cap> rand-gen)
y (|> rand-gen
(:: @ map <cap>)
- (r;filter (|>. (= <0>) not)))
+ (r;filter (|>> (= <0>) not)))
#let [r (<%> y x)
x' (- r x)]]
(test ""
diff --git a/stdlib/test/test/lux/cli.lux b/stdlib/test/test/lux/cli.lux
index bb3765e63..37e954e76 100644
--- a/stdlib/test/test/lux/cli.lux
+++ b/stdlib/test/test/lux/cli.lux
@@ -22,7 +22,7 @@
#let [(^open "Nat/") number;Codec<Text,Nat>
gen-arg (:: @ map Nat/encode r;nat)]
yes gen-arg
- #let [gen-ignore (|> (r;text +5) (r;filter (|>. (text/= yes) not)))]
+ #let [gen-ignore (|> (r;text +5) (r;filter (|>> (text/= yes) not)))]
no gen-ignore
pre-ignore (r;list +5 gen-ignore)
post-ignore (r;list +5 gen-ignore)]
diff --git a/stdlib/test/test/lux/control/interval.lux b/stdlib/test/test/lux/control/interval.lux
index a8d5c3c9e..1dc6e0afa 100644
--- a/stdlib/test/test/lux/control/interval.lux
+++ b/stdlib/test/test/lux/control/interval.lux
@@ -60,7 +60,7 @@
(r;Random (&;Interval Int))
(do r;Monad<Random>
[bottom r;int
- top (|> r;int (r;filter (|>. (i/= bottom) not)))]
+ top (|> r;int (r;filter (|>> (i/= bottom) not)))]
(if (<cmp> top bottom)
(wrap (&;between number;Enum<Int> bottom top))
(wrap (&;between number;Enum<Int> top bottom)))))]
@@ -142,7 +142,7 @@
(<| (times +100)
(do @
[[l m r] (|> (r;set number;Hash<Int> +3 r;int)
- (:: @ map (|>. S;to-list
+ (:: @ map (|>> S;to-list
(L;sort i/<)
(case> (^ (list b t1 t2))
[b t1 t2]
@@ -164,7 +164,7 @@
(<| (times +100)
(do @
[[b t1 t2] (|> (r;set number;Hash<Int> +3 r;int)
- (:: @ map (|>. S;to-list
+ (:: @ map (|>> S;to-list
(L;sort i/<)
(case> (^ (list b t1 t2))
[b t1 t2]
@@ -191,7 +191,7 @@
(do @
[some-interval gen-interval
[x0 x1 x2 x3] (|> (r;set number;Hash<Int> +4 r;int)
- (:: @ map (|>. S;to-list
+ (:: @ map (|>> S;to-list
(L;sort i/<)
(case> (^ (list x0 x1 x2 x3))
[x0 x1 x2 x3]
diff --git a/stdlib/test/test/lux/data/coll/array.lux b/stdlib/test/test/lux/data/coll/array.lux
index 663592c34..6d30f3e1e 100644
--- a/stdlib/test/test/lux/data/coll/array.lux
+++ b/stdlib/test/test/lux/data/coll/array.lux
@@ -13,7 +13,7 @@
(def: bounded-size
(r;Random Nat)
(|> r;nat
- (:: r;Monad<Random> map (|>. (n/% +100) (n/+ +1)))))
+ (:: r;Monad<Random> map (|>> (n/% +100) (n/+ +1)))))
(context: "Arrays and their copies"
(<| (times +100)
@@ -55,7 +55,7 @@
[size bounded-size
idx (:: @ map (n/% size) r;nat)
array (|> (r;array size r;nat)
- (r;filter (|>. @;to-list (list;any? n/odd?))))
+ (r;filter (|>> @;to-list (list;any? n/odd?))))
#let [value (maybe;assume (@;read idx array))]]
($_ seq
(test "Shouldn't be able to find a value in an unoccupied cell."
@@ -82,7 +82,7 @@
(do @
[size bounded-size
array (|> (r;array size r;nat)
- (r;filter (|>. @;to-list (list;any? n/even?))))]
+ (r;filter (|>> @;to-list (list;any? n/even?))))]
($_ seq
(test "Can find values inside arrays."
(|> (@;find n/even? array)
diff --git a/stdlib/test/test/lux/data/coll/list.lux b/stdlib/test/test/lux/data/coll/list.lux
index 942a2aa56..501c2cfc8 100644
--- a/stdlib/test/test/lux/data/coll/list.lux
+++ b/stdlib/test/test/lux/data/coll/list.lux
@@ -15,7 +15,7 @@
(def: bounded-size
(r;Random Nat)
(|> r;nat
- (:: r;Monad<Random> map (|>. (n/% +100) (n/+ +10)))))
+ (:: r;Monad<Random> map (|>> (n/% +100) (n/+ +10)))))
(context: "Lists: Part 1"
(<| (times +100)
diff --git a/stdlib/test/test/lux/data/coll/ordered/dict.lux b/stdlib/test/test/lux/data/coll/ordered/dict.lux
index 93774eb99..b3a6d6f58 100644
--- a/stdlib/test/test/lux/data/coll/ordered/dict.lux
+++ b/stdlib/test/test/lux/data/coll/ordered/dict.lux
@@ -18,7 +18,7 @@
[size (|> r;nat (:: @ map (n/% +100)))
keys (r;set number;Hash<Nat> size r;nat)
values (r;set number;Hash<Nat> size r;nat)
- extra-key (|> r;nat (r;filter (|>. (s;member? keys) not)))
+ extra-key (|> r;nat (r;filter (|>> (s;member? keys) not)))
extra-value r;nat
#let [pairs (list;zip2 (s;to-list keys)
(s;to-list values))
diff --git a/stdlib/test/test/lux/data/coll/priority-queue.lux b/stdlib/test/test/lux/data/coll/priority-queue.lux
index f1f7999a0..8b94d0612 100644
--- a/stdlib/test/test/lux/data/coll/priority-queue.lux
+++ b/stdlib/test/test/lux/data/coll/priority-queue.lux
@@ -25,7 +25,7 @@
[size (|> r;nat (:: @ map (n/% +100)))
sample (gen-queue size)
non-member-priority r;nat
- non-member (|> r;nat (r;filter (|>. (&;member? number;Eq<Nat> sample) not)))]
+ non-member (|> r;nat (r;filter (|>> (&;member? number;Eq<Nat> sample) not)))]
($_ seq
(test "I can query the size of a queue (and empty queues have size 0)."
(n/= size (&;size sample)))
diff --git a/stdlib/test/test/lux/data/coll/sequence.lux b/stdlib/test/test/lux/data/coll/sequence.lux
index 234456d1e..222feeacc 100644
--- a/stdlib/test/test/lux/data/coll/sequence.lux
+++ b/stdlib/test/test/lux/data/coll/sequence.lux
@@ -14,7 +14,7 @@
(context: "Sequences"
(<| (times +100)
(do @
- [size (|> r;nat (:: @ map (|>. (n/% +100) (n/max +1))))
+ [size (|> r;nat (:: @ map (|>> (n/% +100) (n/max +1))))
idx (|> r;nat (:: @ map (n/% size)))
sample (r;sequence size r;nat)
other-sample (r;sequence size r;nat)
diff --git a/stdlib/test/test/lux/data/coll/stream.lux b/stdlib/test/test/lux/data/coll/stream.lux
index 8c3db3ac4..725426f1b 100644
--- a/stdlib/test/test/lux/data/coll/stream.lux
+++ b/stdlib/test/test/lux/data/coll/stream.lux
@@ -16,9 +16,9 @@
(context: "Streams"
(<| (times +100)
(do @
- [size (|> r;nat (:: @ map (|>. (n/% +100) (n/max +2))))
+ [size (|> r;nat (:: @ map (|>> (n/% +100) (n/max +2))))
offset (|> r;nat (:: @ map (n/% +100)))
- factor (|> r;nat (:: @ map (|>. (n/% +100) (n/max +2))))
+ factor (|> r;nat (:: @ map (|>> (n/% +100) (n/max +2))))
elem r;nat
cycle-seed (r;list size r;nat)
cycle-sample-idx (|> r;nat (:: @ map (n/% +1000)))
diff --git a/stdlib/test/test/lux/data/coll/tree/rose.lux b/stdlib/test/test/lux/data/coll/tree/rose.lux
index 09f3f13f6..9fe725f9b 100644
--- a/stdlib/test/test/lux/data/coll/tree/rose.lux
+++ b/stdlib/test/test/lux/data/coll/tree/rose.lux
@@ -15,7 +15,7 @@
(r;Random [Nat (&;Tree Nat)])
(r;rec
(function [gen-tree]
- (r;either (:: r;Monad<Random> map (|>. &;leaf [+1]) r;nat)
+ (r;either (:: r;Monad<Random> map (|>> &;leaf [+1]) r;nat)
(do r;Monad<Random>
[value r;nat
num-children (|> r;nat (:: @ map (n/% +3)))
diff --git a/stdlib/test/test/lux/data/color.lux b/stdlib/test/test/lux/data/color.lux
index 6a97b0e72..b4597b22a 100644
--- a/stdlib/test/test/lux/data/color.lux
+++ b/stdlib/test/test/lux/data/color.lux
@@ -15,7 +15,7 @@
(def: scale
(-> Nat Frac)
- (|>. nat-to-int int-to-frac))
+ (|>> nat-to-int int-to-frac))
(def: square (-> Frac Frac) (math;pow 2.0))
@@ -51,7 +51,7 @@
(r;filter (function [color] (|> (distance color black) (f/>= 100.0))))
(r;filter (function [color] (|> (distance color white) (f/>= 100.0)))))
mediocre (|> color
- (r;filter (|>. saturation
+ (r;filter (|>> saturation
((function [saturation]
(and (f/>= 0.25 saturation)
(f/<= 0.75 saturation)))))))
diff --git a/stdlib/test/test/lux/data/format/xml.lux b/stdlib/test/test/lux/data/format/xml.lux
index bcbf63f9e..55709facc 100644
--- a/stdlib/test/test/lux/data/format/xml.lux
+++ b/stdlib/test/test/lux/data/format/xml.lux
@@ -30,7 +30,7 @@
(def: (size^ bottom top)
(-> Nat Nat (r;Random Nat))
- (let [constraint (|>. (n/% top) (n/max bottom))]
+ (let [constraint (|>> (n/% top) (n/max bottom))]
(r/map constraint r;nat)))
(def: (xml-text^ bottom top)
@@ -85,7 +85,7 @@
value (xml-text^ +1 +10)
#let [node (#&;Node tag
(dict;put attr value &;attrs)
- (L/map (|>. #&;Text) children))]]
+ (L/map (|>> #&;Text) children))]]
($_ seq
(test "Can parse text."
(E;default false
diff --git a/stdlib/test/test/lux/data/ident.lux b/stdlib/test/test/lux/data/ident.lux
index f03cfa9a2..a096892ca 100644
--- a/stdlib/test/test/lux/data/ident.lux
+++ b/stdlib/test/test/lux/data/ident.lux
@@ -18,13 +18,13 @@
(do @
[## First Ident
sizeM1 (|> r;nat (:: @ map (n/% +100)))
- sizeN1 (|> r;nat (:: @ map (|>. (n/% +100) (n/max +1))))
+ sizeN1 (|> r;nat (:: @ map (|>> (n/% +100) (n/max +1))))
module1 (gen-part sizeM1)
name1 (gen-part sizeN1)
#let [ident1 [module1 name1]]
## Second Ident
sizeM2 (|> r;nat (:: @ map (n/% +100)))
- sizeN2 (|> r;nat (:: @ map (|>. (n/% +100) (n/max +1))))
+ sizeN2 (|> r;nat (:: @ map (|>> (n/% +100) (n/max +1))))
module2 (gen-part sizeM2)
name2 (gen-part sizeN2)
#let [ident2 [module2 name2]]
diff --git a/stdlib/test/test/lux/data/number.lux b/stdlib/test/test/lux/data/number.lux
index 2fe050740..7522f46ef 100644
--- a/stdlib/test/test/lux/data/number.lux
+++ b/stdlib/test/test/lux/data/number.lux
@@ -92,7 +92,7 @@
[(context: (format "[" category "] " "Monoid")
(<| (times +100)
(do @
- [x (|> rand-gen (:: @ map (|>. (:: <Number> abs) <cap>)) (r;filter <test>))
+ [x (|> rand-gen (:: @ map (|>> (:: <Number> abs) <cap>)) (r;filter <test>))
#let [(^open) <Number>
(^open) <Order>
(^open) <Monoid>]]
@@ -159,7 +159,7 @@
(<| (times +100)
(do @
[raw r;frac
- factor (|> r;nat (:: @ map (|>. (n/% +1000) (n/max +1))))
+ factor (|> r;nat (:: @ map (|>> (n/% +1000) (n/max +1))))
#let [sample (|> factor nat-to-int int-to-frac (f/* raw))]]
(test "Can convert frac values to/from their bit patterns."
(|> sample frac-to-bits bits-to-frac (f/= sample))))))
diff --git a/stdlib/test/test/lux/data/number/complex.lux b/stdlib/test/test/lux/data/number/complex.lux
index c7b0691df..e642256b9 100644
--- a/stdlib/test/test/lux/data/number/complex.lux
+++ b/stdlib/test/test/lux/data/number/complex.lux
@@ -25,7 +25,7 @@
(def: gen-dim
(r;Random Frac)
(do r;Monad<Random>
- [factor (|> r;nat (:: @ map (|>. (n/% +1000) (n/max +1))))
+ [factor (|> r;nat (:: @ map (|>> (n/% +1000) (n/max +1))))
measure (|> r;frac (r;filter (f/> 0.0)))]
(wrap (f/* (|> factor nat-to-int int-to-frac)
measure))))
@@ -61,19 +61,19 @@
($_ seq
(test "Absolute value of complex >= absolute value of any of the parts."
(let [r+i (&;complex real imaginary)
- abs (get@ #&;real (&;c.abs r+i))]
+ abs (get@ #&;real (&;c/abs r+i))]
(and (f/>= (frac/abs real) abs)
(f/>= (frac/abs imaginary) abs))))
(test "The absolute value of a complex number involving a NaN on either dimension, results in a NaN value."
- (and (number;not-a-number? (get@ #&;real (&;c.abs (&;complex number;not-a-number imaginary))))
- (number;not-a-number? (get@ #&;real (&;c.abs (&;complex real number;not-a-number))))))
+ (and (number;not-a-number? (get@ #&;real (&;c/abs (&;complex number;not-a-number imaginary))))
+ (number;not-a-number? (get@ #&;real (&;c/abs (&;complex real number;not-a-number))))))
(test "The absolute value of a complex number involving an infinity on either dimension, results in an infinite value."
- (and (f/= number;positive-infinity (get@ #&;real (&;c.abs (&;complex number;positive-infinity imaginary))))
- (f/= number;positive-infinity (get@ #&;real (&;c.abs (&;complex real number;positive-infinity))))
- (f/= number;positive-infinity (get@ #&;real (&;c.abs (&;complex number;negative-infinity imaginary))))
- (f/= number;positive-infinity (get@ #&;real (&;c.abs (&;complex real number;negative-infinity))))))
+ (and (f/= number;positive-infinity (get@ #&;real (&;c/abs (&;complex number;positive-infinity imaginary))))
+ (f/= number;positive-infinity (get@ #&;real (&;c/abs (&;complex real number;positive-infinity))))
+ (f/= number;positive-infinity (get@ #&;real (&;c/abs (&;complex number;negative-infinity imaginary))))
+ (f/= number;positive-infinity (get@ #&;real (&;c/abs (&;complex real number;negative-infinity))))))
))))
(context: "Addidion, substraction, multiplication and division"
@@ -84,40 +84,40 @@
factor gen-dim]
($_ seq
(test "Adding 2 complex numbers is the same as adding their parts."
- (let [z (&;c.+ y x)]
- (and (&;c.= z
+ (let [z (&;c/+ y x)]
+ (and (&;c/= z
(&;complex (f/+ (get@ #&;real y)
(get@ #&;real x))
(f/+ (get@ #&;imaginary y)
(get@ #&;imaginary x)))))))
(test "Subtracting 2 complex numbers is the same as adding their parts."
- (let [z (&;c.- y x)]
- (and (&;c.= z
+ (let [z (&;c/- y x)]
+ (and (&;c/= z
(&;complex (f/- (get@ #&;real y)
(get@ #&;real x))
(f/- (get@ #&;imaginary y)
(get@ #&;imaginary x)))))))
(test "Subtraction is the inverse of addition."
- (and (|> x (&;c.+ y) (&;c.- y) (within? margin-of-error x))
- (|> x (&;c.- y) (&;c.+ y) (within? margin-of-error x))))
+ (and (|> x (&;c/+ y) (&;c/- y) (within? margin-of-error x))
+ (|> x (&;c/- y) (&;c/+ y) (within? margin-of-error x))))
(test "Division is the inverse of multiplication."
- (|> x (&;c.* y) (&;c./ y) (within? margin-of-error x)))
+ (|> x (&;c/* y) (&;c// y) (within? margin-of-error x)))
(test "Scalar division is the inverse of scalar multiplication."
- (|> x (&;c.*' factor) (&;c./' factor) (within? margin-of-error x)))
+ (|> x (&;c/*' factor) (&;c//' factor) (within? margin-of-error x)))
(test "If you subtract the remainder, all divisions must be exact."
- (let [rem (&;c.% y x)
- quotient (|> x (&;c.- rem) (&;c./ y))
+ (let [rem (&;c/% y x)
+ quotient (|> x (&;c/- rem) (&;c// y))
floored (|> quotient
(update@ #&;real math;floor)
(update@ #&;imaginary math;floor))]
(within? 0.000000000001
x
- (|> quotient (&;c.* y) (&;c.+ rem)))))
+ (|> quotient (&;c/* y) (&;c/+ rem)))))
))))
(context: "Conjugate, reciprocal, signum, negation"
@@ -136,23 +136,23 @@
(|> x &;reciprocal &;reciprocal (within? margin-of-error x)))
(test "x*(x^-1) = 1"
- (|> x (&;c.* (&;reciprocal x)) (within? margin-of-error &;one)))
+ (|> x (&;c/* (&;reciprocal x)) (within? margin-of-error &;one)))
(test "Absolute value of signum is always root2(2), 1 or 0."
- (let [signum-abs (|> x &;c.signum &;c.abs (get@ #&;real))]
+ (let [signum-abs (|> x &;c/signum &;c/abs (get@ #&;real))]
(or (f/= 0.0 signum-abs)
(f/= 1.0 signum-abs)
(f/= (math;root2 2.0) signum-abs))))
(test "Negation is its own inverse."
- (let [there (&;c.negate x)
- back-again (&;c.negate there)]
- (and (not (&;c.= there x))
- (&;c.= back-again x))))
+ (let [there (&;c/negate x)
+ back-again (&;c/negate there)]
+ (and (not (&;c/= there x))
+ (&;c/= back-again x))))
(test "Negation doesn't change the absolute value."
- (f/= (get@ #&;real (&;c.abs x))
- (get@ #&;real (&;c.abs (&;c.negate x)))))
+ (f/= (get@ #&;real (&;c/abs x))
+ (get@ #&;real (&;c/abs (&;c/negate x)))))
))))
(context: "Trigonometry"
@@ -185,7 +185,7 @@
(<| (times +100)
(do @
[sample gen-complex
- degree (|> r;nat (:: @ map (|>. (n/max +1) (n/% +5))))]
+ degree (|> r;nat (:: @ map (|>> (n/max +1) (n/% +5))))]
(test "Can calculate the N roots for any complex number."
(|> sample
(&;nth-roots degree)
diff --git a/stdlib/test/test/lux/data/number/ratio.lux b/stdlib/test/test/lux/data/number/ratio.lux
index 0cd1f58ea..cd6657f8a 100644
--- a/stdlib/test/test/lux/data/number/ratio.lux
+++ b/stdlib/test/test/lux/data/number/ratio.lux
@@ -14,14 +14,14 @@
(def: gen-part
(r;Random Nat)
- (|> r;nat (:: r;Monad<Random> map (|>. (n/% +1000) (n/max +1)))))
+ (|> r;nat (:: r;Monad<Random> map (|>> (n/% +1000) (n/max +1)))))
(def: gen-ratio
(r;Random &;Ratio)
(do r;Monad<Random>
[numerator gen-part
denominator (|> gen-part
- (r;filter (|>. (n/= +0) not))
+ (r;filter (|>> (n/= +0) not))
(r;filter (. not (n/= numerator))))]
(wrap (&;ratio numerator denominator))))
@@ -33,11 +33,11 @@
sample gen-ratio]
($_ seq
(test "All zeroes are the same."
- (&;q.= (&;ratio +0 denom1)
+ (&;r/= (&;ratio +0 denom1)
(&;ratio +0 denom2)))
(test "All ratios are built normalized."
- (|> sample &;normalize (&;q.= sample)))
+ (|> sample &;normalize (&;r/= sample)))
))))
(context: "Arithmetic"
@@ -45,29 +45,29 @@
(do @
[x gen-ratio
y gen-ratio
- #let [min (&;q.min x y)
- max (&;q.max x y)]]
+ #let [min (&;r/min x y)
+ max (&;r/max x y)]]
($_ seq
(test "Addition and subtraction are opposites."
- (and (|> max (&;q.- min) (&;q.+ min) (&;q.= max))
- (|> max (&;q.+ min) (&;q.- min) (&;q.= max))))
+ (and (|> max (&;r/- min) (&;r/+ min) (&;r/= max))
+ (|> max (&;r/+ min) (&;r/- min) (&;r/= max))))
(test "Multiplication and division are opposites."
- (and (|> max (&;q./ min) (&;q.* min) (&;q.= max))
- (|> max (&;q.* min) (&;q./ min) (&;q.= max))))
+ (and (|> max (&;r// min) (&;r/* min) (&;r/= max))
+ (|> max (&;r/* min) (&;r// min) (&;r/= max))))
(test "Modulus by a larger ratio doesn't change the value."
- (|> min (&;q.% max) (&;q.= min)))
+ (|> min (&;r/% max) (&;r/= min)))
(test "Modulus by a smaller ratio results in a value smaller than the limit."
- (|> max (&;q.% min) (&;q.< min)))
+ (|> max (&;r/% min) (&;r/< min)))
(test "Can get the remainder of a division."
- (let [remainder (&;q.% min max)
- multiple (&;q.- remainder max)
- factor (&;q./ min multiple)]
+ (let [remainder (&;r/% min max)
+ multiple (&;r/- remainder max)
+ factor (&;r// min multiple)]
(and (|> factor (get@ #&;denominator) (n/= +1))
- (|> factor (&;q.* min) (&;q.+ remainder) (&;q.= max)))))
+ (|> factor (&;r/* min) (&;r/+ remainder) (&;r/= max)))))
))))
(context: "Negation, absolute value and signum"
@@ -78,14 +78,14 @@
(test "Negation is it's own inverse."
(let [there (&/negate sample)
back-again (&/negate there)]
- (and (not (&;q.= there sample))
- (&;q.= back-again sample))))
+ (and (not (&;r/= there sample))
+ (&;r/= back-again sample))))
(test "All ratios are already at their absolute value."
- (|> sample &/abs (&;q.= sample)))
+ (|> sample &/abs (&;r/= sample)))
(test "Signum is the identity."
- (|> sample (&;q.* (&/signum sample)) (&;q.= sample)))
+ (|> sample (&;r/* (&/signum sample)) (&;r/= sample)))
))))
(context: "Order"
@@ -95,10 +95,10 @@
y gen-ratio]
($_ seq
(test "Can compare ratios."
- (and (or (&;q.<= y x)
- (&;q.> y x))
- (or (&;q.>= y x)
- (&;q.< y x))))
+ (and (or (&;r/<= y x)
+ (&;r/> y x))
+ (or (&;r/>= y x)
+ (&;r/< y x))))
))))
(context: "Codec"
@@ -109,7 +109,7 @@
(test "Can encode/decode ratios."
(|> sample &/encode &/decode
(case> (#;Right output)
- (&;q.= sample output)
+ (&;r/= sample output)
_
false))))))
diff --git a/stdlib/test/test/lux/data/text.lux b/stdlib/test/test/lux/data/text.lux
index a0747866e..2091bf8ba 100644
--- a/stdlib/test/test/lux/data/text.lux
+++ b/stdlib/test/test/lux/data/text.lux
@@ -22,7 +22,7 @@
(def: bounded-size
(r;Random Nat)
(|> r;nat
- (:: r;Monad<Random> map (|>. (n/% +20) (n/+ +1)))))
+ (:: r;Monad<Random> map (|>> (n/% +20) (n/+ +1)))))
(context: "Locations"
(<| (times +100)
@@ -104,7 +104,7 @@
#let [## The wider unicode charset includes control characters that
## can make text replacement work improperly.
## Because of that, I restrict the charset.
- normal-char-gen (|> r;nat (:: @ map (|>. (n/% +128) (n/max +1))))]
+ normal-char-gen (|> r;nat (:: @ map (|>> (n/% +128) (n/max +1))))]
sep1 (r;text' normal-char-gen +1)
sep2 (r;text' normal-char-gen +1)
#let [part-gen (|> (r;text' normal-char-gen sizeP)
diff --git a/stdlib/test/test/lux/data/text/lexer.lux b/stdlib/test/test/lux/data/text/lexer.lux
index bdac87f89..331ca42ea 100644
--- a/stdlib/test/test/lux/data/text/lexer.lux
+++ b/stdlib/test/test/lux/data/text/lexer.lux
@@ -72,10 +72,10 @@
(context: "Literals"
(<| (times +100)
(do @
- [size (|> r;nat (:: @ map (|>. (n/% +100) (n/max +10))))
+ [size (|> r;nat (:: @ map (|>> (n/% +100) (n/max +10))))
sample (r;text size)
non-sample (|> (r;text size)
- (r;filter (|>. (text/= sample) not)))]
+ (r;filter (|>> (text/= sample) not)))]
($_ seq
(test "Can find literal text fragments."
(and (|> (&;run sample
diff --git a/stdlib/test/test/lux/host.jvm.lux b/stdlib/test/test/lux/host.jvm.lux
index 97f13f2df..064b4c360 100644
--- a/stdlib/test/test/lux/host.jvm.lux
+++ b/stdlib/test/test/lux/host.jvm.lux
@@ -112,7 +112,7 @@
(context: "Arrays"
(<| (times +100)
(do @
- [size (|> r;nat (:: @ map (|>. (n/% +100) (n/max +1))))
+ [size (|> r;nat (:: @ map (|>> (n/% +100) (n/max +1))))
idx (|> r;nat (:: @ map (n/% size)))
value r;int]
($_ seq
diff --git a/stdlib/test/test/lux/lang/syntax.lux b/stdlib/test/test/lux/lang/syntax.lux
index e93ef3f83..cc1338374 100644
--- a/stdlib/test/test/lux/lang/syntax.lux
+++ b/stdlib/test/test/lux/lang/syntax.lux
@@ -31,7 +31,7 @@
(r;filter (function [sample]
(not (text;contains? (text;from-code sample)
invalid-range)))))]
- size (|> r;nat (:: @ map (|>. (n/% +20) (n/max +1))))]
+ size (|> r;nat (:: @ map (|>> (n/% +20) (n/max +1))))]
(r;text' char-gen size)))
(def: ident^
@@ -42,18 +42,18 @@
(r;Random Code)
(let [numeric^ (: (r;Random Code)
($_ r;either
- (|> r;bool (r/map (|>. #;Bool [default-cursor])))
- (|> r;nat (r/map (|>. #;Nat [default-cursor])))
- (|> r;int (r/map (|>. #;Int [default-cursor])))
- (|> r;deg (r/map (|>. #;Deg [default-cursor])))
- (|> r;frac (r/map (|>. #;Frac [default-cursor])))))
+ (|> r;bool (r/map (|>> #;Bool [default-cursor])))
+ (|> r;nat (r/map (|>> #;Nat [default-cursor])))
+ (|> r;int (r/map (|>> #;Int [default-cursor])))
+ (|> r;deg (r/map (|>> #;Deg [default-cursor])))
+ (|> r;frac (r/map (|>> #;Frac [default-cursor])))))
textual^ (: (r;Random Code)
($_ r;either
(do r;Monad<Random>
[size (|> r;nat (r/map (n/% +20)))]
- (|> (r;text size) (r/map (|>. #;Text [default-cursor]))))
- (|> ident^ (r/map (|>. #;Symbol [default-cursor])))
- (|> ident^ (r/map (|>. #;Tag [default-cursor])))))
+ (|> (r;text size) (r/map (|>> #;Text [default-cursor]))))
+ (|> ident^ (r/map (|>> #;Symbol [default-cursor])))
+ (|> ident^ (r/map (|>> #;Tag [default-cursor])))))
simple^ (: (r;Random Code)
($_ r;either
numeric^
@@ -65,17 +65,18 @@
(r;list size code^))
composite^ (: (r;Random Code)
($_ r;either
- (|> multi^ (r/map (|>. #;Form [default-cursor])))
- (|> multi^ (r/map (|>. #;Tuple [default-cursor])))
+ (|> multi^ (r/map (|>> #;Form [default-cursor])))
+ (|> multi^ (r/map (|>> #;Tuple [default-cursor])))
(do r;Monad<Random>
[size (|> r;nat (r/map (n/% +3)))]
(|> (r;list size (r;seq code^ code^))
- (r/map (|>. #;Record [default-cursor]))))))]
+ (r/map (|>> #;Record [default-cursor]))))))]
(r;either simple^
composite^))))))
(context: "Lux code syntax."
- (<| (times +100)
+ (<| (seed +7998490996744206936)
+ ## (times +100)
(do @
[sample code^
other code^]
@@ -108,13 +109,13 @@
(def: nat-to-frac
(-> Nat Frac)
- (|>. nat-to-int int-to-frac))
+ (|>> nat-to-int int-to-frac))
(context: "Frac special syntax."
(<| (times +100)
(do @
- [numerator (|> r;nat (:: @ map (|>. (n/% +100) nat-to-frac)))
- denominator (|> r;nat (:: @ map (|>. (n/% +100) (n/max +1) nat-to-frac)))
+ [numerator (|> r;nat (:: @ map (|>> (n/% +100) nat-to-frac)))
+ denominator (|> r;nat (:: @ map (|>> (n/% +100) (n/max +1) nat-to-frac)))
signed? r;bool
#let [expected (|> numerator (f// denominator) (f/* (if signed? -1.0 1.0)))]]
(test "Can parse frac ratio syntax."
@@ -178,7 +179,7 @@
x char-gen
y char-gen
z char-gen
- offset-size (|> r;nat (r/map (|>. (n/% +10) (n/max +1))))
+ offset-size (|> r;nat (r/map (|>> (n/% +10) (n/max +1))))
#let [offset (text;join-with "" (list;repeat offset-size " "))]
sample code^
comment comment^
diff --git a/stdlib/test/test/lux/lang/type/check.lux b/stdlib/test/test/lux/lang/type/check.lux
index 06c5c3d6b..c0cd5ac1e 100644
--- a/stdlib/test/test/lux/lang/type/check.lux
+++ b/stdlib/test/test/lux/lang/type/check.lux
@@ -141,7 +141,7 @@
[nameL gen-name
nameR (|> gen-name (r;filter (. not (text/= nameL))))
paramL gen-type
- paramR (|> gen-type (r;filter (|>. (@;checks? paramL) not)))]
+ paramR (|> gen-type (r;filter (|>> (@;checks? paramL) not)))]
($_ seq
(test "Primitive types match when they have the same name and the same parameters."
(@;checks? (#;Primitive nameL (list paramL))
@@ -207,7 +207,7 @@
(<| (times +100)
(do @
[num-connections (|> r;nat (:: @ map (n/% +100)))
- boundT (|> gen-type (r;filter (|>. (case> (#;Var _) false _ true))))
+ boundT (|> gen-type (r;filter (|>> (case> (#;Var _) false _ true))))
pick-pcg (r;seq r;nat r;nat)]
($_ seq
(test "Can create rings of variables."
diff --git a/stdlib/test/test/lux/macro/poly/eq.lux b/stdlib/test/test/lux/macro/poly/eq.lux
index e071ba043..bd3239cf6 100644
--- a/stdlib/test/test/lux/macro/poly/eq.lux
+++ b/stdlib/test/test/lux/macro/poly/eq.lux
@@ -47,7 +47,7 @@
(r;Random Record)
(do r;Monad<Random>
[size (:: @ map (n/% +2) r;nat)
- #let [gen-int (|> r;int (:: @ map (|>. int/abs (i/% 1_000_000))))]]
+ #let [gen-int (|> r;int (:: @ map (|>> int/abs (i/% 1_000_000))))]]
($_ r;seq
(:: @ wrap [])
r;bool
diff --git a/stdlib/test/test/lux/math.lux b/stdlib/test/test/lux/math.lux
index c79720956..3852ace0d 100644
--- a/stdlib/test/test/lux/math.lux
+++ b/stdlib/test/test/lux/math.lux
@@ -33,7 +33,7 @@
(context: "Roots"
(<| (times +100)
(do @
- [factor (|> r;nat (:: @ map (|>. (n/% +1000)
+ [factor (|> r;nat (:: @ map (|>> (n/% +1000)
(n/max +1)
nat-to-int
int-to-frac)))
@@ -79,7 +79,7 @@
(context: "Greatest-Common-Divisor and Least-Common-Multiple"
(<| (times +100)
(do @
- [#let [gen-nat (|> r;nat (:: @ map (|>. (n/% +1000) (n/max +1))))]
+ [#let [gen-nat (|> r;nat (:: @ map (|>> (n/% +1000) (n/max +1))))]
x gen-nat
y gen-nat]
($_ (test "GCD"
diff --git a/stdlib/test/test/lux/math/random.lux b/stdlib/test/test/lux/math/random.lux
index 9aefcc8f7..5fc91db75 100644
--- a/stdlib/test/test/lux/math/random.lux
+++ b/stdlib/test/test/lux/math/random.lux
@@ -17,7 +17,7 @@
(context: "Random."
(<| (times +100)
(do @
- [size (|> r;nat (:: @ map (|>. (n/% +100) (n/max +10))))
+ [size (|> r;nat (:: @ map (|>> (n/% +100) (n/max +10))))
_list (r;list size r;nat)
_sequence (r;sequence size r;nat)
_array (r;array size r;nat)
diff --git a/stdlib/test/test/lux/time/duration.lux b/stdlib/test/test/lux/time/duration.lux
index b56e828bf..e84ef6471 100644
--- a/stdlib/test/test/lux/time/duration.lux
+++ b/stdlib/test/test/lux/time/duration.lux
@@ -43,7 +43,7 @@
(do @
[sample (|> duration (:: @ map (@;frame @;day)))
frame duration
- factor (|> r;int (:: @ map (|>. (i/% 10) (i/max 1))))
+ factor (|> r;int (:: @ map (|>> (i/% 10) (i/max 1))))
#let [(^open "@/") @;Order<Duration>]]
($_ seq
(test "Can scale a duration."
diff --git a/stdlib/test/test/lux/time/instant.lux b/stdlib/test/test/lux/time/instant.lux
index db99c8628..d56ef1062 100644
--- a/stdlib/test/test/lux/time/instant.lux
+++ b/stdlib/test/test/lux/time/instant.lux
@@ -18,7 +18,7 @@
(def: #export instant
(r;Random @;Instant)
- (|> r;int (:: r;Monad<Random> map (|>. (i/% boundary) @;from-millis))))
+ (|> r;int (:: r;Monad<Random> map (|>> (i/% boundary) @;from-millis))))
(context: "Conversion."
(<| (times +100)
diff --git a/stdlib/test/test/lux/type/object.lux b/stdlib/test/test/lux/type/object.lux
index 96c71a75c..4884f342a 100644
--- a/stdlib/test/test/lux/type/object.lux
+++ b/stdlib/test/test/lux/type/object.lux
@@ -37,10 +37,10 @@
(List a)
(def: (add elem)
- (update@Collection (|>. (#;Cons elem))))
+ (update@Collection (|>> (#;Cons elem))))
(def: size
- (|>. get@Collection list;size)))
+ (|>> get@Collection list;size)))
(interface: (Iterable a)
#super (Collection a)
diff --git a/stdlib/test/test/lux/world/blob.lux b/stdlib/test/test/lux/world/blob.lux
index 3986a6a23..90d2a9af0 100644
--- a/stdlib/test/test/lux/world/blob.lux
+++ b/stdlib/test/test/lux/world/blob.lux
@@ -35,7 +35,7 @@
(context: "Blob."
(<| (times +100)
(do @
- [blob-size (|> r;nat (:: @ map (|>. (n/% +100) (n/max +8))))
+ [blob-size (|> r;nat (:: @ map (|>> (n/% +100) (n/max +8))))
random-blob (blob blob-size)
#let [clean-blob (@;create blob-size)
size (@;size clean-blob)]
@@ -43,7 +43,7 @@
idx (|> r;nat (:: @ map (n/% size)))
[from to] (|> (r;list +2 (|> r;nat (:: @ map (n/% size))))
(:: @ map
- (|>. (list;sort n/<)
+ (|>> (list;sort n/<)
(pipe;case> (^ (list from to))
[from to]
diff --git a/stdlib/test/test/lux/world/file.lux b/stdlib/test/test/lux/world/file.lux
index 5c68c1097..b33978531 100644
--- a/stdlib/test/test/lux/world/file.lux
+++ b/stdlib/test/test/lux/world/file.lux
@@ -17,15 +17,15 @@
(// ["_;" blob]))
(def: truncate-millis
- (|>. (i// 1_000) (i/* 1_000)))
+ (|>> (i// 1_000) (i/* 1_000)))
(context: "File system."
(do @
- [file-size (|> r;nat (:: @ map (|>. (n/% +100) (n/max +10))))
+ [file-size (|> r;nat (:: @ map (|>> (n/% +100) (n/max +10))))
dataL (_blob;blob file-size)
dataR (_blob;blob file-size)
code r;nat
- last-modified (|> r;int (:: @ map (|>. (:: number;Number<Int> abs)
+ last-modified (|> r;int (:: @ map (|>> (:: number;Number<Int> abs)
truncate-millis
d;from-millis
i;absolute)))]
diff --git a/stdlib/test/test/lux/world/net/tcp.lux b/stdlib/test/test/lux/world/net/tcp.lux
index c18d3929b..a57ab0544 100644
--- a/stdlib/test/test/lux/world/net/tcp.lux
+++ b/stdlib/test/test/lux/world/net/tcp.lux
@@ -21,7 +21,7 @@
(r;Random net;Port)
(|> r;nat
(:: r;Monad<Random> map
- (|>. (n/% +1000)
+ (|>> (n/% +1000)
(n/+ +8000)))))
(exception: Empty-Channel)
@@ -40,7 +40,7 @@
(context: "TCP networking."
(do @
[port ;;port
- size (|> r;nat (:: @ map (|>. (n/% +100) (n/max +10))))
+ size (|> r;nat (:: @ map (|>> (n/% +100) (n/max +10))))
from (_blob;blob size)
to (_blob;blob size)
#let [temp (blob;create size)]]
diff --git a/stdlib/test/test/lux/world/net/udp.lux b/stdlib/test/test/lux/world/net/udp.lux
index a4707744e..cc3ad6fc7 100644
--- a/stdlib/test/test/lux/world/net/udp.lux
+++ b/stdlib/test/test/lux/world/net/udp.lux
@@ -21,7 +21,7 @@
(r;Random net;Port)
(|> r;nat
(:: r;Monad<Random> map
- (|>. (n/% +1000)
+ (|>> (n/% +1000)
(n/+ +8000)))))
(exception: Empty-Channel)
@@ -40,7 +40,7 @@
(context: "UDP networking."
(do @
[port ;;port
- size (|> r;nat (:: @ map (|>. (n/% +100) (n/max +10))))
+ size (|> r;nat (:: @ map (|>> (n/% +100) (n/max +10))))
from (_blob;blob size)
to (_blob;blob size)
#let [temp (blob;create size)]]