Streamly.Internal.Data.Time.Units

Time Unit Conversions

class TimeUnit a

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.

Minimal complete definition

toTimeSpec, fromTimeSpec

Instances

TimeUnit TimeSpec

Defined in Streamly.Internal.Data.Time.Units

Methods

toTimeSpec :: TimeSpec -> TimeSpec

fromTimeSpec :: TimeSpec -> TimeSpec

TimeUnit MilliSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

toTimeSpec :: MilliSecond64 -> TimeSpec

fromTimeSpec :: TimeSpec -> MilliSecond64

TimeUnit MicroSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

toTimeSpec :: MicroSecond64 -> TimeSpec

fromTimeSpec :: TimeSpec -> MicroSecond64

TimeUnit NanoSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

toTimeSpec :: NanoSecond64 -> TimeSpec

fromTimeSpec :: TimeSpec -> NanoSecond64

class TimeUnit64 a

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.

Minimal complete definition

toNanoSecond64, fromNanoSecond64

Instances

TimeUnit64 MilliSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

toNanoSecond64 :: MilliSecond64 -> NanoSecond64

fromNanoSecond64 :: NanoSecond64 -> MilliSecond64

TimeUnit64 MicroSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

toNanoSecond64 :: MicroSecond64 -> NanoSecond64

fromNanoSecond64 :: NanoSecond64 -> MicroSecond64

TimeUnit64 NanoSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

toNanoSecond64 :: NanoSecond64 -> NanoSecond64

fromNanoSecond64 :: NanoSecond64 -> NanoSecond64

Time Units

data TimeSpec

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

Constructors

TimeSpec

Fields

• sec :: !Int64

  seconds

• nsec :: !Int64

  nanoseconds

Instances

Eq TimeSpec

Defined in Streamly.Internal.Data.Time.Units

Methods

(==) :: TimeSpec -> TimeSpec -> Bool

(/=) :: TimeSpec -> TimeSpec -> Bool

Num TimeSpec

Defined in Streamly.Internal.Data.Time.Units

Methods

(+) :: TimeSpec -> TimeSpec -> TimeSpec

(-) :: TimeSpec -> TimeSpec -> TimeSpec

(*) :: TimeSpec -> TimeSpec -> TimeSpec

negate :: TimeSpec -> TimeSpec

abs :: TimeSpec -> TimeSpec

signum :: TimeSpec -> TimeSpec

fromInteger :: Integer -> TimeSpec

Ord TimeSpec

Defined in Streamly.Internal.Data.Time.Units

Methods

compare :: TimeSpec -> TimeSpec -> Ordering

(<) :: TimeSpec -> TimeSpec -> Bool

(<=) :: TimeSpec -> TimeSpec -> Bool

(>) :: TimeSpec -> TimeSpec -> Bool

(>=) :: TimeSpec -> TimeSpec -> Bool

max :: TimeSpec -> TimeSpec -> TimeSpec

min :: TimeSpec -> TimeSpec -> TimeSpec

Read TimeSpec

Defined in Streamly.Internal.Data.Time.Units

Methods

readsPrec :: Int -> ReadS TimeSpec

readList :: ReadS [TimeSpec]

readPrec :: ReadPrec TimeSpec

readListPrec :: ReadPrec [TimeSpec]

Show TimeSpec

Defined in Streamly.Internal.Data.Time.Units

Methods

showsPrec :: Int -> TimeSpec -> ShowS

show :: TimeSpec -> String

showList :: [TimeSpec] -> ShowS

Storable TimeSpec

Defined in Streamly.Internal.Data.Time.Clock

Methods

sizeOf :: TimeSpec -> Int

alignment :: TimeSpec -> Int

peekElemOff :: Ptr TimeSpec -> Int -> IO TimeSpec

pokeElemOff :: Ptr TimeSpec -> Int -> TimeSpec -> IO ()

peekByteOff :: Ptr b -> Int -> IO TimeSpec

pokeByteOff :: Ptr b -> Int -> TimeSpec -> IO ()

peek :: Ptr TimeSpec -> IO TimeSpec

poke :: Ptr TimeSpec -> TimeSpec -> IO ()

TimeUnit TimeSpec

Defined in Streamly.Internal.Data.Time.Units

Methods

toTimeSpec :: TimeSpec -> TimeSpec

fromTimeSpec :: TimeSpec -> TimeSpec

newtype NanoSecond64

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

Constructors

NanoSecond64 Int64

Instances

Bounded NanoSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

minBound :: NanoSecond64

maxBound :: NanoSecond64

Enum NanoSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

succ :: NanoSecond64 -> NanoSecond64

pred :: NanoSecond64 -> NanoSecond64

toEnum :: Int -> NanoSecond64

fromEnum :: NanoSecond64 -> Int

enumFrom :: NanoSecond64 -> [NanoSecond64]

enumFromThen :: NanoSecond64 -> NanoSecond64 -> [NanoSecond64]

enumFromTo :: NanoSecond64 -> NanoSecond64 -> [NanoSecond64]

enumFromThenTo :: NanoSecond64 -> NanoSecond64 -> NanoSecond64 -> [NanoSecond64]

Eq NanoSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

(==) :: NanoSecond64 -> NanoSecond64 -> Bool

(/=) :: NanoSecond64 -> NanoSecond64 -> Bool

Integral NanoSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

quot :: NanoSecond64 -> NanoSecond64 -> NanoSecond64

rem :: NanoSecond64 -> NanoSecond64 -> NanoSecond64

div :: NanoSecond64 -> NanoSecond64 -> NanoSecond64

mod :: NanoSecond64 -> NanoSecond64 -> NanoSecond64

quotRem :: NanoSecond64 -> NanoSecond64 -> (NanoSecond64, NanoSecond64)

divMod :: NanoSecond64 -> NanoSecond64 -> (NanoSecond64, NanoSecond64)

toInteger :: NanoSecond64 -> Integer

Num NanoSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

(+) :: NanoSecond64 -> NanoSecond64 -> NanoSecond64

(-) :: NanoSecond64 -> NanoSecond64 -> NanoSecond64

(*) :: NanoSecond64 -> NanoSecond64 -> NanoSecond64

negate :: NanoSecond64 -> NanoSecond64

abs :: NanoSecond64 -> NanoSecond64

signum :: NanoSecond64 -> NanoSecond64

fromInteger :: Integer -> NanoSecond64

Ord NanoSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

compare :: NanoSecond64 -> NanoSecond64 -> Ordering

(<) :: NanoSecond64 -> NanoSecond64 -> Bool

(<=) :: NanoSecond64 -> NanoSecond64 -> Bool

(>) :: NanoSecond64 -> NanoSecond64 -> Bool

(>=) :: NanoSecond64 -> NanoSecond64 -> Bool

max :: NanoSecond64 -> NanoSecond64 -> NanoSecond64

min :: NanoSecond64 -> NanoSecond64 -> NanoSecond64

Read NanoSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

readsPrec :: Int -> ReadS NanoSecond64

readList :: ReadS [NanoSecond64]

readPrec :: ReadPrec NanoSecond64

readListPrec :: ReadPrec [NanoSecond64]

Real NanoSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

toRational :: NanoSecond64 -> Rational

Show NanoSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

showsPrec :: Int -> NanoSecond64 -> ShowS

show :: NanoSecond64 -> String

showList :: [NanoSecond64] -> ShowS

TimeUnit64 NanoSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

toNanoSecond64 :: NanoSecond64 -> NanoSecond64

fromNanoSecond64 :: NanoSecond64 -> NanoSecond64

TimeUnit NanoSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

toTimeSpec :: NanoSecond64 -> TimeSpec

fromTimeSpec :: TimeSpec -> NanoSecond64

newtype MicroSecond64

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

Constructors

MicroSecond64 Int64

Instances

Bounded MicroSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

minBound :: MicroSecond64

maxBound :: MicroSecond64

Enum MicroSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

succ :: MicroSecond64 -> MicroSecond64

pred :: MicroSecond64 -> MicroSecond64

toEnum :: Int -> MicroSecond64

fromEnum :: MicroSecond64 -> Int

enumFrom :: MicroSecond64 -> [MicroSecond64]

enumFromThen :: MicroSecond64 -> MicroSecond64 -> [MicroSecond64]

enumFromTo :: MicroSecond64 -> MicroSecond64 -> [MicroSecond64]

enumFromThenTo :: MicroSecond64 -> MicroSecond64 -> MicroSecond64 -> [MicroSecond64]

Eq MicroSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

(==) :: MicroSecond64 -> MicroSecond64 -> Bool

(/=) :: MicroSecond64 -> MicroSecond64 -> Bool

Integral MicroSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

quot :: MicroSecond64 -> MicroSecond64 -> MicroSecond64

rem :: MicroSecond64 -> MicroSecond64 -> MicroSecond64

div :: MicroSecond64 -> MicroSecond64 -> MicroSecond64

mod :: MicroSecond64 -> MicroSecond64 -> MicroSecond64

quotRem :: MicroSecond64 -> MicroSecond64 -> (MicroSecond64, MicroSecond64)

divMod :: MicroSecond64 -> MicroSecond64 -> (MicroSecond64, MicroSecond64)

toInteger :: MicroSecond64 -> Integer

Num MicroSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

(+) :: MicroSecond64 -> MicroSecond64 -> MicroSecond64

(-) :: MicroSecond64 -> MicroSecond64 -> MicroSecond64

(*) :: MicroSecond64 -> MicroSecond64 -> MicroSecond64

negate :: MicroSecond64 -> MicroSecond64

abs :: MicroSecond64 -> MicroSecond64

signum :: MicroSecond64 -> MicroSecond64

fromInteger :: Integer -> MicroSecond64

Ord MicroSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

compare :: MicroSecond64 -> MicroSecond64 -> Ordering

(<) :: MicroSecond64 -> MicroSecond64 -> Bool

(<=) :: MicroSecond64 -> MicroSecond64 -> Bool

(>) :: MicroSecond64 -> MicroSecond64 -> Bool

(>=) :: MicroSecond64 -> MicroSecond64 -> Bool

max :: MicroSecond64 -> MicroSecond64 -> MicroSecond64

min :: MicroSecond64 -> MicroSecond64 -> MicroSecond64

Read MicroSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

readsPrec :: Int -> ReadS MicroSecond64

readList :: ReadS [MicroSecond64]

readPrec :: ReadPrec MicroSecond64

readListPrec :: ReadPrec [MicroSecond64]

Real MicroSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

toRational :: MicroSecond64 -> Rational

Show MicroSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

showsPrec :: Int -> MicroSecond64 -> ShowS

show :: MicroSecond64 -> String

showList :: [MicroSecond64] -> ShowS

TimeUnit64 MicroSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

toNanoSecond64 :: MicroSecond64 -> NanoSecond64

fromNanoSecond64 :: NanoSecond64 -> MicroSecond64

TimeUnit MicroSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

toTimeSpec :: MicroSecond64 -> TimeSpec

fromTimeSpec :: TimeSpec -> MicroSecond64

newtype MilliSecond64

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

Constructors

MilliSecond64 Int64

Instances

Bounded MilliSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

minBound :: MilliSecond64

maxBound :: MilliSecond64

Enum MilliSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

succ :: MilliSecond64 -> MilliSecond64

pred :: MilliSecond64 -> MilliSecond64

toEnum :: Int -> MilliSecond64

fromEnum :: MilliSecond64 -> Int

enumFrom :: MilliSecond64 -> [MilliSecond64]

enumFromThen :: MilliSecond64 -> MilliSecond64 -> [MilliSecond64]

enumFromTo :: MilliSecond64 -> MilliSecond64 -> [MilliSecond64]

enumFromThenTo :: MilliSecond64 -> MilliSecond64 -> MilliSecond64 -> [MilliSecond64]

Eq MilliSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

(==) :: MilliSecond64 -> MilliSecond64 -> Bool

(/=) :: MilliSecond64 -> MilliSecond64 -> Bool

Integral MilliSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

quot :: MilliSecond64 -> MilliSecond64 -> MilliSecond64

rem :: MilliSecond64 -> MilliSecond64 -> MilliSecond64

div :: MilliSecond64 -> MilliSecond64 -> MilliSecond64

mod :: MilliSecond64 -> MilliSecond64 -> MilliSecond64

quotRem :: MilliSecond64 -> MilliSecond64 -> (MilliSecond64, MilliSecond64)

divMod :: MilliSecond64 -> MilliSecond64 -> (MilliSecond64, MilliSecond64)

toInteger :: MilliSecond64 -> Integer

Num MilliSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

(+) :: MilliSecond64 -> MilliSecond64 -> MilliSecond64

(-) :: MilliSecond64 -> MilliSecond64 -> MilliSecond64

(*) :: MilliSecond64 -> MilliSecond64 -> MilliSecond64

negate :: MilliSecond64 -> MilliSecond64

abs :: MilliSecond64 -> MilliSecond64

signum :: MilliSecond64 -> MilliSecond64

fromInteger :: Integer -> MilliSecond64

Ord MilliSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

compare :: MilliSecond64 -> MilliSecond64 -> Ordering

(<) :: MilliSecond64 -> MilliSecond64 -> Bool

(<=) :: MilliSecond64 -> MilliSecond64 -> Bool

(>) :: MilliSecond64 -> MilliSecond64 -> Bool

(>=) :: MilliSecond64 -> MilliSecond64 -> Bool

max :: MilliSecond64 -> MilliSecond64 -> MilliSecond64

min :: MilliSecond64 -> MilliSecond64 -> MilliSecond64

Read MilliSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

readsPrec :: Int -> ReadS MilliSecond64

readList :: ReadS [MilliSecond64]

readPrec :: ReadPrec MilliSecond64

readListPrec :: ReadPrec [MilliSecond64]

Real MilliSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

toRational :: MilliSecond64 -> Rational

Show MilliSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

showsPrec :: Int -> MilliSecond64 -> ShowS

show :: MilliSecond64 -> String

showList :: [MilliSecond64] -> ShowS

TimeUnit64 MilliSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

toNanoSecond64 :: MilliSecond64 -> NanoSecond64

fromNanoSecond64 :: NanoSecond64 -> MilliSecond64

TimeUnit MilliSecond64

Defined in Streamly.Internal.Data.Time.Units

Methods

toTimeSpec :: MilliSecond64 -> TimeSpec

fromTimeSpec :: TimeSpec -> MilliSecond64

showNanoSecond64 :: NanoSecond64 -> String

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

Absolute times (using TimeSpec)

newtype AbsTime

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

Instances

Eq AbsTime

Defined in Streamly.Internal.Data.Time.Units

Methods

(==) :: AbsTime -> AbsTime -> Bool

(/=) :: AbsTime -> AbsTime -> Bool

Ord AbsTime

Defined in Streamly.Internal.Data.Time.Units

Methods

compare :: AbsTime -> AbsTime -> Ordering

(<) :: AbsTime -> AbsTime -> Bool

(<=) :: AbsTime -> AbsTime -> Bool

(>) :: AbsTime -> AbsTime -> Bool

(>=) :: AbsTime -> AbsTime -> Bool

max :: AbsTime -> AbsTime -> AbsTime

min :: AbsTime -> AbsTime -> AbsTime

Show AbsTime

Defined in Streamly.Internal.Data.Time.Units

Methods

showsPrec :: Int -> AbsTime -> ShowS

show :: AbsTime -> String

showList :: [AbsTime] -> ShowS

toAbsTime :: TimeUnit a => a -> AbsTime

Convert a TimeUnit to an absolute time.

fromAbsTime :: TimeUnit a => AbsTime -> a

Convert absolute time to a TimeUnit.

Relative times (using TimeSpec)

data RelTime

Instances

Eq RelTime

Defined in Streamly.Internal.Data.Time.Units

Methods

(==) :: RelTime -> RelTime -> Bool

(/=) :: RelTime -> RelTime -> Bool

Num RelTime

Defined in Streamly.Internal.Data.Time.Units

Methods

(+) :: RelTime -> RelTime -> RelTime

(-) :: RelTime -> RelTime -> RelTime

(*) :: RelTime -> RelTime -> RelTime

negate :: RelTime -> RelTime

abs :: RelTime -> RelTime

signum :: RelTime -> RelTime

fromInteger :: Integer -> RelTime

Ord RelTime

Defined in Streamly.Internal.Data.Time.Units

Methods

compare :: RelTime -> RelTime -> Ordering

(<) :: RelTime -> RelTime -> Bool

(<=) :: RelTime -> RelTime -> Bool

(>) :: RelTime -> RelTime -> Bool

(>=) :: RelTime -> RelTime -> Bool

max :: RelTime -> RelTime -> RelTime

min :: RelTime -> RelTime -> RelTime

Read RelTime

Defined in Streamly.Internal.Data.Time.Units

Methods

readsPrec :: Int -> ReadS RelTime

readList :: ReadS [RelTime]

readPrec :: ReadPrec RelTime

readListPrec :: ReadPrec [RelTime]

Show RelTime

Defined in Streamly.Internal.Data.Time.Units

Methods

showsPrec :: Int -> RelTime -> ShowS

show :: RelTime -> String

showList :: [RelTime] -> ShowS

toRelTime :: TimeUnit a => a -> RelTime

fromRelTime :: TimeUnit a => RelTime -> a

diffAbsTime :: AbsTime -> AbsTime -> RelTime

addToAbsTime :: AbsTime -> RelTime -> AbsTime

Relative times (using NanoSecond64)

data RelTime64

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

Instances

Bounded RelTime64

Defined in Streamly.Internal.Data.Time.Units

Methods

minBound :: RelTime64

maxBound :: RelTime64

Enum RelTime64

Defined in Streamly.Internal.Data.Time.Units

Methods

succ :: RelTime64 -> RelTime64

pred :: RelTime64 -> RelTime64

toEnum :: Int -> RelTime64

fromEnum :: RelTime64 -> Int

enumFrom :: RelTime64 -> [RelTime64]

enumFromThen :: RelTime64 -> RelTime64 -> [RelTime64]

enumFromTo :: RelTime64 -> RelTime64 -> [RelTime64]

enumFromThenTo :: RelTime64 -> RelTime64 -> RelTime64 -> [RelTime64]

Eq RelTime64

Defined in Streamly.Internal.Data.Time.Units

Methods

(==) :: RelTime64 -> RelTime64 -> Bool

(/=) :: RelTime64 -> RelTime64 -> Bool

Integral RelTime64

Defined in Streamly.Internal.Data.Time.Units

Methods

quot :: RelTime64 -> RelTime64 -> RelTime64

rem :: RelTime64 -> RelTime64 -> RelTime64

div :: RelTime64 -> RelTime64 -> RelTime64

mod :: RelTime64 -> RelTime64 -> RelTime64

quotRem :: RelTime64 -> RelTime64 -> (RelTime64, RelTime64)

divMod :: RelTime64 -> RelTime64 -> (RelTime64, RelTime64)

toInteger :: RelTime64 -> Integer

Num RelTime64

Defined in Streamly.Internal.Data.Time.Units

Methods

(+) :: RelTime64 -> RelTime64 -> RelTime64

(-) :: RelTime64 -> RelTime64 -> RelTime64

(*) :: RelTime64 -> RelTime64 -> RelTime64

negate :: RelTime64 -> RelTime64

abs :: RelTime64 -> RelTime64

signum :: RelTime64 -> RelTime64

fromInteger :: Integer -> RelTime64

Ord RelTime64

Defined in Streamly.Internal.Data.Time.Units

Methods

compare :: RelTime64 -> RelTime64 -> Ordering

(<) :: RelTime64 -> RelTime64 -> Bool

(<=) :: RelTime64 -> RelTime64 -> Bool

(>) :: RelTime64 -> RelTime64 -> Bool

(>=) :: RelTime64 -> RelTime64 -> Bool

max :: RelTime64 -> RelTime64 -> RelTime64

min :: RelTime64 -> RelTime64 -> RelTime64

Read RelTime64

Defined in Streamly.Internal.Data.Time.Units

Methods

readsPrec :: Int -> ReadS RelTime64

readList :: ReadS [RelTime64]

readPrec :: ReadPrec RelTime64

readListPrec :: ReadPrec [RelTime64]

Real RelTime64

Defined in Streamly.Internal.Data.Time.Units

Methods

toRational :: RelTime64 -> Rational

Show RelTime64

Defined in Streamly.Internal.Data.Time.Units

Methods

showsPrec :: Int -> RelTime64 -> ShowS

show :: RelTime64 -> String

showList :: [RelTime64] -> ShowS

toRelTime64 :: TimeUnit64 a => a -> RelTime64

Convert a TimeUnit to a relative time.

fromRelTime64 :: TimeUnit64 a => RelTime64 -> a

Convert relative time to a TimeUnit.

diffAbsTime64 :: AbsTime -> AbsTime -> RelTime64

Difference between two absolute points of time.

addToAbsTime64 :: AbsTime -> RelTime64 -> AbsTime

showRelTime64 :: RelTime64 -> String