Modulestreamly-core-0.3.1Haskell2010

Streamly.Internal.Data.Time.Units

Contents

Time Unit Conversions
Time Units
Absolute times (using TimeSpec)
Relative times (using TimeSpec)
Relative times (using NanoSecond64)

Synopsis

class TimeUnit
class TimeUnit64
data TimeSpec
newtype NanoSecond64
newtype MicroSecond64
newtype MilliSecond64
value showNanoSecond64
newtype AbsTime
value toAbsTime
value fromAbsTime
newtype RelTime
value toRelTime
value fromRelTime
value diffAbsTime
value addToAbsTime
newtype RelTime64
value toRelTime64
value fromRelTime64
value diffAbsTime64
value addToAbsTime64
value showRelTime64

Packagestreamly-core-0.3.1
Exports21
LanguageHaskell2010
LicenceBSD-3-Clause
SourceUnits.hs

Time Unit Conversions

classclass TimeUnit a where

Source#

A type class for converting between time units using Integer as the intermediate and the widest representation with a nanosecond resolution. This system of units can represent arbitrarily large times but provides least efficient arithmetic operations due to Integer arithmetic.

NOTE: Converting to and from units may truncate the value depending on the original value and the size and resolution of the destination unit.

A type class for converting between units of time using TimeSpec as the intermediate representation. This system of units can represent up to ~292 billion years at nanosecond resolution with reasonably efficient arithmetic operations.

NOTE: Converting to and from units may truncate the value depending on the original value and the size and resolution of the destination unit.

Instances4TimeUnit

TimeUnit TimeSpecDefined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
TimeUnit MicroSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
TimeUnit MilliSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
TimeUnit NanoSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units

classclass TimeUnit64 a where

Source#

A type class for converting between units of time using Int64 as the intermediate representation with a nanosecond resolution. This system of units can represent up to ~292 years at nanosecond resolution with fast arithmetic operations.

NOTE: Converting to and from units may truncate the value depending on the original value and the size and resolution of the destination unit.

Instances3TimeUnit64

TimeUnit64 MicroSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
TimeUnit64 MilliSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
TimeUnit64 NanoSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units

Time Units

datadata TimeSpec

Source#

Data type to represent practically large quantities of time efficiently. It can represent time up to ~292 billion years at nanosecond resolution.

Constructors

TimeSpec
- sec :: !Int64
  seconds
- nsec :: !Int64
  nanoseconds

Instances7Eq, Num, Ord, Read, Show, Storable, …

Eq TimeSpecDefined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.TimeSpec
Num TimeSpecDefined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.TimeSpec
Ord TimeSpecDefined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.TimeSpec
Read TimeSpecDefined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.TimeSpec
Show TimeSpecDefined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.TimeSpec
Storable TimeSpecDefined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.TimeSpec
TimeUnit TimeSpecDefined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units

newtypenewtype NanoSecond64

Source#

An Int64 time representation with a nanosecond resolution. It can represent time up to ~292 years.

Constructors

NanoSecond64 Int64

Instances13Bounded, Enum, Eq, Integral, Num, Ord, …

Bounded NanoSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Enum NanoSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Eq NanoSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Integral NanoSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Num NanoSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Ord NanoSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Read NanoSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Real NanoSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Show NanoSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Storable NanoSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Unbox NanoSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
TimeUnit NanoSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
TimeUnit64 NanoSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units

newtypenewtype MicroSecond64

Source#

An Int64 time representation with a microsecond resolution. It can represent time up to ~292,000 years.

Constructors

MicroSecond64 Int64

Instances13Bounded, Enum, Eq, Integral, Num, Ord, …

Bounded MicroSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Enum MicroSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Eq MicroSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Integral MicroSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Num MicroSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Ord MicroSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Read MicroSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Real MicroSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Show MicroSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Storable MicroSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Unbox MicroSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
TimeUnit MicroSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
TimeUnit64 MicroSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units

newtypenewtype MilliSecond64

Source#

An Int64 time representation with a millisecond resolution. It can represent time up to ~292 million years.

Constructors

MilliSecond64 Int64

Instances13Bounded, Enum, Eq, Integral, Num, Ord, …

Bounded MilliSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Enum MilliSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Eq MilliSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Integral MilliSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Num MilliSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Ord MilliSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Read MilliSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Real MilliSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Show MilliSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Storable MilliSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Unbox MilliSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
TimeUnit MilliSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
TimeUnit64 MilliSecond64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units

valueshowNanoSecond64 :: NanoSecond64 -> String

Source#

Convert nanoseconds to a string showing time in an appropriate unit.

Absolute times (using TimeSpec)

newtypenewtype AbsTime

Source#

Absolute times are relative to a predefined epoch in time. AbsTime represents times using TimeSpec which can represent times up to ~292 billion years at a nanosecond resolution.

Constructors

AbsTime TimeSpec

Instances3Eq, Ord, Show

Eq AbsTimeDefined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Ord AbsTimeDefined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Show AbsTimeDefined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units

valuetoAbsTime :: TimeUnit a => a -> AbsTime

Source#

Convert a TimeUnit to an absolute time.

valuefromAbsTime :: TimeUnit a => AbsTime -> a

Source#

Convert absolute time to a TimeUnit.

Relative times (using TimeSpec)

newtypenewtype RelTime

Instances5Eq, Num, Ord, Read, Show

Eq RelTimeDefined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Num RelTimeDefined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Ord RelTimeDefined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Read RelTimeDefined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Show RelTimeDefined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units

valuetoRelTime :: TimeUnit a => a -> RelTime

valuefromRelTime :: TimeUnit a => RelTime -> a

valuediffAbsTime :: AbsTime -> AbsTime -> RelTime

valueaddToAbsTime :: AbsTime -> RelTime -> AbsTime

Relative times (using NanoSecond64)

newtypenewtype RelTime64

Source#

Relative times are relative to some arbitrary point of time. Unlike AbsTime they are not relative to a predefined epoch.

Instances9Bounded, Enum, Eq, Integral, Num, Ord, …

Bounded RelTime64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Enum RelTime64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Eq RelTime64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Integral RelTime64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Num RelTime64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Ord RelTime64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Read RelTime64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Real RelTime64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units
Show RelTime64Defined in streamly-core-0.3.1 · Streamly.Internal.Data.Time.Units

valuetoRelTime64 :: TimeUnit64 a => a -> RelTime64

Source#

Convert a TimeUnit to a relative time.

valuefromRelTime64 :: TimeUnit64 a => RelTime64 -> a

Source#

Convert relative time to a TimeUnit.

valuediffAbsTime64 :: AbsTime -> AbsTime -> RelTime64

Source#

Difference between two absolute points of time.

valueaddToAbsTime64 :: AbsTime -> RelTime64 -> AbsTime

valueshowRelTime64 :: RelTime64 -> String