Data.Dates

Operations with dates

Documentation

data DateTime

Date / Time

Constructors

DateTime

Fields

• year :: Int
• month :: Int
• day :: Int
• hour :: Int
• minute :: Int
• second :: Int

Instances

Eq DateTime

Defined in Data.Dates.Types

Methods

(==) :: DateTime -> DateTime -> Bool

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

Data DateTime

Defined in Data.Dates.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DateTime -> c DateTime

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DateTime

toConstr :: DateTime -> Constr

dataTypeOf :: DateTime -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DateTime)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DateTime)

gmapT :: (forall b. Data b => b -> b) -> DateTime -> DateTime

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DateTime -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DateTime -> r

gmapQ :: (forall d. Data d => d -> u) -> DateTime -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DateTime -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DateTime -> m DateTime

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DateTime -> m DateTime

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DateTime -> m DateTime

Ord DateTime

Defined in Data.Dates.Types

Methods

compare :: DateTime -> DateTime -> Ordering

(<) :: DateTime -> DateTime -> Bool

(<=) :: DateTime -> DateTime -> Bool

(>) :: DateTime -> DateTime -> Bool

(>=) :: DateTime -> DateTime -> Bool

max :: DateTime -> DateTime -> DateTime

min :: DateTime -> DateTime -> DateTime

Show DateTime

Defined in Data.Dates.Types

Methods

showsPrec :: Int -> DateTime -> ShowS

show :: DateTime -> String

showList :: [DateTime] -> ShowS

Semigroup DateTime

Defined in Data.Dates.Types

Methods

(<>) :: DateTime -> DateTime -> DateTime

sconcat :: NonEmpty DateTime -> DateTime

stimes :: Integral b => b -> DateTime -> DateTime

Monoid DateTime

Defined in Data.Dates.Types

Methods

mempty :: DateTime

mappend :: DateTime -> DateTime -> DateTime

mconcat :: [DateTime] -> DateTime

data Time

Only time, without date

Constructors

Time

Fields

• tHour :: Int
• tMinute :: Int
• tSecond :: Int

Instances

Eq Time

Defined in Data.Dates.Types

Methods

(==) :: Time -> Time -> Bool

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

Data Time

Defined in Data.Dates.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Time -> c Time

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Time

toConstr :: Time -> Constr

dataTypeOf :: Time -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Time)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Time)

gmapT :: (forall b. Data b => b -> b) -> Time -> Time

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Time -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Time -> r

gmapQ :: (forall d. Data d => d -> u) -> Time -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Time -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Time -> m Time

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Time -> m Time

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Time -> m Time

Ord Time

Defined in Data.Dates.Types

Methods

compare :: Time -> Time -> Ordering

(<) :: Time -> Time -> Bool

(<=) :: Time -> Time -> Bool

(>) :: Time -> Time -> Bool

(>=) :: Time -> Time -> Bool

max :: Time -> Time -> Time

min :: Time -> Time -> Time

Show Time

Defined in Data.Dates.Types

Methods

showsPrec :: Int -> Time -> ShowS

show :: Time -> String

showList :: [Time] -> ShowS

data WeekDay

Constructors

Monday

Tuesday

Wednesday

Thursday

Friday

Saturday

Sunday

Instances

Bounded WeekDay

Defined in Data.Dates

Methods

minBound :: WeekDay

maxBound :: WeekDay

Enum WeekDay

Defined in Data.Dates

Methods

succ :: WeekDay -> WeekDay

pred :: WeekDay -> WeekDay

toEnum :: Int -> WeekDay

fromEnum :: WeekDay -> Int

enumFrom :: WeekDay -> [WeekDay]

enumFromThen :: WeekDay -> WeekDay -> [WeekDay]

enumFromTo :: WeekDay -> WeekDay -> [WeekDay]

enumFromThenTo :: WeekDay -> WeekDay -> WeekDay -> [WeekDay]

Eq WeekDay

Defined in Data.Dates

Methods

(==) :: WeekDay -> WeekDay -> Bool

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

Data WeekDay

Defined in Data.Dates

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WeekDay -> c WeekDay

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c WeekDay

toConstr :: WeekDay -> Constr

dataTypeOf :: WeekDay -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c WeekDay)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c WeekDay)

gmapT :: (forall b. Data b => b -> b) -> WeekDay -> WeekDay

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WeekDay -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WeekDay -> r

gmapQ :: (forall d. Data d => d -> u) -> WeekDay -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> WeekDay -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> WeekDay -> m WeekDay

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WeekDay -> m WeekDay

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WeekDay -> m WeekDay

Ord WeekDay

Defined in Data.Dates

Methods

compare :: WeekDay -> WeekDay -> Ordering

(<) :: WeekDay -> WeekDay -> Bool

(<=) :: WeekDay -> WeekDay -> Bool

(>) :: WeekDay -> WeekDay -> Bool

(>=) :: WeekDay -> WeekDay -> Bool

max :: WeekDay -> WeekDay -> WeekDay

min :: WeekDay -> WeekDay -> WeekDay

Read WeekDay

Defined in Data.Dates

Methods

readsPrec :: Int -> ReadS WeekDay

readList :: ReadS [WeekDay]

readPrec :: ReadPrec WeekDay

readListPrec :: ReadPrec [WeekDay]

Show WeekDay

Defined in Data.Dates

Methods

showsPrec :: Int -> WeekDay -> ShowS

show :: WeekDay -> String

showList :: [WeekDay] -> ShowS

parseDate

Arguments

:: DateTime

Current date / time, to use as base for relative dates

-> String

String to parse

-> Either ParseError DateTime

Parse date

parseDateTime

Arguments

:: DateTime

Current date / time, to use as base for relative dates

-> String

String to parse

-> Either ParseError DateTime

Parse date and time

pDate

Arguments

:: Stream s m Char

=> DateTime

Current date / time, to use as base for relative dates

-> ParsecT s st m DateTime

Parsec parser for Date only.

pDateTime

Arguments

:: Stream s m Char

=> DateTime

Current date / time, to use as base for relative dates

-> ParsecT s st m DateTime

Parsec parser for DateTime.

pTime :: Stream s m Char => ParsecT s st m Time

pDateInterval :: Stream s m Char => ParsecT s st m DateInterval

getCurrentDateTime :: IO DateTime

Get current date and time.

tryRead :: (Read a, Stream s m Char) => String -> ParsecT s st m a

Parser version of Prelude.read

tryReadInt :: (Stream s m Char, Num a) => String -> ParsecT s st m a

data DateIntervalType

Constructors

Day

Week

Month

Year

Instances

Eq DateIntervalType

Defined in Data.Dates

Methods

(==) :: DateIntervalType -> DateIntervalType -> Bool

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

Data DateIntervalType

Defined in Data.Dates

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DateIntervalType -> c DateIntervalType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DateIntervalType

toConstr :: DateIntervalType -> Constr

dataTypeOf :: DateIntervalType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DateIntervalType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DateIntervalType)

gmapT :: (forall b. Data b => b -> b) -> DateIntervalType -> DateIntervalType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DateIntervalType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DateIntervalType -> r

gmapQ :: (forall d. Data d => d -> u) -> DateIntervalType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DateIntervalType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DateIntervalType -> m DateIntervalType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DateIntervalType -> m DateIntervalType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DateIntervalType -> m DateIntervalType

Read DateIntervalType

Defined in Data.Dates

Methods

readsPrec :: Int -> ReadS DateIntervalType

readList :: ReadS [DateIntervalType]

readPrec :: ReadPrec DateIntervalType

readListPrec :: ReadPrec [DateIntervalType]

Show DateIntervalType

Defined in Data.Dates

Methods

showsPrec :: Int -> DateIntervalType -> ShowS

show :: DateIntervalType -> String

showList :: [DateIntervalType] -> ShowS

data DateInterval

Constructors

Days ℤ

Weeks ℤ

Months ℤ

Years ℤ

Instances

Eq DateInterval

Defined in Data.Dates

Methods

(==) :: DateInterval -> DateInterval -> Bool

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

Data DateInterval

Defined in Data.Dates

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DateInterval -> c DateInterval

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DateInterval

toConstr :: DateInterval -> Constr

dataTypeOf :: DateInterval -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DateInterval)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DateInterval)

gmapT :: (forall b. Data b => b -> b) -> DateInterval -> DateInterval

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DateInterval -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DateInterval -> r

gmapQ :: (forall d. Data d => d -> u) -> DateInterval -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DateInterval -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DateInterval -> m DateInterval

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DateInterval -> m DateInterval

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DateInterval -> m DateInterval

Show DateInterval

Defined in Data.Dates

Methods

showsPrec :: Int -> DateInterval -> ShowS

show :: DateInterval -> String

showList :: [DateInterval] -> ShowS

dayToDateTime :: Day -> DateTime

Convert date from Day to DateTime

dateTimeToDay :: DateTime -> Day

Convert date from DateTime to Day

weekdayToInterval :: WeekDay -> DateInterval

Weekday as interval from Monday, so that weekdayToInterval Monday == 0 and weekdayToInterval Sunday == 6.

weekdayNumber :: WeekDay -> Int

Number of weekday, with Monday == 1 and Sunday == 7.

intToWeekday :: Int -> WeekDay

Reverse for weekdayNumber

dateWeekDay :: DateTime -> WeekDay

Get weekday of given date.

lastMonday :: DateTime -> DateTime

nextMonday :: DateTime -> DateTime

modifyDate :: (t -> Day -> Day) -> t -> DateTime -> DateTime

Modify DateTime with pure function on Day

datesDifference :: DateTime -> DateTime -> Integer

Number of days between two dates

addInterval :: DateTime -> DateInterval -> DateTime

Add date interval to DateTime

negateInterval :: DateInterval -> DateInterval

Negate DateInterval value: Days 3 → Days (-3).

minusInterval :: DateTime -> DateInterval -> DateTime

Subtract DateInterval from DateTime.

addTime :: DateTime -> Time -> DateTime