diff options
Diffstat (limited to 'stdlib/source/library/lux/abstract/order.lux')
| -rw-r--r-- | stdlib/source/library/lux/abstract/order.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/library/lux/abstract/order.lux b/stdlib/source/library/lux/abstract/order.lux index e5931d694..e8dfbc834 100644 --- a/stdlib/source/library/lux/abstract/order.lux +++ b/stdlib/source/library/lux/abstract/order.lux @@ -44,13 +44,13 @@ Choice (if (at order < y x) y x)) -(implementation: .public functor +(def: .public functor (contravariant.Functor Order) - - (def: (each f order) - (implementation - (def: equivalence - (at equivalence.functor each f (at order equivalence))) - - (def: (< reference sample) - (at order < (f reference) (f sample)))))) + (implementation + (def: (each f order) + (implementation + (def: equivalence + (at equivalence.functor each f (at order equivalence))) + + (def: (< reference sample) + (at order < (f reference) (f sample))))))) |