diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/data/collection/tree/finger.lux | 6 |
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 19e3dae15..3939f2d38 100644 --- a/stdlib/source/library/lux/data/collection/tree/finger.lux +++ b/stdlib/source/library/lux/data/collection/tree/finger.lux @@ -2,13 +2,13 @@ [library [lux "*" [abstract - [predicate {"+" Predicate}] - ["[0]" monoid {"+" Monoid}]] + [predicate (.only Predicate)] + ["[0]" monoid (.only Monoid)]] [data [collection ["[0]" list ("[1]#[0]" monoid)]]] [type - [primitive {"+" primitive: abstraction representation}]]]]) + [primitive (.only primitive: abstraction representation)]]]]) ... https://en.wikipedia.org/wiki/Finger_tree (primitive: .public (Tree @ t v) |