Safe Haskell	None
Language	GHC2021

Polysemy.Time

Contents

Interpreters
Data types
Combinators

Description

This package provides a Polysemy effect for interacting with the current time and sleeping, as well as some time-related data types and classes.

Synopsis

module Polysemy.Time.Effect.Time
type GhcTime = Time UTCTime Day
interpretTimeGhc :: forall (r :: EffectRow). Member (Embed IO) r => InterpreterFor GhcTime r
interpretTimeGhcAt :: forall (r :: EffectRow). Member (Embed IO) r => UTCTime -> InterpreterFor GhcTime r
interpretTimeGhcConstant :: forall (r :: EffectRow). Member (Embed IO) r => UTCTime -> InterpreterFor GhcTime r
interpretTimeGhcConstantNow :: forall (r :: EffectRow). Member (Embed IO) r => InterpreterFor GhcTime r
newtype Hours = Hours {
- unHours :: Int64
}
newtype Minutes = Minutes {
- unMinutes :: Int64
}
newtype Seconds = Seconds {
- unSeconds :: Int64
}
class TimeUnit u
newtype Days = Days {
- unDays :: Int64
}
newtype MicroSeconds = MicroSeconds {
- unMicroSeconds :: Int64
}
newtype MilliSeconds = MilliSeconds {
- unMilliSeconds :: Int64
}
newtype Months = Months {
- unMonths :: Int64
}
newtype NanoSeconds = NanoSeconds {
- unNanoSeconds :: Int64
}
newtype Weeks = Weeks {
- unWeeks :: Int64
}
newtype Years = Years {
- unYear :: Int64
}
convert :: (TimeUnit a, TimeUnit b) => a -> b
class Calendar dt where
- type CalendarDate dt
- type CalendarTime dt
- mkDate :: Int64 -> Int64 -> Int64 -> CalendarDate dt
- mkTime :: Int64 -> Int64 -> Int64 -> CalendarTime dt
- mkDatetime :: Int64 -> Int64 -> Int64 -> Int64 -> Int64 -> Int64 -> dt
class HasDay t where
- day :: t -> Days
class HasHour t where
- hour :: t -> Hours
class HasMinute t where
- minute :: t -> Minutes
class HasMonth t where
- month :: t -> Months
class HasNanoSecond t where
- nanoSecond :: t -> NanoSeconds
class HasSecond t where
- second :: t -> Seconds
class HasYear t where
- year :: t -> Years
measure :: forall dt t d u (r :: EffectRow) a. (TimeUnit u, Torsor dt u, Instant t dt, Member (Time t d) r) => Sem r a -> Sem r (u, a)
while :: forall t d u (r :: EffectRow). (Member (Time t d) r, TimeUnit u) => u -> Sem r Bool -> Sem r ()
untilJust :: forall t d u (r :: EffectRow) a. (Member (Time t d) r, TimeUnit u) => u -> Sem r (Maybe a) -> Sem r a
loop :: forall t d u a (r :: EffectRow). (Member (Time t d) r, TimeUnit u) => u -> a -> (a -> Sem r a) -> Sem r ()
loop_ :: forall t d u (r :: EffectRow). (Member (Time t d) r, TimeUnit u) => u -> Sem r () -> Sem r ()
diff :: forall dt u i1 i2 diff. (TimeUnit diff, TimeUnit u, Torsor dt diff, Instant i1 dt, Instant i2 dt) => i1 -> i2 -> u
since :: forall u t d dt diff (r :: EffectRow). (TimeUnit diff, TimeUnit u, Instant t dt, Torsor dt diff, Member (Time t d) r) => t -> Sem r u

Documentation

import Data.Time (UTCTime)
import Polysemy (Members, runM)
import Polysemy.Chronos (interpretTimeChronos)
import qualified Polysemy.Time as Time
import Polysemy.Time (MilliSeconds(MilliSeconds), Seconds(Seconds), Time, interpretTimeGhcAt, mkDatetime, year)

prog ::
  Ord t =>
  Member (Time t d) r =>
  Sem r ()
prog = do
  time1 <- Time.now
  Time.sleep (MilliSeconds 10)
  time2 <- Time.now
  print (time1 < time2)
  -- True

testTime :: UTCTime
testTime =
  mkDatetime 1845 12 31 23 59 59

main :: IO ()
main =
  runM do
    interpretTimeChronos prog
    interpretTimeGhcAt testTime do
      Time.sleep (Seconds 1)
      time <- Time.now
      print (year time)
      -- Years { unYear = 1846 }

module Polysemy.Time.Effect.Time

type GhcTime = Time UTCTime Day Source #

Convenience alias for Time.

Interpreters

interpretTimeGhc :: forall (r :: EffectRow). Member (Embed IO) r => InterpreterFor GhcTime r Source #

Interpret Time with the types from Time.

interpretTimeGhcAt :: forall (r :: EffectRow). Member (Embed IO) r => UTCTime -> InterpreterFor GhcTime r Source #

Interpret Time with the types from Time, customizing the current time at the start of interpretation.

interpretTimeGhcConstant :: forall (r :: EffectRow). Member (Embed IO) r => UTCTime -> InterpreterFor GhcTime r Source #

Interpret Time with the types from Time, customizing the current time to be constant. Sleeping will only terminate after the time has been advanced by adjust.

interpretTimeGhcConstantNow :: forall (r :: EffectRow). Member (Embed IO) r => InterpreterFor GhcTime r Source #

Interpret Time with the types from Time, customizing the current time to be constantly the time at the start of interpretation. Sleeping will only terminate after the time has been advanced by adjust.

Data types

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

parseJSONList :: Value -> Parser [Hours] Source #

omittedField :: Maybe Hours Source #

ToJSON Hours Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Hours -> Value Source #

toEncoding :: Hours -> Encoding Source #

toJSONList :: [Hours] -> Value Source #

toEncodingList :: [Hours] -> Encoding Source #

omitField :: Hours -> Bool Source #

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-KCkDZxsnzRL2Rz1bXqMt4a" '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 Source #

invert :: Hours -> Hours Source #

plus :: Hours -> Hours -> Hours Source #

minus :: Hours -> Hours -> 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.7.0.1-KCkDZxsnzRL2Rz1bXqMt4a" '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 Source #

parseJSONList :: Value -> Parser [Minutes] Source #

omittedField :: Maybe Minutes Source #

ToJSON Minutes Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Minutes -> Value Source #

toEncoding :: Minutes -> Encoding Source #

toJSONList :: [Minutes] -> Value Source #

toEncodingList :: [Minutes] -> Encoding Source #

omitField :: Minutes -> Bool Source #

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-KCkDZxsnzRL2Rz1bXqMt4a" '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 Source #

invert :: Minutes -> Minutes Source #

plus :: Minutes -> Minutes -> Minutes Source #

minus :: Minutes -> Minutes -> 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.7.0.1-KCkDZxsnzRL2Rz1bXqMt4a" '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 Source #

parseJSONList :: Value -> Parser [Seconds] Source #

omittedField :: Maybe Seconds Source #

ToJSON Seconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Seconds -> Value Source #

toEncoding :: Seconds -> Encoding Source #

toJSONList :: [Seconds] -> Value Source #

toEncodingList :: [Seconds] -> Encoding Source #

omitField :: Seconds -> Bool Source #

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-KCkDZxsnzRL2Rz1bXqMt4a" '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 Source #

invert :: Seconds -> Seconds Source #

plus :: Seconds -> Seconds -> Seconds Source #

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

class TimeUnit u 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

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 #

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

parseJSONList :: Value -> Parser [Days] Source #

omittedField :: Maybe Days Source #

ToJSON Days Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Days -> Value Source #

toEncoding :: Days -> Encoding Source #

toJSONList :: [Days] -> Value Source #

toEncodingList :: [Days] -> Encoding Source #

omitField :: Days -> Bool Source #

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-KCkDZxsnzRL2Rz1bXqMt4a" '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 Source #

invert :: Days -> Days Source #

plus :: Days -> Days -> Days Source #

minus :: Days -> Days -> 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.7.0.1-KCkDZxsnzRL2Rz1bXqMt4a" 'True) (C1 ('MetaCons "Days" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDays") '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 Source #

parseJSONList :: Value -> Parser [MicroSeconds] Source #

omittedField :: Maybe MicroSeconds Source #

ToJSON MicroSeconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: MicroSeconds -> Value Source #

toEncoding :: MicroSeconds -> Encoding Source #

toJSONList :: [MicroSeconds] -> Value Source #

toEncodingList :: [MicroSeconds] -> Encoding Source #

omitField :: MicroSeconds -> Bool Source #

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-KCkDZxsnzRL2Rz1bXqMt4a" '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 Source #

invert :: MicroSeconds -> MicroSeconds Source #

plus :: MicroSeconds -> MicroSeconds -> MicroSeconds Source #

minus :: MicroSeconds -> MicroSeconds -> 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.7.0.1-KCkDZxsnzRL2Rz1bXqMt4a" 'True) (C1 ('MetaCons "MicroSeconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMicroSeconds") '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 Source #

parseJSONList :: Value -> Parser [MilliSeconds] Source #

omittedField :: Maybe MilliSeconds Source #

ToJSON MilliSeconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: MilliSeconds -> Value Source #

toEncoding :: MilliSeconds -> Encoding Source #

toJSONList :: [MilliSeconds] -> Value Source #

toEncodingList :: [MilliSeconds] -> Encoding Source #

omitField :: MilliSeconds -> Bool Source #

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-KCkDZxsnzRL2Rz1bXqMt4a" '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 Source #

invert :: MilliSeconds -> MilliSeconds Source #

plus :: MilliSeconds -> MilliSeconds -> MilliSeconds Source #

minus :: MilliSeconds -> MilliSeconds -> 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.7.0.1-KCkDZxsnzRL2Rz1bXqMt4a" 'True) (C1 ('MetaCons "MilliSeconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMilliSeconds") '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 Source #

parseJSONList :: Value -> Parser [Months] Source #

omittedField :: Maybe Months Source #

ToJSON Months Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Months -> Value Source #

toEncoding :: Months -> Encoding Source #

toJSONList :: [Months] -> Value Source #

toEncodingList :: [Months] -> Encoding Source #

omitField :: Months -> Bool Source #

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-KCkDZxsnzRL2Rz1bXqMt4a" '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 Source #

invert :: Months -> Months Source #

plus :: Months -> Months -> Months Source #

minus :: Months -> Months -> Months Source #

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-KCkDZxsnzRL2Rz1bXqMt4a" 'True) (C1 ('MetaCons "Months" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMonths") '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 Source #

parseJSONList :: Value -> Parser [NanoSeconds] Source #

omittedField :: Maybe NanoSeconds Source #

ToJSON NanoSeconds Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: NanoSeconds -> Value Source #

toEncoding :: NanoSeconds -> Encoding Source #

toJSONList :: [NanoSeconds] -> Value Source #

toEncodingList :: [NanoSeconds] -> Encoding Source #

omitField :: NanoSeconds -> Bool Source #

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-KCkDZxsnzRL2Rz1bXqMt4a" '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 Source #

invert :: NanoSeconds -> NanoSeconds Source #

plus :: NanoSeconds -> NanoSeconds -> NanoSeconds Source #

minus :: NanoSeconds -> NanoSeconds -> NanoSeconds Source #

Scaling NanoSeconds Int64 Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

scale :: Int64 -> NanoSeconds -> NanoSeconds Source #

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-KCkDZxsnzRL2Rz1bXqMt4a" 'True) (C1 ('MetaCons "NanoSeconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNanoSeconds") '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 Source #

parseJSONList :: Value -> Parser [Weeks] Source #

omittedField :: Maybe Weeks Source #

ToJSON Weeks Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Weeks -> Value Source #

toEncoding :: Weeks -> Encoding Source #

toJSONList :: [Weeks] -> Value Source #

toEncodingList :: [Weeks] -> Encoding Source #

omitField :: Weeks -> Bool Source #

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-KCkDZxsnzRL2Rz1bXqMt4a" '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 Source #

invert :: Weeks -> Weeks Source #

plus :: Weeks -> Weeks -> Weeks Source #

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

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

parseJSONList :: Value -> Parser [Years] Source #

omittedField :: Maybe Years Source #

ToJSON Years Source #

Instance details

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Years -> Value Source #

toEncoding :: Years -> Encoding Source #

toJSONList :: [Years] -> Value Source #

toEncodingList :: [Years] -> Encoding Source #

omitField :: Years -> Bool Source #

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-KCkDZxsnzRL2Rz1bXqMt4a" '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 Source #

invert :: Years -> Years Source #

plus :: Years -> Years -> Years Source #

minus :: Years -> Years -> Years Source #

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-KCkDZxsnzRL2Rz1bXqMt4a" 'True) (C1 ('MetaCons "Years" 'PrefixI 'True) (S1 ('MetaSel ('Just "unYear") '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

class Calendar dt where Source #

Construct datetimes, dates or times from integers.

Associated Types

type CalendarDate dt Source #

type CalendarTime dt Source #

Methods

mkDate :: Int64 -> Int64 -> Int64 -> CalendarDate dt Source #

mkTime :: Int64 -> Int64 -> Int64 -> CalendarTime dt Source #

mkDatetime :: Int64 -> Int64 -> Int64 -> Int64 -> Int64 -> Int64 -> dt Source #

Instances

Instances details

Calendar UTCTime Source #

Instance details

Defined in Polysemy.Time.Calendar

Associated Types

type CalendarDate UTCTime
Instance details Defined in Polysemy.Time.Calendar type CalendarDate UTCTime = Day
type CalendarTime UTCTime
Instance details Defined in Polysemy.Time.Calendar type CalendarTime UTCTime = DiffTime

Methods

mkDate :: Int64 -> Int64 -> Int64 -> CalendarDate UTCTime Source #

mkTime :: Int64 -> Int64 -> Int64 -> CalendarTime UTCTime Source #

mkDatetime :: Int64 -> Int64 -> Int64 -> Int64 -> Int64 -> Int64 -> UTCTime Source #

class HasDay t where Source #

Extract the day component from a date.

Methods

day :: t -> Days Source #

Instances

Instances details

HasDay Day Source #
Instance details Defined in Polysemy.Time.Calendar Methods day :: Day -> Days Source #
HasDay UTCTime Source #
Instance details Defined in Polysemy.Time.Calendar Methods day :: UTCTime -> Days Source #

class HasHour t where Source #

Extract the hour component from a datetime or time.

Methods

hour :: t -> Hours Source #

Instances

Instances details

HasHour DiffTime Source #
Instance details Defined in Polysemy.Time.Calendar Methods hour :: DiffTime -> Hours Source #
HasHour TimeOfDay Source #
Instance details Defined in Polysemy.Time.Calendar Methods hour :: TimeOfDay -> Hours Source #

class HasMinute t where Source #

Extract the minute component from a datetime or time.

Methods

minute :: t -> Minutes Source #

Instances

Instances details

HasMinute DiffTime Source #
Instance details Defined in Polysemy.Time.Calendar Methods minute :: DiffTime -> Minutes Source #
HasMinute TimeOfDay Source #
Instance details Defined in Polysemy.Time.Calendar Methods minute :: TimeOfDay -> Minutes Source #

class HasMonth t where Source #

Extract the month component from a date.

Methods

month :: t -> Months Source #

Instances

Instances details

HasMonth Day Source #
Instance details Defined in Polysemy.Time.Calendar Methods month :: Day -> Months Source #
HasMonth UTCTime Source #
Instance details Defined in Polysemy.Time.Calendar Methods month :: UTCTime -> Months Source #

class HasNanoSecond t where Source #

Extract the nanosecond component from a datetime or time.

Methods

nanoSecond :: t -> NanoSeconds Source #

Instances

Instances details

HasNanoSecond DiffTime Source #
Instance details Defined in Polysemy.Time.Calendar Methods nanoSecond :: DiffTime -> NanoSeconds Source #
HasNanoSecond TimeOfDay Source #
Instance details Defined in Polysemy.Time.Calendar Methods nanoSecond :: TimeOfDay -> NanoSeconds Source #

class HasSecond t where Source #

Extract the second component from a datetime or time.

Methods

second :: t -> Seconds Source #

Instances

Instances details

HasSecond DiffTime Source #
Instance details Defined in Polysemy.Time.Calendar Methods second :: DiffTime -> Seconds Source #
HasSecond TimeOfDay Source #
Instance details Defined in Polysemy.Time.Calendar Methods second :: TimeOfDay -> Seconds Source #

class HasYear t where Source #

Extract the year component from a date.

Methods

year :: t -> Years Source #

Instances

Instances details

HasYear Day Source #
Instance details Defined in Polysemy.Time.Calendar Methods year :: Day -> Years Source #
HasYear UTCTime Source #
Instance details Defined in Polysemy.Time.Calendar Methods year :: UTCTime -> Years Source #

Combinators

measure :: forall dt t d u (r :: EffectRow) a. (TimeUnit u, Torsor dt u, Instant t dt, Member (Time t d) r) => Sem r a -> Sem r (u, a) Source #

Run the action ma and measure the time it takes.

The type of the difference depends on the functional dependencies of the classes Instant and Torsor, where the input to the former is taken from the type t of Time which is instantiated by an interpreter.

while :: forall t d u (r :: EffectRow). (Member (Time t d) r, TimeUnit u) => u -> Sem r Bool -> Sem r () Source #

Repeatedly run the action, sleeping for interval between executions. Stops when action returns False.

untilJust :: forall t d u (r :: EffectRow) a. (Member (Time t d) r, TimeUnit u) => u -> Sem r (Maybe a) -> Sem r a Source #

Repeatedly run the action, sleeping for interval between executions. Stops when action returns Just a, returning the contained a.

loop :: forall t d u a (r :: EffectRow). (Member (Time t d) r, TimeUnit u) => u -> a -> (a -> Sem r a) -> Sem r () Source #

Repeatedly run the action, sleeping for interval between executions. The result of action is passed back to it for the next run, starting with initial.

loop_ :: forall t d u (r :: EffectRow). (Member (Time t d) r, TimeUnit u) => u -> Sem r () -> Sem r () Source #

Repeatedly run the action, sleeping for interval between executions.

diff :: forall dt u i1 i2 diff. (TimeUnit diff, TimeUnit u, Torsor dt diff, Instant i1 dt, Instant i2 dt) => i1 -> i2 -> u Source #

Subtract two arbitrary values that can be converted to an Instant.

since :: forall u t d dt diff (r :: EffectRow). (TimeUnit diff, TimeUnit u, Instant t dt, Torsor dt diff, Member (Time t d) r) => t -> Sem r u Source #

Calculate the duration between the given Instant and the current time.