Safe Haskell	None
Language	GHC2021

Polysemy.Time.Data.TimeUnit

Contents

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

Description

TimeUnit Class and Data Types, Internal

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 :: AddTimeUnit t u1 u2 => u1 -> t -> t
secondsFrac :: TimeUnit u => u -> Double

Documentation

newtype FromSeconds a Source #

For deriving via.

Constructors

FromSeconds a

Instances

Instances details

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 #
(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 #
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 #
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 #

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 Days Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: Days -> NanoSeconds Source # fromNanos :: NanoSeconds -> Days 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 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 Minutes Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: Minutes -> NanoSeconds Source # fromNanos :: NanoSeconds -> Minutes 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 Seconds Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: Seconds -> NanoSeconds Source # fromNanos :: NanoSeconds -> Seconds Source #
TimeUnit Weeks Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: Weeks -> NanoSeconds Source # fromNanos :: NanoSeconds -> Weeks 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 NominalDiffTime Source #
Instance details Defined in Polysemy.Time.Data.TimeUnit Methods nanos :: NanoSeconds Source # toNanos :: NominalDiffTime -> NanoSeconds Source # fromNanos :: NanoSeconds -> NominalDiffTime Source #

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

newtype Years Source #

Years.

Constructors

Years
Fields unYear :: Int64

Instances

Instances details

FromJSON Years Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Years #

parseJSONList :: Value -> Parser [Years] #

omittedField :: Maybe 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 #

omitField :: Years -> Bool #

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] #

Generic Years Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep Years
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep Years = D1 ('MetaData "Years" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "Years" 'PrefixI 'True) (S1 ('MetaSel ('Just "unYear") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

Methods

from :: Years -> Rep Years x #

to :: Rep Years x -> Years #

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 #

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 #

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 #

Eq Years Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

(==) :: Years -> Years -> Bool #

(/=) :: Years -> Years -> Bool #

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 #

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.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "Years" 'PrefixI 'True) (S1 ('MetaSel ('Just "unYear") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Months Source #

Months.

Constructors

Months
Fields unMonths :: Int64

Instances

Instances details

FromJSON Months Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Months #

parseJSONList :: Value -> Parser [Months] #

omittedField :: Maybe 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 #

omitField :: Months -> Bool #

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] #

Generic Months Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep Months
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep Months = D1 ('MetaData "Months" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "Months" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMonths") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

Methods

from :: Months -> Rep Months x #

to :: Rep Months x -> Months #

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 #

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 #

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 #

Eq Months Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

(==) :: Months -> Months -> Bool #

(/=) :: Months -> Months -> Bool #

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 #

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.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "Months" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMonths") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Weeks Source #

Weeks.

Constructors

Weeks
Fields unWeeks :: Int64

Instances

Instances details

FromJSON Weeks Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Weeks #

parseJSONList :: Value -> Parser [Weeks] #

omittedField :: Maybe 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 #

omitField :: Weeks -> Bool #

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] #

Generic Weeks Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep Weeks
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep Weeks = D1 ('MetaData "Weeks" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "Weeks" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWeeks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

Methods

from :: Weeks -> Rep Weeks x #

to :: Rep Weeks x -> Weeks #

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 #

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 #

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 #

Eq Weeks Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

(==) :: Weeks -> Weeks -> Bool #

(/=) :: Weeks -> Weeks -> Bool #

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 #

TimeUnit Weeks Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds Source #

toNanos :: Weeks -> NanoSeconds Source #

fromNanos :: NanoSeconds -> Weeks Source #

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 #

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.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "Weeks" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWeeks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Days Source #

Days.

Constructors

Days
Fields unDays :: Int64

Instances

Instances details

FromJSON Days Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Days #

parseJSONList :: Value -> Parser [Days] #

omittedField :: Maybe 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 #

omitField :: Days -> Bool #

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] #

Generic Days Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep Days
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep Days = D1 ('MetaData "Days" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "Days" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDays") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

Methods

from :: Days -> Rep Days x #

to :: Rep Days x -> Days #

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 #

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 #

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 #

Eq Days Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

(==) :: Days -> Days -> Bool #

(/=) :: Days -> Days -> Bool #

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 #

TimeUnit Days Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds Source #

toNanos :: Days -> NanoSeconds Source #

fromNanos :: NanoSeconds -> Days Source #

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 #

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.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "Days" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDays") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Hours Source #

Hours.

Constructors

Hours
Fields unHours :: Int64

Instances

Instances details

FromJSON Hours Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Hours #

parseJSONList :: Value -> Parser [Hours] #

omittedField :: Maybe 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 #

omitField :: Hours -> Bool #

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] #

Generic Hours Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep Hours
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep Hours = D1 ('MetaData "Hours" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "Hours" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHours") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

Methods

from :: Hours -> Rep Hours x #

to :: Rep Hours x -> Hours #

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 #

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 #

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 #

Eq Hours Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

(==) :: Hours -> Hours -> Bool #

(/=) :: Hours -> Hours -> Bool #

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 #

TimeUnit Hours Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds Source #

toNanos :: Hours -> NanoSeconds Source #

fromNanos :: NanoSeconds -> Hours Source #

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 #

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.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "Hours" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHours") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Minutes Source #

Minutes.

Constructors

Minutes
Fields unMinutes :: Int64

Instances

Instances details

FromJSON Minutes Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Minutes #

parseJSONList :: Value -> Parser [Minutes] #

omittedField :: Maybe 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 #

omitField :: Minutes -> Bool #

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] #

Generic Minutes Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep Minutes
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep Minutes = D1 ('MetaData "Minutes" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "Minutes" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMinutes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

Methods

from :: Minutes -> Rep Minutes x #

to :: Rep Minutes x -> Minutes #

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 #

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 #

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 #

Eq Minutes Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

(==) :: Minutes -> Minutes -> Bool #

(/=) :: Minutes -> Minutes -> Bool #

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 #

TimeUnit Minutes Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds Source #

toNanos :: Minutes -> NanoSeconds Source #

fromNanos :: NanoSeconds -> Minutes Source #

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 #

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.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "Minutes" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMinutes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Seconds Source #

Seconds.

Constructors

Seconds
Fields unSeconds :: Int64

Instances

Instances details

FromJSON Seconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Seconds #

parseJSONList :: Value -> Parser [Seconds] #

omittedField :: Maybe 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 #

omitField :: Seconds -> Bool #

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] #

Generic Seconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep Seconds
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep Seconds = D1 ('MetaData "Seconds" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "Seconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSeconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

Methods

from :: Seconds -> Rep Seconds x #

to :: Rep Seconds x -> Seconds #

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 #

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 #

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 #

Eq Seconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

(==) :: Seconds -> Seconds -> Bool #

(/=) :: Seconds -> Seconds -> Bool #

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 #

TimeUnit Seconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds Source #

toNanos :: Seconds -> NanoSeconds Source #

fromNanos :: NanoSeconds -> Seconds Source #

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 #

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.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "Seconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSeconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype MilliSeconds Source #

Milliseconds.

Constructors

MilliSeconds
Fields unMilliSeconds :: Int64

Instances

Instances details

FromJSON MilliSeconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser MilliSeconds #

parseJSONList :: Value -> Parser [MilliSeconds] #

omittedField :: Maybe 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 #

omitField :: MilliSeconds -> Bool #

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] #

Generic MilliSeconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep MilliSeconds
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep MilliSeconds = D1 ('MetaData "MilliSeconds" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "MilliSeconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMilliSeconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

Methods

from :: MilliSeconds -> Rep MilliSeconds x #

to :: Rep MilliSeconds x -> MilliSeconds #

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 #

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 #

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 #

Eq MilliSeconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

(==) :: MilliSeconds -> MilliSeconds -> Bool #

(/=) :: MilliSeconds -> MilliSeconds -> Bool #

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 #

TimeUnit MilliSeconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds Source #

toNanos :: MilliSeconds -> NanoSeconds Source #

fromNanos :: NanoSeconds -> MilliSeconds Source #

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 #

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.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "MilliSeconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMilliSeconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype MicroSeconds Source #

Microseconds.

Constructors

MicroSeconds
Fields unMicroSeconds :: Int64

Instances

Instances details

FromJSON MicroSeconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser MicroSeconds #

parseJSONList :: Value -> Parser [MicroSeconds] #

omittedField :: Maybe 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 #

omitField :: MicroSeconds -> Bool #

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] #

Generic MicroSeconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep MicroSeconds
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep MicroSeconds = D1 ('MetaData "MicroSeconds" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "MicroSeconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMicroSeconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

Methods

from :: MicroSeconds -> Rep MicroSeconds x #

to :: Rep MicroSeconds x -> MicroSeconds #

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 #

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 #

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 #

Eq MicroSeconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

(==) :: MicroSeconds -> MicroSeconds -> Bool #

(/=) :: MicroSeconds -> MicroSeconds -> Bool #

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 #

TimeUnit MicroSeconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds Source #

toNanos :: MicroSeconds -> NanoSeconds Source #

fromNanos :: NanoSeconds -> MicroSeconds Source #

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 #

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.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "MicroSeconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMicroSeconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype NanoSeconds Source #

Nanoseconds. This is the base unit for all conversions.

Constructors

NanoSeconds
Fields unNanoSeconds :: Int64

Instances

Instances details

FromJSON NanoSeconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser NanoSeconds #

parseJSONList :: Value -> Parser [NanoSeconds] #

omittedField :: Maybe 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 #

omitField :: NanoSeconds -> Bool #

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] #

Generic NanoSeconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep NanoSeconds
Instance details Defined in Polysemy.Time.Data.TimeUnit type Rep NanoSeconds = D1 ('MetaData "NanoSeconds" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.7.0.1-JuShpFGkFIKBk6OfIeQaxf" 'True) (C1 ('MetaCons "NanoSeconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNanoSeconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

Methods

from :: NanoSeconds -> Rep NanoSeconds x #

to :: Rep NanoSeconds x -> NanoSeconds #

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 #

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 #

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 #

Eq NanoSeconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

(==) :: NanoSeconds -> NanoSeconds -> Bool #

(/=) :: NanoSeconds -> NanoSeconds -> Bool #

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 #

TimeUnit NanoSeconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds Source #

toNanos :: NanoSeconds -> NanoSeconds Source #

fromNanos :: NanoSeconds -> NanoSeconds Source #

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 #

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.7.0.1-JuShpFGkFIKBk6OfIeQaxf" '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 #

Convenience alias for addTimeUnit.

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

Add a time unit to an instant.

secondsFrac :: TimeUnit u => u -> Double Source #

Convert a unit into a number of seconds, keeping the subsecond part as fractional digits.