Skip to content

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

module signatures/WebDSL-Expand-sig

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

signature

  sorts
    
    
    
     = string
     = string

  constructors
    DeriveProperty-Plhdr : DeriveProperty
    DeriveBody-Plhdr : DeriveBody
    DeriveBodyElement-Plhdr : DeriveBodyElement

signature

  constructors
    DeriveNoBody : Id * Exp * list(DeriveProperty) -> TemplateElement
    DeriveNoForNoBody : Id * Exp -> TemplateElement
    Derive : Id * Exp * list(DeriveProperty) * DeriveBody -> TemplateElement
    DeriveNoFor : Id * Exp * DeriveBody -> TemplateElement
    DeriveNoFromNoFor : Id * DeriveBody -> TemplateElement
     : Id -> DeriveProperty
    DeriveMode : Id * Id -> DeriveProperty
    DeriveBody : list(DeriveBodyElement) -> DeriveBody
    DeriveBodyElement : Id * list(TemplateElement) -> DeriveBodyElement
    DeriveCrud : Id -> Definition
    ExpandTemplateCall : list(ExpandId) * Id -> Definition
    ExpandTemplateDefinition : Id * list(ExpandArgId) * list(Definition) -> Definition
    TemplateElementExpandLocal : list(ExpandId) * list(ExpandArgId) * list(TemplateElement) -> TemplateElement
    EntityBodyDeclarationExpandLocal : list(ExpandId) * list(ExpandArgId) * list(EntityBodyDeclaration) -> EntityBodyDeclaration
    StatementExpandLocal : list(ExpandId) * list(ExpandArgId) * list(Statement) -> Statement
    ObjectPropertyAssignmentExpandLocal : list(ExpandId) * list(ExpandArgId) * list(ObjectPropertyAssignment) -> ObjectPropertyAssignment
    DefinitionExpandLocal : list(ExpandId) * list(ExpandArgId) * list(Definition) -> Definition
    ExpExpandLocal : list(ExpandId) * list(ExpandArgId) * Exp -> Exp
    AttributeExpandLocal : list(ExpandId) * list(ExpandArgId) * Attribute -> Attribute
    PropertyAssignmentExpandLocal : list(ExpandId) * list(ExpandArgId) * PropertyAssignment -> PropertyAssignment
    FormalArgExpandLocal : list(ExpandId) * list(ExpandArgId) * FormalArg -> FormalArg
    CaseAltExpandLocal : list(ExpandId) * list(ExpandArgId) * Case -> Case
    TemplateCaseAltExpandLocal : list(ExpandId) * list(ExpandArgId) * TemplateCaseAlt -> TemplateCaseAlt
    TypeCaseAltExpandLocal : list(ExpandId) * list(ExpandArgId) * ExpandArgId * Block -> TypeCaseAlt
    TemplateTypeCaseAltExpandLocal : list(ExpandId) * list(ExpandArgId) * ExpandArgId * list(TemplateElement) -> TemplateTypeCaseAlt