blob: 94bbe39828754d4badc2616abc0b8f6a973ecd62 (
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" "eOSd" ;
n2 = mkNum "sOg" "yi:T1" "sOg" ;
n3 = regNum "sa:m" ;
n4 = regNum "si:T1" ; -- T1 = E48 '
n5 = regNum "hT2a:" ; -- T2 = E49 9
n6 = regNum "ho?k" ;
n7 = regNum "ecSd" ; -- S = E47 w
n8 = regNum "e'pd" ;
n9 = regNum "eka:" ;
pot0 d = d ;
pot110 = {s = sip} ;
pot111 = {s = table {
Unit => ["sib eOSd"] ;
Thousand => ["hnvg hmv:T1n hnvg p2an"]
}
} ;
pot1to19 d = {s = table {
Unit => "sib" ++ d.s ! After ;
Thousand => ["hnvg hmv:T1n"] ++ 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 => "sib" ; Thousand => "hmv:T1n"} ;
roy = table {Unit => "rT2Oy" ; Thousand => "e'sn"} ;
phan = table {Unit => [] ; Thousand => "p2an"} ;
|
