Data.Time.TypeLevel

Exports types which can be used to describe time periods at the type-level. Use the durationVal function to reify them as the corresponding value-level descriptions from Data.Time.Units or the durationMicroseconds function to reify them as microseconds straight away.

Documentation

class KnownDuration k where

A class of types which can be reified as value-level descriptions of time periods.

Associated Types

type DurationUnit k :: Type

The type representing value-level descriptions of the time period corresponding to k.

Methods

durationVal :: DurationUnit k

durationVal reifies the duration as the corresponding value-level type. Intended to be used with TypeApplications.

>>> durationVal @('Second 10)
10s :: Data.Time.Units.Second

Instances

KnownNat n => KnownDuration ('Attosecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Attosecond n)

Methods

durationVal :: DurationUnit ('Attosecond n)

KnownNat n => KnownDuration ('Femtosecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Femtosecond n)

Methods

durationVal :: DurationUnit ('Femtosecond n)

KnownNat n => KnownDuration ('Picosecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Picosecond n)

Methods

durationVal :: DurationUnit ('Picosecond n)

KnownNat n => KnownDuration ('Nanosecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Nanosecond n)

Methods

durationVal :: DurationUnit ('Nanosecond n)

KnownNat n => KnownDuration ('Microsecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Microsecond n)

Methods

durationVal :: DurationUnit ('Microsecond n)

KnownNat n => KnownDuration ('Millisecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Millisecond n)

Methods

durationVal :: DurationUnit ('Millisecond n)

KnownNat n => KnownDuration ('Second n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Second n)

Methods

durationVal :: DurationUnit ('Second n)

KnownNat n => KnownDuration ('Minute n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Minute n)

Methods

durationVal :: DurationUnit ('Minute n)

KnownNat n => KnownDuration ('Hour n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Hour n)

Methods

durationVal :: DurationUnit ('Hour n)

KnownNat n => KnownDuration ('Day n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Day n)

Methods

durationVal :: DurationUnit ('Day n)

KnownNat n => KnownDuration ('Week n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Week n)

Methods

durationVal :: DurationUnit ('Week n)

KnownNat n => KnownDuration ('Fortnight n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Fortnight n)

Methods

durationVal :: DurationUnit ('Fortnight n)

durationMicroseconds :: forall d. (KnownDuration d, TimeUnit (DurationUnit d)) => Integer

durationMicroseconds is a convenience function which reifies a type-level duration as microseconds on the value level. Intended to be used with TypeApplications.

>>> durationMicroseconds @('Second 10)
10000000 :: Integer

data TimePeriod where

Constructors

Attosecond :: Nat -> TimePeriod

Represents n-many attoseconds.

Femtosecond :: Nat -> TimePeriod

Represents n-many femtoseconds.

Picosecond :: Nat -> TimePeriod

Represents n-many picoseconds.

Nanosecond :: Nat -> TimePeriod

Represents n-many nanoseconds.

Microsecond :: Nat -> TimePeriod

Represents n-many microseconds.

Millisecond :: Nat -> TimePeriod

Represents n-many milliseconds.

Second :: Nat -> TimePeriod

Represents n-many seconds.

Minute :: Nat -> TimePeriod

Represents n-many minutes.

Hour :: Nat -> TimePeriod

Represents n-many hours.

Day :: Nat -> TimePeriod

Represents n-many days.

Week :: Nat -> TimePeriod

Represents n-many weeks.

Fortnight :: Nat -> TimePeriod

Represents n-many fortnights.

Instances

KnownNat n => KnownDuration ('Attosecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Attosecond n)

Methods

durationVal :: DurationUnit ('Attosecond n)

KnownNat n => KnownDuration ('Femtosecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Femtosecond n)

Methods

durationVal :: DurationUnit ('Femtosecond n)

KnownNat n => KnownDuration ('Picosecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Picosecond n)

Methods

durationVal :: DurationUnit ('Picosecond n)

KnownNat n => KnownDuration ('Nanosecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Nanosecond n)

Methods

durationVal :: DurationUnit ('Nanosecond n)

KnownNat n => KnownDuration ('Microsecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Microsecond n)

Methods

durationVal :: DurationUnit ('Microsecond n)

KnownNat n => KnownDuration ('Millisecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Millisecond n)

Methods

durationVal :: DurationUnit ('Millisecond n)

KnownNat n => KnownDuration ('Second n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Second n)

Methods

durationVal :: DurationUnit ('Second n)

KnownNat n => KnownDuration ('Minute n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Minute n)

Methods

durationVal :: DurationUnit ('Minute n)

KnownNat n => KnownDuration ('Hour n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Hour n)

Methods

durationVal :: DurationUnit ('Hour n)

KnownNat n => KnownDuration ('Day n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Day n)

Methods

durationVal :: DurationUnit ('Day n)

KnownNat n => KnownDuration ('Week n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Week n)

Methods

durationVal :: DurationUnit ('Week n)

KnownNat n => KnownDuration ('Fortnight n :: TimePeriod)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit ('Fortnight n)

Methods

durationVal :: DurationUnit ('Fortnight n)

type DurationUnit ('Attosecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

type DurationUnit ('Attosecond n :: TimePeriod) = Attosecond

type DurationUnit ('Femtosecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

type DurationUnit ('Femtosecond n :: TimePeriod) = Femtosecond

type DurationUnit ('Picosecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

type DurationUnit ('Picosecond n :: TimePeriod) = Picosecond

type DurationUnit ('Nanosecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

type DurationUnit ('Nanosecond n :: TimePeriod) = Nanosecond

type DurationUnit ('Microsecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

type DurationUnit ('Microsecond n :: TimePeriod) = Microsecond

type DurationUnit ('Millisecond n :: TimePeriod)

Defined in Data.Time.TypeLevel

type DurationUnit ('Millisecond n :: TimePeriod) = Millisecond

type DurationUnit ('Second n :: TimePeriod)

Defined in Data.Time.TypeLevel

type DurationUnit ('Second n :: TimePeriod) = Second

type DurationUnit ('Minute n :: TimePeriod)

Defined in Data.Time.TypeLevel

type DurationUnit ('Minute n :: TimePeriod) = Minute

type DurationUnit ('Hour n :: TimePeriod)

Defined in Data.Time.TypeLevel

type DurationUnit ('Hour n :: TimePeriod) = Hour

type DurationUnit ('Day n :: TimePeriod)

Defined in Data.Time.TypeLevel

type DurationUnit ('Day n :: TimePeriod) = Day

type DurationUnit ('Week n :: TimePeriod)

Defined in Data.Time.TypeLevel

type DurationUnit ('Week n :: TimePeriod) = Week

type DurationUnit ('Fortnight n :: TimePeriod)

Defined in Data.Time.TypeLevel

type DurationUnit ('Fortnight n :: TimePeriod) = Fortnight