aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/data/text/unicode/block.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-03-14 03:33:01 -0400
committerEduardo Julian2022-03-14 03:33:01 -0400
commit93eb82e1bf6d2f2a6b3b0adb85f4ab93cbb766a9 (patch)
tree9301db84130bb3714d57db1196e80e7325b7f880 /stdlib/source/library/lux/data/text/unicode/block.lux
parentb8681fd206d5b5076b9737ee54f0cb0405a898d6 (diff)
De-sigil-ification: @
Diffstat (limited to 'stdlib/source/library/lux/data/text/unicode/block.lux')
-rw-r--r--stdlib/source/library/lux/data/text/unicode/block.lux34
1 files changed, 17 insertions, 17 deletions
diff --git a/stdlib/source/library/lux/data/text/unicode/block.lux b/stdlib/source/library/lux/data/text/unicode/block.lux
index f71030258..feab490e3 100644
--- a/stdlib/source/library/lux/data/text/unicode/block.lux
+++ b/stdlib/source/library/lux/data/text/unicode/block.lux
@@ -1,18 +1,18 @@
(.using
- [library
- [lux "*"
- [abstract
- [equivalence {"+" Equivalence}]
- [hash {"+" Hash}]
- [monoid {"+" Monoid}]
- ["[0]" interval {"+" Interval}]]
- [math
- [number {"+" hex}
- ["n" nat ("[1]#[0]" interval)]
- ["[0]" i64]]]
- [type
- abstract]]]
- [/// {"+" Char}])
+ [library
+ [lux "*"
+ [abstract
+ [equivalence {"+" Equivalence}]
+ [hash {"+" Hash}]
+ [monoid {"+" Monoid}]
+ ["[0]" interval {"+" Interval}]]
+ [math
+ [number {"+" hex}
+ ["n" nat ("[1]#[0]" interval)]
+ ["[0]" i64]]]
+ [type
+ abstract]]]
+ [/// {"+" Char}])
(abstract: .public Block
(Interval Char)
@@ -41,7 +41,7 @@
(template [<name> <slot>]
[(def: .public <name>
(-> Block Char)
- (|>> :representation (value@ <slot>)))]
+ (|>> :representation (the <slot>)))]
[start interval.bottom]
[end interval.top]
@@ -49,8 +49,8 @@
(def: .public (size block)
(-> Block Nat)
- (let [start (value@ interval.bottom (:representation block))
- end (value@ interval.top (:representation block))]
+ (let [start (the interval.bottom (:representation block))
+ end (the interval.top (:representation block))]
(|> end (n.- start) ++)))
(def: .public (within? block char)