summaryrefslogtreecommitdiff
path: root/examples/unix/CharEng.gf
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" ;

}