Data.Foscam.File.Date

Documentation

data Date

Constructors

Date Digit Digit Digit Digit Digit Digit Digit Digit

Instances

Eq Date

Methods

(==) :: Date -> Date -> Bool

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

Ord Date

Methods

compare :: Date -> Date -> Ordering

(<) :: Date -> Date -> Bool

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

(>) :: Date -> Date -> Bool

(>=) :: Date -> Date -> Bool

max :: Date -> Date -> Date

min :: Date -> Date -> Date

Show Date

Methods

showsPrec :: Int -> Date -> ShowS

show :: Date -> String

showList :: [Date] -> ShowS

AsDate p f Date

Methods

_Date :: Optic' * * p f Date Date

class AsDate p f s where

Methods

_Date :: Optic' p f s Date

Instances

(Choice p, Applicative f) => AsDate p f String

Methods

_Date :: Optic' * * p f String Date

AsDate p f Date

Methods

_Date :: Optic' * * p f Date Date

((~) (* -> * -> *) p (->), Functor f) => AsDate p f Filename

Methods

_Date :: Optic' * * p f Filename Date

date :: (Monad f, CharParsing f) => f Date

>>> parse date "test" "20140508"
Right (Date 2 0 1 4 0 5 0 8)

>>> parse date "test" "20140508abc"
Right (Date 2 0 1 4 0 5 0 8)

>>> parse date "test" "201405"
Left "test" (line 1, column 7):
unexpected end of input
expecting digit

>>> parse date "test" "201405a9"
Left "test" (line 1, column 8):
not a digit: a

>>> parse date "test" ""
Left "test" (line 1, column 1):
unexpected end of input
expecting date