diff options
author | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
commit | f621a133e6e0a516c0586270fea8eaffb4829d82 (patch) | |
tree | 399396ee2f6a10df10cea9b78c51c76679b70e59 /stdlib/source/library/lux/data/text/unicode/block.lux | |
parent | 17e7566be51df5e428a6b10e6469201a8a9468da (diff) |
No more #export magic syntax.
Diffstat (limited to 'stdlib/source/library/lux/data/text/unicode/block.lux')
-rw-r--r-- | stdlib/source/library/lux/data/text/unicode/block.lux | 22 |
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>) |