Alias for the type representing discrete time. It is inherently quantizable, the quantum being a picosecond ( \(10^{-12}\) seconds), thus it can be considered order-isomorphic with a set of integers, i.e. between any two timestamps there is a finite number of timestamps. Moreover, a timestamp can be easily translated into a rational number representing fractions of a second, so the conversion between timestamps (discrete time) and rationals (analog/continuous time) is straightforward.

This type is used in the explicit tags of the DE MoC (and subsequently the discrete event evaluation engine for simulating the CT MoC).

Specifies a timestamp in terms of picoseconds.

Specifies a timestamp in terms of nanoseconds.

Specifies a timestamp in terms of microseconds.

Specifies a timestamp in terms of miliseconds.

Specifies a timestamp in terms of seconds.

Specifies a timestamp in terms of minutes.

Specifies a timestamp in terms of hours.

Converts a timestamp to a rational number, used for describing continuous time.

TimeStamp representation of the number π. Converted from the Prelude equivalent, which is Floating.