Pauses the program for the amount of time (in milliseconds) given as the parameter.
(uint32) -> unit
time : uint32 | The amount of time to sleep |
Gives the number of milliseconds that has passed since the program began running. Useful as a time stamp.
() -> uint32
The time elapsed
Holds the state for the every functions
alias timerState = { lastPulse : uint32 }
lastPulse : uint32 | Timestamp of the last pulse |
Useful for creating an initial timerState where lastPulse is 0
timerState
Produces a signal of millisecond time stamps which fires in a time delay of the given interval.
(uint32, inout timerState) -> sig<uint32>
interval : uint32 | The interval between values firing |
state : inout timerState | Holds the last time that the signal fired |
A signal of timestamps which carries a value every interval milliseconds.