diff options
| author | Eduardo Julian | 2022-06-12 13:33:48 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-12 13:33:48 -0400 |
| commit | 8c3a1afab9efeb86e2f53d743551fc689fbad257 (patch) | |
| tree | 396b2fd29bac407544d2136a0d9e6e3b8b2c30af /stdlib/source/library/lux/data/product.lux | |
| parent | 9c21fd1f33eb52fb971d493ad21a67036d68b841 (diff) | |
De-sigil-ification: suffix : [Part 4]
Diffstat (limited to 'stdlib/source/library/lux/data/product.lux')
| -rw-r--r-- | stdlib/source/library/lux/data/product.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/data/product.lux b/stdlib/source/library/lux/data/product.lux index c57ec6cfc..02caab668 100644 --- a/stdlib/source/library/lux/data/product.lux +++ b/stdlib/source/library/lux/data/product.lux @@ -49,12 +49,12 @@ (function (_ x) [(f x) (g x)])) -(implementation: .public (equivalence left right) +(def: .public (equivalence left right) (All (_ l r) (-> (Equivalence l) (Equivalence r) (Equivalence [l r]))) - - (def: (= [rl rr] [sl sr]) - (and (at left = rl sl) - (at right = rr sr)))) + (implementation + (def: (= [rl rr] [sl sr]) + (and (at left = rl sl) + (at right = rr sr))))) (def: .public (hash left right) (All (_ l r) (-> (Hash l) (Hash r) (Hash [l r]))) |