diff options
| author | Eduardo Julian | 2022-03-16 08:37:23 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-16 08:37:23 -0400 |
| commit | bf53ee92fc3c33a4885aa227e55d24f7ba3cb2c4 (patch) | |
| tree | 49683a62ae8e110c62b42a9a6386bb2ddb3c47c6 /stdlib/source/library/lux/data/text/unicode/block.lux | |
| parent | d710d9f4fc098e7c243c8a5f23cd42683f13e07f (diff) | |
De-sigil-ification: prefix :
Diffstat (limited to 'stdlib/source/library/lux/data/text/unicode/block.lux')
| -rw-r--r-- | stdlib/source/library/lux/data/text/unicode/block.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/library/lux/data/text/unicode/block.lux b/stdlib/source/library/lux/data/text/unicode/block.lux index feab490e3..d0dec884f 100644 --- a/stdlib/source/library/lux/data/text/unicode/block.lux +++ b/stdlib/source/library/lux/data/text/unicode/block.lux @@ -11,7 +11,7 @@ ["n" nat ("[1]#[0]" interval)] ["[0]" i64]]] [type - abstract]]] + [abstract {"-" pattern}]]]] [/// {"+" Char}]) (abstract: .public Block @@ -21,13 +21,13 @@ (Monoid Block) (def: identity - (:abstraction + (abstraction (interval.between n.enum n#top n#bottom))) (def: (composite left right) - (let [left (:representation left) - right (:representation right)] - (:abstraction + (let [left (representation left) + right (representation right)] + (abstraction (interval.between n.enum (n.min (# left bottom) (# right bottom)) @@ -36,12 +36,12 @@ (def: .public (block start additional) (-> Char Nat Block) - (:abstraction (interval.between n.enum start (n.+ additional start)))) + (abstraction (interval.between n.enum start (n.+ additional start)))) (template [<name> <slot>] [(def: .public <name> (-> Block Char) - (|>> :representation (the <slot>)))] + (|>> representation (the <slot>)))] [start interval.bottom] [end interval.top] @@ -49,13 +49,13 @@ (def: .public (size block) (-> Block Nat) - (let [start (the interval.bottom (:representation block)) - end (the 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) (All (_ a) (-> Block Char Bit)) - (interval.within? (:representation block) char)) + (interval.within? (representation block) char)) ) (implementation: .public equivalence |