diff options
Diffstat (limited to 'stdlib/source/lux/data/number/i64.lux')
| -rw-r--r-- | stdlib/source/lux/data/number/i64.lux | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/stdlib/source/lux/data/number/i64.lux b/stdlib/source/lux/data/number/i64.lux index 97e897cc5..a9b1afb3b 100644 --- a/stdlib/source/lux/data/number/i64.lux +++ b/stdlib/source/lux/data/number/i64.lux @@ -2,6 +2,7 @@ [lux (#- and or not) [abstract [equivalence (#+ Equivalence)] + [hash (#+ Hash)] [monoid (#+ Monoid)]] [data [number @@ -110,6 +111,13 @@ (def: (= parameter subject) ("lux i64 =" parameter subject))) +(structure: #export hash + (All [a] (Hash (I64 a))) + + (def: &equivalence ..equivalence) + + (def: hash .nat)) + (structure: #export disjunction (All [a] (Monoid (I64 a))) |