Skip to content

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

module signatures/WebDSL-JavaScript-sig

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

signature

  sorts
    
    JSChar = string
    JSString = string
    JSSmallerThan = string
    JSTilde = string

  constructors
    JSPart-Plhdr : JSPart

signature

  constructors
    JSElement : list(Attribute) * list(JSPart) -> TemplateElement
    StyleElement : list(Attribute) * list(JSPart) -> TemplateElement
    JSExp : Exp -> JSPart
    JSString : JSString -> JSPart