diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/data/text/unicode/block.lux | 68 |
1 files changed, 34 insertions, 34 deletions
diff --git a/stdlib/source/library/lux/data/text/unicode/block.lux b/stdlib/source/library/lux/data/text/unicode/block.lux index bca01c5ee..5abc56ffc 100644 --- a/stdlib/source/library/lux/data/text/unicode/block.lux +++ b/stdlib/source/library/lux/data/text/unicode/block.lux @@ -17,45 +17,45 @@ (abstract: .public Block (Interval Char) - [(implementation: .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 (\ left bottom) - (\ right bottom)) - (n.max (\ left top) - (\ right top))))))) + (implementation: .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 (\ left bottom) + (\ right bottom)) + (n.max (\ left top) + (\ right top))))))) - (def: .public (block start additional) - (-> Char Nat Block) - (:abstraction (interval.between n.enum start (n.+ additional start)))) + (def: .public (block start additional) + (-> Char Nat Block) + (:abstraction (interval.between n.enum start (n.+ additional start)))) - (template [<name> <slot>] - [(def: .public <name> - (-> Block Char) - (|>> :representation (value@ <slot>)))] + (template [<name> <slot>] + [(def: .public <name> + (-> Block Char) + (|>> :representation (value@ <slot>)))] - [start #interval.bottom] - [end #interval.top] - ) + [start #interval.bottom] + [end #interval.top] + ) - (def: .public (size block) - (-> Block Nat) - (let [start (value@ #interval.bottom (:representation block)) - end (value@ #interval.top (:representation block))] - (|> end (n.- start) ++))) + (def: .public (size block) + (-> Block Nat) + (let [start (value@ #interval.bottom (:representation block)) + end (value@ #interval.top (:representation block))] + (|> end (n.- start) ++))) - (def: .public (within? block char) - (All (_ a) (-> Block Char Bit)) - (interval.within? (:representation block) char))] + (def: .public (within? block char) + (All (_ a) (-> Block Char Bit)) + (interval.within? (:representation block) char)) ) (implementation: .public equivalence |