Safe Haskell	None
Language	Haskell2010

Polysemy.Time.Data.TimeUnit

Contents

Data types used to specify time spans, e.g. for sleeping.

Synopsis

newtype FromSeconds a = FromSeconds a
class TimeUnit u where
- nanos :: NanoSeconds
- toNanos :: u -> NanoSeconds
- fromNanos :: NanoSeconds -> u
newtype Years = Years {
- unYear :: Int64
}
newtype Months = Months {
- unMonths :: Int64
}
newtype Weeks = Weeks {
- unWeeks :: Int64
}
newtype Days = Days {
- unDays :: Int64
}
newtype Hours = Hours {
- unHours :: Int64
}
newtype Minutes = Minutes {
- unMinutes :: Int64
}
newtype Seconds = Seconds {
- unSeconds :: Int64
}
newtype MilliSeconds = MilliSeconds {
- unMilliSeconds :: Int64
}
newtype MicroSeconds = MicroSeconds {
- unMicroSeconds :: Int64
}
newtype NanoSeconds = NanoSeconds {
- unNanoSeconds :: Int64
}
convert :: TimeUnit a => TimeUnit b => a -> b
type AddTimeUnit t u1 u2 = (TimeUnit u1, TimeUnit u2, Torsor t u2)
addTimeUnit :: forall t u1 u2. AddTimeUnit t u1 u2 => u1 -> t -> t

Documentation

newtype FromSeconds a Source #

Constructors

FromSeconds a

Instances

Instances details

Eq a => Eq (FromSeconds a) Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (==) :: FromSeconds a -> FromSeconds a -> Bool # (/=) :: FromSeconds a -> FromSeconds a -> Bool #
(Integral a, TimeUnit a) => Fractional (FromSeconds a) Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (/) :: FromSeconds a -> FromSeconds a -> FromSeconds a # recip :: FromSeconds a -> FromSeconds a # fromRational :: Rational -> FromSeconds a #
Num a => Num (FromSeconds a) Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (+) :: FromSeconds a -> FromSeconds a -> FromSeconds a # (-) :: FromSeconds a -> FromSeconds a -> FromSeconds a # (*) :: FromSeconds a -> FromSeconds a -> FromSeconds a # negate :: FromSeconds a -> FromSeconds a # abs :: FromSeconds a -> FromSeconds a # signum :: FromSeconds a -> FromSeconds a # fromInteger :: Integer -> FromSeconds a #
Show a => Show (FromSeconds a) Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods showsPrec :: Int -> FromSeconds a -> ShowS # show :: FromSeconds a -> String # showList :: [FromSeconds a] -> ShowS #

class TimeUnit u where Source #

Types that represent an amount of time that can be converted to each other. The methods are internal, the API function is convert.

Minimal complete definition

nanos

Methods

nanos :: NanoSeconds Source #

toNanos :: u -> NanoSeconds Source #

default toNanos :: Integral u => u -> NanoSeconds Source #

fromNanos :: NanoSeconds -> u Source #

default fromNanos :: Integral u => NanoSeconds -> u Source #

Instances

Instances details

TimeUnit NominalDiffTime Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: NominalDiffTime -> NanoSeconds Source # fromNanos :: NanoSeconds -> NominalDiffTime Source #
TimeUnit DiffTime Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: DiffTime -> NanoSeconds Source # fromNanos :: NanoSeconds -> DiffTime Source #
TimeUnit NanoSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: NanoSeconds -> NanoSeconds Source # fromNanos :: NanoSeconds -> NanoSeconds Source #
TimeUnit MicroSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: MicroSeconds -> NanoSeconds Source # fromNanos :: NanoSeconds -> MicroSeconds Source #
TimeUnit MilliSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: MilliSeconds -> NanoSeconds Source # fromNanos :: NanoSeconds -> MilliSeconds Source #
TimeUnit Seconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: Seconds -> NanoSeconds Source # fromNanos :: NanoSeconds -> Seconds Source #
TimeUnit Minutes Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: Minutes -> NanoSeconds Source # fromNanos :: NanoSeconds -> Minutes Source #
TimeUnit Hours Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: Hours -> NanoSeconds Source # fromNanos :: NanoSeconds -> Hours Source #
TimeUnit Days Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: Days -> NanoSeconds Source # fromNanos :: NanoSeconds -> Days Source #
TimeUnit Weeks Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: Weeks -> NanoSeconds Source # fromNanos :: NanoSeconds -> Weeks Source #

Data types used to specify time spans, e.g. for sleeping.

newtype Years Source #

Constructors

Years
Fields unYear :: Int64

Instances

Instances details

Enum Years Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods succ :: Years -> Years # pred :: Years -> Years # toEnum :: Int -> Years # fromEnum :: Years -> Int # enumFrom :: Years -> [Years] # enumFromThen :: Years -> Years -> [Years] # enumFromTo :: Years -> Years -> [Years] # enumFromThenTo :: Years -> Years -> Years -> [Years] #
Eq Years Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (==) :: Years -> Years -> Bool # (/=) :: Years -> Years -> Bool #
Integral Years Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods quot :: Years -> Years -> Years # rem :: Years -> Years -> Years # div :: Years -> Years -> Years # mod :: Years -> Years -> Years # quotRem :: Years -> Years -> (Years, Years) # divMod :: Years -> Years -> (Years, Years) # toInteger :: Years -> Integer #
Num Years Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (+) :: Years -> Years -> Years # (-) :: Years -> Years -> Years # (*) :: Years -> Years -> Years # negate :: Years -> Years # abs :: Years -> Years # signum :: Years -> Years # fromInteger :: Integer -> Years #
Ord Years Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods compare :: Years -> Years -> Ordering # (<) :: Years -> Years -> Bool # (<=) :: Years -> Years -> Bool # (>) :: Years -> Years -> Bool # (>=) :: Years -> Years -> Bool # max :: Years -> Years -> Years # min :: Years -> Years -> Years #
Real Years Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toRational :: Years -> Rational #
Show Years Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods showsPrec :: Int -> Years -> ShowS # show :: Years -> String # showList :: [Years] -> ShowS #
Generic Years Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Associated Types type Rep Years :: Type -> Type # Methods from :: Years -> Rep Years x # to :: Rep Years x -> Years #
FromJSON Years Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods parseJSON :: Value -> Parser Years # parseJSONList :: Value -> Parser [Years]
ToJSON Years Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toJSON :: Years -> Value # toEncoding :: Years -> Encoding toJSONList :: [Years] -> Value toEncodingList :: [Years] -> Encoding
Additive Years Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods zero :: Years invert :: Years -> Years plus :: Years -> Years -> Years minus :: Years -> Years -> Years
type Rep Years Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep Years = D1 ('MetaData "Years" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.1.1.0-inplace" 'True) (C1 ('MetaCons "Years" 'PrefixI 'True) (S1 ('MetaSel ('Just "unYear") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Months Source #

Constructors

Months
Fields unMonths :: Int64

Instances

Instances details

Enum Months Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods succ :: Months -> Months # pred :: Months -> Months # toEnum :: Int -> Months # fromEnum :: Months -> Int # enumFrom :: Months -> [Months] # enumFromThen :: Months -> Months -> [Months] # enumFromTo :: Months -> Months -> [Months] # enumFromThenTo :: Months -> Months -> Months -> [Months] #
Eq Months Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (==) :: Months -> Months -> Bool # (/=) :: Months -> Months -> Bool #
Integral Months Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods quot :: Months -> Months -> Months # rem :: Months -> Months -> Months # div :: Months -> Months -> Months # mod :: Months -> Months -> Months # quotRem :: Months -> Months -> (Months, Months) # divMod :: Months -> Months -> (Months, Months) # toInteger :: Months -> Integer #
Num Months Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (+) :: Months -> Months -> Months # (-) :: Months -> Months -> Months # (*) :: Months -> Months -> Months # negate :: Months -> Months # abs :: Months -> Months # signum :: Months -> Months # fromInteger :: Integer -> Months #
Ord Months Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods compare :: Months -> Months -> Ordering # (<) :: Months -> Months -> Bool # (<=) :: Months -> Months -> Bool # (>) :: Months -> Months -> Bool # (>=) :: Months -> Months -> Bool # max :: Months -> Months -> Months # min :: Months -> Months -> Months #
Real Months Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toRational :: Months -> Rational #
Show Months Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods showsPrec :: Int -> Months -> ShowS # show :: Months -> String # showList :: [Months] -> ShowS #
Generic Months Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Associated Types type Rep Months :: Type -> Type # Methods from :: Months -> Rep Months x # to :: Rep Months x -> Months #
FromJSON Months Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods parseJSON :: Value -> Parser Months # parseJSONList :: Value -> Parser [Months]
ToJSON Months Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toJSON :: Months -> Value # toEncoding :: Months -> Encoding toJSONList :: [Months] -> Value toEncodingList :: [Months] -> Encoding
Additive Months Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods zero :: Months invert :: Months -> Months plus :: Months -> Months -> Months minus :: Months -> Months -> Months
type Rep Months Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep Months = D1 ('MetaData "Months" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.1.1.0-inplace" 'True) (C1 ('MetaCons "Months" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMonths") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Weeks Source #

Constructors

Weeks
Fields unWeeks :: Int64

Instances

Instances details

Enum Weeks Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods succ :: Weeks -> Weeks # pred :: Weeks -> Weeks # toEnum :: Int -> Weeks # fromEnum :: Weeks -> Int # enumFrom :: Weeks -> [Weeks] # enumFromThen :: Weeks -> Weeks -> [Weeks] # enumFromTo :: Weeks -> Weeks -> [Weeks] # enumFromThenTo :: Weeks -> Weeks -> Weeks -> [Weeks] #
Eq Weeks Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (==) :: Weeks -> Weeks -> Bool # (/=) :: Weeks -> Weeks -> Bool #
Integral Weeks Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods quot :: Weeks -> Weeks -> Weeks # rem :: Weeks -> Weeks -> Weeks # div :: Weeks -> Weeks -> Weeks # mod :: Weeks -> Weeks -> Weeks # quotRem :: Weeks -> Weeks -> (Weeks, Weeks) # divMod :: Weeks -> Weeks -> (Weeks, Weeks) # toInteger :: Weeks -> Integer #
Num Weeks Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (+) :: Weeks -> Weeks -> Weeks # (-) :: Weeks -> Weeks -> Weeks # (*) :: Weeks -> Weeks -> Weeks # negate :: Weeks -> Weeks # abs :: Weeks -> Weeks # signum :: Weeks -> Weeks # fromInteger :: Integer -> Weeks #
Ord Weeks Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods compare :: Weeks -> Weeks -> Ordering # (<) :: Weeks -> Weeks -> Bool # (<=) :: Weeks -> Weeks -> Bool # (>) :: Weeks -> Weeks -> Bool # (>=) :: Weeks -> Weeks -> Bool # max :: Weeks -> Weeks -> Weeks # min :: Weeks -> Weeks -> Weeks #
Real Weeks Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toRational :: Weeks -> Rational #
Show Weeks Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods showsPrec :: Int -> Weeks -> ShowS # show :: Weeks -> String # showList :: [Weeks] -> ShowS #
Generic Weeks Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Associated Types type Rep Weeks :: Type -> Type # Methods from :: Weeks -> Rep Weeks x # to :: Rep Weeks x -> Weeks #
FromJSON Weeks Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods parseJSON :: Value -> Parser Weeks # parseJSONList :: Value -> Parser [Weeks]
ToJSON Weeks Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toJSON :: Weeks -> Value # toEncoding :: Weeks -> Encoding toJSONList :: [Weeks] -> Value toEncodingList :: [Weeks] -> Encoding
Additive Weeks Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods zero :: Weeks invert :: Weeks -> Weeks plus :: Weeks -> Weeks -> Weeks minus :: Weeks -> Weeks -> Weeks
TimeUnit Weeks Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: Weeks -> NanoSeconds Source # fromNanos :: NanoSeconds -> Weeks Source #
type Rep Weeks Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep Weeks = D1 ('MetaData "Weeks" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.1.1.0-inplace" 'True) (C1 ('MetaCons "Weeks" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWeeks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Days Source #

Constructors

Days
Fields unDays :: Int64

Instances

Instances details

Enum Days Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods succ :: Days -> Days # pred :: Days -> Days # toEnum :: Int -> Days # fromEnum :: Days -> Int # enumFrom :: Days -> [Days] # enumFromThen :: Days -> Days -> [Days] # enumFromTo :: Days -> Days -> [Days] # enumFromThenTo :: Days -> Days -> Days -> [Days] #
Eq Days Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (==) :: Days -> Days -> Bool # (/=) :: Days -> Days -> Bool #
Integral Days Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods quot :: Days -> Days -> Days # rem :: Days -> Days -> Days # div :: Days -> Days -> Days # mod :: Days -> Days -> Days # quotRem :: Days -> Days -> (Days, Days) # divMod :: Days -> Days -> (Days, Days) # toInteger :: Days -> Integer #
Num Days Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (+) :: Days -> Days -> Days # (-) :: Days -> Days -> Days # (*) :: Days -> Days -> Days # negate :: Days -> Days # abs :: Days -> Days # signum :: Days -> Days # fromInteger :: Integer -> Days #
Ord Days Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods compare :: Days -> Days -> Ordering # (<) :: Days -> Days -> Bool # (<=) :: Days -> Days -> Bool # (>) :: Days -> Days -> Bool # (>=) :: Days -> Days -> Bool # max :: Days -> Days -> Days # min :: Days -> Days -> Days #
Real Days Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toRational :: Days -> Rational #
Show Days Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods showsPrec :: Int -> Days -> ShowS # show :: Days -> String # showList :: [Days] -> ShowS #
Generic Days Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Associated Types type Rep Days :: Type -> Type # Methods from :: Days -> Rep Days x # to :: Rep Days x -> Days #
FromJSON Days Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods parseJSON :: Value -> Parser Days # parseJSONList :: Value -> Parser [Days]
ToJSON Days Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toJSON :: Days -> Value # toEncoding :: Days -> Encoding toJSONList :: [Days] -> Value toEncodingList :: [Days] -> Encoding
Additive Days Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods zero :: Days invert :: Days -> Days plus :: Days -> Days -> Days minus :: Days -> Days -> Days
TimeUnit Days Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: Days -> NanoSeconds Source # fromNanos :: NanoSeconds -> Days Source #
type Rep Days Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep Days = D1 ('MetaData "Days" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.1.1.0-inplace" 'True) (C1 ('MetaCons "Days" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDays") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Hours Source #

Constructors

Hours
Fields unHours :: Int64

Instances

Instances details

Enum Hours Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods succ :: Hours -> Hours # pred :: Hours -> Hours # toEnum :: Int -> Hours # fromEnum :: Hours -> Int # enumFrom :: Hours -> [Hours] # enumFromThen :: Hours -> Hours -> [Hours] # enumFromTo :: Hours -> Hours -> [Hours] # enumFromThenTo :: Hours -> Hours -> Hours -> [Hours] #
Eq Hours Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (==) :: Hours -> Hours -> Bool # (/=) :: Hours -> Hours -> Bool #
Integral Hours Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods quot :: Hours -> Hours -> Hours # rem :: Hours -> Hours -> Hours # div :: Hours -> Hours -> Hours # mod :: Hours -> Hours -> Hours # quotRem :: Hours -> Hours -> (Hours, Hours) # divMod :: Hours -> Hours -> (Hours, Hours) # toInteger :: Hours -> Integer #
Num Hours Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (+) :: Hours -> Hours -> Hours # (-) :: Hours -> Hours -> Hours # (*) :: Hours -> Hours -> Hours # negate :: Hours -> Hours # abs :: Hours -> Hours # signum :: Hours -> Hours # fromInteger :: Integer -> Hours #
Ord Hours Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods compare :: Hours -> Hours -> Ordering # (<) :: Hours -> Hours -> Bool # (<=) :: Hours -> Hours -> Bool # (>) :: Hours -> Hours -> Bool # (>=) :: Hours -> Hours -> Bool # max :: Hours -> Hours -> Hours # min :: Hours -> Hours -> Hours #
Real Hours Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toRational :: Hours -> Rational #
Show Hours Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods showsPrec :: Int -> Hours -> ShowS # show :: Hours -> String # showList :: [Hours] -> ShowS #
Generic Hours Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Associated Types type Rep Hours :: Type -> Type # Methods from :: Hours -> Rep Hours x # to :: Rep Hours x -> Hours #
FromJSON Hours Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods parseJSON :: Value -> Parser Hours # parseJSONList :: Value -> Parser [Hours]
ToJSON Hours Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toJSON :: Hours -> Value # toEncoding :: Hours -> Encoding toJSONList :: [Hours] -> Value toEncodingList :: [Hours] -> Encoding
Additive Hours Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods zero :: Hours invert :: Hours -> Hours plus :: Hours -> Hours -> Hours minus :: Hours -> Hours -> Hours
TimeUnit Hours Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: Hours -> NanoSeconds Source # fromNanos :: NanoSeconds -> Hours Source #
type Rep Hours Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep Hours = D1 ('MetaData "Hours" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.1.1.0-inplace" 'True) (C1 ('MetaCons "Hours" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHours") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Minutes Source #

Constructors

Minutes
Fields unMinutes :: Int64

Instances

Instances details

Enum Minutes Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods succ :: Minutes -> Minutes # pred :: Minutes -> Minutes # toEnum :: Int -> Minutes # fromEnum :: Minutes -> Int # enumFrom :: Minutes -> [Minutes] # enumFromThen :: Minutes -> Minutes -> [Minutes] # enumFromTo :: Minutes -> Minutes -> [Minutes] # enumFromThenTo :: Minutes -> Minutes -> Minutes -> [Minutes] #
Eq Minutes Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (==) :: Minutes -> Minutes -> Bool # (/=) :: Minutes -> Minutes -> Bool #
Integral Minutes Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods quot :: Minutes -> Minutes -> Minutes # rem :: Minutes -> Minutes -> Minutes # div :: Minutes -> Minutes -> Minutes # mod :: Minutes -> Minutes -> Minutes # quotRem :: Minutes -> Minutes -> (Minutes, Minutes) # divMod :: Minutes -> Minutes -> (Minutes, Minutes) # toInteger :: Minutes -> Integer #
Num Minutes Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (+) :: Minutes -> Minutes -> Minutes # (-) :: Minutes -> Minutes -> Minutes # (*) :: Minutes -> Minutes -> Minutes # negate :: Minutes -> Minutes # abs :: Minutes -> Minutes # signum :: Minutes -> Minutes # fromInteger :: Integer -> Minutes #
Ord Minutes Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods compare :: Minutes -> Minutes -> Ordering # (<) :: Minutes -> Minutes -> Bool # (<=) :: Minutes -> Minutes -> Bool # (>) :: Minutes -> Minutes -> Bool # (>=) :: Minutes -> Minutes -> Bool # max :: Minutes -> Minutes -> Minutes # min :: Minutes -> Minutes -> Minutes #
Real Minutes Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toRational :: Minutes -> Rational #
Show Minutes Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods showsPrec :: Int -> Minutes -> ShowS # show :: Minutes -> String # showList :: [Minutes] -> ShowS #
Generic Minutes Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Associated Types type Rep Minutes :: Type -> Type # Methods from :: Minutes -> Rep Minutes x # to :: Rep Minutes x -> Minutes #
FromJSON Minutes Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods parseJSON :: Value -> Parser Minutes # parseJSONList :: Value -> Parser [Minutes]
ToJSON Minutes Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toJSON :: Minutes -> Value # toEncoding :: Minutes -> Encoding toJSONList :: [Minutes] -> Value toEncodingList :: [Minutes] -> Encoding
Additive Minutes Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods zero :: Minutes invert :: Minutes -> Minutes plus :: Minutes -> Minutes -> Minutes minus :: Minutes -> Minutes -> Minutes
TimeUnit Minutes Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: Minutes -> NanoSeconds Source # fromNanos :: NanoSeconds -> Minutes Source #
type Rep Minutes Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep Minutes = D1 ('MetaData "Minutes" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.1.1.0-inplace" 'True) (C1 ('MetaCons "Minutes" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMinutes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Seconds Source #

Constructors

Seconds
Fields unSeconds :: Int64

Instances

Instances details

Enum Seconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods succ :: Seconds -> Seconds # pred :: Seconds -> Seconds # toEnum :: Int -> Seconds # fromEnum :: Seconds -> Int # enumFrom :: Seconds -> [Seconds] # enumFromThen :: Seconds -> Seconds -> [Seconds] # enumFromTo :: Seconds -> Seconds -> [Seconds] # enumFromThenTo :: Seconds -> Seconds -> Seconds -> [Seconds] #
Eq Seconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (==) :: Seconds -> Seconds -> Bool # (/=) :: Seconds -> Seconds -> Bool #
Integral Seconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods quot :: Seconds -> Seconds -> Seconds # rem :: Seconds -> Seconds -> Seconds # div :: Seconds -> Seconds -> Seconds # mod :: Seconds -> Seconds -> Seconds # quotRem :: Seconds -> Seconds -> (Seconds, Seconds) # divMod :: Seconds -> Seconds -> (Seconds, Seconds) # toInteger :: Seconds -> Integer #
Num Seconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (+) :: Seconds -> Seconds -> Seconds # (-) :: Seconds -> Seconds -> Seconds # (*) :: Seconds -> Seconds -> Seconds # negate :: Seconds -> Seconds # abs :: Seconds -> Seconds # signum :: Seconds -> Seconds # fromInteger :: Integer -> Seconds #
Ord Seconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods compare :: Seconds -> Seconds -> Ordering # (<) :: Seconds -> Seconds -> Bool # (<=) :: Seconds -> Seconds -> Bool # (>) :: Seconds -> Seconds -> Bool # (>=) :: Seconds -> Seconds -> Bool # max :: Seconds -> Seconds -> Seconds # min :: Seconds -> Seconds -> Seconds #
Real Seconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toRational :: Seconds -> Rational #
Show Seconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods showsPrec :: Int -> Seconds -> ShowS # show :: Seconds -> String # showList :: [Seconds] -> ShowS #
Generic Seconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Associated Types type Rep Seconds :: Type -> Type # Methods from :: Seconds -> Rep Seconds x # to :: Rep Seconds x -> Seconds #
FromJSON Seconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods parseJSON :: Value -> Parser Seconds # parseJSONList :: Value -> Parser [Seconds]
ToJSON Seconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toJSON :: Seconds -> Value # toEncoding :: Seconds -> Encoding toJSONList :: [Seconds] -> Value toEncodingList :: [Seconds] -> Encoding
Additive Seconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods zero :: Seconds invert :: Seconds -> Seconds plus :: Seconds -> Seconds -> Seconds minus :: Seconds -> Seconds -> Seconds
TimeUnit Seconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: Seconds -> NanoSeconds Source # fromNanos :: NanoSeconds -> Seconds Source #
type Rep Seconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep Seconds = D1 ('MetaData "Seconds" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.1.1.0-inplace" 'True) (C1 ('MetaCons "Seconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSeconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype MilliSeconds Source #

Constructors

MilliSeconds
Fields unMilliSeconds :: Int64

Instances

Instances details

Enum MilliSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods succ :: MilliSeconds -> MilliSeconds # pred :: MilliSeconds -> MilliSeconds # toEnum :: Int -> MilliSeconds # fromEnum :: MilliSeconds -> Int # enumFrom :: MilliSeconds -> [MilliSeconds] # enumFromThen :: MilliSeconds -> MilliSeconds -> [MilliSeconds] # enumFromTo :: MilliSeconds -> MilliSeconds -> [MilliSeconds] # enumFromThenTo :: MilliSeconds -> MilliSeconds -> MilliSeconds -> [MilliSeconds] #
Eq MilliSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (==) :: MilliSeconds -> MilliSeconds -> Bool # (/=) :: MilliSeconds -> MilliSeconds -> Bool #
Fractional MilliSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (/) :: MilliSeconds -> MilliSeconds -> MilliSeconds # recip :: MilliSeconds -> MilliSeconds # fromRational :: Rational -> MilliSeconds #
Integral MilliSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods quot :: MilliSeconds -> MilliSeconds -> MilliSeconds # rem :: MilliSeconds -> MilliSeconds -> MilliSeconds # div :: MilliSeconds -> MilliSeconds -> MilliSeconds # mod :: MilliSeconds -> MilliSeconds -> MilliSeconds # quotRem :: MilliSeconds -> MilliSeconds -> (MilliSeconds, MilliSeconds) # divMod :: MilliSeconds -> MilliSeconds -> (MilliSeconds, MilliSeconds) # toInteger :: MilliSeconds -> Integer #
Num MilliSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (+) :: MilliSeconds -> MilliSeconds -> MilliSeconds # (-) :: MilliSeconds -> MilliSeconds -> MilliSeconds # (*) :: MilliSeconds -> MilliSeconds -> MilliSeconds # negate :: MilliSeconds -> MilliSeconds # abs :: MilliSeconds -> MilliSeconds # signum :: MilliSeconds -> MilliSeconds # fromInteger :: Integer -> MilliSeconds #
Ord MilliSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods compare :: MilliSeconds -> MilliSeconds -> Ordering # (<) :: MilliSeconds -> MilliSeconds -> Bool # (<=) :: MilliSeconds -> MilliSeconds -> Bool # (>) :: MilliSeconds -> MilliSeconds -> Bool # (>=) :: MilliSeconds -> MilliSeconds -> Bool # max :: MilliSeconds -> MilliSeconds -> MilliSeconds # min :: MilliSeconds -> MilliSeconds -> MilliSeconds #
Real MilliSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toRational :: MilliSeconds -> Rational #
Show MilliSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods showsPrec :: Int -> MilliSeconds -> ShowS # show :: MilliSeconds -> String # showList :: [MilliSeconds] -> ShowS #
Generic MilliSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Associated Types type Rep MilliSeconds :: Type -> Type # Methods from :: MilliSeconds -> Rep MilliSeconds x # to :: Rep MilliSeconds x -> MilliSeconds #
FromJSON MilliSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods parseJSON :: Value -> Parser MilliSeconds # parseJSONList :: Value -> Parser [MilliSeconds]
ToJSON MilliSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toJSON :: MilliSeconds -> Value # toEncoding :: MilliSeconds -> Encoding toJSONList :: [MilliSeconds] -> Value toEncodingList :: [MilliSeconds] -> Encoding
Additive MilliSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods zero :: MilliSeconds invert :: MilliSeconds -> MilliSeconds plus :: MilliSeconds -> MilliSeconds -> MilliSeconds minus :: MilliSeconds -> MilliSeconds -> MilliSeconds
TimeUnit MilliSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: MilliSeconds -> NanoSeconds Source # fromNanos :: NanoSeconds -> MilliSeconds Source #
type Rep MilliSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep MilliSeconds = D1 ('MetaData "MilliSeconds" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.1.1.0-inplace" 'True) (C1 ('MetaCons "MilliSeconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMilliSeconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype MicroSeconds Source #

Constructors

MicroSeconds
Fields unMicroSeconds :: Int64

Instances

Instances details

Enum MicroSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods succ :: MicroSeconds -> MicroSeconds # pred :: MicroSeconds -> MicroSeconds # toEnum :: Int -> MicroSeconds # fromEnum :: MicroSeconds -> Int # enumFrom :: MicroSeconds -> [MicroSeconds] # enumFromThen :: MicroSeconds -> MicroSeconds -> [MicroSeconds] # enumFromTo :: MicroSeconds -> MicroSeconds -> [MicroSeconds] # enumFromThenTo :: MicroSeconds -> MicroSeconds -> MicroSeconds -> [MicroSeconds] #
Eq MicroSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (==) :: MicroSeconds -> MicroSeconds -> Bool # (/=) :: MicroSeconds -> MicroSeconds -> Bool #
Fractional MicroSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (/) :: MicroSeconds -> MicroSeconds -> MicroSeconds # recip :: MicroSeconds -> MicroSeconds # fromRational :: Rational -> MicroSeconds #
Integral MicroSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods quot :: MicroSeconds -> MicroSeconds -> MicroSeconds # rem :: MicroSeconds -> MicroSeconds -> MicroSeconds # div :: MicroSeconds -> MicroSeconds -> MicroSeconds # mod :: MicroSeconds -> MicroSeconds -> MicroSeconds # quotRem :: MicroSeconds -> MicroSeconds -> (MicroSeconds, MicroSeconds) # divMod :: MicroSeconds -> MicroSeconds -> (MicroSeconds, MicroSeconds) # toInteger :: MicroSeconds -> Integer #
Num MicroSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (+) :: MicroSeconds -> MicroSeconds -> MicroSeconds # (-) :: MicroSeconds -> MicroSeconds -> MicroSeconds # (*) :: MicroSeconds -> MicroSeconds -> MicroSeconds # negate :: MicroSeconds -> MicroSeconds # abs :: MicroSeconds -> MicroSeconds # signum :: MicroSeconds -> MicroSeconds # fromInteger :: Integer -> MicroSeconds #
Ord MicroSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods compare :: MicroSeconds -> MicroSeconds -> Ordering # (<) :: MicroSeconds -> MicroSeconds -> Bool # (<=) :: MicroSeconds -> MicroSeconds -> Bool # (>) :: MicroSeconds -> MicroSeconds -> Bool # (>=) :: MicroSeconds -> MicroSeconds -> Bool # max :: MicroSeconds -> MicroSeconds -> MicroSeconds # min :: MicroSeconds -> MicroSeconds -> MicroSeconds #
Real MicroSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toRational :: MicroSeconds -> Rational #
Show MicroSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods showsPrec :: Int -> MicroSeconds -> ShowS # show :: MicroSeconds -> String # showList :: [MicroSeconds] -> ShowS #
Generic MicroSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Associated Types type Rep MicroSeconds :: Type -> Type # Methods from :: MicroSeconds -> Rep MicroSeconds x # to :: Rep MicroSeconds x -> MicroSeconds #
FromJSON MicroSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods parseJSON :: Value -> Parser MicroSeconds # parseJSONList :: Value -> Parser [MicroSeconds]
ToJSON MicroSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toJSON :: MicroSeconds -> Value # toEncoding :: MicroSeconds -> Encoding toJSONList :: [MicroSeconds] -> Value toEncodingList :: [MicroSeconds] -> Encoding
Additive MicroSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods zero :: MicroSeconds invert :: MicroSeconds -> MicroSeconds plus :: MicroSeconds -> MicroSeconds -> MicroSeconds minus :: MicroSeconds -> MicroSeconds -> MicroSeconds
TimeUnit MicroSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: MicroSeconds -> NanoSeconds Source # fromNanos :: NanoSeconds -> MicroSeconds Source #
type Rep MicroSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep MicroSeconds = D1 ('MetaData "MicroSeconds" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.1.1.0-inplace" 'True) (C1 ('MetaCons "MicroSeconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMicroSeconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype NanoSeconds Source #

Constructors

NanoSeconds
Fields unNanoSeconds :: Int64

Instances

Instances details

Enum NanoSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods succ :: NanoSeconds -> NanoSeconds # pred :: NanoSeconds -> NanoSeconds # toEnum :: Int -> NanoSeconds # fromEnum :: NanoSeconds -> Int # enumFrom :: NanoSeconds -> [NanoSeconds] # enumFromThen :: NanoSeconds -> NanoSeconds -> [NanoSeconds] # enumFromTo :: NanoSeconds -> NanoSeconds -> [NanoSeconds] # enumFromThenTo :: NanoSeconds -> NanoSeconds -> NanoSeconds -> [NanoSeconds] #
Eq NanoSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (==) :: NanoSeconds -> NanoSeconds -> Bool # (/=) :: NanoSeconds -> NanoSeconds -> Bool #
Fractional NanoSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (/) :: NanoSeconds -> NanoSeconds -> NanoSeconds # recip :: NanoSeconds -> NanoSeconds # fromRational :: Rational -> NanoSeconds #
Integral NanoSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods quot :: NanoSeconds -> NanoSeconds -> NanoSeconds # rem :: NanoSeconds -> NanoSeconds -> NanoSeconds # div :: NanoSeconds -> NanoSeconds -> NanoSeconds # mod :: NanoSeconds -> NanoSeconds -> NanoSeconds # quotRem :: NanoSeconds -> NanoSeconds -> (NanoSeconds, NanoSeconds) # divMod :: NanoSeconds -> NanoSeconds -> (NanoSeconds, NanoSeconds) # toInteger :: NanoSeconds -> Integer #
Num NanoSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods (+) :: NanoSeconds -> NanoSeconds -> NanoSeconds # (-) :: NanoSeconds -> NanoSeconds -> NanoSeconds # (*) :: NanoSeconds -> NanoSeconds -> NanoSeconds # negate :: NanoSeconds -> NanoSeconds # abs :: NanoSeconds -> NanoSeconds # signum :: NanoSeconds -> NanoSeconds # fromInteger :: Integer -> NanoSeconds #
Ord NanoSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods compare :: NanoSeconds -> NanoSeconds -> Ordering # (<) :: NanoSeconds -> NanoSeconds -> Bool # (<=) :: NanoSeconds -> NanoSeconds -> Bool # (>) :: NanoSeconds -> NanoSeconds -> Bool # (>=) :: NanoSeconds -> NanoSeconds -> Bool # max :: NanoSeconds -> NanoSeconds -> NanoSeconds # min :: NanoSeconds -> NanoSeconds -> NanoSeconds #
Real NanoSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toRational :: NanoSeconds -> Rational #
Show NanoSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods showsPrec :: Int -> NanoSeconds -> ShowS # show :: NanoSeconds -> String # showList :: [NanoSeconds] -> ShowS #
Generic NanoSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Associated Types type Rep NanoSeconds :: Type -> Type # Methods from :: NanoSeconds -> Rep NanoSeconds x # to :: Rep NanoSeconds x -> NanoSeconds #
FromJSON NanoSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods parseJSON :: Value -> Parser NanoSeconds # parseJSONList :: Value -> Parser [NanoSeconds]
ToJSON NanoSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods toJSON :: NanoSeconds -> Value # toEncoding :: NanoSeconds -> Encoding toJSONList :: [NanoSeconds] -> Value toEncodingList :: [NanoSeconds] -> Encoding
Additive NanoSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods zero :: NanoSeconds invert :: NanoSeconds -> NanoSeconds plus :: NanoSeconds -> NanoSeconds -> NanoSeconds minus :: NanoSeconds -> NanoSeconds -> NanoSeconds
TimeUnit NanoSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: NanoSeconds -> NanoSeconds Source # fromNanos :: NanoSeconds -> NanoSeconds Source #
Scaling NanoSeconds Int64 Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods scale :: Int64 -> NanoSeconds -> NanoSeconds
type Rep NanoSeconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep NanoSeconds = D1 ('MetaData "NanoSeconds" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.1.1.0-inplace" 'True) (C1 ('MetaCons "NanoSeconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNanoSeconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

convert :: TimeUnit a => TimeUnit b => a -> b Source #

Convert between different time spans.

>>> convert (picosecondsToDiffTime 50000000) :: MicroSeconds
MicroSeconds {unMicroSeconds = 50}

>>> convert (MilliSeconds 5) :: MicroSeconds
MicroSeconds 5000

type AddTimeUnit t u1 u2 = (TimeUnit u1, TimeUnit u2, Torsor t u2) Source #

addTimeUnit :: forall t u1 u2. AddTimeUnit t u1 u2 => u1 -> t -> t Source #