diff options
author | Eduardo Julian | 2022-06-12 13:33:48 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-12 13:33:48 -0400 |
commit | 8c3a1afab9efeb86e2f53d743551fc689fbad257 (patch) | |
tree | 396b2fd29bac407544d2136a0d9e6e3b8b2c30af /stdlib/source/library/lux/data/text/unicode/block.lux | |
parent | 9c21fd1f33eb52fb971d493ad21a67036d68b841 (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.lux | 52 |
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> |