validity-time-0.1.0.0: src/Data/Validity/Time/Format.hs
{-# LANGUAGE CPP #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
#if MIN_VERSION_time(1,5,0)
{-# LANGUAGE RecordWildCards #-}
#endif
module Data.Validity.Time.Format where
import Data.Validity
import Data.Time.Format
import Data.Validity.Time.LocalTime ()
#if MIN_VERSION_time(1,5,0)
-- | Valid according to the contained values
instance Validity TimeLocale where
isValid TimeLocale {..} =
and
[ isValid wDays
, isValid months
, isValid amPm
, isValid dateTimeFmt
, isValid dateFmt
, isValid timeFmt
, isValid time12Fmt
, isValid knownTimeZones
]
validate TimeLocale {..} =
mconcat
[ wDays <?!> "wDays"
, months <?!> "months"
, amPm <?!> "amPm"
, dateTimeFmt <?!> "dateTimeFmt"
, dateFmt <?!> "dateFmt"
, timeFmt <?!> "timeFmt"
, time12Fmt <?!> "time12Fmt"
, knownTimeZones <?!> "knownTimeZones"
]
#endif