blob: 7348278f59b4e0284dcd18f7e466f110b78b9042 (
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
|
concrete CharEng of Char = open Prelude in {
lin
BaseChr c = c ;
ConsChr = infixSS "," ;
C_dot = ss "dot" ;
C_pipe = ss "pipe" ;
C_hyphen = ss (variants {"dash" ; "hyphen" ; "minus"}) ;
CSmall = prefixSS "small" ;
CCap = prefixSS "capital" ;
CC c = c ;
CDig_0 = ss "zero" ;
CDig_1 = ss "one" ;
CDig_2 = ss "two" ;
CDig_3 = ss "three" ;
CDig_4 = ss "four" ;
CDig_5 = ss "five" ;
CDig_6 = ss "six" ;
CDig_7 = ss "seven" ;
CDig_8 = ss "eight" ;
CDig_9 = ss "nine" ;
L_a = ss "alpha" ;
L_b = ss "bravo" ;
L_c = ss "charlie" ;
L_d = ss "delta" ;
L_e = ss "echo" ;
L_f = ss "foxtrot" ;
L_g = ss "golf" ;
L_h = ss "hotel" ;
L_i = ss "india" ;
L_j = ss "juliet" ;
L_k = ss "kilo" ;
L_l = ss "lima" ;
L_m = ss "mike" ;
L_n = ss "november" ;
L_o = ss "oscar" ;
L_p = ss "papa" ;
L_q = ss "quebec" ;
L_r = ss "romeo" ;
L_s = ss "sierra" ;
L_t = ss "tango" ;
L_u = ss "uniform" ;
L_v = ss "victor" ;
L_w = ss "whiskey" ;
L_x = ss "x-ray" ;
L_y = ss "yankee" ;
L_z = ss "zulu" ;
}
|
