blob: d4bcb2c94671d16e9164c93ea33dd4ef3532a39b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
(.module:
[lux #*
[abstract
[equivalence (#+ Equivalence)]
[hash (#+ Hash)]]
[data
["." text
["%" format (#+ format)]
["." encoding (#+ Encoding)]]]
[type
abstract]
["." macro]]
[/
["." language (#+ Language)]
["." territory (#+ Territory)]])
(abstract: #export Locale
{}
Text
(def: territory-separator "_")
(def: encoding-separator ".")
(def: #export (locale language territory encoding)
(-> Language (Maybe Territory) (Maybe Encoding) Locale)
(:abstraction (format (language.language language)
(case territory
(#.Some territory)
(format ..territory-separator (territory.long-code territory))
#.None
"")
(case encoding
(#.Some encoding)
(format ..encoding-separator (encoding.name encoding))
#.None
""))))
(def: #export code
(-> Locale Text)
(|>> :representation))
(structure: #export equivalence (Equivalence Locale)
(def: (= reference sample)
(:: text.equivalence = (:representation reference) (:representation sample))))
(structure: #export hash (Hash Locale)
(def: &equivalence ..equivalence)
(def: hash
(|>> :representation
(:: text.hash hash))))
)
|
