| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Control.Monad.TimeMachine.Cockpit
Contents
- the :: UTCTime -> Destination
- future :: UTCTime
- type Hour = Int
- type Minute = Int
- type DayOfMonth = Int
- type Month = Int
- type Year = Integer
- data HalfDay
- am :: HalfDay
- pm :: HalfDay
- jan :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination
- feb :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination
- mar :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination
- apr :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination
- may :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination
- jun :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination
- jul :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination
- aug :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination
- sep :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination
- oct :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination
- nov :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination
- dec :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination
- minutes :: Integer -> Direction -> Destination
- hours :: Integer -> Direction -> Destination
- days :: Integer -> Direction -> Destination
- weeks :: Integer -> Direction -> Destination
- months :: Integer -> Direction -> Destination
- years :: Integer -> Direction -> Destination
- data Direction
- later :: Direction
- ago :: Direction
- tomorrow :: Destination
- yesterday :: Destination
- at :: NominalDiffTime -> TimeScaleUnit -> Acceleration
- data TimeScaleUnit
- secondsPerSec :: TimeScaleUnit
- minutesPerSec :: TimeScaleUnit
- hoursPerSec :: TimeScaleUnit
- daysPerSec :: TimeScaleUnit
- x :: NominalDiffTime -> Acceleration
Destinations
Absolute Destinations
Zoned Destinations
type DayOfMonth = Int Source #
A piese of the DSL to construct Zoned destinations.
jan :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination Source #
A piese of the DSL to construct Zoned destinations.
If the arguments are in the invalid ranges like jan 32 1970 am 12 60,
they will be clipped as jan 31 1970 am 11 59.
feb :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination Source #
mar :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination Source #
apr :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination Source #
may :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination Source #
jun :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination Source #
jul :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination Source #
aug :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination Source #
sep :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination Source #
oct :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination Source #
nov :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination Source #
dec :: DayOfMonth -> Year -> HalfDay -> Hour -> Minute -> Destination Source #
Reletive Destinations
minutes :: Integer -> Direction -> Destination Source #
A piese of the DSL to construct Relative destinations,
which represents an unit of the interval.
A piese of the DSL to construct Relative destinations.
It represents the direction of a time travel,
namely which of going forward or back.
tomorrow :: Destination Source #
An alias of 1 .days later
yesterday :: Destination Source #
An alias of 1 .days ago
Acceleration
Absolute Acceleration
at :: NominalDiffTime -> TimeScaleUnit -> Acceleration Source #
A piese of the DSL to construct Velocity acceleration.
data TimeScaleUnit Source #
A piese of the DSL to construct Velocity acceleration.
It represents how long it spends within the real one seconds.
Instances
Relative Acceleration
x :: NominalDiffTime -> Acceleration Source #
A piese of the DSL to construct Factor acceleration.
For example x 60 makes the current speed of time x60 faster.