git.iko.soy/typeable/openapi3
on master help sign in
Use date-time format for ZonedTime (#20)
1357ab9Maxim Koltsov
src/Data/OpenApi/Internal/ParamSchema.hs+2−2
compare with master
unifiedsplit
@@ -216,9 +216,9 @@ instance ToParamSchema LocalTime where
216
216
217-- |
217-- |
218-- >>> toParamSchema (Proxy :: Proxy ZonedTime) ^. format
218-- >>> toParamSchema (Proxy :: Proxy ZonedTime) ^. format
219−-- Just "yyyy-mm-ddThh:MM:ss+hhMM"
219+-- Just "date-time"
220instance ToParamSchema ZonedTime where
220instance ToParamSchema ZonedTime where
221− toParamSchema _ = timeParamSchema "yyyy-mm-ddThh:MM:ss+hhMM"
221+ toParamSchema _ = timeParamSchema "date-time"
222
222
223-- |
223-- |
224-- >>> toParamSchema (Proxy :: Proxy UTCTime) ^. format
224-- >>> toParamSchema (Proxy :: Proxy UTCTime) ^. format
src/Data/OpenApi/Internal/Schema.hs+1−1
@@ -657,7 +657,7 @@ instance ToSchema LocalTime where
657 declareNamedSchema _ = pure $ named "LocalTime" $ timeSchema "yyyy-mm-ddThh:MM:ss"
657 declareNamedSchema _ = pure $ named "LocalTime" $ timeSchema "yyyy-mm-ddThh:MM:ss"
658 & example ?~ toJSON (LocalTime (fromGregorian 2016 7 22) (TimeOfDay 7 40 0))
658 & example ?~ toJSON (LocalTime (fromGregorian 2016 7 22) (TimeOfDay 7 40 0))
659
659
660−-- | Format @"date"@ corresponds to @yyyy-mm-ddThh:MM:ss(Z|+hh:MM)@ format.
660+-- | Format @"date-time"@ corresponds to @yyyy-mm-ddThh:MM:ss(Z|+hh:MM)@ format.
661instance ToSchema ZonedTime where
661instance ToSchema ZonedTime where
662 declareNamedSchema _ = pure $ named "ZonedTime" $ timeSchema "date-time"
662 declareNamedSchema _ = pure $ named "ZonedTime" $ timeSchema "date-time"
663 & example ?~ toJSON (ZonedTime (LocalTime (fromGregorian 2016 7 22) (TimeOfDay 7 40 0)) (hoursToTimeZone 3))
663 & example ?~ toJSON (ZonedTime (LocalTime (fromGregorian 2016 7 22) (TimeOfDay 7 40 0)) (hoursToTimeZone 3))