@@ -1,70 +1,86 @@
1−{-# LANGUAGE CPP #-}
1+{-# LANGUAGE CPP #-}
2−{-# LANGUAGE DefaultSignatures #-}
2+{-# LANGUAGE DefaultSignatures #-}
3−{-# LANGUAGE DeriveDataTypeable #-}
3+{-# LANGUAGE DeriveDataTypeable #-}
4−{-# LANGUAGE DeriveFunctor #-}
5−{-# LANGUAGE DeriveFoldable #-}
4+{-# LANGUAGE DeriveFoldable #-}
5+{-# LANGUAGE DeriveFunctor #-}
6−{-# LANGUAGE DeriveTraversable #-}
6+{-# LANGUAGE DeriveTraversable #-}
7−{-# LANGUAGE FlexibleInstances #-}
7+{-# LANGUAGE FlexibleInstances #-}
8+{-# LANGUAGE KindSignatures #-}
8−{-# LANGUAGE OverloadedStrings #-}
9+{-# LANGUAGE OverloadedStrings #-}
10+{-# LANGUAGE PolyKinds #-}
9−{-# LANGUAGE ScopedTypeVariables #-}
11+{-# LANGUAGE ScopedTypeVariables #-}
10{-# LANGUAGE TypeSynonymInstances #-}
12{-# LANGUAGE TypeSynonymInstances #-}
12-- Convert Haskell values to and from HTTP API data
14-- Convert Haskell values to and from HTTP API data
13-- such as URL pieces, headers and query parameters.
15-- such as URL pieces, headers and query parameters.
14module Web.Internal.HttpApiData where
16module Web.Internal.HttpApiData where
16−#if __GLASGOW_HASKELL__ < 710
18+import Prelude ()
17−import Control.Applicative
21+import Control.Applicative (Const(Const))
18−import Data.Foldable (Foldable)
19−import Data.Traversable (Traversable(traverse))
22−import Control.Arrow ((&&&), left)
22+import Control.Arrow (left, (&&&))
23−import Control.Monad ((<=<))
23+import Control.Monad ((<=<))
24−
24+import qualified Data.Attoparsec.Text as Atto
25+import qualified Data.Attoparsec.Time as Atto
26+import Data.ByteString (ByteString)
27+import qualified Data.ByteString as BS
28+import qualified Data.ByteString.Builder as BS
29+import qualified Data.ByteString.Lazy as LBS
30+import Data.Coerce (coerce)
31+import Data.Data (Data)
32+import qualified Data.Fixed as F
33+import Data.Functor.Identity (Identity(Identity))
34+import Data.Int (Int16, Int32, Int64, Int8)
35+import Data.Kind (Type)
36+import qualified Data.Map as Map
25−import Data.Monoid
37+import Data.Monoid (All (..), Any (..), Dual (..),
26−import Data.ByteString (ByteString)
38+ First (..), Last (..),
39+ Product (..), Sum (..))
40+import Data.Semigroup (Semigroup (..))
27−import qualified Data.ByteString as BS
41+import qualified Data.Semigroup as Semi
29−import Data.Int
42+import Data.Tagged (Tagged (..))
32−import Data.Text (Text)
43+import Data.Text (Text)
44+import qualified Data.Text as T
33−import Data.Text.Encoding (encodeUtf8, decodeUtf8')
45+import Data.Text.Encoding (decodeUtf8', decodeUtf8With,
34−import Data.Text.Read (signed, decimal, rational, Reader)
46+ encodeUtf8)
35−import qualified Data.Text as T
47+import Data.Text.Encoding.Error (lenientDecode)
36−import qualified Data.Text.Lazy as L
48+import qualified Data.Text.Lazy as L
37−
49+import Data.Text.Read (Reader, decimal, rational,
38−import Data.Time.Locale.Compat
50+ signed)
51+import Data.Time.Compat (Day, FormatTime, LocalTime,
52+ NominalDiffTime, TimeOfDay,
53+ UTCTime, ZonedTime, formatTime,
55+ nominalDiffTimeToSeconds,
56+ secondsToNominalDiffTime)
57+import Data.Time.Format.Compat (defaultTimeLocale,
59+import Data.Time.Calendar.Month.Compat (Month)
60+import Data.Time.Calendar.Quarter.Compat (Quarter, QuarterOfYear (..),
62+import Data.Typeable (Typeable)
39−import Data.Time
63+import qualified Data.UUID.Types as UUID
40−import Data.Version
64+import Data.Version (Version, parseVersion,
42−#if MIN_VERSION_base(4,8,0)
66+import Data.Void (Void, absurd)
43−import Data.Void
67+import Data.Word (Word16, Word32, Word64, Word8)
68+import qualified Network.HTTP.Types as H
44−import Numeric.Natural
69+import Numeric.Natural (Natural)
47−import Text.Read (readMaybe)
48−import Text.ParserCombinators.ReadP (readP_to_S)
70+import Text.ParserCombinators.ReadP (readP_to_S)
71+import Text.Read (readMaybe)
72+import Web.Cookie (SetCookie, parseSetCookie,
50#if USE_TEXT_SHOW
75#if USE_TEXT_SHOW
51−import TextShow (TextShow, showt)
76+import TextShow (TextShow, showt)
54−import qualified Data.UUID.Types as UUID
56−import Data.Typeable (Typeable)
57−import Data.Data (Data)
58−import qualified Data.ByteString.Builder as BS
59−import qualified Network.HTTP.Types as H
61−import qualified Data.Attoparsec.Text as Atto
62−import qualified Data.Attoparsec.Time as Atto
66-- >>> data BasicAuthToken = BasicAuthToken Text deriving (Show)
80-- >>> data BasicAuthToken = BasicAuthToken Text deriving (Show)
67-- >>> instance FromHttpApiData BasicAuthToken where parseHeader h = BasicAuthToken <$> parseHeaderWithPrefix "Basic " h; parseQueryParam p = BasicAuthToken <$> parseQueryParam p
81-- >>> instance FromHttpApiData BasicAuthToken where parseHeader h = BasicAuthToken <$> parseHeaderWithPrefix "Basic " h; parseQueryParam p = BasicAuthToken <$> parseQueryParam p
82+-- >>> import Data.Time.Compat
83+-- >>> import Data.Version
69-- | Convert value to HTTP API data.
85-- | Convert value to HTTP API data.
@@ -80,7 +96,7 @@ class ToHttpApiData a where
80 -- The default definition uses 'H.encodePathSegmentsRelative',
96 -- The default definition uses 'H.encodePathSegmentsRelative',
81 -- but this may be overriden with a more efficient version.
97 -- but this may be overriden with a more efficient version.
82 toEncodedUrlPiece :: a -> BS.Builder
98 toEncodedUrlPiece :: a -> BS.Builder
83− toEncodedUrlPiece = H.encodePathSegmentsRelative . (:[]) . toUrlPiece
99+ toEncodedUrlPiece = H.urlEncodeBuilder True . encodeUtf8 . toUrlPiece
85 -- | Convert to HTTP header value.
101 -- | Convert to HTTP header value.
86 toHeader :: a -> ByteString
102 toHeader :: a -> ByteString
@@ -322,7 +338,7 @@ lookupBoundedEnumOf f = flip lookup (map (f &&& id) [minBound..maxBound])
322-- >>> parseBoundedEnumOf toUrlPiece "true" :: Either Text Bool
338-- >>> parseBoundedEnumOf toUrlPiece "true" :: Either Text Bool
323-- Right True
339-- Right True
325−-- For case sensitive parser see 'parseBoundedEnumOfI'.
341+-- For case insensitive parser see 'parseBoundedEnumOfI'.
326parseBoundedEnumOf :: (Bounded a, Enum a) => (a -> Text) -> Text -> Either Text a
342parseBoundedEnumOf :: (Bounded a, Enum a) => (a -> Text) -> Text -> Either Text a
327parseBoundedEnumOf = parseMaybeTextData . lookupBoundedEnumOf
343parseBoundedEnumOf = parseMaybeTextData . lookupBoundedEnumOf
@@ -423,10 +439,8 @@ instance ToHttpApiData Version where
423 toUrlPiece = T.pack . showVersion
439 toUrlPiece = T.pack . showVersion
424 toEncodedUrlPiece = unsafeToEncodedUrlPiece
440 toEncodedUrlPiece = unsafeToEncodedUrlPiece
426−#if MIN_VERSION_base(4,8,0)
427instance ToHttpApiData Void where toUrlPiece = absurd
442instance ToHttpApiData Void where toUrlPiece = absurd
428instance ToHttpApiData Natural where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece
443instance ToHttpApiData Natural where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece
431instance ToHttpApiData Bool where toUrlPiece = showTextData; toEncodedUrlPiece = unsafeToEncodedUrlPiece
445instance ToHttpApiData Bool where toUrlPiece = showTextData; toEncodedUrlPiece = unsafeToEncodedUrlPiece
432instance ToHttpApiData Ordering where toUrlPiece = showTextData; toEncodedUrlPiece = unsafeToEncodedUrlPiece
446instance ToHttpApiData Ordering where toUrlPiece = showTextData; toEncodedUrlPiece = unsafeToEncodedUrlPiece
@@ -445,6 +459,9 @@ instance ToHttpApiData Word16 where toUrlPiece = showt; toEncodedUrlPiece = un
445instance ToHttpApiData Word32 where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece
459instance ToHttpApiData Word32 where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece
446instance ToHttpApiData Word64 where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece
460instance ToHttpApiData Word64 where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece
462+-- | Note: this instance is not polykinded
463+instance F.HasResolution a => ToHttpApiData (F.Fixed (a :: Type)) where toUrlPiece = showt; toEncodedUrlPiece = unsafeToEncodedUrlPiece
449-- >>> toUrlPiece (fromGregorian 2015 10 03)
466-- >>> toUrlPiece (fromGregorian 2015 10 03)
450-- "2015-10-03"
467-- "2015-10-03"
@@ -483,36 +500,108 @@ instance ToHttpApiData UTCTime where
483 toUrlPiece = timeToUrlPiece "%H:%M:%S%QZ"
500 toUrlPiece = timeToUrlPiece "%H:%M:%S%QZ"
484 toEncodedUrlPiece = unsafeToEncodedUrlPiece
501 toEncodedUrlPiece = unsafeToEncodedUrlPiece
504+-- >>> toUrlPiece Monday
506+instance ToHttpApiData DayOfWeek where
507+ toUrlPiece Monday = "monday"
508+ toUrlPiece Tuesday = "tuesday"
509+ toUrlPiece Wednesday = "wednesday"
510+ toUrlPiece Thursday = "thursday"
511+ toUrlPiece Friday = "friday"
512+ toUrlPiece Saturday = "saturday"
513+ toUrlPiece Sunday = "sunday"
515+ toEncodedUrlPiece = unsafeToEncodedUrlPiece
520+instance ToHttpApiData QuarterOfYear where
521+ toUrlPiece Q1 = "q1"
522+ toUrlPiece Q2 = "q2"
523+ toUrlPiece Q3 = "q3"
524+ toUrlPiece Q4 = "q4"
527+-- >>> import Data.Time.Calendar.Quarter.Compat (Quarter (..))
528+-- >>> MkQuarter 8040
531+-- >>> toUrlPiece $ MkQuarter 8040
534+instance ToHttpApiData Quarter where
535+ toUrlPiece q = case toYearQuarter q of
536+ (y, qoy) -> T.pack (show y ++ "-" ++ f qoy)
544+-- >>> import Data.Time.Calendar.Month.Compat (Month (..))
548+-- >>> toUrlPiece $ MkMonth 24482
551+instance ToHttpApiData Month where
552+ toUrlPiece = T.pack . formatTime defaultTimeLocale "%Y-%m"
486instance ToHttpApiData NominalDiffTime where
554instance ToHttpApiData NominalDiffTime where
487− toUrlPiece = toUrlPiece . (floor :: NominalDiffTime -> Integer)
555+ toUrlPiece = toUrlPiece . nominalDiffTimeToSeconds
488 toEncodedUrlPiece = unsafeToEncodedUrlPiece
556 toEncodedUrlPiece = unsafeToEncodedUrlPiece
490instance ToHttpApiData String where toUrlPiece = T.pack
558instance ToHttpApiData String where toUrlPiece = T.pack
491instance ToHttpApiData Text where toUrlPiece = id
559instance ToHttpApiData Text where toUrlPiece = id
492instance ToHttpApiData L.Text where toUrlPiece = L.toStrict
560instance ToHttpApiData L.Text where toUrlPiece = L.toStrict
494−instance ToHttpApiData All where toUrlPiece = toUrlPiece . getAll; toEncodedUrlPiece = toEncodedUrlPiece . getAll
562+instance ToHttpApiData All where
563+ toUrlPiece = coerce (toUrlPiece :: Bool -> Text)
564+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: Bool -> BS.Builder)
495−instance ToHttpApiData Any where toUrlPiece = toUrlPiece . getAny; toEncodedUrlPiece = toEncodedUrlPiece . getAny
566+instance ToHttpApiData Any where
567+ toUrlPiece = coerce (toUrlPiece :: Bool -> Text)
568+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: Bool -> BS.Builder)
497instance ToHttpApiData a => ToHttpApiData (Dual a) where
570instance ToHttpApiData a => ToHttpApiData (Dual a) where
498− toUrlPiece = toUrlPiece . getDual
571+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
499− toEncodedUrlPiece = toEncodedUrlPiece . getDual
572+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
501instance ToHttpApiData a => ToHttpApiData (Sum a) where
574instance ToHttpApiData a => ToHttpApiData (Sum a) where
502− toUrlPiece = toUrlPiece . getSum
575+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
503− toEncodedUrlPiece = toEncodedUrlPiece . getSum
576+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
505instance ToHttpApiData a => ToHttpApiData (Product a) where
578instance ToHttpApiData a => ToHttpApiData (Product a) where
506− toUrlPiece = toUrlPiece . getProduct
579+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
507− toEncodedUrlPiece = toEncodedUrlPiece . getProduct
580+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
509instance ToHttpApiData a => ToHttpApiData (First a) where
582instance ToHttpApiData a => ToHttpApiData (First a) where
510− toUrlPiece = toUrlPiece . getFirst
583+ toUrlPiece = coerce (toUrlPiece :: Maybe a -> Text)
511− toEncodedUrlPiece = toEncodedUrlPiece . getFirst
584+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: Maybe a -> BS.Builder)
513instance ToHttpApiData a => ToHttpApiData (Last a) where
586instance ToHttpApiData a => ToHttpApiData (Last a) where
514− toUrlPiece = toUrlPiece . getLast
587+ toUrlPiece = coerce (toUrlPiece :: Maybe a -> Text)
588+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: Maybe a -> BS.Builder)
590+instance ToHttpApiData a => ToHttpApiData (Semi.Min a) where
591+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
592+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
594+instance ToHttpApiData a => ToHttpApiData (Semi.Max a) where
595+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
596+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
598+instance ToHttpApiData a => ToHttpApiData (Semi.First a) where
599+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
515− toEncodedUrlPiece = toEncodedUrlPiece . getLast
600+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
602+instance ToHttpApiData a => ToHttpApiData (Semi.Last a) where
603+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
604+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
518-- >>> toUrlPiece (Just "Hello")
607-- >>> toUrlPiece (Just "Hello")
@@ -530,6 +619,41 @@ instance (ToHttpApiData a, ToHttpApiData b) => ToHttpApiData (Either a b) where
530 toUrlPiece (Left x) = "left " <> toUrlPiece x
619 toUrlPiece (Left x) = "left " <> toUrlPiece x
531 toUrlPiece (Right x) = "right " <> toUrlPiece x
620 toUrlPiece (Right x) = "right " <> toUrlPiece x
622+-- | /Note:/ this instance works correctly for alphanumeric name and value
624+-- >>> let Right c = parseUrlPiece "SESSID=r2t5uvjq435r4q7ib3vtdjq120" :: Either Text SetCookie
626+-- "SESSID=r2t5uvjq435r4q7ib3vtdjq120"
629+-- "SESSID=r2t5uvjq435r4q7ib3vtdjq120"
631+instance ToHttpApiData SetCookie where
632+ toUrlPiece = decodeUtf8With lenientDecode . toHeader
633+ toHeader = LBS.toStrict . BS.toLazyByteString . renderSetCookie
634+ -- toEncodedUrlPiece = renderSetCookie -- doesn't do things.
636+-- | Note: this instance is not polykinded
637+instance ToHttpApiData a => ToHttpApiData (Tagged (b :: Type) a) where
638+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
639+ toHeader = coerce (toHeader :: a -> ByteString)
640+ toQueryParam = coerce (toQueryParam :: a -> Text)
641+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
644+instance ToHttpApiData a => ToHttpApiData (Const a b) where
645+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
646+ toHeader = coerce (toHeader :: a -> ByteString)
647+ toQueryParam = coerce (toQueryParam :: a -> Text)
648+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
651+instance ToHttpApiData a => ToHttpApiData (Identity a) where
652+ toUrlPiece = coerce (toUrlPiece :: a -> Text)
653+ toHeader = coerce (toHeader :: a -> ByteString)
654+ toQueryParam = coerce (toQueryParam :: a -> Text)
655+ toEncodedUrlPiece = coerce (toEncodedUrlPiece :: a -> BS.Builder)
534-- >>> parseUrlPiece "_" :: Either Text ()
658-- >>> parseUrlPiece "_" :: Either Text ()
535-- Right ()
659-- Right ()
@@ -541,7 +665,7 @@ instance FromHttpApiData Char where
541 parseUrlPiece s =
665 parseUrlPiece s =
542 case T.uncons s of
666 case T.uncons s of
543 Just (c, s') | T.null s' -> pure c
667 Just (c, s') | T.null s' -> pure c
544− _ -> defaultParseError s
668+ _ -> defaultParseError s
547-- >>> showVersion <$> parseUrlPiece "1.2.3"
671-- >>> showVersion <$> parseUrlPiece "1.2.3"
@@ -552,7 +676,6 @@ instance FromHttpApiData Version where
552 ((x, ""):_) -> pure x
676 ((x, ""):_) -> pure x
553 _ -> defaultParseError s
677 _ -> defaultParseError s
555−#if MIN_VERSION_base(4,8,0)
556-- | Parsing a @'Void'@ value is always an error, considering @'Void'@ as a data type with no constructors.
679-- | Parsing a @'Void'@ value is always an error, considering @'Void'@ as a data type with no constructors.
557instance FromHttpApiData Void where
680instance FromHttpApiData Void where
558 parseUrlPiece _ = Left "Void cannot be parsed!"
681 parseUrlPiece _ = Left "Void cannot be parsed!"
@@ -563,7 +686,6 @@ instance FromHttpApiData Natural where
564 then Left ("underflow: " <> s <> " (should be a non-negative integer)")
687 then Left ("underflow: " <> s <> " (should be a non-negative integer)")
565 else Right (fromInteger n)
688 else Right (fromInteger n)
568instance FromHttpApiData Bool where parseUrlPiece = parseBoundedUrlPiece
690instance FromHttpApiData Bool where parseUrlPiece = parseBoundedUrlPiece
569instance FromHttpApiData Ordering where parseUrlPiece = parseBoundedUrlPiece
691instance FromHttpApiData Ordering where parseUrlPiece = parseBoundedUrlPiece
@@ -584,6 +706,10 @@ instance FromHttpApiData String where parseUrlPiece = Right . T.unpack
584instance FromHttpApiData Text where parseUrlPiece = Right
706instance FromHttpApiData Text where parseUrlPiece = Right
585instance FromHttpApiData L.Text where parseUrlPiece = Right . L.fromStrict
707instance FromHttpApiData L.Text where parseUrlPiece = Right . L.fromStrict
709+-- | Note: this instance is not polykinded
710+instance F.HasResolution a => FromHttpApiData (F.Fixed (a :: Type)) where
711+ parseUrlPiece = runReader rational
588-- >>> toGregorian <$> parseUrlPiece "2016-12-01"
714-- >>> toGregorian <$> parseUrlPiece "2016-12-01"
589-- Right (2016,12,1)
715-- Right (2016,12,1)
@@ -612,16 +738,57 @@ instance FromHttpApiData ZonedTime where parseUrlPiece = runAtto Atto.zonedTime
612-- Right 2015-10-03 00:14:24 UTC
738-- Right 2015-10-03 00:14:24 UTC
613instance FromHttpApiData UTCTime where parseUrlPiece = runAtto Atto.utcTime
739instance FromHttpApiData UTCTime where parseUrlPiece = runAtto Atto.utcTime
742+-- >>> parseUrlPiece "Monday" :: Either Text DayOfWeek
615−instance FromHttpApiData NominalDiffTime where parseUrlPiece = fmap fromInteger . parseUrlPiece
744+instance FromHttpApiData DayOfWeek where
745+ parseUrlPiece t = case Map.lookup (T.toLower t) m of
746+ Just dow -> Right dow
747+ Nothing -> Left $ "Incorrect DayOfWeek: " <> T.take 10 t
749+ m :: Map.Map Text DayOfWeek
750+ m = Map.fromList [ (toUrlPiece dow, dow) | dow <- [Monday .. Sunday] ]
617−instance FromHttpApiData All where parseUrlPiece = fmap All . parseUrlPiece
753+instance FromHttpApiData NominalDiffTime where parseUrlPiece = fmap secondsToNominalDiffTime . parseUrlPiece
618−instance FromHttpApiData Any where parseUrlPiece = fmap Any . parseUrlPiece
756+-- >>> parseUrlPiece "2021-01" :: Either Text Month
758+instance FromHttpApiData Month where parseUrlPiece = runAtto Atto.month
761+-- >>> parseUrlPiece "2021-q1" :: Either Text Quarter
763+instance FromHttpApiData Quarter where parseUrlPiece = runAtto Atto.quarter
766+-- >>> parseUrlPiece "q2" :: Either Text QuarterOfYear
769+-- >>> parseUrlPiece "Q3" :: Either Text QuarterOfYear
771+instance FromHttpApiData QuarterOfYear where
772+ parseUrlPiece t = case T.toLower t of
777+ _ -> Left "Invalid quarter of year"
779+instance FromHttpApiData All where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text Bool)
780+instance FromHttpApiData Any where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text Bool)
782+instance FromHttpApiData a => FromHttpApiData (Dual a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
620−instance FromHttpApiData a => FromHttpApiData (Dual a) where parseUrlPiece = fmap Dual . parseUrlPiece
783+instance FromHttpApiData a => FromHttpApiData (Sum a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
784+instance FromHttpApiData a => FromHttpApiData (Product a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
621−instance FromHttpApiData a => FromHttpApiData (Sum a) where parseUrlPiece = fmap Sum . parseUrlPiece
785+instance FromHttpApiData a => FromHttpApiData (First a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text (Maybe a))
786+instance FromHttpApiData a => FromHttpApiData (Last a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text (Maybe a))
622−instance FromHttpApiData a => FromHttpApiData (Product a) where parseUrlPiece = fmap Product . parseUrlPiece
788+instance FromHttpApiData a => FromHttpApiData (Semi.Min a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
789+instance FromHttpApiData a => FromHttpApiData (Semi.Max a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
623−instance FromHttpApiData a => FromHttpApiData (First a) where parseUrlPiece = fmap First . parseUrlPiece
790+instance FromHttpApiData a => FromHttpApiData (Semi.First a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
624−instance FromHttpApiData a => FromHttpApiData (Last a) where parseUrlPiece = fmap Last . parseUrlPiece
791+instance FromHttpApiData a => FromHttpApiData (Semi.Last a) where parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
627-- >>> parseUrlPiece "Just 123" :: Either Text (Maybe Int)
794-- >>> parseUrlPiece "Just 123" :: Either Text (Maybe Int)
@@ -664,6 +831,32 @@ instance FromHttpApiData a => FromHttpApiData (LenientData a) where
664 parseHeader = Right . LenientData . parseHeader
831 parseHeader = Right . LenientData . parseHeader
665 parseQueryParam = Right . LenientData . parseQueryParam
832 parseQueryParam = Right . LenientData . parseQueryParam
834+-- | /Note:/ this instance works correctly for alphanumeric name and value
836+-- >>> parseUrlPiece "SESSID=r2t5uvjq435r4q7ib3vtdjq120" :: Either Text SetCookie
837+-- Right (SetCookie {setCookieName = "SESSID", setCookieValue = "r2t5uvjq435r4q7ib3vtdjq120", setCookiePath = Nothing, setCookieExpires = Nothing, setCookieMaxAge = Nothing, setCookieDomain = Nothing, setCookieHttpOnly = False, setCookieSecure = False, setCookieSameSite = Nothing})
838+instance FromHttpApiData SetCookie where
839+ parseUrlPiece = parseHeader . encodeUtf8
840+ parseHeader = Right . parseSetCookie
842+-- | Note: this instance is not polykinded
843+instance FromHttpApiData a => FromHttpApiData (Tagged (b :: Type) a) where
844+ parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
845+ parseHeader = coerce (parseHeader :: ByteString -> Either Text a)
846+ parseQueryParam = coerce (parseQueryParam :: Text -> Either Text a)
849+instance FromHttpApiData a => FromHttpApiData (Const a b) where
850+ parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
851+ parseHeader = coerce (parseHeader :: ByteString -> Either Text a)
852+ parseQueryParam = coerce (parseQueryParam :: Text -> Either Text a)
855+instance FromHttpApiData a => FromHttpApiData (Identity a) where
856+ parseUrlPiece = coerce (parseUrlPiece :: Text -> Either Text a)
857+ parseHeader = coerce (parseHeader :: ByteString -> Either Text a)
858+ parseQueryParam = coerce (parseQueryParam :: Text -> Either Text a)
667-------------------------------------------------------------------------------
860-------------------------------------------------------------------------------
668-- Attoparsec helpers
861-- Attoparsec helpers
669-------------------------------------------------------------------------------
862-------------------------------------------------------------------------------