Polysemy.Time

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

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 }

data Time (time :: Type) (date :: Type) :: Effect where

The Time effect.

Constructors

Now :: Time t d m t

Produce the current time, possibly relative to what was set with SetTime or SetDate

Today :: Time t d m d

Produce the current date, possibly relative to what was set with SetTime or SetDate

Sleep :: TimeUnit u => u -> Time t d m ()

Suspend the current computation for the specified time span.

SetTime :: t -> Time t d m ()

Set the current time, if the interpreter supports it.

Adjust :: TimeUnit u1 => u1 -> Time t d m ()

Adjust the current time relatively, if the interpreter supports it.

SetDate :: d -> Time t d m ()

Set the current date, if the interpreter supports it.

now :: forall t d r. Member (Time t d) r => Sem r t

Produce the current time, possibly relative to what was set with SetTime or SetDate

today :: forall t d r. Member (Time t d) r => Sem r d

Produce the current date, possibly relative to what was set with SetTime or SetDate

sleep :: forall t d u r. TimeUnit u => Member (Time t d) r => u -> Sem r ()

Suspend the current computation for the specified time span.

setTime :: forall t d r. Member (Time t d) r => t -> Sem r ()

Set the current time, if the interpreter supports it.

adjust :: forall t d u1 u2 r. AddTimeUnit t u1 u2 => Member (Time t d) r => u1 -> Sem r ()

Adjust the current time relatively, if the interpreter supports it.

setDate :: forall t d r. Member (Time t d) r => d -> Sem r ()

Set the current date, if the interpreter supports it.

type GhcTime = Time UTCTime Day

Convenience alias for Time.

Interpreters

interpretTimeGhc :: Member (Embed IO) r => InterpreterFor GhcTime r

Interpret Time with the types from Time.

interpretTimeGhcAt :: Member (Embed IO) r => UTCTime -> InterpreterFor GhcTime r

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

interpretTimeGhcConstant :: Member (Embed IO) r => UTCTime -> InterpreterFor GhcTime r

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 :: Member (Embed IO) r => InterpreterFor GhcTime r

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 NanoSeconds

Nanoseconds. This is the base unit for all conversions.

Constructors

NanoSeconds

Fields

• unNanoSeconds :: Int64

Instances

FromJSON NanoSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser NanoSeconds

parseJSONList :: Value -> Parser [NanoSeconds]

ToJSON NanoSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: NanoSeconds -> Value

toEncoding :: NanoSeconds -> Encoding

toJSONList :: [NanoSeconds] -> Value

toEncodingList :: [NanoSeconds] -> Encoding

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]

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

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

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

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

Eq NanoSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

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

TimeUnit NanoSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: NanoSeconds -> NanoSeconds

fromNanos :: NanoSeconds -> NanoSeconds

Additive NanoSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: NanoSeconds

invert :: NanoSeconds -> NanoSeconds

plus :: NanoSeconds -> NanoSeconds -> NanoSeconds

minus :: NanoSeconds -> 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.6.0.0-GZH2lUvEQqs1TE8ncTXVy6" 'True) (C1 ('MetaCons "NanoSeconds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNanoSeconds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

newtype MicroSeconds

Microseconds.

Constructors

MicroSeconds

Fields

• unMicroSeconds :: Int64

Instances

FromJSON MicroSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser MicroSeconds

parseJSONList :: Value -> Parser [MicroSeconds]

ToJSON MicroSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: MicroSeconds -> Value

toEncoding :: MicroSeconds -> Encoding

toJSONList :: [MicroSeconds] -> Value

toEncodingList :: [MicroSeconds] -> Encoding

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]

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

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

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

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

Eq MicroSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

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

TimeUnit MicroSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: MicroSeconds -> NanoSeconds

fromNanos :: NanoSeconds -> MicroSeconds

Additive MicroSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: MicroSeconds

invert :: MicroSeconds -> MicroSeconds

plus :: MicroSeconds -> MicroSeconds -> MicroSeconds

minus :: MicroSeconds -> MicroSeconds -> MicroSeconds

type Rep MicroSeconds

Defined in Polysemy.Time.Data.TimeUnit

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

newtype MilliSeconds

Milliseconds.

Constructors

MilliSeconds

Fields

• unMilliSeconds :: Int64

Instances

FromJSON MilliSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser MilliSeconds

parseJSONList :: Value -> Parser [MilliSeconds]

ToJSON MilliSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: MilliSeconds -> Value

toEncoding :: MilliSeconds -> Encoding

toJSONList :: [MilliSeconds] -> Value

toEncodingList :: [MilliSeconds] -> Encoding

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]

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

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

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

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

Eq MilliSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

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

TimeUnit MilliSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: MilliSeconds -> NanoSeconds

fromNanos :: NanoSeconds -> MilliSeconds

Additive MilliSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: MilliSeconds

invert :: MilliSeconds -> MilliSeconds

plus :: MilliSeconds -> MilliSeconds -> MilliSeconds

minus :: MilliSeconds -> MilliSeconds -> MilliSeconds

type Rep MilliSeconds

Defined in Polysemy.Time.Data.TimeUnit

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

newtype Seconds

Seconds.

Constructors

Seconds

Fields

• unSeconds :: Int64

Instances

FromJSON Seconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Seconds

parseJSONList :: Value -> Parser [Seconds]

ToJSON Seconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Seconds -> Value

toEncoding :: Seconds -> Encoding

toJSONList :: [Seconds] -> Value

toEncodingList :: [Seconds] -> Encoding

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]

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

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

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

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

Eq Seconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

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

TimeUnit Seconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Seconds -> NanoSeconds

fromNanos :: NanoSeconds -> Seconds

Additive Seconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: Seconds

invert :: Seconds -> Seconds

plus :: Seconds -> Seconds -> Seconds

minus :: Seconds -> Seconds -> Seconds

type Rep Seconds

Defined in Polysemy.Time.Data.TimeUnit

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

newtype Minutes

Minutes.

Constructors

Minutes

Fields

• unMinutes :: Int64

Instances

FromJSON Minutes

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Minutes

parseJSONList :: Value -> Parser [Minutes]

ToJSON Minutes

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Minutes -> Value

toEncoding :: Minutes -> Encoding

toJSONList :: [Minutes] -> Value

toEncodingList :: [Minutes] -> Encoding

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]

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

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

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

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

Eq Minutes

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

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

TimeUnit Minutes

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Minutes -> NanoSeconds

fromNanos :: NanoSeconds -> Minutes

Additive Minutes

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: Minutes

invert :: Minutes -> Minutes

plus :: Minutes -> Minutes -> Minutes

minus :: Minutes -> Minutes -> Minutes

type Rep Minutes

Defined in Polysemy.Time.Data.TimeUnit

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

newtype Hours

Hours.

Constructors

Hours

Fields

• unHours :: Int64

Instances

FromJSON Hours

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Hours

parseJSONList :: Value -> Parser [Hours]

ToJSON Hours

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Hours -> Value

toEncoding :: Hours -> Encoding

toJSONList :: [Hours] -> Value

toEncodingList :: [Hours] -> Encoding

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]

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

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

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

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

Eq Hours

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

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

TimeUnit Hours

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Hours -> NanoSeconds

fromNanos :: NanoSeconds -> Hours

Additive Hours

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: Hours

invert :: Hours -> Hours

plus :: Hours -> Hours -> Hours

minus :: Hours -> Hours -> Hours

type Rep Hours

Defined in Polysemy.Time.Data.TimeUnit

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

newtype Days

Days.

Constructors

Days

Fields

• unDays :: Int64

Instances

FromJSON Days

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Days

parseJSONList :: Value -> Parser [Days]

ToJSON Days

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Days -> Value

toEncoding :: Days -> Encoding

toJSONList :: [Days] -> Value

toEncodingList :: [Days] -> Encoding

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]

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

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

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

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

Eq Days

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

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

TimeUnit Days

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Days -> NanoSeconds

fromNanos :: NanoSeconds -> Days

Additive Days

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: Days

invert :: Days -> Days

plus :: Days -> Days -> Days

minus :: Days -> Days -> Days

type Rep Days

Defined in Polysemy.Time.Data.TimeUnit

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

newtype Weeks

Weeks.

Constructors

Weeks

Fields

• unWeeks :: Int64

Instances

FromJSON Weeks

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Weeks

parseJSONList :: Value -> Parser [Weeks]

ToJSON Weeks

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Weeks -> Value

toEncoding :: Weeks -> Encoding

toJSONList :: [Weeks] -> Value

toEncodingList :: [Weeks] -> Encoding

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]

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

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

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

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

Eq Weeks

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

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

TimeUnit Weeks

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Weeks -> NanoSeconds

fromNanos :: NanoSeconds -> Weeks

Additive Weeks

Defined in Polysemy.Time.Data.TimeUnit

Methods

zero :: Weeks

invert :: Weeks -> Weeks

plus :: Weeks -> Weeks -> Weeks

minus :: Weeks -> Weeks -> Weeks

type Rep Weeks

Defined in Polysemy.Time.Data.TimeUnit

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

newtype Months

Months.

Constructors

Months

Fields

• unMonths :: Int64

Instances

FromJSON Months

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Months

parseJSONList :: Value -> Parser [Months]

ToJSON Months

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Months -> Value

toEncoding :: Months -> Encoding

toJSONList :: [Months] -> Value

toEncodingList :: [Months] -> Encoding

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]

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

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

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

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

Eq Months

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

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

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

newtype Years

Years.

Constructors

Years

Fields

• unYear :: Int64

Instances

FromJSON Years

Defined in Polysemy.Time.Data.TimeUnit

Methods

parseJSON :: Value -> Parser Years

parseJSONList :: Value -> Parser [Years]

ToJSON Years

Defined in Polysemy.Time.Data.TimeUnit

Methods

toJSON :: Years -> Value

toEncoding :: Years -> Encoding

toJSONList :: [Years] -> Value

toEncodingList :: [Years] -> Encoding

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]

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

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

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

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

Eq Years

Defined in Polysemy.Time.Data.TimeUnit

Methods

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

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

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

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

class TimeUnit u

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

TimeUnit Days

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Days -> NanoSeconds

fromNanos :: NanoSeconds -> Days

TimeUnit Hours

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Hours -> NanoSeconds

fromNanos :: NanoSeconds -> Hours

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 Minutes

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Minutes -> NanoSeconds

fromNanos :: NanoSeconds -> Minutes

TimeUnit NanoSeconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: NanoSeconds -> NanoSeconds

fromNanos :: NanoSeconds -> NanoSeconds

TimeUnit Seconds

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Seconds -> NanoSeconds

fromNanos :: NanoSeconds -> Seconds

TimeUnit Weeks

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: Weeks -> NanoSeconds

fromNanos :: NanoSeconds -> Weeks

TimeUnit DiffTime

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: DiffTime -> NanoSeconds

fromNanos :: NanoSeconds -> DiffTime

TimeUnit NominalDiffTime

Defined in Polysemy.Time.Data.TimeUnit

Methods

nanos :: NanoSeconds

toNanos :: NominalDiffTime -> NanoSeconds

fromNanos :: NanoSeconds -> NominalDiffTime

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

class Calendar dt where

Construct datetimes, dates or times from integers.

Associated Types

type CalendarDate dt :: Type

type CalendarTime dt :: Type

Methods

mkDate :: Int64 -> Int64 -> Int64 -> CalendarDate dt

mkTime :: Int64 -> Int64 -> Int64 -> CalendarTime dt

mkDatetime :: Int64 -> Int64 -> Int64 -> Int64 -> Int64 -> Int64 -> dt

Instances

Calendar UTCTime

Defined in Polysemy.Time.Calendar

Associated Types

type CalendarDate UTCTime

type CalendarTime UTCTime

Methods

mkDate :: Int64 -> Int64 -> Int64 -> CalendarDate UTCTime

mkTime :: Int64 -> Int64 -> Int64 -> CalendarTime UTCTime

mkDatetime :: Int64 -> Int64 -> Int64 -> Int64 -> Int64 -> Int64 -> UTCTime

class HasDay t where

Extract the day component from a date.

Methods

day :: t -> Days

Instances

HasDay Day

Defined in Polysemy.Time.Calendar

Methods

day :: Day -> Days

HasDay UTCTime

Defined in Polysemy.Time.Calendar

Methods

day :: UTCTime -> Days

class HasHour t where

Extract the hour component from a datetime or time.

Methods

hour :: t -> Hours

Instances

HasHour DiffTime

Defined in Polysemy.Time.Calendar

Methods

hour :: DiffTime -> Hours

HasHour TimeOfDay

Defined in Polysemy.Time.Calendar

Methods

hour :: TimeOfDay -> Hours

class HasMinute t where

Extract the minute component from a datetime or time.

Methods

minute :: t -> Minutes

Instances

HasMinute DiffTime

Defined in Polysemy.Time.Calendar

Methods

minute :: DiffTime -> Minutes

HasMinute TimeOfDay

Defined in Polysemy.Time.Calendar

Methods

minute :: TimeOfDay -> Minutes

class HasMonth t where

Extract the month component from a date.

Methods

month :: t -> Months

Instances

HasMonth Day

Defined in Polysemy.Time.Calendar

Methods

month :: Day -> Months

HasMonth UTCTime

Defined in Polysemy.Time.Calendar

Methods

month :: UTCTime -> Months

class HasNanoSecond t where

Extract the nanosecond component from a datetime or time.

Methods

nanoSecond :: t -> NanoSeconds

Instances

HasNanoSecond DiffTime

Defined in Polysemy.Time.Calendar

Methods

nanoSecond :: DiffTime -> NanoSeconds

HasNanoSecond TimeOfDay

Defined in Polysemy.Time.Calendar

Methods

nanoSecond :: TimeOfDay -> NanoSeconds

class HasSecond t where

Extract the second component from a datetime or time.

Methods

second :: t -> Seconds

Instances

HasSecond DiffTime

Defined in Polysemy.Time.Calendar

Methods

second :: DiffTime -> Seconds

HasSecond TimeOfDay

Defined in Polysemy.Time.Calendar

Methods

second :: TimeOfDay -> Seconds

class HasYear t where

Extract the year component from a date.

Methods

year :: t -> Years

Instances

HasYear Day

Defined in Polysemy.Time.Calendar

Methods

year :: Day -> Years

HasYear UTCTime

Defined in Polysemy.Time.Calendar

Methods

year :: UTCTime -> Years

Combinators

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

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. Member (Time t d) r => TimeUnit u => u -> Sem r Bool -> Sem r ()

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

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

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. Member (Time t d) r => TimeUnit u => u -> a -> (a -> Sem r a) -> Sem r ()

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. Member (Time t d) r => TimeUnit u => u -> Sem r () -> Sem r ()

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

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

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

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