Quasiquoters

A quasiquoter to denote a duration.

>>> [t| 42s |] :: DiffTime 42s 

>>> [t| 1day |] :: DiffTime 86400s 

The expression has the type of AbsoluteDuration a => a.

>>> [t| 1ms |] :: NominalDiffTime 0.001s 

>>> [t| 1ms |] :: CSUSeconds 1000 

>>> [t| 1ms |] :: CUSeconds 1000 

You can use various expressions inside the quasiquoter. (See Time for details.)

>>> [t| 1ms |] :: DiffTime 0.001s 

>>> [t| 1s |] :: DiffTime 1s 

>>> [t| 1m |] :: DiffTime 60s 

>>> [t| 1h |] :: DiffTime 3600s 

>>> [t| 1d |] :: DiffTime 86400s 

>>> [t| 1w |] :: DiffTime 604800s 

>>> [t| 1y |] :: DiffTime 31536000s 

A quasiquoter to denote a duration in seconds. Its behavior varies according to what you give to the quasiquoter.

When a unitless number (like 42) is supplied to s, the expression has the type of AbsoluteDuration a => a.

>>> [s| 42 |] :: DiffTime 42s 

When you pass a string with a number and a valid unit (like 42s), the expression has the type of RelativeDuration a => a, and it represents how long the given duration is in seconds.

For example, how long is 42 minutes in seconds?

>>> [s| 42m |] :: Int 2520 

Note that short durations can be rounded to zero when treated as an integer.

>>> [s| 1ms |] :: Int 0 >>> [s| 1ms |] :: Integer 0 

To avoid this, use Ratio or Float instead.

>>> [s| 1ms |] :: Rational 1 % 1000 >>> [s| 1ms |] :: Float 1.0e-3 

A quasiquoter to denote a duration in milliseconds. See s for detailed usage.

>>> [ms| 42 |] :: DiffTime 0.042s 

>>> [ms| 42s |] :: Integer 42000 

A quasiquoter to denote a duration in microseconds. See s for detailed usage.

>>> [µs| 42 |] :: DiffTime 0.000042s 

>>> [µs| 42s |] :: Integer 42000000 

A quasiquoter to denote a duration in nanoseconds. See s for detailed usage.

>>> [ns| 42 |] :: DiffTime 0.000000042s 

>>> [ns| 42s |] :: Integer 42000000000 

A quasiquoter to denote a duration in picoseconds. See s for detailed usage.

>>> [ps| 42 |] :: DiffTime 0.000000000042s 

>>> [ps| 42s |] :: Integer 42000000000000