{-# LANGUAGE CPP #-}
#if __GLASGOW_HASKELL__ >= 702
{-# LANGUAGE Trustworthy #-}
#endif

-- |
-- Module      : Data.ByteString.Base64.URL
-- Copyright   : (c) 2012 Deian Stefan
--
-- License     : BSD-style
-- Maintainer  : deian@cs.stanford.edu
-- Stability   : experimental
-- Portability : GHC
--
-- Fast and efficient encoding and decoding of base64url-encoded strings.

module Data.ByteString.Base64.URL
    (
      encode
    , decode
    , decodeLenient
    , joinWith
    ) where

import Data.ByteString.Base64.Internal
import qualified Data.ByteString as B
import Data.ByteString.Internal (ByteString(..))
import Data.Word (Word8)
import Foreign.ForeignPtr (ForeignPtr)

-- | Encode a string into base64url form.  The result will always be a
-- multiple of 4 bytes in length.
encode :: ByteString -> ByteString
encode :: ByteString -> ByteString
encode = EncodeTable -> ByteString -> ByteString
encodeWith (ByteString -> EncodeTable
mkEncodeTable ByteString
alphabet)

-- | Decode a base64url-encoded string.  This function strictly follows
-- the specification in
-- <http://tools.ietf.org/rfc/rfc4648 RFC 4648>.
decode :: ByteString -> Either String ByteString
decode :: ByteString -> Either String ByteString
decode = ForeignPtr Word8 -> ByteString -> Either String ByteString
decodeWithTable ForeignPtr Word8
decodeFP

-- | Decode a base64url-encoded string.  This function is lenient in
-- following the specification from
-- <http://tools.ietf.org/rfc/rfc4648 RFC 4648>, and will not
-- generate parse errors no matter how poor its input.
decodeLenient :: ByteString -> ByteString
decodeLenient :: ByteString -> ByteString
decodeLenient = ForeignPtr Word8 -> ByteString -> ByteString
decodeLenientWithTable ForeignPtr Word8
decodeFP


alphabet :: ByteString
alphabet :: ByteString
alphabet = [Word8] -> ByteString
B.pack ([Word8] -> ByteString) -> [Word8] -> ByteString
forall a b. (a -> b) -> a -> b
$ [65..90] [Word8] -> [Word8] -> [Word8]
forall a. [a] -> [a] -> [a]
++ [97..122] [Word8] -> [Word8] -> [Word8]
forall a. [a] -> [a] -> [a]
++ [48..57] [Word8] -> [Word8] -> [Word8]
forall a. [a] -> [a] -> [a]
++ [45,95]
{-# NOINLINE alphabet #-}

decodeFP :: ForeignPtr Word8
PS decodeFP :: ForeignPtr Word8
decodeFP _ _ = [Word8] -> ByteString
B.pack ([Word8] -> ByteString) -> [Word8] -> ByteString
forall a b. (a -> b) -> a -> b
$ Int -> Word8 -> [Word8]
forall a. Int -> a -> [a]
replicate 45 Word8
forall a. Integral a => a
x [Word8] -> [Word8] -> [Word8]
forall a. [a] -> [a] -> [a]
++ [62,Word8
forall a. Integral a => a
x,Word8
forall a. Integral a => a
x] [Word8] -> [Word8] -> [Word8]
forall a. [a] -> [a] -> [a]
++ [52..61] [Word8] -> [Word8] -> [Word8]
forall a. [a] -> [a] -> [a]
++ [Word8
forall a. Integral a => a
x,Word8
forall a. Integral a => a
x,
  Word8
forall a. Integral a => a
x,Word8
forall a. Integral a => a
done,Word8
forall a. Integral a => a
x,Word8
forall a. Integral a => a
x,Word8
forall a. Integral a => a
x] [Word8] -> [Word8] -> [Word8]
forall a. [a] -> [a] -> [a]
++ [0..25] [Word8] -> [Word8] -> [Word8]
forall a. [a] -> [a] -> [a]
++ [Word8
forall a. Integral a => a
x,Word8
forall a. Integral a => a
x,Word8
forall a. Integral a => a
x,Word8
forall a. Integral a => a
x,63,Word8
forall a. Integral a => a
x] [Word8] -> [Word8] -> [Word8]
forall a. [a] -> [a] -> [a]
++ [26..51] [Word8] -> [Word8] -> [Word8]
forall a. [a] -> [a] -> [a]
++ Int -> Word8 -> [Word8]
forall a. Int -> a -> [a]
replicate 133 Word8
forall a. Integral a => a
x
{-# NOINLINE decodeFP #-}

x :: Integral a => a
x :: a
x = 255
{-# INLINE x #-}