Polysemy.Time.Data.TimeUnit

TimeUnit Class and Data Types, Internal

Documentation

newtype FromSeconds a

For deriving via.

Constructors

FromSeconds a

Instances

Eq a => Eq (FromSeconds a)

Defined in Polysemy.Time.Data.TimeUnit

Methods

(==) :: FromSeconds a -> FromSeconds a -> Bool

(/=) :: FromSeconds a -> FromSeconds a -> Bool

(Integral a, TimeUnit a) => Fractional (FromSeconds a)

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)

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)

Defined in Polysemy.Time.Data.TimeUnit

Methods

showsPrec :: Int -> FromSeconds a -> ShowS

show :: FromSeconds a -> String

showList :: [FromSeconds a] -> ShowS

class TimeUnit u where

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

toNanos :: u -> NanoSeconds

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

fromNanos :: NanoSeconds -> u

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

Instances

TimeUnit NominalDiffTime

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: NominalDiffTime -> NanoSeconds

fromNanos :: NanoSeconds -> NominalDiffTime

TimeUnit DiffTime

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: DiffTime -> NanoSeconds

fromNanos :: NanoSeconds -> DiffTime

TimeUnit NanoSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: NanoSeconds -> NanoSeconds

fromNanos :: NanoSeconds -> NanoSeconds

TimeUnit MicroSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: MicroSeconds -> NanoSeconds

fromNanos :: NanoSeconds -> MicroSeconds

TimeUnit MilliSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: MilliSeconds -> NanoSeconds

fromNanos :: NanoSeconds -> MilliSeconds

TimeUnit Seconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Seconds -> NanoSeconds

fromNanos :: NanoSeconds -> Seconds

TimeUnit Minutes

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Minutes -> NanoSeconds

fromNanos :: NanoSeconds -> Minutes

TimeUnit Hours

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Hours -> NanoSeconds

fromNanos :: NanoSeconds -> Hours

TimeUnit Days

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Days -> NanoSeconds

fromNanos :: NanoSeconds -> Days

TimeUnit Weeks

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Weeks -> NanoSeconds

fromNanos :: NanoSeconds -> Weeks

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

newtype Years

Years.

Constructors

Years

Fields

• unYear :: Int64

Instances

Enum Years

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

Integral Years

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

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

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

toRational :: Years -> Rational

Show Years

Defined in Polysemy.Time.Data.TimeUnit

Methods

showsPrec :: Int -> Years -> ShowS

show :: Years -> String

showList :: [Years] -> ShowS

Generic Years

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep Years :: Type -> Type

Methods

from :: Years -> Rep Years x

to :: Rep Years x -> Years

ToJSON Years

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Years -> Value

toEncoding :: Years -> Encoding

toJSONList :: [Years] -> Value

toEncodingList :: [Years] -> Encoding

FromJSON Years

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Years

parseJSONList :: Value -> Parser [Years]

Additive Years

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: Years

invert :: Years -> Years

plus :: Years -> Years -> Years

minus :: Years -> Years -> Years

type Rep Years

Defined in Polysemy.Time.Data.TimeUnit

type Rep Years = D1 ('MetaData "Years" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.2.0.3-inplace" 'True) (C1 ('MetaCons "Years" 'PrefixI 'True) (S1 ('MetaSel ('Just "unYear") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Months

Months.

Constructors

Months

Fields

• unMonths :: Int64

Instances

Enum Months

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

Integral Months

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

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

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

toRational :: Months -> Rational

Show Months

Defined in Polysemy.Time.Data.TimeUnit

Methods

showsPrec :: Int -> Months -> ShowS

show :: Months -> String

showList :: [Months] -> ShowS

Generic Months

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep Months :: Type -> Type

Methods

from :: Months -> Rep Months x

to :: Rep Months x -> Months

ToJSON Months

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Months -> Value

toEncoding :: Months -> Encoding

toJSONList :: [Months] -> Value

toEncodingList :: [Months] -> Encoding

FromJSON Months

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Months

parseJSONList :: Value -> Parser [Months]

Additive Months

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: Months

invert :: Months -> Months

plus :: Months -> Months -> Months

minus :: Months -> Months -> Months

type Rep Months

Defined in Polysemy.Time.Data.TimeUnit

type Rep Months = D1 ('MetaData "Months" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.2.0.3-inplace" 'True) (C1 ('MetaCons "Months" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMonths") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Weeks

Weeks.

Constructors

Weeks

Fields

• unWeeks :: Int64

Instances

Enum Weeks

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

Integral Weeks

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

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

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

toRational :: Weeks -> Rational

Show Weeks

Defined in Polysemy.Time.Data.TimeUnit

Methods

showsPrec :: Int -> Weeks -> ShowS

show :: Weeks -> String

showList :: [Weeks] -> ShowS

Generic Weeks

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep Weeks :: Type -> Type

Methods

from :: Weeks -> Rep Weeks x

to :: Rep Weeks x -> Weeks

ToJSON Weeks

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Weeks -> Value

toEncoding :: Weeks -> Encoding

toJSONList :: [Weeks] -> Value

toEncodingList :: [Weeks] -> Encoding

FromJSON Weeks

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Weeks

parseJSONList :: Value -> Parser [Weeks]

Additive Weeks

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: Weeks

invert :: Weeks -> Weeks

plus :: Weeks -> Weeks -> Weeks

minus :: Weeks -> Weeks -> Weeks

TimeUnit Weeks

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Weeks -> NanoSeconds

fromNanos :: NanoSeconds -> Weeks

type Rep Weeks

Defined in Polysemy.Time.Data.TimeUnit

type Rep Weeks = D1 ('MetaData "Weeks" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.2.0.3-inplace" 'True) (C1 ('MetaCons "Weeks" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWeeks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Days

Days.

Constructors

Days

Fields

• unDays :: Int64

Instances

Enum Days

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

Integral Days

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

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

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

toRational :: Days -> Rational

Show Days

Defined in Polysemy.Time.Data.TimeUnit

Methods

showsPrec :: Int -> Days -> ShowS

show :: Days -> String

showList :: [Days] -> ShowS

Generic Days

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep Days :: Type -> Type

Methods

from :: Days -> Rep Days x

to :: Rep Days x -> Days

ToJSON Days

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Days -> Value

toEncoding :: Days -> Encoding

toJSONList :: [Days] -> Value

toEncodingList :: [Days] -> Encoding

FromJSON Days

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Days

parseJSONList :: Value -> Parser [Days]

Additive Days

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: Days

invert :: Days -> Days

plus :: Days -> Days -> Days

minus :: Days -> Days -> Days

TimeUnit Days

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Days -> NanoSeconds

fromNanos :: NanoSeconds -> Days

type Rep Days

Defined in Polysemy.Time.Data.TimeUnit

type Rep Days = D1 ('MetaData "Days" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.2.0.3-inplace" 'True) (C1 ('MetaCons "Days" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDays") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Hours

Hours.

Constructors

Hours

Fields

• unHours :: Int64

Instances

Enum Hours

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

Integral Hours

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

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

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

toRational :: Hours -> Rational

Show Hours

Defined in Polysemy.Time.Data.TimeUnit

Methods

showsPrec :: Int -> Hours -> ShowS

show :: Hours -> String

showList :: [Hours] -> ShowS

Generic Hours

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep Hours :: Type -> Type

Methods

from :: Hours -> Rep Hours x

to :: Rep Hours x -> Hours

ToJSON Hours

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Hours -> Value

toEncoding :: Hours -> Encoding

toJSONList :: [Hours] -> Value

toEncodingList :: [Hours] -> Encoding

FromJSON Hours

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Hours

parseJSONList :: Value -> Parser [Hours]

Additive Hours

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: Hours

invert :: Hours -> Hours

plus :: Hours -> Hours -> Hours

minus :: Hours -> Hours -> Hours

TimeUnit Hours

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Hours -> NanoSeconds

fromNanos :: NanoSeconds -> Hours

type Rep Hours

Defined in Polysemy.Time.Data.TimeUnit

type Rep Hours = D1 ('MetaData "Hours" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.2.0.3-inplace" 'True) (C1 ('MetaCons "Hours" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHours") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Minutes

Minutes.

Constructors

Minutes

Fields

• unMinutes :: Int64

Instances

Enum Minutes

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

Integral Minutes

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

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

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

toRational :: Minutes -> Rational

Show Minutes

Defined in Polysemy.Time.Data.TimeUnit

Methods

showsPrec :: Int -> Minutes -> ShowS

show :: Minutes -> String

showList :: [Minutes] -> ShowS

Generic Minutes

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep Minutes :: Type -> Type

Methods

from :: Minutes -> Rep Minutes x

to :: Rep Minutes x -> Minutes

ToJSON Minutes

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Minutes -> Value

toEncoding :: Minutes -> Encoding

toJSONList :: [Minutes] -> Value

toEncodingList :: [Minutes] -> Encoding

FromJSON Minutes

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Minutes

parseJSONList :: Value -> Parser [Minutes]

Additive Minutes

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: Minutes

invert :: Minutes -> Minutes

plus :: Minutes -> Minutes -> Minutes

minus :: Minutes -> Minutes -> Minutes

TimeUnit Minutes

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Minutes -> NanoSeconds

fromNanos :: NanoSeconds -> Minutes

type Rep Minutes

Defined in Polysemy.Time.Data.TimeUnit

type Rep Minutes = D1 ('MetaData "Minutes" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.2.0.3-inplace" 'True) (C1 ('MetaCons "Minutes" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMinutes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype Seconds

Seconds.

Constructors

Seconds

Fields

• unSeconds :: Int64

Instances

Enum Seconds

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

Integral Seconds

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

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

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

toRational :: Seconds -> Rational

Show Seconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

showsPrec :: Int -> Seconds -> ShowS

show :: Seconds -> String

showList :: [Seconds] -> ShowS

Generic Seconds

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep Seconds :: Type -> Type

Methods

from :: Seconds -> Rep Seconds x

to :: Rep Seconds x -> Seconds

ToJSON Seconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Seconds -> Value

toEncoding :: Seconds -> Encoding

toJSONList :: [Seconds] -> Value

toEncodingList :: [Seconds] -> Encoding

FromJSON Seconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Seconds

parseJSONList :: Value -> Parser [Seconds]

Additive Seconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: Seconds

invert :: Seconds -> Seconds

plus :: Seconds -> Seconds -> Seconds

minus :: Seconds -> Seconds -> Seconds

TimeUnit Seconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Seconds -> NanoSeconds

fromNanos :: NanoSeconds -> Seconds

type Rep Seconds

Defined in Polysemy.Time.Data.TimeUnit

type Rep Seconds = D1 ('MetaData "Seconds" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.2.0.3-inplace" 'True) (C1 ('MetaCons "Seconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSeconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype MilliSeconds

Milliseconds.

Constructors

MilliSeconds

Fields

• unMilliSeconds :: Int64

Instances

Enum MilliSeconds

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

Fractional MilliSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

(/) :: MilliSeconds -> MilliSeconds -> MilliSeconds

recip :: MilliSeconds -> MilliSeconds

fromRational :: Rational -> MilliSeconds

Integral MilliSeconds

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

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

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

toRational :: MilliSeconds -> Rational

Show MilliSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

showsPrec :: Int -> MilliSeconds -> ShowS

show :: MilliSeconds -> String

showList :: [MilliSeconds] -> ShowS

Generic MilliSeconds

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep MilliSeconds :: Type -> Type

Methods

from :: MilliSeconds -> Rep MilliSeconds x

to :: Rep MilliSeconds x -> MilliSeconds

ToJSON MilliSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: MilliSeconds -> Value

toEncoding :: MilliSeconds -> Encoding

toJSONList :: [MilliSeconds] -> Value

toEncodingList :: [MilliSeconds] -> Encoding

FromJSON MilliSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser MilliSeconds

parseJSONList :: Value -> Parser [MilliSeconds]

Additive MilliSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: MilliSeconds

invert :: MilliSeconds -> MilliSeconds

plus :: MilliSeconds -> MilliSeconds -> MilliSeconds

minus :: MilliSeconds -> MilliSeconds -> MilliSeconds

TimeUnit MilliSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: MilliSeconds -> NanoSeconds

fromNanos :: NanoSeconds -> MilliSeconds

type Rep MilliSeconds

Defined in Polysemy.Time.Data.TimeUnit

type Rep MilliSeconds = D1 ('MetaData "MilliSeconds" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.2.0.3-inplace" 'True) (C1 ('MetaCons "MilliSeconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMilliSeconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype MicroSeconds

Microseconds.

Constructors

MicroSeconds

Fields

• unMicroSeconds :: Int64

Instances

Enum MicroSeconds

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

Fractional MicroSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

(/) :: MicroSeconds -> MicroSeconds -> MicroSeconds

recip :: MicroSeconds -> MicroSeconds

fromRational :: Rational -> MicroSeconds

Integral MicroSeconds

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

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

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

toRational :: MicroSeconds -> Rational

Show MicroSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

showsPrec :: Int -> MicroSeconds -> ShowS

show :: MicroSeconds -> String

showList :: [MicroSeconds] -> ShowS

Generic MicroSeconds

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep MicroSeconds :: Type -> Type

Methods

from :: MicroSeconds -> Rep MicroSeconds x

to :: Rep MicroSeconds x -> MicroSeconds

ToJSON MicroSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: MicroSeconds -> Value

toEncoding :: MicroSeconds -> Encoding

toJSONList :: [MicroSeconds] -> Value

toEncodingList :: [MicroSeconds] -> Encoding

FromJSON MicroSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser MicroSeconds

parseJSONList :: Value -> Parser [MicroSeconds]

Additive MicroSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: MicroSeconds

invert :: MicroSeconds -> MicroSeconds

plus :: MicroSeconds -> MicroSeconds -> MicroSeconds

minus :: MicroSeconds -> MicroSeconds -> MicroSeconds

TimeUnit MicroSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: MicroSeconds -> NanoSeconds

fromNanos :: NanoSeconds -> MicroSeconds

type Rep MicroSeconds

Defined in Polysemy.Time.Data.TimeUnit

type Rep MicroSeconds = D1 ('MetaData "MicroSeconds" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.2.0.3-inplace" 'True) (C1 ('MetaCons "MicroSeconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMicroSeconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype NanoSeconds

Nanoseconds. This is the base unit for all conversions.

Constructors

NanoSeconds

Fields

• unNanoSeconds :: Int64

Instances

Enum NanoSeconds

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

Fractional NanoSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

(/) :: NanoSeconds -> NanoSeconds -> NanoSeconds

recip :: NanoSeconds -> NanoSeconds

fromRational :: Rational -> NanoSeconds

Integral NanoSeconds

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

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

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

Defined in Polysemy.Time.Data.TimeUnit

Methods

toRational :: NanoSeconds -> Rational

Show NanoSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

showsPrec :: Int -> NanoSeconds -> ShowS

show :: NanoSeconds -> String

showList :: [NanoSeconds] -> ShowS

Generic NanoSeconds

Defined in Polysemy.Time.Data.TimeUnit

Associated Types

type Rep NanoSeconds :: Type -> Type

Methods

from :: NanoSeconds -> Rep NanoSeconds x

to :: Rep NanoSeconds x -> NanoSeconds

ToJSON NanoSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: NanoSeconds -> Value

toEncoding :: NanoSeconds -> Encoding

toJSONList :: [NanoSeconds] -> Value

toEncodingList :: [NanoSeconds] -> Encoding

FromJSON NanoSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser NanoSeconds

parseJSONList :: Value -> Parser [NanoSeconds]

Additive NanoSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: NanoSeconds

invert :: NanoSeconds -> NanoSeconds

plus :: NanoSeconds -> NanoSeconds -> NanoSeconds

minus :: NanoSeconds -> NanoSeconds -> NanoSeconds

TimeUnit NanoSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: NanoSeconds -> NanoSeconds

fromNanos :: NanoSeconds -> NanoSeconds

Scaling NanoSeconds Int64

Defined in Polysemy.Time.Data.TimeUnit

Methods

scale :: Int64 -> NanoSeconds -> NanoSeconds

type Rep NanoSeconds

Defined in Polysemy.Time.Data.TimeUnit

type Rep NanoSeconds = D1 ('MetaData "NanoSeconds" "Polysemy.Time.Data.TimeUnit" "polysemy-time-0.2.0.3-inplace" 'True) (C1 ('MetaCons "NanoSeconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNanoSeconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

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

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)

Convenience alias for addTimeUnit.

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

Add a time unit to an instant.

secondsFrac :: TimeUnit u => u -> Double

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