Skip to content

WebDSL-TimeInterval-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-TimeInterval-sig

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

signature

  sorts
    
    

  constructors
    TimeIntervalPart-Plhdr : TimeIntervalPart
    TimeInterval-Plhdr : TimeInterval

signature

  constructors
    Weeks : Exp -> TimeIntervalPart
    Days : Exp -> TimeIntervalPart
    Hours : Exp -> TimeIntervalPart
    Minutes : Exp -> TimeIntervalPart
    Seconds : Exp -> TimeIntervalPart
    Milliseconds : Exp -> TimeIntervalPart
    TimeInterval : list(TimeIntervalPart) -> TimeInterval
    InvokeEvery : Exp * TimeInterval -> Definition