Data.Foscam.File.Time

Documentation

data Time

Constructors

Time Digit Digit Digit Digit Digit Digit

Instances

Eq Time

Methods

(==) :: Time -> Time -> Bool

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

Ord Time

Methods

compare :: Time -> Time -> Ordering

(<) :: Time -> Time -> Bool

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

(>) :: Time -> Time -> Bool

(>=) :: Time -> Time -> Bool

max :: Time -> Time -> Time

min :: Time -> Time -> Time

Show Time

Methods

showsPrec :: Int -> Time -> ShowS

show :: Time -> String

showList :: [Time] -> ShowS

AsTime p f Time

Methods

_Time :: Optic' * * p f Time Time

class AsTime p f s where

Methods

_Time :: Optic' p f s Time

Instances

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

Methods

_Time :: Optic' * * p f String Time

AsTime p f Time

Methods

_Time :: Optic' * * p f Time Time

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

Methods

_Time :: Optic' * * p f Filename Time

time :: (Monad f, CharParsing f) => f Time

>>> parse time "test" "134122"
Right (Time 1 3 4 1 2 2)

>>> parse time "test" "134122abc"
Right (Time 1 3 4 1 2 2)

>>> parse time "test" "1341"
Left "test" (line 1, column 5):
unexpected end of input
expecting digit