Skip to content

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

module 

imports
  signatures/WebDSL-Action-sig
  signatures/WebDSL-UI-sig
  signatures/WebDSL-Attributes-sig

signature

  sorts
    HTML5VoidElement = string
    XMLComment = string
    XMLCommentChar = string
    OneDash = string
    TwoDashes = string
    QualName = string
    Qualifier = string
    NCName = string
     = string
    

  constructors
    CommonAttribute-Plhdr : CommonAttribute

signature

  constructors
    XMLEmptyElement : XMLTagName * list(Attribute) -> TemplateElement
    XMLElement : XMLTagName * list(Attribute) * list(TemplateElement) * XMLTagName -> TemplateElement
    XMLEmptyElementUnclosed : HTML5VoidElement * list(Attribute) -> TemplateElement
    XMLComment : XMLComment -> TemplateElement
    XMLAttributesIf : Exp * list(Attribute) -> Attribute
    XMLAttributesIfElse : Exp * list(Attribute) * list(Attribute) -> Attribute
    Attribute : QualName * Exp -> Attribute
    CommonAttribute2Attribute : CommonAttribute -> Attribute
    AllAttributes : CommonAttribute
    AllAttributesExceptExp : Exp -> CommonAttribute
    AttributesExp : Exp -> CommonAttribute