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
70
|
module GF.Canon.GFCC.AbsGFCC where
-- Haskell module generated by the BNF converter
newtype CId = CId String deriving (Eq,Ord,Show)
data Grammar =
Grm Header Abstract [Concrete]
deriving (Eq,Ord,Show)
data Header =
Hdr CId [CId]
deriving (Eq,Ord,Show)
data Abstract =
Abs [AbsDef]
deriving (Eq,Ord,Show)
data Concrete =
Cnc CId [CncDef]
deriving (Eq,Ord,Show)
data AbsDef =
Fun CId Type Exp
deriving (Eq,Ord,Show)
data CncDef =
Lin CId Term
deriving (Eq,Ord,Show)
data Type =
Typ [CId] CId
deriving (Eq,Ord,Show)
data Exp =
Tr Atom [Exp]
deriving (Eq,Ord,Show)
data Atom =
AC CId
| AS String
| AI Integer
| AF Double
| AM
deriving (Eq,Ord,Show)
data Term =
R [Term]
| P Term Term
| S [Term]
| K Tokn
| V Int
| C Int
| F CId
| FV [Term]
| W String Term
| RP Term Term
| TM
| L CId Term
| BV CId
deriving (Eq,Ord,Show)
data Tokn =
KS String
| KP [String] [Variant]
deriving (Eq,Ord,Show)
data Variant =
Var [String] [String]
deriving (Eq,Ord,Show)
|
