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
|
-- UUAGC 0.9.56 (src-ag/VisagePatterns.ag)
module VisagePatterns where
{-# LINE 2 "src-ag/VisagePatterns.ag" #-}
import UU.Scanner.Position(Pos)
import CommonTypes
{-# LINE 10 "src-generated/VisagePatterns.hs" #-}
-- VisagePattern -----------------------------------------------
{-
alternatives:
alternative VConstr:
child name : {ConstructorIdent}
child pats : VisagePatterns
alternative VProduct:
child pos : {Pos}
child pats : VisagePatterns
alternative VVar:
child field : {Identifier}
child attr : {Identifier}
alternative VAlias:
child field : {Identifier}
child attr : {Identifier}
child pat : VisagePattern
alternative VUnderscore:
child pos : {Pos}
-}
data VisagePattern = VConstr (ConstructorIdent) (VisagePatterns)
| VProduct (Pos) (VisagePatterns)
| VVar (Identifier) (Identifier)
| VAlias (Identifier) (Identifier) (VisagePattern)
| VUnderscore (Pos)
-- VisagePatterns ----------------------------------------------
{-
alternatives:
alternative Cons:
child hd : VisagePattern
child tl : VisagePatterns
alternative Nil:
-}
type VisagePatterns = [VisagePattern]
|
