aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/data/text/unicode/set.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/data/text/unicode/set.lux178
1 files changed, 89 insertions, 89 deletions
diff --git a/stdlib/source/lux/data/text/unicode/set.lux b/stdlib/source/lux/data/text/unicode/set.lux
index 8d350a28b..55d7941ca 100644
--- a/stdlib/source/lux/data/text/unicode/set.lux
+++ b/stdlib/source/lux/data/text/unicode/set.lux
@@ -8,7 +8,7 @@
["." set ("#\." equivalence)]
["." tree #_
["#" finger (#+ Tree)]]]]
- [type (#+ :by-example)
+ [type (#+ :by_example)
abstract]]
["." / #_
["/#" // #_
@@ -19,7 +19,7 @@
(tree.builder //block.monoid))
(def: :@:
- (:by-example [@]
+ (:by_example [@]
{(tree.Builder @ Block)
..builder}
@))
@@ -45,16 +45,16 @@
(def: #export character
Set
- (..set [//block.basic-latin
- (list //block.latin-1-supplement
- //block.latin-extended-a
- //block.latin-extended-b
- //block.ipa-extensions
- //block.spacing-modifier-letters
- //block.combining-diacritical-marks
- //block.greek-and-coptic
+ (..set [//block.basic_latin
+ (list //block.latin_1_supplement
+ //block.latin_extended_a
+ //block.latin_extended_b
+ //block.ipa_extensions
+ //block.spacing_modifier_letters
+ //block.combining_diacritical_marks
+ //block.greek_and_coptic
//block.cyrillic
- //block.cyrillic-supplementary
+ //block.cyrillic_supplementary
//block.armenian
//block.hebrew
//block.arabic
@@ -75,10 +75,10 @@
//block.tibetan
//block.myanmar
//block.georgian
- //block.hangul-jamo
+ //block.hangul_jamo
//block.ethiopic
//block.cherokee
- //block.unified-canadian-aboriginal-syllabics
+ //block.unified_canadian_aboriginal_syllabics
//block.ogham
//block.runic
//block.tagalog
@@ -88,89 +88,89 @@
//block.khmer
//block.mongolian
//block.limbu
- //block.tai-le
- //block.khmer-symbols
- //block.phonetic-extensions
- //block.latin-extended-additional
- //block.greek-extended
- //block.general-punctuation
- //block.superscripts-and-subscripts
- //block.currency-symbols
- //block.combining-diacritical-marks-for-symbols
- //block.letterlike-symbols
- //block.number-forms
+ //block.tai_le
+ //block.khmer_symbols
+ //block.phonetic_extensions
+ //block.latin_extended_additional
+ //block.greek_extended
+ //block.general_punctuation
+ //block.superscripts_and_subscripts
+ //block.currency_symbols
+ //block.combining_diacritical_marks_for_symbols
+ //block.letterlike_symbols
+ //block.number_forms
//block.arrows
- //block.mathematical-operators
- //block.miscellaneous-technical
- //block.control-pictures
- //block.optical-character-recognition
- //block.enclosed-alphanumerics
- //block.box-drawing
-
- //block.block-elements
- //block.geometric-shapes
- //block.miscellaneous-symbols
+ //block.mathematical_operators
+ //block.miscellaneous_technical
+ //block.control_pictures
+ //block.optical_character_recognition
+ //block.enclosed_alphanumerics
+ //block.box_drawing
+
+ //block.block_elements
+ //block.geometric_shapes
+ //block.miscellaneous_symbols
//block.dingbats
- //block.miscellaneous-mathematical-symbols-a
- //block.supplemental-arrows-a
- //block.braille-patterns
- //block.supplemental-arrows-b
- //block.miscellaneous-mathematical-symbols-b
- //block.supplemental-mathematical-operators
- //block.miscellaneous-symbols-and-arrows
- //block.cjk-radicals-supplement
- //block.kangxi-radicals
- //block.ideographic-description-characters
- //block.cjk-symbols-and-punctuation
+ //block.miscellaneous_mathematical_symbols_a
+ //block.supplemental_arrows_a
+ //block.braille_patterns
+ //block.supplemental_arrows_b
+ //block.miscellaneous_mathematical_symbols_b
+ //block.supplemental_mathematical_operators
+ //block.miscellaneous_symbols_and_arrows
+ //block.cjk_radicals_supplement
+ //block.kangxi_radicals
+ //block.ideographic_description_characters
+ //block.cjk_symbols_and_punctuation
//block.hiragana
//block.katakana
//block.bopomofo
- //block.hangul-compatibility-jamo
+ //block.hangul_compatibility_jamo
//block.kanbun
- //block.bopomofo-extended
- //block.katakana-phonetic-extensions
- //block.enclosed-cjk-letters-and-months
- //block.cjk-compatibility
- //block.cjk-unified-ideographs-extension-a
- //block.yijing-hexagram-symbols
- //block.cjk-unified-ideographs
- //block.yi-syllables
- //block.yi-radicals
- //block.hangul-syllables
+ //block.bopomofo_extended
+ //block.katakana_phonetic_extensions
+ //block.enclosed_cjk_letters_and_months
+ //block.cjk_compatibility
+ //block.cjk_unified_ideographs_extension_a
+ //block.yijing_hexagram_symbols
+ //block.cjk_unified_ideographs
+ //block.yi_syllables
+ //block.yi_radicals
+ //block.hangul_syllables
)]))
- (def: #export non-character
+ (def: #export non_character
Set
- (..set [//block.high-surrogates
- (list //block.high-private-use-surrogates
- //block.low-surrogates
- //block.private-use-area
- //block.cjk-compatibility-ideographs
- //block.alphabetic-presentation-forms
- //block.arabic-presentation-forms-a
- //block.variation-selectors
- //block.combining-half-marks
- //block.cjk-compatibility-forms
- //block.small-form-variants
- //block.arabic-presentation-forms-b
- //block.halfwidth-and-fullwidth-forms
+ (..set [//block.high_surrogates
+ (list //block.high_private_use_surrogates
+ //block.low_surrogates
+ //block.private_use_area
+ //block.cjk_compatibility_ideographs
+ //block.alphabetic_presentation_forms
+ //block.arabic_presentation_forms_a
+ //block.variation_selectors
+ //block.combining_half_marks
+ //block.cjk_compatibility_forms
+ //block.small_form_variants
+ //block.arabic_presentation_forms_b
+ //block.halfwidth_and_fullwidth_forms
//block.specials
- ## //block.linear-b-syllabary
- ## //block.linear-b-ideograms
- ## //block.aegean-numbers
- ## //block.old-italic
+ ## //block.linear_b_syllabary
+ ## //block.linear_b_ideograms
+ ## //block.aegean_numbers
+ ## //block.old_italic
## //block.gothic
## //block.ugaritic
## //block.deseret
## //block.shavian
## //block.osmanya
- ## //block.cypriot-syllabary
- ## //block.byzantine-musical-symbols
- ## //block.musical-symbols
- ## //block.tai-xuan-jing-symbols
- ## //block.mathematical-alphanumeric-symbols
- ## //block.cjk-unified-ideographs-extension-b
- ## //block.cjk-compatibility-ideographs-supplement
+ ## //block.cypriot_syllabary
+ ## //block.byzantine_musical_symbols
+ ## //block.musical_symbols
+ ## //block.tai_xuan_jing_symbols
+ ## //block.mathematical_alphanumeric_symbols
+ ## //block.cjk_unified_ideographs_extension_b
+ ## //block.cjk_compatibility_ideographs_supplement
## //block.tags
)]))
@@ -178,7 +178,7 @@
Set
($_ ..compose
..character
- ..non-character
+ ..non_character
))
(def: #export (range set)
@@ -204,17 +204,17 @@
(Equivalence Set)
(def: (= reference subject)
- (set\= (set.from-list //block.hash (tree.tags (:representation reference)))
- (set.from-list //block.hash (tree.tags (:representation subject))))))
+ (set\= (set.from_list //block.hash (tree.tags (:representation reference)))
+ (set.from_list //block.hash (tree.tags (:representation subject))))))
)
(template [<name> <blocks>]
[(def: #export <name>
(..set <blocks>))]
- [ascii [//block.basic-latin (list)]]
- [ascii/alpha [//block.basic-latin/upper-alpha (list //block.basic-latin/lower-alpha)]]
- [ascii/alpha-num [//block.basic-latin/upper-alpha (list //block.basic-latin/lower-alpha //block.basic-latin/decimal)]]
- [ascii/upper-alpha [//block.basic-latin/upper-alpha (list)]]
- [ascii/lower-alpha [//block.basic-latin/lower-alpha (list)]]
+ [ascii [//block.basic_latin (list)]]
+ [ascii/alpha [//block.basic_latin/upper_alpha (list //block.basic_latin/lower_alpha)]]
+ [ascii/alpha_num [//block.basic_latin/upper_alpha (list //block.basic_latin/lower_alpha //block.basic_latin/decimal)]]
+ [ascii/upper_alpha [//block.basic_latin/upper_alpha (list)]]
+ [ascii/lower_alpha [//block.basic_latin/lower_alpha (list)]]
)