Data.Dates.Parsing

Parse strings that aren't so precise

Documentation

data Config

Constructors

Config

Which day of the week to consider the start day

Fields

• _now :: DateTime

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

• _startOfWeekDay :: WeekDay

data DateTime :: *

Date and Time

Constructors

DateTime

Fields

• dtDate :: Date
• dtTime :: TimeOfDay

Instances

Eq DateTime

Methods

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

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

Data DateTime

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

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

Read DateTime

Methods

readsPrec :: Int -> ReadS DateTime

readList :: ReadS [DateTime]

readPrec :: ReadPrec DateTime

readListPrec :: ReadPrec [DateTime]

Show DateTime

Methods

showsPrec :: Int -> DateTime -> ShowS

show :: DateTime -> String

showList :: [DateTime] -> ShowS

NFData DateTime

Methods

rnf :: DateTime -> ()

Timeable DateTime

Methods

timeGetElapsedP :: DateTime -> ElapsedP

timeGetElapsed :: DateTime -> Elapsed

timeGetNanoSeconds :: DateTime -> NanoSeconds

Time DateTime

Methods

timeFromElapsedP :: ElapsedP -> DateTime

timeFromElapsed :: Elapsed -> DateTime

data DateInterval

Constructors

Days Int

Weeks Int

Months Int

Years Int

Instances

Eq DateInterval

Methods

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

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

Data DateInterval

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

Methods

showsPrec :: Int -> DateInterval -> ShowS

show :: DateInterval -> String

showList :: [DateInterval] -> ShowS

class Timeable t => Time t where

Represent time types that can be created from other time types.

Every conversion happens throught ElapsedP or Elapsed types.

Minimal complete definition

timeFromElapsedP

Methods

timeFromElapsedP :: ElapsedP -> t

convert from a number of elapsed seconds and nanoseconds to another time representation

timeFromElapsed :: Elapsed -> t

convert from a number of elapsed seconds and nanoseconds to another time representation

defaults to timeFromElapsedP unless defined explicitely by an instance.

Instances

Time CTime

Methods

timeFromElapsedP :: ElapsedP -> CTime

timeFromElapsed :: Elapsed -> CTime

Time Elapsed

Methods

timeFromElapsedP :: ElapsedP -> Elapsed

timeFromElapsed :: Elapsed -> Elapsed

Time ElapsedP

Methods

timeFromElapsedP :: ElapsedP -> ElapsedP

timeFromElapsed :: Elapsed -> ElapsedP

Time Date

Methods

timeFromElapsedP :: ElapsedP -> Date

timeFromElapsed :: Elapsed -> Date

Time DateTime

Methods

timeFromElapsedP :: ElapsedP -> DateTime

timeFromElapsed :: Elapsed -> DateTime

defaultConfig :: DateTime -> Config

defaultConfigIO :: IO Config

parseDate

Arguments

:: Config

-> String

String to parse

-> Either ParseError Date

Parse date/time

parseDateTime

Arguments

:: Config

-> String

String to parse

-> Either ParseError DateTime

Parse date/time

pAbsDateTime :: Stream s m Char => Int -> ParsecT s st m DateTime

pAbsDate :: Stream s m Char => Int -> ParsecT s st m Date

pDate :: Stream s m Char => Config -> ParsecT s st m Date

Parsec parser for Date only.

pDateTime :: Stream s m Char => Config -> ParsecT s st m DateTime

Parsec parser for DateTime.

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

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

weekdayToInterval :: Config -> WeekDay -> DateInterval

Weekday as interval from the configure start of the week

dateWeekDay :: DateTime -> WeekDay

Get weekday of given date.

getStartOfThisWeek :: Config -> DateTime

getStartOfNextWeek :: Config -> DateTime

lastDate :: Stream s m Char => Config -> ParsecT s st m DateTime

nextDate :: Stream s m Char => Config -> ParsecT s st m DateTime

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.

dateInFormat :: Stream s m Char => Int -> DateFormat -> ParsecT s st m Date

extractDates :: String -> IO [Date]

Same as extractDatesY, but will get the current year from the system, so you don't have to provide it.

extractDatesY :: Int -> String -> [Date]

Extract dates from a string, with the first argument being the current year (used for things like "Jan 18").

>>> extractDatesY 2018 "The party will be on 6/9"
[Date 2018 June 9]

extract :: Stream s m Char => ParsecT s st m a -> ParsecT s st m [a]