aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/data/collection/stack.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/data/collection/stack.lux18
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/library/lux/data/collection/stack.lux b/stdlib/source/library/lux/data/collection/stack.lux
index e90d53f84..8c55178f9 100644
--- a/stdlib/source/library/lux/data/collection/stack.lux
+++ b/stdlib/source/library/lux/data/collection/stack.lux
@@ -28,24 +28,24 @@
(def: .public (value stack)
(All (_ a) (-> (Stack a) (Maybe a)))
(case (:representation stack)
- #.End
- #.None
+ {.#End}
+ {.#None}
- {#.Item value _}
- {#.Some value}))
+ {.#Item value _}
+ {.#Some value}))
(def: .public (next stack)
(All (_ a) (-> (Stack a) (Maybe [a (Stack a)])))
(case (:representation stack)
- #.End
- #.None
+ {.#End}
+ {.#None}
- {#.Item top stack'}
- {#.Some [top (:abstraction stack')]}))
+ {.#Item top stack'}
+ {.#Some [top (:abstraction stack')]}))
(def: .public (top value stack)
(All (_ a) (-> a (Stack a) (Stack a)))
- (:abstraction {#.Item value (:representation stack)}))
+ (:abstraction {.#Item value (:representation stack)}))
(implementation: .public (equivalence super)
(All (_ a)