Polysemy.Time.Data.Time

Time effect, Internal

Documentation

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

type DefiningModule Time

Defined in Polysemy.Time.Data.Time

type DefiningModule Time = "Polysemy.Time.Data.Time"

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.