Data.Foscam.File.Date

Documentation

data Date

Constructors

Date Digit Digit Digit Digit Digit Digit Digit Digit

Instances

Eq Date

Ord Date

Show Date

AsDate p f Date

class AsDate p f s where

Minimal complete definition

Nothing

Methods

_Date :: Optic' p f s Date

Instances

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

AsDate p f Date

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

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