Ledger.Dates

Types for Dates and DateTimes, implemented in terms of UTCTime

Documentation

newtype Date

Constructors

Date UTCTime

Instances

Eq Date

Ord Date

Show Date

newtype DateTime

Constructors

DateTime UTCTime

Instances

Eq DateTime

Ord DateTime

Show DateTime

mkDate :: Day -> Date

mkDateTime :: Day -> TimeOfDay -> DateTime

parsedatetime :: String -> DateTime

Parse a date-time string to a time type, or raise an error.

parsedate :: String -> Date

Parse a date string to a time type, or raise an error.

parsetimewith :: ParseTime t => String -> String -> t -> t

Parse a time string to a time type using the provided pattern, or return the default.

datetimeToDate :: DateTime -> Date

elapsedSeconds :: Fractional a => DateTime -> DateTime -> a

today :: IO Date

dateToUTC :: Date -> UTCTime

dateComponents :: Date -> (Integer, Int, Int)