Time.Formatting

This module introduces function to format time in desired way.

Examples

>>> seriesF @'[Day, Hour, Minute, Second] (minute 4000)
"2d18h40m"

>>> seriesF @'[Day, Minute, Second] (minute 4000)
"2d1120m"

>>> seriesF @'[Hour, Minute, Second] (sec 3601)
"1h1s"

>>> seriesF @'[Hour, Second, Millisecond] (Time @Minute $ 3 % 2)
"90s"

Documentation

class Series (units :: [Rat]) where

Class for time formatting.

Minimal complete definition

seriesF

Methods

seriesF :: forall (someUnit :: Rat). KnownRatName someUnit => Time someUnit -> String

Instances

Series ([] Rat)

Methods

seriesF :: KnownRatName someUnit => Time someUnit -> String

(KnownRatName unit, Series units) => Series ((:) Rat unit units)

Methods

seriesF :: KnownRatName someUnit => Time someUnit -> String

unitsF :: forall unit. KnownRatName unit => Time unit -> String

Similar to seriesF, but formats using all time units of the library.

>>> unitsF $ fortnight 5
"5fn"

>>> unitsF $ minute 4000
"2d18h40m"