aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/data/text/unicode/block.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-08-20 03:12:49 -0400
committerEduardo Julian2021-08-20 03:12:49 -0400
commit374ccf07246484eb7beb2cd87f3fc88396373ee1 (patch)
tree4ed37fd579df1765dde6b57450f239844f7a07c1 /stdlib/source/library/lux/data/text/unicode/block.lux
parentd772fe99d5d4990c6774481fb64d12280cdb6aae (diff)
More fixes.
Diffstat (limited to 'stdlib/source/library/lux/data/text/unicode/block.lux')
-rw-r--r--stdlib/source/library/lux/data/text/unicode/block.lux31
1 files changed, 10 insertions, 21 deletions
diff --git a/stdlib/source/library/lux/data/text/unicode/block.lux b/stdlib/source/library/lux/data/text/unicode/block.lux
index 95931ff4a..70087d56a 100644
--- a/stdlib/source/library/lux/data/text/unicode/block.lux
+++ b/stdlib/source/library/lux/data/text/unicode/block.lux
@@ -6,23 +6,16 @@
[hash (#+ Hash)]
[monoid (#+ Monoid)]
["." interval (#+ Interval)]]
- [control
- [parser
- ["<.>" code]]]
- [macro
- [syntax (#+ syntax:)]
- ["." template]
- ["." code]]
[math
[number (#+ hex)
["n" nat ("#\." interval)]
["." i64]]]
[type
abstract]]]
- ["." /// (#+ Char)])
+ [/// (#+ Char)])
(abstract: .public Block
- {#.doc (example "A block of valid unicode characters.")}
+ {}
(Interval Char)
@@ -30,7 +23,9 @@
(Monoid Block)
(def: identity
- (:abstraction (interval.between n.enum n\top n\bottom)))
+ (:abstraction
+ (interval.between n.enum n\top n\bottom)))
+
(def: (compose left right)
(let [left (:representation left)
right (:representation right)]
@@ -80,18 +75,12 @@
(i64.or (i64.left_shifted 32 (..start value))
(..end value))))
-(syntax: (block_name [name <code>.local_identifier])
- (in (list (code.text (///.replaced "_" " " name)))))
-
(template [<name> <start> <end>]
- [(with_expansions [<block_name> (..block_name <name>)
- <documentation> (template.text [<start> "-" <end> " | " <block_name>])]
- (def: .public <name>
- {#.doc (example <documentation>)}
- Block
- (let [start (hex <start>)
- end (hex <end>)]
- (..block start (n.- start end)))))]
+ [(def: .public <name>
+ Block
+ (let [start (hex <start>)
+ end (hex <end>)]
+ (..block start (n.- start end))))]
... Normal blocks
[basic_latin "0000" "007F"]