Skip to content

WebDSL-Prefetch-sig.stx

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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89

module signatures/WebDSL-Prefetch-sig

imports
  signatures/WebDSL-Action-sig
  signatures/WebDSL-Core-sig
  signatures/WebDSL-Lexical-sig
  signatures/WebDSL-UI-sig

signature

  sorts
    
    
    
    
    
    
    
    
    
    
    
    
    
    

  constructors
    PrefetchChildren-Plhdr : PrefetchChildren
    PrefetchNode-Plhdr : PrefetchNode
    PrefetchTemplateArgsOpt-Plhdr : PrefetchTemplateArgsOpt
    PrefetchNodeMod-Plhdr : PrefetchNodeMod
    PrefetchCondition-Plhdr : PrefetchCondition
    PrefetchCondVal-Plhdr : PrefetchCondVal
    PrefetchCond-Plhdr : PrefetchCond
    PrefetchWhereOpt-Plhdr : PrefetchWhereOpt
    PrefetchWhereMod-Plhdr : PrefetchWhereMod
    OptSimpleSort-Plhdr : OptSimpleSort
    PrefetchChildrenOpt-Plhdr : PrefetchChildrenOpt
    OptPrefetchOwnerCast-Plhdr : OptPrefetchOwnerCast
    SortOrThis-Plhdr : SortOrThis
    TemplateArgOrThis-Plhdr : TemplateArgOrThis

signature

  constructors
    PrefetchFor : Id * PrefetchTemplateArgsOpt * PrefetchWhereOpt * PrefetchChildren -> TemplateElement
    PrefetchForStmt : Id * PrefetchTemplateArgsOpt * PrefetchWhereOpt * PrefetchChildren -> Statement
    PrefetchChildren : list(PrefetchNode) -> PrefetchChildren
    PrefetchChildrenOptNone : PrefetchChildrenOpt
    PrefetchChildren2PrefetchChildrenOpt : PrefetchChildren -> PrefetchChildrenOpt
    PrefetchNode : OptPrefetchOwnerCast * Id * list(PrefetchNodeMod) * PrefetchTemplateArgsOpt * PrefetchCondition * PrefetchWhereOpt * PrefetchChildrenOpt -> PrefetchNode
    OptPrefetchOwnerCastNone : OptPrefetchOwnerCast
    PrefetchOwnerCast : SimpleSortLex -> OptPrefetchOwnerCast
    NoEmptyBatch : PrefetchNodeMod
    FetchEarly : PrefetchNodeMod
    PrefetchTemplateArgsOptNone : PrefetchTemplateArgsOpt
    PrefetchTemplateArgs : list(TemplateArgOrThis) -> PrefetchTemplateArgsOpt
    TemplateArgOrThis : Id * list(SortOrThis) -> TemplateArgOrThis
    Sort : Sort -> SortOrThis
    TArgThis : SortOrThis
    PrefetchThisCast : Sort -> SortOrThis
    PrefetchConditionNone : PrefetchCondition
    PrefetchCondition : PrefetchCond -> PrefetchCondition
    PrefetchWhereOptNone : PrefetchWhereOpt
    PrefetchWhere : list(PrefetchWhereMod) * PrefetchCond -> PrefetchWhereOpt
    Hint : PrefetchWhereMod
    PrefetchEq : PrefetchCondVal * PrefetchCondVal -> PrefetchCond
    PrefetchNotEq : PrefetchCondVal * PrefetchCondVal -> PrefetchCond
    PrefetchLargerThan : PrefetchCondVal * PrefetchCondVal -> PrefetchCond
    PrefetchLargerThanOrEqual : PrefetchCondVal * PrefetchCondVal -> PrefetchCond
    PrefetchSmallerThan : PrefetchCondVal * PrefetchCondVal -> PrefetchCond
    PrefetchSmallerThanOrEqual : PrefetchCondVal * PrefetchCondVal -> PrefetchCond
    PrefetchAnd : PrefetchCond * PrefetchCond -> PrefetchCond
    PrefetchOr : PrefetchCond * PrefetchCond -> PrefetchCond
    PrefetchNot : PrefetchCond -> PrefetchCond
    PrefetchCondVal2PrefetchCond : PrefetchCondVal -> PrefetchCond
    PrefetchTrue : PrefetchCondVal
    PrefetchFalse : PrefetchCondVal
    PrefetchNull : PrefetchCondVal
    PrefetchConst : ConstValue -> PrefetchCondVal
    PrefetchCondVar : VarId -> PrefetchCondVal
    RelativeFieldAccess : OptSimpleSort * PropertyId -> PrefetchCondVal
    PrefetchMul : PrefetchCondVal * PrefetchCondVal -> PrefetchCondVal
    PrefetchDiv : PrefetchCondVal * PrefetchCondVal -> PrefetchCondVal
    PrefetchMod : PrefetchCondVal * PrefetchCondVal -> PrefetchCondVal
    PrefetchAdd : PrefetchCondVal * PrefetchCondVal -> PrefetchCondVal
    PrefetchSub : PrefetchCondVal * PrefetchCondVal -> PrefetchCondVal
    OptSimpleSortNone : OptSimpleSort
    OptSimpleSortSome : SimpleSortLex -> OptSimpleSort