Safe Haskell	None
Language	Haskell2010

Data.Thyme.Clock.TAI

Synopsis

data AbsoluteTime
taiEpoch :: AbsoluteTime
type LeapSecondTable = Either UTCTime AbsoluteTime -> DiffTime
utcDayLength :: LeapSecondTable -> Day -> DiffTime
absoluteTime :: LeapSecondTable -> Iso' UTCTime AbsoluteTime
parseTAIUTCDAT :: ByteString -> LeapSecondTable

Documentation

data AbsoluteTime #

Instances

Bounded AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI Methods minBound :: AbsoluteTime # maxBound :: AbsoluteTime #
Enum AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI Methods succ :: AbsoluteTime -> AbsoluteTime # pred :: AbsoluteTime -> AbsoluteTime # toEnum :: Int -> AbsoluteTime # fromEnum :: AbsoluteTime -> Int # enumFrom :: AbsoluteTime -> [AbsoluteTime] # enumFromThen :: AbsoluteTime -> AbsoluteTime -> [AbsoluteTime] # enumFromTo :: AbsoluteTime -> AbsoluteTime -> [AbsoluteTime] # enumFromThenTo :: AbsoluteTime -> AbsoluteTime -> AbsoluteTime -> [AbsoluteTime] #
Eq AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI Methods (==) :: AbsoluteTime -> AbsoluteTime -> Bool # (/=) :: AbsoluteTime -> AbsoluteTime -> Bool #
Data AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AbsoluteTime -> c AbsoluteTime # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AbsoluteTime # toConstr :: AbsoluteTime -> Constr # dataTypeOf :: AbsoluteTime -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AbsoluteTime) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AbsoluteTime) # gmapT :: (forall b. Data b => b -> b) -> AbsoluteTime -> AbsoluteTime # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AbsoluteTime -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AbsoluteTime -> r # gmapQ :: (forall d. Data d => d -> u) -> AbsoluteTime -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AbsoluteTime -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AbsoluteTime -> m AbsoluteTime # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AbsoluteTime -> m AbsoluteTime # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AbsoluteTime -> m AbsoluteTime #
Ord AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI Methods compare :: AbsoluteTime -> AbsoluteTime -> Ordering # (<) :: AbsoluteTime -> AbsoluteTime -> Bool # (<=) :: AbsoluteTime -> AbsoluteTime -> Bool # (>) :: AbsoluteTime -> AbsoluteTime -> Bool # (>=) :: AbsoluteTime -> AbsoluteTime -> Bool # max :: AbsoluteTime -> AbsoluteTime -> AbsoluteTime # min :: AbsoluteTime -> AbsoluteTime -> AbsoluteTime #
Show AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI Methods showsPrec :: Int -> AbsoluteTime -> ShowS # show :: AbsoluteTime -> String # showList :: [AbsoluteTime] -> ShowS #
Ix AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI Methods range :: (AbsoluteTime, AbsoluteTime) -> [AbsoluteTime] # index :: (AbsoluteTime, AbsoluteTime) -> AbsoluteTime -> Int # unsafeIndex :: (AbsoluteTime, AbsoluteTime) -> AbsoluteTime -> Int inRange :: (AbsoluteTime, AbsoluteTime) -> AbsoluteTime -> Bool # rangeSize :: (AbsoluteTime, AbsoluteTime) -> Int # unsafeRangeSize :: (AbsoluteTime, AbsoluteTime) -> Int
Generic AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI Associated Types type Rep AbsoluteTime :: Type -> Type # Methods from :: AbsoluteTime -> Rep AbsoluteTime x # to :: Rep AbsoluteTime x -> AbsoluteTime #
Arbitrary AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI Methods arbitrary :: Gen AbsoluteTime # shrink :: AbsoluteTime -> [AbsoluteTime] #
CoArbitrary AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI Methods coarbitrary :: AbsoluteTime -> Gen b -> Gen b #
NFData AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI Methods rnf :: AbsoluteTime -> () #
Random AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI Methods randomR :: RandomGen g => (AbsoluteTime, AbsoluteTime) -> g -> (AbsoluteTime, g) # random :: RandomGen g => g -> (AbsoluteTime, g) # randomRs :: RandomGen g => (AbsoluteTime, AbsoluteTime) -> g -> [AbsoluteTime] # randoms :: RandomGen g => g -> [AbsoluteTime] # randomRIO :: (AbsoluteTime, AbsoluteTime) -> IO AbsoluteTime # randomIO :: IO AbsoluteTime #
Unbox AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI
AffineSpace AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI Associated Types type Diff AbsoluteTime :: Type # Methods (.-.) :: AbsoluteTime -> AbsoluteTime -> Diff AbsoluteTime # (.+^) :: AbsoluteTime -> Diff AbsoluteTime -> AbsoluteTime #
ParseTime AbsoluteTime #
Instance details Defined in Data.Thyme.Format Methods buildTime :: TimeParse -> AbsoluteTime #
FormatTime AbsoluteTime #
Instance details Defined in Data.Thyme.Format Methods showsTime :: TimeLocale -> AbsoluteTime -> (Char -> ShowS) -> Char -> ShowS #
Vector Vector AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) AbsoluteTime -> m (Vector AbsoluteTime) # basicUnsafeThaw :: PrimMonad m => Vector AbsoluteTime -> m (Mutable Vector (PrimState m) AbsoluteTime) # basicLength :: Vector AbsoluteTime -> Int # basicUnsafeSlice :: Int -> Int -> Vector AbsoluteTime -> Vector AbsoluteTime # basicUnsafeIndexM :: Monad m => Vector AbsoluteTime -> Int -> m AbsoluteTime # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) AbsoluteTime -> Vector AbsoluteTime -> m () # elemseq :: Vector AbsoluteTime -> AbsoluteTime -> b -> b #
MVector MVector AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI Methods basicLength :: MVector s AbsoluteTime -> Int # basicUnsafeSlice :: Int -> Int -> MVector s AbsoluteTime -> MVector s AbsoluteTime # basicOverlaps :: MVector s AbsoluteTime -> MVector s AbsoluteTime -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) AbsoluteTime) # basicInitialize :: PrimMonad m => MVector (PrimState m) AbsoluteTime -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> AbsoluteTime -> m (MVector (PrimState m) AbsoluteTime) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) AbsoluteTime -> Int -> m AbsoluteTime # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) AbsoluteTime -> Int -> AbsoluteTime -> m () # basicClear :: PrimMonad m => MVector (PrimState m) AbsoluteTime -> m () # basicSet :: PrimMonad m => MVector (PrimState m) AbsoluteTime -> AbsoluteTime -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) AbsoluteTime -> MVector (PrimState m) AbsoluteTime -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) AbsoluteTime -> MVector (PrimState m) AbsoluteTime -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) AbsoluteTime -> Int -> m (MVector (PrimState m) AbsoluteTime) #
Thyme AbsoluteTime AbsoluteTime #
Instance details Defined in Data.Thyme.Time.Core Methods thyme :: Iso' AbsoluteTime0 AbsoluteTime #
type Rep AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI type Rep AbsoluteTime = D1 (MetaData "AbsoluteTime" "Data.Thyme.Clock.TAI" "thyme-0.3.5.5-5fDUuKjOKkrCqjpykDCZJz" True) (C1 (MetaCons "AbsoluteTime" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DiffTime)))
newtype Vector AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI newtype Vector AbsoluteTime = V_AbsoluteTime (Vector DiffTime)
type Diff AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI type Diff AbsoluteTime = DiffTime
newtype MVector s AbsoluteTime #
Instance details Defined in Data.Thyme.Clock.TAI newtype MVector s AbsoluteTime = MV_AbsoluteTime (MVector s DiffTime)

taiEpoch :: AbsoluteTime #

The epoch of TAI, which is 1858-11-17 00:00:00 TAI.

type LeapSecondTable = Either UTCTime AbsoluteTime -> DiffTime #

utcDayLength :: LeapSecondTable -> Day -> DiffTime #

absoluteTime :: LeapSecondTable -> Iso' UTCTime AbsoluteTime #

parseTAIUTCDAT :: ByteString -> LeapSecondTable #

tai-utc.dat from http://maia.usno.navy.mil/ser7/tai-utc.dat