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.lux22
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/library/lux/data/text/unicode/block.lux b/stdlib/source/library/lux/data/text/unicode/block.lux
index 955b851d2..e1a4a4de6 100644
--- a/stdlib/source/library/lux/data/text/unicode/block.lux
+++ b/stdlib/source/library/lux/data/text/unicode/block.lux
@@ -21,12 +21,12 @@
abstract]]]
["." /// (#+ Char)])
-(abstract: #export Block
- (Interval Char)
-
+(abstract: .public Block
{#.doc (doc "A block of valid unicode characters.")}
- (implementation: #export monoid
+ (Interval Char)
+
+ (implementation: .public monoid
(Monoid Block)
(def: identity
@@ -41,12 +41,12 @@
(n.max (\ left top)
(\ right top)))))))
- (def: #export (block start additional)
+ (def: .public (block start additional)
(-> Char Nat Block)
(:abstraction (interval.between n.enum start (n.+ additional start))))
(template [<name> <slot>]
- [(def: #export <name>
+ [(def: .public <name>
(-> Block Char)
(|>> :representation (get@ <slot>)))]
@@ -54,25 +54,25 @@
[end #interval.top]
)
- (def: #export (size block)
+ (def: .public (size block)
(-> Block Nat)
(let [start (get@ #interval.bottom (:representation block))
end (get@ #interval.top (:representation block))]
(|> end (n.- start) inc)))
- (def: #export (within? block char)
+ (def: .public (within? block char)
(All [a] (-> Block Char Bit))
(interval.within? (:representation block) char))
)
-(implementation: #export equivalence
+(implementation: .public equivalence
(Equivalence Block)
(def: (= reference subject)
(and (n.= (..start reference) (..start subject))
(n.= (..end reference) (..end subject)))))
-(implementation: #export hash
+(implementation: .public hash
(Hash Block)
(def: &equivalence ..equivalence)
@@ -86,7 +86,7 @@
(template [<name> <start> <end>]
[(with_expansions [<block_name> (..block_name <name>)
<documentation> (template.text [<start> "-" <end> " | " <block_name>])]
- (def: #export <name>
+ (def: .public <name>
{#.doc (doc <documentation>)}
Block
(let [start (hex <start>)