aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/data/text/unicode/block.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/data/text/unicode/block.lux68
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