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
|
-- UUAGC 0.9.56 (src-ag/Interfaces.ag)
module Interfaces where
{-# LINE 2 "src-ag/Interfaces.ag" #-}
import CommonTypes
import SequentialTypes
{-# LINE 10 "src-generated/Interfaces.hs" #-}
-- IRoot -------------------------------------------------------
{-
alternatives:
alternative IRoot:
child inters : Interfaces
-}
data IRoot = IRoot (Interfaces)
-- Interface ---------------------------------------------------
{-
alternatives:
alternative Interface:
child nt : {NontermIdent}
child cons : {[ConstructorIdent]}
child seg : Segments
-}
data Interface = Interface (NontermIdent) (([ConstructorIdent])) (Segments)
-- Interfaces --------------------------------------------------
{-
alternatives:
alternative Cons:
child hd : Interface
child tl : Interfaces
alternative Nil:
-}
type Interfaces = [Interface]
-- Segment -----------------------------------------------------
{-
alternatives:
alternative Segment:
child inh : {[Vertex]}
child syn : {[Vertex]}
-}
data Segment = Segment (([Vertex])) (([Vertex]))
-- Segments ----------------------------------------------------
{-
alternatives:
alternative Cons:
child hd : Segment
child tl : Segments
alternative Nil:
-}
type Segments = [Segment]
|
