aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/data/collection/tree/finger.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/data/collection/tree/finger.lux')
-rw-r--r--stdlib/source/library/lux/data/collection/tree/finger.lux6
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/data/collection/tree/finger.lux b/stdlib/source/library/lux/data/collection/tree/finger.lux
index 40a70ac2d..998ccde41 100644
--- a/stdlib/source/library/lux/data/collection/tree/finger.lux
+++ b/stdlib/source/library/lux/data/collection/tree/finger.lux
@@ -3,10 +3,10 @@
[lux "*"
[abstract
[predicate {"+" [Predicate]}]
- ["." monoid {"+" [Monoid]}]]
+ ["[0]" monoid {"+" [Monoid]}]]
[data
[collection
- ["." list ("#\." monoid)]]]
+ ["[0]" list ("[1]\[0]" monoid)]]]
[type
[abstract {"+" [abstract: :abstraction :representation]}]]]])
@@ -88,7 +88,7 @@
(All (_ @ t v) (-> (Predicate t) (Tree @ t v) (Maybe v)))
(let [[monoid tag root] (:representation tree)]
(if (predicate tag)
- (let [(^open "tag//.") monoid]
+ (let [(^open "tag//[0]") monoid]
(loop [_tag tag//identity
_node root]
(case _node