{-# LANGUAGE DataKinds #-}
module Data.Text.Short.Encoding.Base64
(
encodeBase64
, decodeBase64
, decodeBase64Untyped
, decodeBase64UntypedWith
, decodeBase64Lenient
, isBase64
, isValidBase64
) where
import Data.Base64.Types
import Data.Bifunctor (first)
import qualified Data.ByteString.Base64 as B64
import Data.ByteString.Short (ShortByteString)
import qualified Data.ByteString.Short.Base64 as BS64
import Data.Text (Text)
import qualified Data.Text.Encoding.Base64 as B64T
import Data.Text.Encoding.Base64.Error
import Data.Text.Short
import Data.Text.Short.Unsafe
encodeBase64 :: ShortText -> Base64 'StdPadded ShortText
encodeBase64 :: ShortText -> Base64 'StdPadded ShortText
encodeBase64 = (ByteString -> ShortText)
-> Base64 'StdPadded ByteString -> Base64 'StdPadded ShortText
forall a b. (a -> b) -> Base64 'StdPadded a -> Base64 'StdPadded b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ByteString -> ShortText
fromByteStringUnsafe
(Base64 'StdPadded ByteString -> Base64 'StdPadded ShortText)
-> (ShortText -> Base64 'StdPadded ByteString)
-> ShortText
-> Base64 'StdPadded ShortText
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ByteString -> Base64 'StdPadded ByteString
B64.encodeBase64'
(ByteString -> Base64 'StdPadded ByteString)
-> (ShortText -> ByteString)
-> ShortText
-> Base64 'StdPadded ByteString
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShortText -> ByteString
toByteString
{-# INLINE encodeBase64 #-}
decodeBase64 :: StdAlphabet k => Base64 k ShortText -> ShortText
decodeBase64 :: forall (k :: Alphabet).
StdAlphabet 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). StdAlphabet k => Base64 k Text -> Text
B64T.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
B64T.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
BS64.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 #-}
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
B64T.decodeBase64Lenient (Text -> Text) -> (ShortText -> Text) -> ShortText -> Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShortText -> Text
toText
{-# INLINE decodeBase64Lenient #-}
isBase64 :: ShortText -> Bool
isBase64 :: ShortText -> Bool
isBase64 = ByteString -> Bool
B64.isBase64 (ByteString -> Bool)
-> (ShortText -> ByteString) -> ShortText -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShortText -> ByteString
toByteString
{-# INLINE isBase64 #-}
isValidBase64 :: ShortText -> Bool
isValidBase64 :: ShortText -> Bool
isValidBase64 = ByteString -> Bool
B64.isValidBase64 (ByteString -> Bool)
-> (ShortText -> ByteString) -> ShortText -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShortText -> ByteString
toByteString
{-# INLINE isValidBase64 #-}