Skip to content

WebDSL-Ajax-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

module signatures/WebDSL-Ajax-sig

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

signature

  sorts
    
    
    
    
    
    
    EmptyLex = string
    

  constructors
    AjaxStatement-Plhdr : AjaxStatement
    Placeholder-Plhdr : Placeholder
    PlaceholderWithAjaxCall-Plhdr : PlaceholderWithAjaxCall
    PlaceholderVar-Plhdr : PlaceholderVar
    AjaxVisibility-Plhdr : AjaxVisibility
    AjaxReplaceTemplateCall-Plhdr : AjaxReplaceTemplateCall
    PHExp-Plhdr : PHExp

signature

  constructors
    AjaxStatement : AjaxStatement -> Statement
    AjaxReplace : Exp * AjaxReplaceTemplateCall -> AjaxStatement
    AjaxAppend : Exp * TemplateCall -> AjaxStatement
    AjaxVisibility : Exp * AjaxVisibility -> AjaxStatement
    Show : AjaxVisibility
    Toggle : AjaxVisibility
    Hide : AjaxVisibility
    AjaxRelocate : PageCall -> AjaxStatement
    AjaxRestyle : Exp * Exp -> AjaxStatement
    AjaxClear : Exp -> AjaxStatement
    AjaxRefresh : AjaxStatement
    AjaxRunScript : Exp -> AjaxStatement
    AjaxReplaceTemplateCall : TemplateCall -> AjaxReplaceTemplateCall
    AjaxReplaceEmpty : EmptyLex -> AjaxReplaceTemplateCall
     : Placeholder -> TemplateElement
     : PlaceholderWithAjaxCall -> TemplateElement
    PlaceholderHtml : Id * Id * list(TemplateElement) -> Placeholder
    PlaceholderHtmlExp : Id * Exp * list(TemplateElement) -> Placeholder
    Placeholder : Id * list(TemplateElement) -> Placeholder
    PlaceholderExp : Exp * list(TemplateElement) -> Placeholder
    PlaceholderAjaxHtml : Id * Id * TemplateCall -> PlaceholderWithAjaxCall
    PlaceholderAjaxHtmlExp : Id * PHExp * TemplateCall -> PlaceholderWithAjaxCall
    PlaceholderAjax : Id * TemplateCall -> PlaceholderWithAjaxCall
    PlaceholderAjaxExp : PHExp * TemplateCall -> PlaceholderWithAjaxCall
    PlaceholderVar2TemplateElement : PlaceholderVar -> TemplateElement
    PlaceholderVar : Id -> PlaceholderVar
    PHThisCall : ThisCall -> PHExp
    PHCall : Exp * Id * list(Exp) -> PHExp
    PHFieldAccess : Exp * PropertyId -> PHExp
    PHCollectionIndex : Exp * Exp -> PHExp
    PHAdd : Exp * Exp -> PHExp
    PHConst : ConstValue -> PHExp