diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/abstract/equivalence.lux | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/stdlib/source/lux/abstract/equivalence.lux b/stdlib/source/lux/abstract/equivalence.lux index ccfc55928..d65e101a8 100644 --- a/stdlib/source/lux/abstract/equivalence.lux +++ b/stdlib/source/lux/abstract/equivalence.lux @@ -1,7 +1,8 @@ (.module: [lux #*] [// - [functor (#+ Contravariant)]]) + [functor + ["." contravariant]]]) (signature: #export (Equivalence a) {#.doc "Equivalence for a type's instances."} @@ -35,10 +36,10 @@ (def: (= left right) (sub = left right)))) -(structure: #export contravariant - (Contravariant Equivalence) +(structure: #export functor + (contravariant.Functor Equivalence) - (def: (map-1 f equivalence) + (def: (map f equivalence) (structure (def: (= reference sample) (:: equivalence = (f reference) (f sample)))))) |