{-# OPTIONS_GHC -Wno-orphans #-} {-# LANGUAGE RecordWildCards #-} module Data.Validity.Time.Format where import Data.Validity import Data.Time.Format import Data.Validity.Time.LocalTime () -- | 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 ]