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 (Fortnight n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Fortnight n)

Methods

durationVal :: DurationUnit (Fortnight n)

KnownNat n => KnownDuration (Week n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Week n)

Methods

durationVal :: DurationUnit (Week n)

KnownNat n => KnownDuration (Day n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Day n)

Methods

durationVal :: DurationUnit (Day n)

KnownNat n => KnownDuration (Hour n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Hour n)

Methods

durationVal :: DurationUnit (Hour n)

KnownNat n => KnownDuration (Minute n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Minute n)

Methods

durationVal :: DurationUnit (Minute n)

KnownNat n => KnownDuration (Second n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Second n)

Methods

durationVal :: DurationUnit (Second n)

KnownNat n => KnownDuration (Millisecond n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Millisecond n)

Methods

durationVal :: DurationUnit (Millisecond n)

KnownNat n => KnownDuration (Microsecond n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Microsecond n)

Methods

durationVal :: DurationUnit (Microsecond n)

KnownNat n => KnownDuration (Nanosecond n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Nanosecond n)

Methods

durationVal :: DurationUnit (Nanosecond n)

KnownNat n => KnownDuration (Picosecond n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Picosecond n)

Methods

durationVal :: DurationUnit (Picosecond n)

KnownNat n => KnownDuration (Femtosecond n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Femtosecond n)

Methods

durationVal :: DurationUnit (Femtosecond n)

KnownNat n => KnownDuration (Attosecond n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Attosecond n)

Methods

durationVal :: DurationUnit (Attosecond 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 Attosecond (n :: Nat)

Represents n-many attoseconds.

Instances

KnownNat n => KnownDuration (Attosecond n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Attosecond n)

Methods

durationVal :: DurationUnit (Attosecond n)

type DurationUnit (Attosecond n :: Type)

Defined in Data.Time.TypeLevel

type DurationUnit (Attosecond n :: Type) = Attosecond

data Femtosecond (n :: Nat)

Represents n-many femtoseconds.

Instances

KnownNat n => KnownDuration (Femtosecond n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Femtosecond n)

Methods

durationVal :: DurationUnit (Femtosecond n)

type DurationUnit (Femtosecond n :: Type)

Defined in Data.Time.TypeLevel

type DurationUnit (Femtosecond n :: Type) = Femtosecond

data Picosecond (n :: Nat)

Represents n-many picoseconds.

Instances

KnownNat n => KnownDuration (Picosecond n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Picosecond n)

Methods

durationVal :: DurationUnit (Picosecond n)

type DurationUnit (Picosecond n :: Type)

Defined in Data.Time.TypeLevel

type DurationUnit (Picosecond n :: Type) = Picosecond

data Nanosecond (n :: Nat)

Represents n-many nanoseconds.

Instances

KnownNat n => KnownDuration (Nanosecond n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Nanosecond n)

Methods

durationVal :: DurationUnit (Nanosecond n)

type DurationUnit (Nanosecond n :: Type)

Defined in Data.Time.TypeLevel

type DurationUnit (Nanosecond n :: Type) = Nanosecond

data Microsecond (n :: Nat)

Represents n-many microseconds.

Instances

KnownNat n => KnownDuration (Microsecond n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Microsecond n)

Methods

durationVal :: DurationUnit (Microsecond n)

type DurationUnit (Microsecond n :: Type)

Defined in Data.Time.TypeLevel

type DurationUnit (Microsecond n :: Type) = Microsecond

data Millisecond (n :: Nat)

Represents n-many milliseconds.

Instances

KnownNat n => KnownDuration (Millisecond n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Millisecond n)

Methods

durationVal :: DurationUnit (Millisecond n)

type DurationUnit (Millisecond n :: Type)

Defined in Data.Time.TypeLevel

type DurationUnit (Millisecond n :: Type) = Millisecond

data Second (n :: Nat)

Represents n-many seconds.

Instances

KnownNat n => KnownDuration (Second n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Second n)

Methods

durationVal :: DurationUnit (Second n)

type DurationUnit (Second n :: Type)

Defined in Data.Time.TypeLevel

type DurationUnit (Second n :: Type) = Second

data Minute (n :: Nat)

Represents n-many minutes.

Instances

KnownNat n => KnownDuration (Minute n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Minute n)

Methods

durationVal :: DurationUnit (Minute n)

type DurationUnit (Minute n :: Type)

Defined in Data.Time.TypeLevel

type DurationUnit (Minute n :: Type) = Minute

data Hour (n :: Nat)

Represents n-many hours.

Instances

KnownNat n => KnownDuration (Hour n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Hour n)

Methods

durationVal :: DurationUnit (Hour n)

type DurationUnit (Hour n :: Type)

Defined in Data.Time.TypeLevel

type DurationUnit (Hour n :: Type) = Hour

data Day (n :: Nat)

Represents n-many days.

Instances

KnownNat n => KnownDuration (Day n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Day n)

Methods

durationVal :: DurationUnit (Day n)

type DurationUnit (Day n :: Type)

Defined in Data.Time.TypeLevel

type DurationUnit (Day n :: Type) = Day

data Week (n :: Nat)

Represents n-many weeks.

Instances

KnownNat n => KnownDuration (Week n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Week n)

Methods

durationVal :: DurationUnit (Week n)

type DurationUnit (Week n :: Type)

Defined in Data.Time.TypeLevel

type DurationUnit (Week n :: Type) = Week

data Fortnight (n :: Nat)

Represents n-many fortnights.

Instances

KnownNat n => KnownDuration (Fortnight n :: Type)

Defined in Data.Time.TypeLevel

Associated Types

type DurationUnit (Fortnight n)

Methods

durationVal :: DurationUnit (Fortnight n)

type DurationUnit (Fortnight n :: Type)

Defined in Data.Time.TypeLevel

type DurationUnit (Fortnight n :: Type) = Fortnight