diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/abstract/hash.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/lux/abstract/hash.lux b/stdlib/source/lux/abstract/hash.lux index df2dd2e27..f22bdc62a 100644 --- a/stdlib/source/lux/abstract/hash.lux +++ b/stdlib/source/lux/abstract/hash.lux @@ -15,25 +15,25 @@ (All [l r] (-> (Hash l) (Hash r) (Hash (| l r)))) (structure (def: &equivalence - (equivalence.sum (:: left &equivalence) - (:: right &equivalence))) + (equivalence.sum (\ left &equivalence) + (\ right &equivalence))) (def: (hash value) (<| (:coerce Nat) (case value (#.Left value) - ("lux i64 *" +2 (:coerce Int (:: left hash value))) + ("lux i64 *" +2 (:coerce Int (\ left hash value))) (#.Right value) - ("lux i64 *" +3 (:coerce Int (:: right hash value)))))))) + ("lux i64 *" +3 (:coerce Int (\ right hash value)))))))) (def: #export (product left right) (All [l r] (-> (Hash l) (Hash r) (Hash (& l r)))) (structure (def: &equivalence - (equivalence.product (:: left &equivalence) - (:: right &equivalence))) + (equivalence.product (\ left &equivalence) + (\ right &equivalence))) (def: (hash [leftV rightV]) (:coerce Nat ("lux i64 +" - (:coerce Int (:: left hash leftV)) - (:coerce Int (:: right hash rightV))))))) + (:coerce Int (\ left hash leftV)) + (:coerce Int (\ right hash rightV))))))) |