{-# LANGUAGE DataKinds #-}
module Data.Text.Short.Encoding.Base64.URL
(
encodeBase64
, encodeBase64Unpadded
, decodeBase64
, decodeBase64Untyped
, decodeBase64UntypedWith
, decodeBase64Unpadded
, decodeBase64UnpaddedUntyped
, decodeBase64UnpaddedUntypedWith
, decodeBase64Padded
, decodeBase64PaddedUntyped
, decodeBase64PaddedUntypedWith
, decodeBase64Lenient
, isBase64Url
, isValidBase64Url
) where
import Data.Base64.Types
import Data.Bifunctor (first)
import qualified Data.ByteString.Base64.URL as B64U
import Data.ByteString.Short (ShortByteString)
import qualified Data.ByteString.Short.Base64.URL as BS64U
import Data.Text (Text)
import qualified Data.Text.Encoding.Base64.URL as B64TU
import Data.Text.Encoding.Base64.Error
import Data.Text.Short
import Data.Text.Short.Unsafe
encodeBase64 :: ShortText -> Base64 'UrlPadded ShortText
encodeBase64 :: ShortText -> Base64 'UrlPadded ShortText
encodeBase64 = (ByteString -> ShortText)
-> Base64 'UrlPadded ByteString -> Base64 'UrlPadded ShortText
forall a b. (a -> b) -> Base64 'UrlPadded a -> Base64 'UrlPadded b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ByteString -> ShortText
fromByteStringUnsafe
(Base64 'UrlPadded ByteString -> Base64 'UrlPadded ShortText)
-> (ShortText -> Base64 'UrlPadded ByteString)
-> ShortText
-> Base64 'UrlPadded ShortText
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ByteString -> Base64 'UrlPadded ByteString
B64U.encodeBase64'
(ByteString -> Base64 'UrlPadded ByteString)
-> (ShortText -> ByteString)
-> ShortText
-> Base64 'UrlPadded ByteString
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShortText -> ByteString
toByteString
{-# INLINE encodeBase64 #-}
decodeBase64 :: UrlAlphabet k => Base64 k ShortText -> ShortText
decodeBase64 :: forall (k :: Alphabet).
UrlAlphabet k =>
Base64 k ShortText -> ShortText
decodeBase64 = Text -> ShortText
fromText (Text -> ShortText)
-> (Base64 k ShortText -> Text) -> Base64 k ShortText -> ShortText
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Base64 k Text -> Text
forall (k :: Alphabet). UrlAlphabet k => Base64 k Text -> Text
B64TU.decodeBase64 (Base64 k Text -> Text)
-> (Base64 k ShortText -> Base64 k Text)
-> Base64 k ShortText
-> Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (ShortText -> Text) -> Base64 k ShortText -> Base64 k Text
forall a b. (a -> b) -> Base64 k a -> Base64 k b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ShortText -> Text
toText
{-# INLINE decodeBase64 #-}
decodeBase64Untyped :: ShortText -> Either Text ShortText
decodeBase64Untyped :: ShortText -> Either Text ShortText
decodeBase64Untyped = (Text -> ShortText) -> Either Text Text -> Either Text ShortText
forall a b. (a -> b) -> Either Text a -> Either Text b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Text -> ShortText
fromText (Either Text Text -> Either Text ShortText)
-> (ShortText -> Either Text Text)
-> ShortText
-> Either Text ShortText
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Text -> Either Text Text
B64TU.decodeBase64Untyped (Text -> Either Text Text)
-> (ShortText -> Text) -> ShortText -> Either Text Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShortText -> Text
toText
{-# INLINE decodeBase64Untyped #-}
decodeBase64UntypedWith
:: (ShortByteString -> Either err ShortText)
-> ShortByteString
-> Either (Base64Error err) ShortText
decodeBase64UntypedWith :: forall err.
(ShortByteString -> Either err ShortText)
-> ShortByteString -> Either (Base64Error err) ShortText
decodeBase64UntypedWith ShortByteString -> Either err ShortText
f ShortByteString
t = case ShortByteString -> Either Text ShortByteString
BS64U.decodeBase64Untyped ShortByteString
t of
Left Text
de -> Base64Error err -> Either (Base64Error err) ShortText
forall a b. a -> Either a b
Left (Base64Error err -> Either (Base64Error err) ShortText)
-> Base64Error err -> Either (Base64Error err) ShortText
forall a b. (a -> b) -> a -> b
$ Text -> Base64Error err
forall e. Text -> Base64Error e
DecodeError Text
de
Right ShortByteString
a -> (err -> Base64Error err)
-> Either err ShortText -> Either (Base64Error err) ShortText
forall a b c. (a -> b) -> Either a c -> Either b c
forall (p :: * -> * -> *) a b c.
Bifunctor p =>
(a -> b) -> p a c -> p b c
first err -> Base64Error err
forall e. e -> Base64Error e
ConversionError (ShortByteString -> Either err ShortText
f ShortByteString
a)
{-# INLINE decodeBase64UntypedWith #-}
encodeBase64Unpadded :: ShortText -> Base64 'UrlUnpadded ShortText
encodeBase64Unpadded :: ShortText -> Base64 'UrlUnpadded ShortText
encodeBase64Unpadded = (ByteString -> ShortText)
-> Base64 'UrlUnpadded ByteString -> Base64 'UrlUnpadded ShortText
forall a b.
(a -> b) -> Base64 'UrlUnpadded a -> Base64 'UrlUnpadded b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ByteString -> ShortText
fromByteStringUnsafe
(Base64 'UrlUnpadded ByteString -> Base64 'UrlUnpadded ShortText)
-> (ShortText -> Base64 'UrlUnpadded ByteString)
-> ShortText
-> Base64 'UrlUnpadded ShortText
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ByteString -> Base64 'UrlUnpadded ByteString
B64U.encodeBase64Unpadded'
(ByteString -> Base64 'UrlUnpadded ByteString)
-> (ShortText -> ByteString)
-> ShortText
-> Base64 'UrlUnpadded ByteString
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShortText -> ByteString
toByteString
{-# INLINE encodeBase64Unpadded #-}
decodeBase64Unpadded :: Base64 'UrlUnpadded ShortText -> ShortText
decodeBase64Unpadded :: Base64 'UrlUnpadded ShortText -> ShortText
decodeBase64Unpadded = Text -> ShortText
fromText (Text -> ShortText)
-> (Base64 'UrlUnpadded ShortText -> Text)
-> Base64 'UrlUnpadded ShortText
-> ShortText
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Base64 'UrlUnpadded Text -> Text
B64TU.decodeBase64Unpadded (Base64 'UrlUnpadded Text -> Text)
-> (Base64 'UrlUnpadded ShortText -> Base64 'UrlUnpadded Text)
-> Base64 'UrlUnpadded ShortText
-> Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (ShortText -> Text)
-> Base64 'UrlUnpadded ShortText -> Base64 'UrlUnpadded Text
forall a b.
(a -> b) -> Base64 'UrlUnpadded a -> Base64 'UrlUnpadded b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ShortText -> Text
toText
{-# INLINE decodeBase64Unpadded #-}
decodeBase64UnpaddedUntyped :: ShortText -> Either Text ShortText
decodeBase64UnpaddedUntyped :: ShortText -> Either Text ShortText
decodeBase64UnpaddedUntyped = (Text -> ShortText) -> Either Text Text -> Either Text ShortText
forall a b. (a -> b) -> Either Text a -> Either Text b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Text -> ShortText
fromText
(Either Text Text -> Either Text ShortText)
-> (ShortText -> Either Text Text)
-> ShortText
-> Either Text ShortText
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Text -> Either Text Text
B64TU.decodeBase64UnpaddedUntyped
(Text -> Either Text Text)
-> (ShortText -> Text) -> ShortText -> Either Text Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShortText -> Text
toText
{-# INLINE decodeBase64UnpaddedUntyped #-}
decodeBase64UnpaddedUntypedWith
:: (ShortByteString -> Either err ShortText)
-> ShortByteString
-> Either (Base64Error err) ShortText
decodeBase64UnpaddedUntypedWith :: forall err.
(ShortByteString -> Either err ShortText)
-> ShortByteString -> Either (Base64Error err) ShortText
decodeBase64UnpaddedUntypedWith ShortByteString -> Either err ShortText
f ShortByteString
t = case ShortByteString -> Either Text ShortByteString
BS64U.decodeBase64UnpaddedUntyped ShortByteString
t of
Left Text
de -> Base64Error err -> Either (Base64Error err) ShortText
forall a b. a -> Either a b
Left (Base64Error err -> Either (Base64Error err) ShortText)
-> Base64Error err -> Either (Base64Error err) ShortText
forall a b. (a -> b) -> a -> b
$ Text -> Base64Error err
forall e. Text -> Base64Error e
DecodeError Text
de
Right ShortByteString
a -> (err -> Base64Error err)
-> Either err ShortText -> Either (Base64Error err) ShortText
forall a b c. (a -> b) -> Either a c -> Either b c
forall (p :: * -> * -> *) a b c.
Bifunctor p =>
(a -> b) -> p a c -> p b c
first err -> Base64Error err
forall e. e -> Base64Error e
ConversionError (ShortByteString -> Either err ShortText
f ShortByteString
a)
{-# INLINE decodeBase64UnpaddedUntypedWith #-}
decodeBase64Padded :: Base64 'UrlPadded ShortText -> ShortText
decodeBase64Padded :: Base64 'UrlPadded ShortText -> ShortText
decodeBase64Padded = Text -> ShortText
fromText (Text -> ShortText)
-> (Base64 'UrlPadded ShortText -> Text)
-> Base64 'UrlPadded ShortText
-> ShortText
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Base64 'UrlPadded Text -> Text
B64TU.decodeBase64Padded (Base64 'UrlPadded Text -> Text)
-> (Base64 'UrlPadded ShortText -> Base64 'UrlPadded Text)
-> Base64 'UrlPadded ShortText
-> Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (ShortText -> Text)
-> Base64 'UrlPadded ShortText -> Base64 'UrlPadded Text
forall a b. (a -> b) -> Base64 'UrlPadded a -> Base64 'UrlPadded b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ShortText -> Text
toText
{-# INLINE decodeBase64Padded #-}
decodeBase64PaddedUntyped :: ShortText -> Either Text ShortText
decodeBase64PaddedUntyped :: ShortText -> Either Text ShortText
decodeBase64PaddedUntyped = (Text -> ShortText) -> Either Text Text -> Either Text ShortText
forall a b. (a -> b) -> Either Text a -> Either Text b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Text -> ShortText
fromText (Either Text Text -> Either Text ShortText)
-> (ShortText -> Either Text Text)
-> ShortText
-> Either Text ShortText
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Text -> Either Text Text
B64TU.decodeBase64PaddedUntyped (Text -> Either Text Text)
-> (ShortText -> Text) -> ShortText -> Either Text Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShortText -> Text
toText
{-# INLINE decodeBase64PaddedUntyped #-}
decodeBase64PaddedUntypedWith
:: (ShortByteString -> Either err ShortText)
-> ShortByteString
-> Either (Base64Error err) ShortText
decodeBase64PaddedUntypedWith :: forall err.
(ShortByteString -> Either err ShortText)
-> ShortByteString -> Either (Base64Error err) ShortText
decodeBase64PaddedUntypedWith ShortByteString -> Either err ShortText
f ShortByteString
t = case ShortByteString -> Either Text ShortByteString
BS64U.decodeBase64PaddedUntyped ShortByteString
t of
Left Text
de -> Base64Error err -> Either (Base64Error err) ShortText
forall a b. a -> Either a b
Left (Base64Error err -> Either (Base64Error err) ShortText)
-> Base64Error err -> Either (Base64Error err) ShortText
forall a b. (a -> b) -> a -> b
$ Text -> Base64Error err
forall e. Text -> Base64Error e
DecodeError Text
de
Right ShortByteString
a -> (err -> Base64Error err)
-> Either err ShortText -> Either (Base64Error err) ShortText
forall a b c. (a -> b) -> Either a c -> Either b c
forall (p :: * -> * -> *) a b c.
Bifunctor p =>
(a -> b) -> p a c -> p b c
first err -> Base64Error err
forall e. e -> Base64Error e
ConversionError (ShortByteString -> Either err ShortText
f ShortByteString
a)
{-# INLINE decodeBase64PaddedUntypedWith #-}
decodeBase64Lenient :: ShortText -> ShortText
decodeBase64Lenient :: ShortText -> ShortText
decodeBase64Lenient = Text -> ShortText
fromText (Text -> ShortText)
-> (ShortText -> Text) -> ShortText -> ShortText
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Text -> Text
B64TU.decodeBase64Lenient (Text -> Text) -> (ShortText -> Text) -> ShortText -> Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShortText -> Text
toText
{-# INLINE decodeBase64Lenient #-}
isBase64Url :: ShortText -> Bool
isBase64Url :: ShortText -> Bool
isBase64Url = ByteString -> Bool
B64U.isBase64Url (ByteString -> Bool)
-> (ShortText -> ByteString) -> ShortText -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShortText -> ByteString
toByteString
{-# INLINE isBase64Url #-}
isValidBase64Url :: ShortText -> Bool
isValidBase64Url :: ShortText -> Bool
isValidBase64Url = ByteString -> Bool
B64U.isValidBase64Url (ByteString -> Bool)
-> (ShortText -> ByteString) -> ShortText -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShortText -> ByteString
toByteString
{-# INLINE isValidBase64Url #-}