Constructors
CurrentTime :: Time a UTCTimeMonotonicTime :: Time a Double
Instances1DispatchOf
type DispatchOf Time = 'DynamicDefined in monad-time-effectful-1.0.1.0 · Effectful.Time
Modulemonad-time-effectful-1.0.1.0Haskell2010
Effectful.Time
Time measurement via MonadTime.
Synopsis
- data Time
- class MonadTime
- value runTime
- value runFrozenTime
- value runFixedStepTime
- Packagemonad-time-effectful-1.0.1.0
- Exports5
- LanguageHaskell2010
- LicenceMIT
- SourceTime.hs
Effect
Class of monads which make it possible to measure time.
Methods
currentTime :: m UTCTimemonotonicTime :: m Double
Instances3MonadTime
MonadTime IODefined in monad-time-0.4.0.0 · Control.Monad.TimeBase instance for IO.
Time :> es => MonadTime (Eff es)Defined in monad-time-effectful-1.0.1.0 · Effectful.Time · orphan(MonadTime m, MonadTrans t, Monad (t m)) => MonadTime (t m)Defined in monad-time-0.4.0.0 · Control.Monad.TimeGeneric, overlapping instance.
Handlers
Run a Time effect with a frozen value of the CurrentTime operation.
Note: the MonotonicTime operation works the same way as in runTime.
Run the Time effect with a given starting time; time advances by a fixed increment for every invocation of the CurrentTime operation. A negative increment will make the clock run backwards.
Note: the MonotonicTime operation works the same way as in runTime.