blob: fcb2c7bcb53a11d0d2e38b65a214720b4430834a (
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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
include numerals.Abs.gf ;
-- Thai transliteration, produces thaiU.gf by GF/Text/Thai.hs
-- AR 28/12/2006
flags coding=utf8 ;
lincat
Numeral = {s : Str} ;
Digit = {s : DForm => Str} ;
Sub10 = {s : DForm => Str} ;
Sub100 = {s : NForm => Str} ;
Sub1000 = {s : NForm => Str} ;
Sub1000000 = {s : Str} ;
lin
num x = x ;
pot01 = mkNum "hnvg" "hnvg" "eOMd'" ;
n2 = mkNum "s-Og" "y'i:E" "s-Og" ;
n3 = regNum "s-a:m" ;
n4 = regNum "s-i:E" ; -- E = E48 '
n5 = regNum "hTa:" ; -- T = E49 9
n6 = regNum "ho?k" ;
n7 = regNum "ecMd'" ; -- M = E47 w
n8 = regNum "e:pd'" ;
n9 = regNum "eka:" ;
pot0 d = d ;
pot110 = {s = sip} ;
pot111 = {s = table {
Unit => ["s'ib et"] ;
Thousand => ["hnvg hmv:En hnvg p2an"]
}
} ;
pot1to19 d = {s = table {
Unit => "s'ib" ++ d.s ! After ;
Thousand => ["hnvg hmv:En"] ++ d.s ! Indep ++ "p2an"
}
} ;
pot0as1 d = {s = \\n => d.s ! Indep ++ phan ! n} ;
pot1 d = {s = \\n => d.s ! ModTen ++ sip ! n} ;
pot1plus d e = {
s = \\n => d.s ! ModTen ++ sip ! n ++ e.s ! After ++ phan ! n
} ;
pot1as2 n = n ;
pot2 d = {s = \\n => d.s ! Indep ++ roy ! n} ;
pot2plus d e = {s = \\n => d.s ! Indep ++ roy ! n ++ e.s ! n} ;
pot2as3 n = {s = n.s ! Unit} ;
pot3 n = {s = n.s ! Thousand} ;
pot3plus n m = {s = n.s ! Thousand ++ m.s ! Unit} ;
param
DForm = Indep | ModTen | After ;
NForm = Unit | Thousand ;
oper
mkNum : Str -> Str -> Str -> {s : DForm => Str} = \x,y,z ->
{s = table {Indep => x ; ModTen => y ; After => z}} ;
regNum : Str -> {s : DForm => Str} = \x ->
mkNum x x x ;
sip = table {Unit => "s'ib" ; Thousand => "hmv:En"} ;
roy = table {Unit => "rTOy'" ; Thousand => "se:n"} ;
phan = table {Unit => [] ; Thousand => "p2an"} ;
|
