aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/data/text/unicode/block.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-06-12 13:33:48 -0400
committerEduardo Julian2022-06-12 13:33:48 -0400
commit8c3a1afab9efeb86e2f53d743551fc689fbad257 (patch)
tree396b2fd29bac407544d2136a0d9e6e3b8b2c30af /stdlib/source/library/lux/data/text/unicode/block.lux
parent9c21fd1f33eb52fb971d493ad21a67036d68b841 (diff)
De-sigil-ification: suffix : [Part 4]
Diffstat (limited to 'stdlib/source/library/lux/data/text/unicode/block.lux')
-rw-r--r--stdlib/source/library/lux/data/text/unicode/block.lux52
1 files changed, 26 insertions, 26 deletions
diff --git a/stdlib/source/library/lux/data/text/unicode/block.lux b/stdlib/source/library/lux/data/text/unicode/block.lux
index 92398a955..a95c2ad0a 100644
--- a/stdlib/source/library/lux/data/text/unicode/block.lux
+++ b/stdlib/source/library/lux/data/text/unicode/block.lux
@@ -17,22 +17,22 @@
(primitive: .public Block
(Interval Char)
- (implementation: .public monoid
+ (def: .public monoid
(Monoid Block)
-
- (def: identity
- (abstraction
- (interval.between n.enum n#top n#bottom)))
-
- (def: (composite left right)
- (let [left (representation left)
- right (representation right)]
- (abstraction
- (interval.between n.enum
- (n.min (at left bottom)
- (at right bottom))
- (n.max (at left top)
- (at right top)))))))
+ (implementation
+ (def: identity
+ (abstraction
+ (interval.between n.enum n#top n#bottom)))
+
+ (def: (composite left right)
+ (let [left (representation left)
+ right (representation right)]
+ (abstraction
+ (interval.between n.enum
+ (n.min (at left bottom)
+ (at right bottom))
+ (n.max (at left top)
+ (at right top))))))))
(def: .public (block start additional)
(-> Char Nat Block)
@@ -58,20 +58,20 @@
(interval.within? (representation block) char))
)
-(implementation: .public equivalence
+(def: .public equivalence
(Equivalence Block)
+ (implementation
+ (def: (= reference subject)
+ (and (n.= (..start reference) (..start subject))
+ (n.= (..end reference) (..end subject))))))
- (def: (= reference subject)
- (and (n.= (..start reference) (..start subject))
- (n.= (..end reference) (..end subject)))))
-
-(implementation: .public hash
+(def: .public hash
(Hash Block)
-
- (def: equivalence ..equivalence)
- (def: (hash value)
- (i64.or (i64.left_shifted 32 (..start value))
- (..end value))))
+ (implementation
+ (def: equivalence ..equivalence)
+ (def: (hash value)
+ (i64.or (i64.left_shifted 32 (..start value))
+ (..end value)))))
(with_template [<start> <end> <name>]
[(def: .public <name>