{-# LANGUAGE OverloadedStrings #-}
module Web.Cookie
(
SetCookie
, setCookieName
, setCookieValue
, setCookiePath
, setCookieExpires
, setCookieMaxAge
, setCookieDomain
, setCookieHttpOnly
, setCookieSecure
, parseSetCookie
, renderSetCookie
, def
, Cookies
, parseCookies
, renderCookies
, CookiesText
, parseCookiesText
, renderCookiesText
, expiresFormat
, formatCookieExpires
, parseCookieExpires
) where
import qualified Data.ByteString as S
import qualified Data.ByteString.Char8 as S8
import Data.Char (toLower)
import Blaze.ByteString.Builder (Builder, fromByteString, copyByteString)
import Blaze.ByteString.Builder.Char8 (fromChar)
import Data.Monoid (mempty, mappend, mconcat)
import Data.Word (Word8)
import Data.Ratio (numerator, denominator)
import Data.Time (UTCTime, formatTime, parseTime)
import Data.Time.Clock (DiffTime, secondsToDiffTime)
import System.Locale (defaultTimeLocale)
import Control.Arrow (first)
import Data.Text (Text)
import Data.Text.Encoding (encodeUtf8, decodeUtf8With)
import Data.Text.Encoding.Error (lenientDecode)
import Control.Arrow ((***))
import Data.Maybe (isJust)
import Data.Default (Default (def))
import Control.DeepSeq (NFData (rnf))
type CookiesText = [(Text, Text)]
parseCookiesText :: S.ByteString -> CookiesText
parseCookiesText =
map (go *** go) . parseCookies
where
go = decodeUtf8With lenientDecode
renderCookiesText :: CookiesText -> Builder
renderCookiesText = renderCookies . map (encodeUtf8 *** encodeUtf8)
type Cookies = [(S.ByteString, S.ByteString)]
parseCookies :: S.ByteString -> Cookies
parseCookies s
| S.null s = []
| otherwise =
let (x, y) = breakDiscard 59 s
in parseCookie x : parseCookies y
parseCookie :: S.ByteString -> (S.ByteString, S.ByteString)
parseCookie s =
let (key, value) = breakDiscard 61 s
key' = S.dropWhile (== 32) key
in (key', value)
breakDiscard :: Word8 -> S.ByteString -> (S.ByteString, S.ByteString)
breakDiscard w s =
let (x, y) = S.breakByte w s
in (x, S.drop 1 y)
renderCookies :: Cookies -> Builder
renderCookies [] = mempty
renderCookies cs =
foldr1 go $ map renderCookie cs
where
go x y = x `mappend` fromChar ';' `mappend` y
renderCookie :: (S.ByteString, S.ByteString) -> Builder
renderCookie (k, v) = fromByteString k `mappend` fromChar '='
`mappend` fromByteString v
data SetCookie = SetCookie
{ setCookieName :: S.ByteString
, setCookieValue :: S.ByteString
, setCookiePath :: Maybe S.ByteString
, setCookieExpires :: Maybe UTCTime
, setCookieMaxAge :: Maybe DiffTime
, setCookieDomain :: Maybe S.ByteString
, setCookieHttpOnly :: Bool
, setCookieSecure :: Bool
}
deriving (Eq, Show)
instance NFData SetCookie where
rnf (SetCookie a b c d e f g h) =
a `seq`
b `seq`
rnfMBS c `seq`
rnf d `seq`
rnf e `seq`
rnfMBS f `seq`
rnf g `seq`
rnf h
where
rnfMBS Nothing = ()
rnfMBS (Just bs) = bs `seq` ()
instance Default SetCookie where
def = SetCookie
{ setCookieName = "name"
, setCookieValue = "value"
, setCookiePath = Nothing
, setCookieExpires = Nothing
, setCookieMaxAge = Nothing
, setCookieDomain = Nothing
, setCookieHttpOnly = False
, setCookieSecure = False
}
renderSetCookie :: SetCookie -> Builder
renderSetCookie sc = mconcat
[ fromByteString (setCookieName sc)
, fromChar '='
, fromByteString (setCookieValue sc)
, case setCookiePath sc of
Nothing -> mempty
Just path -> copyByteString "; Path="
`mappend` fromByteString path
, case setCookieExpires sc of
Nothing -> mempty
Just e -> copyByteString "; Expires=" `mappend`
fromByteString (formatCookieExpires e)
, case setCookieMaxAge sc of
Nothing -> mempty
Just ma -> copyByteString"; Max-Age=" `mappend`
fromByteString (formatCookieMaxAge ma)
, case setCookieDomain sc of
Nothing -> mempty
Just d -> copyByteString "; Domain=" `mappend`
fromByteString d
, if setCookieHttpOnly sc
then copyByteString "; HttpOnly"
else mempty
, if setCookieSecure sc
then copyByteString "; Secure"
else mempty
]
parseSetCookie :: S.ByteString -> SetCookie
parseSetCookie a = SetCookie
{ setCookieName = key
, setCookieValue = value
, setCookiePath = lookup "path" pairs
, setCookieExpires =
lookup "expires" pairs >>= parseCookieExpires
, setCookieMaxAge =
lookup "max-age" pairs >>= parseCookieMaxAge
, setCookieDomain = lookup "domain" pairs
, setCookieHttpOnly = isJust $ lookup "httponly" pairs
, setCookieSecure = isJust $ lookup "secure" pairs
}
where
(key, value, b) = parsePair a
pairs = map (first $ S8.map toLower) $ parsePairs b
parsePair bs =
let (k, bs') = breakDiscard 61 bs
(v, bs'') = breakDiscard 59 bs'
in (k, v, S.dropWhile (== 32) bs'')
parsePairs bs =
if S.null bs
then []
else let (k, v, bs') = parsePair bs
in (k, v) : parsePairs bs'
expiresFormat :: String
expiresFormat = "%a, %d-%b-%Y %X GMT"
formatCookieExpires :: UTCTime -> S.ByteString
formatCookieExpires =
S8.pack . formatTime defaultTimeLocale expiresFormat
parseCookieExpires :: S.ByteString -> Maybe UTCTime
parseCookieExpires = parseTime defaultTimeLocale expiresFormat . S8.unpack
formatCookieMaxAge :: DiffTime -> S.ByteString
formatCookieMaxAge difftime = S8.pack $ show (num `div` denom)
where rational = toRational difftime
num = numerator rational
denom = denominator rational
parseCookieMaxAge :: S.ByteString -> Maybe DiffTime
parseCookieMaxAge bs
| all (\ c -> c >= '0' && c <= '9') $ unpacked = Just $ secondsToDiffTime $ read unpacked
| otherwise = Nothing
where unpacked = S8.unpack bs