diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/abstract/hash.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/lux/abstract/hash.lux b/stdlib/source/lux/abstract/hash.lux index 9a8b44dfb..14857ef18 100644 --- a/stdlib/source/lux/abstract/hash.lux +++ b/stdlib/source/lux/abstract/hash.lux @@ -5,7 +5,7 @@ [functor ["." contravariant]]]) -(signature: #export (Hash a) +(interface: #export (Hash a) {#.doc (doc "A way to produce hash-codes for a type's instances." "A necessity when working with some data-structures, such as dictionaries or sets.")} (: (Equivalence a) @@ -13,11 +13,11 @@ (: (-> a Nat) hash)) -(structure: #export functor +(implementation: #export functor (contravariant.Functor Hash) (def: (map f super) - (structure + (implementation (def: &equivalence (\ equivalence.functor map f (\ super &equivalence))) |