module Data.Time.Hora.Span
(
toPico,
toMilli,
toSec,
picoSec,
picoMs,
msSec,
picoTimeSpan,
timeSpanPico,
toDiffTime,
nominalDiff
) where
import Data.Ratio
import Data.Time.Clock
import Data.Time.Hora.Type
import Data.Fixed
picoSec::Integral a => a
picoSec = 1000000000000
picoMs::Integral a => a
picoMs = 1000000000
msSec::Integral a => a
msSec = 1000
toPico::TwoInt a b => TimeSpan a -> b
toPico (Pico i0) = fromIntegral i0
toPico (Milli i0) = fromIntegral $ i0 * picoMs
toPico (Sec i0) = fromIntegral $ i0 * picoSec
toMilli::TwoInt a b => TimeSpan a -> b
toMilli (Pico i0) = fromIntegral $ i0 `div` picoMs
toMilli (Milli i0) = fromIntegral $ i0
toMilli (Sec i0) = fromIntegral $ i0 * msSec
toSec::TwoInt a b => TimeSpan a -> b
toSec (Pico i0) = fromIntegral $ i0 `div` picoSec
toSec (Milli i0) = fromIntegral $ i0 `div` msSec
toSec (Sec i0) = fromIntegral $ i0
toDiffTime::Integral a => TimeSpan a -> DiffTime
toDiffTime (Sec s0) = secondsToDiffTime $ fromIntegral s0
toDiffTime (Pico s0) = picosecondsToDiffTime $ fromIntegral s0
toDiffTime t0@(Milli s0) = picosecondsToDiffTime $ toPico t0
nominalDiff::Integral a => TimeSpan a -> NominalDiffTime
nominalDiff ts0 = let s1 = toPico ts0::Integer
in fromRational $ s1 % picoSec
picoTimeSpan::Integral a => Pico -> TimeSpan a
picoTimeSpan (MkFixed p0) = Pico $ fromIntegral p0
timeSpanPico::Integral a => TimeSpan a -> Pico
timeSpanPico ts0 = MkFixed $ fromIntegral p0
where p0 = toPico ts0