Skip to content

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

module signatures/WebDSL-EntityDerive-sig

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

signature

  sorts
    
     = string

  constructors
    ExpEntityDeriveProp-Plhdr : ExpEntityDeriveProp

signature

  constructors
    ExpEntityDerive : Exp * list(ExpEntityDeriveProp) -> TemplateArgExp
    ExpEntityDeriveProp : DeriveArgPropId * OptCallArgs -> ExpEntityDeriveProp
    ArgEntityDerive : Id * DeriveArgPropId * OptFormalArgs -> Sort
    ForeachElementEntityDerive : Id * list(TemplateElement) -> TemplateElement
    ForeachStatementEntityDerive : Id * list(Statement) -> Statement