Safe Haskell	Safe
Language	Haskell2010

Data.Icao.Time

Contents

Description

Provides data types and functions pertaining to time, duration and dates in accordance with the ICAO 4444 edition 2016 standard.

Synopsis

Data

Hhmm represents a time or duration expressed with hours and minutes only in the range 0000 .. 2359.

Instances

Eq Hhmm Source #
Methods (==) :: Hhmm -> Hhmm -> Bool # (/=) :: Hhmm -> Hhmm -> Bool #
Show Hhmm Source #
Methods showsPrec :: Int -> Hhmm -> ShowS # show :: Hhmm -> String # showList :: [Hhmm] -> ShowS #

day and time.

Instances

Eq DayTime Source #
Methods (==) :: DayTime -> DayTime -> Bool # (/=) :: DayTime -> DayTime -> Bool #
Show DayTime Source #
Methods showsPrec :: Int -> DayTime -> ShowS # show :: DayTime -> String # showList :: [DayTime] -> ShowS #

Date represents a date expressed zith year, month and day.

Instances

Eq Date Source #
Methods (==) :: Date -> Date -> Bool # (/=) :: Date -> Date -> Bool #
Show Date Source #
Methods showsPrec :: Int -> Date -> ShowS # show :: Date -> String # showList :: [Date] -> ShowS #

Parsers

Hhmm parser.

Date parser.

DayTime parser.

Parses the given textual representation of a Hhmm. return either an Error (Left) or the parsed Hhmm (Right).

Parses the given textual representation of a Date. return either an Error (Left) or the parsed Date (Right).

Parses the given textual representation of a DayTime. return either an Error (Left) or the parsed DayTime (Right).

Hhmm smart constructor. Fails if given hour and/or minute are not valid.

Date smart constructor. Fails if given year andor month andor day are not valid.

DayTime smart constructor. Fails if given day andor hour andor minute are not valid.