diff options
Diffstat (limited to 'stdlib/source/library/lux/data/collection/stack.lux')
| -rw-r--r-- | stdlib/source/library/lux/data/collection/stack.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/library/lux/data/collection/stack.lux b/stdlib/source/library/lux/data/collection/stack.lux index 1b52dfdaa..baf2bf038 100644 --- a/stdlib/source/library/lux/data/collection/stack.lux +++ b/stdlib/source/library/lux/data/collection/stack.lux @@ -47,20 +47,20 @@ (All (_ a) (-> a (Stack a) (Stack a))) (abstraction {.#Item value (representation stack)})) - (implementation: .public (equivalence super) + (def: .public (equivalence super) (All (_ a) (-> (Equivalence a) (Equivalence (Stack a)))) + (implementation + (def: (= reference subject) + (at (//.equivalence super) = (representation reference) (representation subject))))) - (def: (= reference subject) - (at (//.equivalence super) = (representation reference) (representation subject)))) - - (implementation: .public functor + (def: .public functor (Functor Stack) - - (def: (each f value) - (|> value - representation - (at //.functor each f) - abstraction))) + (implementation + (def: (each f value) + (|> value + representation + (at //.functor each f) + abstraction)))) ) |