diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/abstract/equivalence.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux/abstract/equivalence.lux b/stdlib/source/lux/abstract/equivalence.lux index 3948d12bd..58d644c9b 100644 --- a/stdlib/source/lux/abstract/equivalence.lux +++ b/stdlib/source/lux/abstract/equivalence.lux @@ -4,21 +4,21 @@ [functor ["." contravariant]]]) -(signature: #export (Equivalence a) +(interface: #export (Equivalence a) {#.doc "Equivalence for a type's instances."} (: (-> a a Bit) =)) (def: #export (rec sub) (All [a] (-> (-> (Equivalence a) (Equivalence a)) (Equivalence a))) - (structure + (implementation (def: (= left right) (sub = left right)))) -(structure: #export functor +(implementation: #export functor (contravariant.Functor Equivalence) (def: (map f equivalence) - (structure + (implementation (def: (= reference sample) (\ equivalence = (f reference) (f sample)))))) |