diff options
Diffstat (limited to 'stdlib/source/lux/data/sum.lux')
-rw-r--r-- | stdlib/source/lux/data/sum.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/lux/data/sum.lux b/stdlib/source/lux/data/sum.lux index 6a048153c..4d76b6039 100644 --- a/stdlib/source/lux/data/sum.lux +++ b/stdlib/source/lux/data/sum.lux @@ -60,34 +60,34 @@ (0 #0 x') [(#.Cons x' lefts) rights] (0 #1 x') [lefts (#.Cons x' rights)])))) -(structure: #export (equivalence l@= r@=) +(structure: #export (equivalence l\= r\=) (All [l r] (-> (Equivalence l) (Equivalence r) (Equivalence (| l r)))) (def: (= reference sample) (case [reference sample] [(#.Left reference) (#.Left sample)] - (l@= reference sample) + (l\= reference sample) [(#.Right reference) (#.Right sample)] - (r@= reference sample) + (r\= reference sample) _ false))) -(structure: #export (hash (^open "l@.") (^open "r@.")) +(structure: #export (hash (^open "l\.") (^open "r\.")) (All [l r] (-> (Hash l) (Hash r) (Hash (| l r)))) - (def: &equivalence (..equivalence l@= r@=)) + (def: &equivalence (..equivalence l\= r\=)) (def: (hash value) (case value (#.Left value) - (l@hash value) + (l\hash value) (#.Right value) (.nat ("lux i64 *" (.int 2) - (.int (r@hash value))))))) + (.int (r\hash value))))))) |