Safe Haskell	None
Language	Haskell2010

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

data Time (time :: Type) (date :: Type) :: Effect where
- Now :: Time t d m t
- Today :: Time t d m d
- Sleep :: TimeUnit u => u -> Time t d m ()
- SetTime :: t -> Time t d m ()
- Adjust :: AddTimeUnit t u1 u2 => u1 -> Time t d m ()
- SetDate :: d -> Time t d m ()
now :: forall t d r. MemberWithError (Time t d) r => Sem r t
today :: forall t d r. MemberWithError (Time t d) r => Sem r d
sleep :: forall t d r u. (MemberWithError (Time t d) r, TimeUnit u) => u -> Sem r ()
setTime :: forall t d r. MemberWithError (Time t d) r => t -> Sem r ()
adjust :: forall t d r u1 u2. (MemberWithError (Time t d) r, AddTimeUnit t u1 u2) => u1 -> Sem r ()
setDate :: forall t d r. MemberWithError (Time t d) r => d -> Sem r ()
type GhcTime = Time UTCTime Day
interpretTimeGhc :: Member (Embed IO) r => InterpreterFor GhcTime r
interpretTimeGhcAt :: Member (Embed IO) r => UTCTime -> InterpreterFor GhcTime r
interpretTimeGhcConstant :: Member (Embed IO) r => UTCTime -> InterpreterFor GhcTime r
interpretTimeGhcConstantNow :: Member (Embed IO) r => InterpreterFor GhcTime r
newtype NanoSeconds = NanoSeconds {
- unNanoSeconds :: Int64
}
newtype MicroSeconds = MicroSeconds {
- unMicroSeconds :: Int64
}
newtype MilliSeconds = MilliSeconds {
- unMilliSeconds :: Int64
}
newtype Seconds = Seconds {
- unSeconds :: Int64
}
newtype Minutes = Minutes {
- unMinutes :: Int64
}
newtype Hours = Hours {
- unHours :: Int64
}
newtype Days = Days {
- unDays :: Int64
}
newtype Weeks = Weeks {
- unWeeks :: Int64
}
newtype Months = Months {
- unMonths :: Int64
}
newtype Years = Years {
- unYear :: Int64
}
class TimeUnit u
convert :: TimeUnit a => TimeUnit b => a -> b
class Calendar dt where
- type CalendarDate dt :: Type
- type CalendarTime dt :: Type
- mkDate :: Int64 -> Int64 -> Int64 -> CalendarDate dt
- mkTime :: Int64 -> Int64 -> Int64 -> CalendarTime dt
- mkDatetime :: Int64 -> Int64 -> Int64 -> Int64 -> Int64 -> Int64 -> dt
class HasNanoSecond t where
- nanoSecond :: t -> NanoSeconds
class HasSecond t where
- second :: t -> Seconds
class HasMinute t where
- minute :: t -> Minutes
class HasHour t where
- hour :: t -> Hours
class HasDay t where
- day :: t -> Days
class HasMonth t where
- month :: t -> Months
class HasYear t where
- year :: t -> Years
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)
while :: forall t d u r. Member (Time t d) r => TimeUnit u => u -> Sem r Bool -> Sem r ()
loop :: forall t d u a r. Member (Time t d) r => TimeUnit u => u -> a -> (a -> Sem r a) -> Sem r ()
loop_ :: forall t d u r. Member (Time t d) r => TimeUnit u => u -> Sem r () -> Sem r ()

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

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 :: AddTimeUnit t u1 u2 => 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.

Instances

Instances details

type DefiningModule Time Source #
Instance details Defined in Polysemy.Time.Data.Time type DefiningModule Time = "Polysemy.Time.Data.Time"

now :: forall t d r. MemberWithError (Time t d) r => Sem r t Source #

today :: forall t d r. MemberWithError (Time t d) r => Sem r d Source #

sleep :: forall t d r u. (MemberWithError (Time t d) r, TimeUnit u) => u -> Sem r () Source #

setTime :: forall t d r. MemberWithError (Time t d) r => t -> Sem r () Source #

adjust :: forall t d r u1 u2. (MemberWithError (Time t d) r, AddTimeUnit t u1 u2) => u1 -> Sem r () Source #

setDate :: forall t d r. MemberWithError (Time t d) r => d -> Sem r () Source #

type GhcTime = Time UTCTime Day Source #

Convenience alias for Time.

Interpreters

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

Interpret Time with the types from Time.

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

Interpret Time with the types from Time, customizing the current time to be constant.

interpretTimeGhcConstantNow :: 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.

Data types

newtype NanoSeconds Source #

Constructors

NanoSeconds
Fields unNanoSeconds :: Int64

Instances

Instances details

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

newtype MicroSeconds Source #

Constructors

MicroSeconds
Fields unMicroSeconds :: Int64

Instances

Instances details

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

newtype MilliSeconds Source #

Constructors

MilliSeconds
Fields unMilliSeconds :: Int64

Instances

Instances details

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

newtype Seconds Source #

Constructors

Seconds
Fields unSeconds :: Int64

Instances

Instances details

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

newtype Minutes Source #

Constructors

Minutes
Fields unMinutes :: Int64

Instances

Instances details

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

newtype Hours Source #

Constructors

Hours
Fields unHours :: Int64

Instances

Instances details

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

newtype Days Source #

Constructors

Days
Fields unDays :: Int64

Instances

Instances details

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

newtype Weeks Source #

Constructors

Weeks
Fields unWeeks :: Int64

Instances

Instances details

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

newtype Months Source #

Constructors

Months
Fields unMonths :: Int64

Instances

Instances details

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

newtype Years Source #

Constructors

Years
Fields unYear :: Int64

Instances

Instances details

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

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

type CalendarTime dt :: Type 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 Source # type CalendarTime UTCTime Source # 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 HasNanoSecond t where Source #

Extract the nanosecond component from a datetime or time.

Methods

nanoSecond :: t -> NanoSeconds Source #

Instances

Instances details

HasNanoSecond TimeOfDay Source #
Instance details Defined in Polysemy.Time.Calendar Methods nanoSecond :: TimeOfDay -> NanoSeconds Source #
HasNanoSecond DiffTime Source #
Instance details Defined in Polysemy.Time.Calendar Methods nanoSecond :: DiffTime -> 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 TimeOfDay Source #
Instance details Defined in Polysemy.Time.Calendar Methods second :: TimeOfDay -> Seconds Source #
HasSecond DiffTime Source #
Instance details Defined in Polysemy.Time.Calendar Methods second :: DiffTime -> Seconds Source #

class HasMinute t where Source #

Extract the minute component from a datetime or time.

Methods

minute :: t -> Minutes Source #

Instances

Instances details

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

class HasHour t where Source #

Extract the hour component from a datetime or time.

Methods

hour :: t -> Hours Source #

Instances

Instances details

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

class HasDay t where Source #

Extract the day component from a date.

Methods

day :: t -> Days Source #

Instances

Instances details

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

class HasMonth t where Source #

Extract the month component from a date.

Methods

month :: t -> Months Source #

Instances

Instances details

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

class HasYear t where Source #

Extract the year component from a date.

Methods

year :: t -> Years Source #

Instances

Instances details

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

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) 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. 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.

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

Repeatedly run the action, sleeping for interval between executions.