diff options
Diffstat (limited to 'stdlib/source/library/lux/data/text/unicode/set.lux')
| -rw-r--r-- | stdlib/source/library/lux/data/text/unicode/set.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/data/text/unicode/set.lux b/stdlib/source/library/lux/data/text/unicode/set.lux index 1bd7ca2af..238eb0895 100644 --- a/stdlib/source/library/lux/data/text/unicode/set.lux +++ b/stdlib/source/library/lux/data/text/unicode/set.lux @@ -2,19 +2,19 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}]] + [equivalence (.only Equivalence)]] [data [collection ["[0]" list ("[1]#[0]" mix functor)] ["[0]" set ("[1]#[0]" equivalence)] ["[0]" tree "_" - ["[1]" finger {"+" Tree}]]]] - [type {"+" by_example} + ["[1]" finger (.only Tree)]]]] + [type (.only by_example) [primitive "*"]]]] ["[0]" / "_" ["/[1]" // "_" - [// {"+" Char}] - ["[1][0]" block {"+" Block}]]]) + [// (.only Char)] + ["[1][0]" block (.only Block)]]]) (def: builder (tree.builder //block.monoid)) |