diff options
author | Eduardo Julian | 2022-06-01 21:52:34 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-01 21:52:34 -0400 |
commit | 5d44577c3849a045052dc1c9f0dd7deddd032120 (patch) | |
tree | b0e00801734720e9f985c7dfa239aaa0bdea7bcd /stdlib/source/library/lux/data/text/unicode/block.lux | |
parent | 659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff) |
Extensible import syntax: Part 1
Diffstat (limited to 'stdlib/source/library/lux/data/text/unicode/block.lux')
-rw-r--r-- | stdlib/source/library/lux/data/text/unicode/block.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/data/text/unicode/block.lux b/stdlib/source/library/lux/data/text/unicode/block.lux index af1825a48..39d51af79 100644 --- a/stdlib/source/library/lux/data/text/unicode/block.lux +++ b/stdlib/source/library/lux/data/text/unicode/block.lux @@ -2,17 +2,17 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}] - [monoid {"+" Monoid}] - ["[0]" interval {"+" Interval}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)] + [monoid (.only Monoid)] + ["[0]" interval (.only Interval)]] [math - [number {"+" hex} + [number (.only hex) ["n" nat ("[1]#[0]" interval)] ["[0]" i64]]] [type [primitive "*"]]]] - [/// {"+" Char}]) + [/// (.only Char)]) (primitive: .public Block (Interval Char) |