diff options
Diffstat (limited to 'stdlib/source/lux/data/sum.lux')
-rw-r--r-- | stdlib/source/lux/data/sum.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/lux/data/sum.lux b/stdlib/source/lux/data/sum.lux index 670951182..24704c3c0 100644 --- a/stdlib/source/lux/data/sum.lux +++ b/stdlib/source/lux/data/sum.lux @@ -7,8 +7,8 @@ (All [a b] (-> <type> (| a b))) (<index> value))] - [left a +0] - [right b +1]) + [left a |0] + [right b |1]) (def: #export (either fl fr) (All [a b c] @@ -16,8 +16,8 @@ (-> (| a b) c))) (function (_ input) (case input - (+0 l) (fl l) - (+1 r) (fr r)))) + (|0 l) (fl l) + (|1 r) (fr r)))) (def: #export (each fl fr) (All [l l' r r'] @@ -25,8 +25,8 @@ (-> (| l r) (| l' r')))) (function (_ input) (case input - (+0 l) (+0 (fl l)) - (+1 r) (+1 (fr r))))) + (|0 l) (|0 (fl l)) + (|1 r) (|1 (fr r))))) (do-template [<name> <side> <tag>] [(def: #export (<name> es) @@ -36,8 +36,8 @@ (#.Cons (<tag> x) es') (#.Cons [x (<name> es')]) (#.Cons _ es') (<name> es')))] - [lefts a +0] - [rights b +1] + [lefts a |0] + [rights b |1] ) (def: #export (partition xs) @@ -49,5 +49,5 @@ (#.Cons x xs') (let [[lefts rights] (partition xs')] (case x - (+0 x') [(#.Cons x' lefts) rights] - (+1 x') [lefts (#.Cons x' rights)])))) + (|0 x') [(#.Cons x' lefts) rights] + (|1 x') [lefts (#.Cons x' rights)])))) |