{-# LANGUAGE CPP #-}
{-# LANGUAGE ForeignFunctionInterface #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE UnliftedFFITypes #-}
{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE MultiWayIf #-}
{-# OPTIONS_GHC -Wno-unused-imports #-}
module Data.JsonStream.Unescape (
unescapeText
, unsafeDecodeASCII
) where
import Data.ByteString as B
import Data.ByteString.Internal as B hiding (c2w)
import Data.Text.Encoding.Error (UnicodeException (..))
import Data.Text.Internal (Text (..))
import Data.Text.Unsafe (unsafeDupablePerformIO)
import Data.Word (Word8, Word32)
import Foreign.ForeignPtr (withForeignPtr)
import Foreign.Ptr (Ptr, plusPtr)
import Foreign.Storable (peek)
import qualified Data.Text as T
#if MIN_VERSION_text(2,0,0)
import qualified Data.Primitive as P
import qualified Data.Text.Array as TA
import qualified Data.Text.Internal as T
import Data.Bits (shiftL, shiftR, (.&.), (.|.))
import Control.Exception (try, throwIO)
import Foreign.ForeignPtr (ForeignPtr)
import qualified Data.ByteString.Short.Internal as SBS
#else
import Control.Exception (evaluate, throw, try)
import Control.Monad.ST.Unsafe (unsafeIOToST, unsafeSTToIO)
import Data.Text.Internal.Private (runText)
import Foreign.Marshal.Utils (with)
import qualified Data.Text.Array as A
import GHC.Base (MutableByteArray#)
import Foreign.C.Types (CInt (..), CSize (..))
import qualified Data.Text.Encoding as TE
#endif
unsafeDecodeASCII :: ByteString -> T.Text
#if MIN_VERSION_text(2,0,0)
unsafeDecodeASCII :: ByteString -> Text
unsafeDecodeASCII ByteString
bs = ByteString -> (ForeignPtr Word8 -> Int -> Text) -> Text
forall r. ByteString -> (ForeignPtr Word8 -> Int -> r) -> r
withBS ByteString
bs ((ForeignPtr Word8 -> Int -> Text) -> Text)
-> (ForeignPtr Word8 -> Int -> Text) -> Text
forall a b. (a -> b) -> a -> b
$ \ForeignPtr Word8
_fp Int
len -> if Int
len Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== Int
0 then Text
T.empty else
let !(SBS.SBS ByteArray#
arr) = ByteString -> ShortByteString
SBS.toShort ByteString
bs in Array -> Int -> Int -> Text
T.Text (ByteArray# -> Array
TA.ByteArray ByteArray#
arr) Int
0 Int
len
#else
unsafeDecodeASCII = TE.decodeLatin1
#endif
#if !MIN_VERSION_text(2,0,0)
foreign import ccall unsafe "_jstream_decode_string" c_js_decode
:: MutableByteArray# s -> Ptr CSize
-> Ptr Word8 -> Ptr Word8 -> IO CInt
unescapeText' :: ByteString -> Text
unescapeText' (PS fp off len) = runText $ \done -> do
let go dest = withForeignPtr fp $ \ptr ->
with (0::CSize) $ \destOffPtr -> do
let end = ptr `plusPtr` (off + len)
loop curPtr = do
res <- c_js_decode (A.maBA dest) destOffPtr curPtr end
case res of
0 -> do
n <- peek destOffPtr
unsafeSTToIO (done dest (fromIntegral n))
_ ->
throw (DecodeError desc Nothing)
loop (ptr `plusPtr` off)
(unsafeIOToST . go) =<< A.new len
where
desc = "Data.JsonStream.Unescape.unescapeText': Invalid UTF-8 stream"
{-# INLINE unescapeText' #-}
unescapeText :: ByteString -> Either UnicodeException Text
unescapeText = unsafeDupablePerformIO . try . evaluate . unescapeText'
{-# INLINE unescapeText #-}
#else
withBS :: ByteString -> (ForeignPtr Word8 -> Int -> r) -> r
#if MIN_VERSION_bytestring(0,11,0)
withBS :: forall r. ByteString -> (ForeignPtr Word8 -> Int -> r) -> r
withBS (BS !ForeignPtr Word8
sfp !Int
slen) ForeignPtr Word8 -> Int -> r
kont = ForeignPtr Word8 -> Int -> r
kont ForeignPtr Word8
sfp Int
slen
#else
withBS (PS !sfp !soff !slen) kont = kont (plusForeignPtr sfp soff) slen
#endif
{-# INLINE withBS #-}
unescapeText :: ByteString -> Either UnicodeException Text
unescapeText :: ByteString -> Either UnicodeException Text
unescapeText = IO (Either UnicodeException Text) -> Either UnicodeException Text
forall a. IO a -> a
unsafeDupablePerformIO (IO (Either UnicodeException Text) -> Either UnicodeException Text)
-> (ByteString -> IO (Either UnicodeException Text))
-> ByteString
-> Either UnicodeException Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
. IO Text -> IO (Either UnicodeException Text)
forall e a. Exception e => IO a -> IO (Either e a)
try (IO Text -> IO (Either UnicodeException Text))
-> (ByteString -> IO Text)
-> ByteString
-> IO (Either UnicodeException Text)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ByteString -> IO Text
unescapeTextIO
throwDecodeError :: IO a
throwDecodeError :: forall a. IO a
throwDecodeError =
let desc :: String
desc = String
"Data.Text.Internal.Encoding.decodeUtf8: Invalid UTF-8 stream"
in UnicodeException -> IO a
forall e a. Exception e => e -> IO a
throwIO (String -> Maybe Word8 -> UnicodeException
DecodeError String
desc Maybe Word8
forall a. Maybe a
Nothing)
unescapeTextIO :: ByteString -> IO Text
unescapeTextIO :: ByteString -> IO Text
unescapeTextIO ByteString
bs = ByteString -> (ForeignPtr Word8 -> Int -> IO Text) -> IO Text
forall r. ByteString -> (ForeignPtr Word8 -> Int -> r) -> r
withBS ByteString
bs ((ForeignPtr Word8 -> Int -> IO Text) -> IO Text)
-> (ForeignPtr Word8 -> Int -> IO Text) -> IO Text
forall a b. (a -> b) -> a -> b
$ \ForeignPtr Word8
fptr Int
len ->
ForeignPtr Word8 -> (Ptr Word8 -> IO Text) -> IO Text
forall a b. ForeignPtr a -> (Ptr a -> IO b) -> IO b
withForeignPtr ForeignPtr Word8
fptr ((Ptr Word8 -> IO Text) -> IO Text)
-> (Ptr Word8 -> IO Text) -> IO Text
forall a b. (a -> b) -> a -> b
$ \Ptr Word8
begin -> do
let end :: Ptr Word8
end :: Ptr Word8
end = Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
begin Int
len
MutablePrimArray RealWorld Word8
arr <- Int -> IO (MutablePrimArray (PrimState IO) Word8)
forall (m :: * -> *) a.
(PrimMonad m, Prim a) =>
Int -> m (MutablePrimArray (PrimState m) a)
P.newPrimArray Int
len
let write3bytes :: Int -> Word8 -> Word8 -> Word8 -> Ptr Word8 -> IO Text
write3bytes :: Int -> Word8 -> Word8 -> Word8 -> Ptr Word8 -> IO Text
write3bytes !Int
out !Word8
b1 !Word8
b2 !Word8
b3 !Ptr Word8
inp = do
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
b1
Int -> Word8 -> Word8 -> Ptr Word8 -> IO Text
write2bytes (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) Word8
b2 Word8
b3 Ptr Word8
inp
write2bytes :: Int -> Word8 -> Word8 -> Ptr Word8 -> IO Text
write2bytes :: Int -> Word8 -> Word8 -> Ptr Word8 -> IO Text
write2bytes !Int
out !Word8
b1 !Word8
b2 !Ptr Word8
inp = do
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
b1
Int -> Word8 -> Ptr Word8 -> IO Text
write1byte (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) Word8
b2 Ptr Word8
inp
write1byte :: Int -> Word8 -> Ptr Word8 -> IO Text
write1byte :: Int -> Word8 -> Ptr Word8 -> IO Text
write1byte !Int
out !Word8
b1 !Ptr Word8
inp = do
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
b1
Int -> Ptr Word8 -> IO Text
state_start (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) Ptr Word8
inp
writeCodePoint :: Int -> Ptr Word8 -> Word32 -> IO Text
writeCodePoint :: Int -> Ptr Word8 -> Word32 -> IO Text
writeCodePoint !Int
out !Ptr Word8
inp !Word32
acc
| Word32
acc Word32 -> Word32 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word32
127 = do
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out (Word32 -> Word8
forall a b. (Integral a, Num b) => a -> b
fromIntegral Word32
acc :: Word8)
Int -> Ptr Word8 -> IO Text
state_start (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
| Word32
acc Word32 -> Word32 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word32
2047 = do
let b1 :: Word8
b1 = Word32 -> Word8
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftR Word32
acc Int
6 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word32
192) :: Word8
let b2 :: Word8
b2 = Word32 -> Word8
forall a b. (Integral a, Num b) => a -> b
fromIntegral ((Word32
acc Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.&. Word32
63) Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word32
128) :: Word8
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
b1
Int -> Word8 -> Ptr Word8 -> IO Text
write1byte (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) Word8
b2 (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
| Word32
acc Word32 -> Word32 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word32
65535 = do
let b1 :: Word8
b1 = Word32 -> Word8
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftR Word32
acc Int
12 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word32
224) :: Word8
let b2 :: Word8
b2 = Word32 -> Word8
forall a b. (Integral a, Num b) => a -> b
fromIntegral ((Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftR Word32
acc Int
6 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.&. Word32
63) Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word32
128) :: Word8
let b3 :: Word8
b3 = Word32 -> Word8
forall a b. (Integral a, Num b) => a -> b
fromIntegral ((Word32
acc Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.&. Word32
63) Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word32
128) :: Word8
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
b1
Int -> Word8 -> Word8 -> Ptr Word8 -> IO Text
write2bytes (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) Word8
b2 Word8
b3 (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
| Bool
otherwise = do
let b1 :: Word8
b1 = Word32 -> Word8
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftR Word32
acc Int
18 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word32
240) :: Word8
let b2 :: Word8
b2 = Word32 -> Word8
forall a b. (Integral a, Num b) => a -> b
fromIntegral ((Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftR Word32
acc Int
12 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.&. Word32
63) Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word32
128) :: Word8
let b3 :: Word8
b3 = Word32 -> Word8
forall a b. (Integral a, Num b) => a -> b
fromIntegral ((Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftR Word32
acc Int
6 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.&. Word32
63) Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word32
128) :: Word8
let b4 :: Word8
b4 = Word32 -> Word8
forall a b. (Integral a, Num b) => a -> b
fromIntegral ((Word32
acc Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.&. Word32
63) Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word32
128) :: Word8
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
b1
Int -> Word8 -> Word8 -> Word8 -> Ptr Word8 -> IO Text
write3bytes (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) Word8
b2 Word8
b3 Word8
b4 (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
state_sudone :: Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_sudone :: Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_sudone !Int
out !Ptr Word8
inp !Word32
hi !Word32
lo
| Word32
56320 Word32 -> Word32 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word32
lo, Word32
lo Word32 -> Word32 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word32
57343
= Int -> Ptr Word8 -> Word32 -> IO Text
writeCodePoint Int
out Ptr Word8
inp (Word32
65536 Word32 -> Word32 -> Word32
forall a. Num a => a -> a -> a
+ (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL (Word32
hi Word32 -> Word32 -> Word32
forall a. Num a => a -> a -> a
- Word32
55296) Int
10 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. (Word32
lo Word32 -> Word32 -> Word32
forall a. Num a => a -> a -> a
- Word32
56320)))
| Bool
otherwise
= IO Text
forall a. IO a
throwDecodeError
state_su4 :: Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_su4 :: Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_su4 !Int
out !Ptr Word8
inp !Word32
hi !Word32
acc
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
if | Word8
48 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
57 ->
Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_sudone Int
out Ptr Word8
inp Word32
hi (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
48))
| Word8
65 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
70 ->
Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_sudone Int
out Ptr Word8
inp Word32
hi (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
55))
| Word8
97 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
102 ->
Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_sudone Int
out Ptr Word8
inp Word32
hi (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
87))
| Bool
otherwise ->
IO Text
forall a. IO a
throwDecodeError
state_su3 :: Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_su3 :: Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_su3 !Int
out !Ptr Word8
inp !Word32
hi !Word32
acc
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
if | Word8
48 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
57 ->
Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_su4 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word32
hi (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
48))
| Word8
65 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
70 ->
Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_su4 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word32
hi (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
55))
| Word8
97 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
102 ->
Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_su4 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word32
hi (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
87))
| Bool
otherwise ->
IO Text
forall a. IO a
throwDecodeError
state_su2 :: Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_su2 :: Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_su2 !Int
out !Ptr Word8
inp !Word32
hi !Word32
acc
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
if | Word8
48 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
57 ->
Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_su3 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word32
hi (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
48))
| Word8
65 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
70 ->
Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_su3 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word32
hi (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
55))
| Word8
97 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
102 ->
Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_su3 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word32
hi (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
87))
| Bool
otherwise ->
IO Text
forall a. IO a
throwDecodeError
state_su1 :: Int -> Ptr Word8 -> Word32 -> IO Text
state_su1 :: Int -> Ptr Word8 -> Word32 -> IO Text
state_su1 !Int
out !Ptr Word8
inp !Word32
hi
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
if | Word8
48 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
57 ->
Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_su2 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word32
hi (Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
48))
| Word8
65 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
70 ->
Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_su2 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word32
hi (Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
55))
| Word8
97 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
102 ->
Int -> Ptr Word8 -> Word32 -> Word32 -> IO Text
state_su2 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word32
hi (Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
87))
| Bool
otherwise ->
IO Text
forall a. IO a
throwDecodeError
state_su :: Int -> Ptr Word8 -> Word32 -> IO Text
state_su :: Int -> Ptr Word8 -> Word32 -> IO Text
state_su !Int
out !Ptr Word8
inp !Word32
hi
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
case Word8
w8 of
Word8
117 -> Int -> Ptr Word8 -> Word32 -> IO Text
state_su1 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word32
hi
Word8
_ -> IO Text
forall a. IO a
throwDecodeError
state_ss :: Int -> Ptr Word8 -> Word32 -> IO Text
state_ss :: Int -> Ptr Word8 -> Word32 -> IO Text
state_ss !Int
out !Ptr Word8
inp !Word32
hi
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
case Word8
w8 of
Word8
92 -> Int -> Ptr Word8 -> Word32 -> IO Text
state_su Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word32
hi
Word8
_ -> IO Text
forall a. IO a
throwDecodeError
state_udone :: Int -> Ptr Word8 -> Word32 -> IO Text
state_udone :: Int -> Ptr Word8 -> Word32 -> IO Text
state_udone !Int
out !Ptr Word8
inp !Word32
acc
| Word32
acc Word32 -> Word32 -> Bool
forall a. Ord a => a -> a -> Bool
< Word32
55296 Bool -> Bool -> Bool
|| Word32
acc Word32 -> Word32 -> Bool
forall a. Ord a => a -> a -> Bool
> Word32
57343 =
Int -> Ptr Word8 -> Word32 -> IO Text
writeCodePoint Int
out Ptr Word8
inp Word32
acc
| Word32
acc Word32 -> Word32 -> Bool
forall a. Ord a => a -> a -> Bool
< Word32
56320 =
Int -> Ptr Word8 -> Word32 -> IO Text
state_ss Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word32
acc
| Bool
otherwise =
IO Text
forall a. IO a
throwDecodeError
state_u4 :: Int -> Ptr Word8 -> Word32 -> IO Text
state_u4 :: Int -> Ptr Word8 -> Word32 -> IO Text
state_u4 !Int
out !Ptr Word8
inp !Word32
acc
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
if | Word8
48 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
57 ->
Int -> Ptr Word8 -> Word32 -> IO Text
state_udone Int
out Ptr Word8
inp (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
48))
| Word8
65 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
70 ->
Int -> Ptr Word8 -> Word32 -> IO Text
state_udone Int
out Ptr Word8
inp (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
55))
| Word8
97 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
102 ->
Int -> Ptr Word8 -> Word32 -> IO Text
state_udone Int
out Ptr Word8
inp (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
87))
| Bool
otherwise ->
IO Text
forall a. IO a
throwDecodeError
state_u3 :: Int -> Ptr Word8 -> Word32 -> IO Text
state_u3 :: Int -> Ptr Word8 -> Word32 -> IO Text
state_u3 !Int
out !Ptr Word8
inp !Word32
acc
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
if | Word8
48 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
57 ->
Int -> Ptr Word8 -> Word32 -> IO Text
state_u4 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
48))
| Word8
65 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
70 ->
Int -> Ptr Word8 -> Word32 -> IO Text
state_u4 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
55))
| Word8
97 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
102 ->
Int -> Ptr Word8 -> Word32 -> IO Text
state_u4 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
87))
| Bool
otherwise ->
IO Text
forall a. IO a
throwDecodeError
state_u2 :: Int -> Ptr Word8 -> Word32 -> IO Text
state_u2 :: Int -> Ptr Word8 -> Word32 -> IO Text
state_u2 !Int
out !Ptr Word8
inp !Word32
acc
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
if | Word8
48 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
57 ->
Int -> Ptr Word8 -> Word32 -> IO Text
state_u3 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
48))
| Word8
65 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
70 ->
Int -> Ptr Word8 -> Word32 -> IO Text
state_u3 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
55))
| Word8
97 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
102 ->
Int -> Ptr Word8 -> Word32 -> IO Text
state_u3 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) (Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL Word32
acc Int
4 Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
87))
| Bool
otherwise ->
IO Text
forall a. IO a
throwDecodeError
state_u1 :: Int -> Ptr Word8 -> IO Text
state_u1 :: Int -> Ptr Word8 -> IO Text
state_u1 !Int
out !Ptr Word8
inp
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
if | Word8
48 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
57 ->
Int -> Ptr Word8 -> Word32 -> IO Text
state_u2 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) (Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
48))
| Word8
65 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
70 ->
Int -> Ptr Word8 -> Word32 -> IO Text
state_u2 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) (Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
55))
| Word8
97 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
w8, Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
<= Word8
102 ->
Int -> Ptr Word8 -> Word32 -> IO Text
state_u2 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) (Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Num a => a -> a -> a
- Word8
87))
| Bool
otherwise ->
IO Text
forall a. IO a
throwDecodeError
state_escape :: Int -> Ptr Word8 -> IO Text
state_escape :: Int -> Ptr Word8 -> IO Text
state_escape !Int
out !Ptr Word8
inp
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
case Word8
w8 of
Word8
34 -> do
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
34
Int -> Ptr Word8 -> IO Text
state_start (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
Word8
92 -> do
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
92
Int -> Ptr Word8 -> IO Text
state_start (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
Word8
47 -> do
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
47
Int -> Ptr Word8 -> IO Text
state_start (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
Word8
98 -> do
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
8
Int -> Ptr Word8 -> IO Text
state_start (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
Word8
102 -> do
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
12
Int -> Ptr Word8 -> IO Text
state_start (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
Word8
110 -> do
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
10
Int -> Ptr Word8 -> IO Text
state_start (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
Word8
114 -> do
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
13
Int -> Ptr Word8 -> IO Text
state_start (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
Word8
116 -> do
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
9
Int -> Ptr Word8 -> IO Text
state_start (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
Word8
117 ->
Int -> Ptr Word8 -> IO Text
state_u1 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
Word8
_ -> IO Text
forall a. IO a
throwDecodeError
state_input4c :: Int -> Ptr Word8 -> Word8 -> Word8 -> Word8 -> IO Text
state_input4c :: Int -> Ptr Word8 -> Word8 -> Word8 -> Word8 -> IO Text
state_input4c !Int
out !Ptr Word8
inp !Word8
b1 !Word8
b2 !Word8
b3
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
if | (Word8
w8 Word8 -> Word8 -> Word8
forall a. Bits a => a -> a -> a
.&. Word8
192) Word8 -> Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Word8
128
, let acc :: Word32
acc = Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL (Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
b1 Word8 -> Word8 -> Word8
forall a. Bits a => a -> a -> a
.&. Word8
7)) Int
18
, let acc' :: Word32
acc' = Word32
acc Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL (Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
b2 Word8 -> Word8 -> Word8
forall a. Bits a => a -> a -> a
.&. Word8
63)) Int
12
, let acc'' :: Word32
acc'' = Word32
acc' Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL (Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
b3 Word8 -> Word8 -> Word8
forall a. Bits a => a -> a -> a
.&. Word8
63)) Int
6
, let acc''' :: Word32
acc''' = Word32
acc'' Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Bits a => a -> a -> a
.&. Word8
63) :: Word32
, Word32
acc''' Word32 -> Word32 -> Bool
forall a. Ord a => a -> a -> Bool
>= Word32
65536 Bool -> Bool -> Bool
&& Word32
acc''' Word32 -> Word32 -> Bool
forall a. Ord a => a -> a -> Bool
< Word32
1114112 -> do
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
b1
Int -> Word8 -> Word8 -> Word8 -> Ptr Word8 -> IO Text
write3bytes (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) Word8
b2 Word8
b3 Word8
w8 (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
| Bool
otherwise ->
IO Text
forall a. IO a
throwDecodeError
state_input4b :: Int -> Ptr Word8 -> Word8 -> Word8 -> IO Text
state_input4b :: Int -> Ptr Word8 -> Word8 -> Word8 -> IO Text
state_input4b !Int
out !Ptr Word8
inp !Word8
b1 !Word8
b2
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
if | (Word8
w8 Word8 -> Word8 -> Word8
forall a. Bits a => a -> a -> a
.&. Word8
192) Word8 -> Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Word8
128 ->
Int -> Ptr Word8 -> Word8 -> Word8 -> Word8 -> IO Text
state_input4c Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word8
b1 Word8
b2 Word8
w8
| Bool
otherwise ->
IO Text
forall a. IO a
throwDecodeError
state_input4 :: Int -> Ptr Word8 -> Word8 -> IO Text
state_input4 :: Int -> Ptr Word8 -> Word8 -> IO Text
state_input4 !Int
out !Ptr Word8
inp !Word8
b1
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
if | (Word8
w8 Word8 -> Word8 -> Word8
forall a. Bits a => a -> a -> a
.&. Word8
192) Word8 -> Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Word8
128 ->
Int -> Ptr Word8 -> Word8 -> Word8 -> IO Text
state_input4b Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word8
b1 Word8
w8
| Bool
otherwise ->
IO Text
forall a. IO a
throwDecodeError
state_input3b :: Int -> Ptr Word8 -> Word8 -> Word8 -> IO Text
state_input3b :: Int -> Ptr Word8 -> Word8 -> Word8 -> IO Text
state_input3b !Int
out !Ptr Word8
inp !Word8
b1 !Word8
b2
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
if | (Word8
w8 Word8 -> Word8 -> Word8
forall a. Bits a => a -> a -> a
.&. Word8
192) Word8 -> Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Word8
128
, let acc :: Word32
acc = Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL (Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
b1 Word8 -> Word8 -> Word8
forall a. Bits a => a -> a -> a
.&. Word8
15)) Int
12
, let acc' :: Word32
acc' = Word32
acc Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL (Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
b2 Word8 -> Word8 -> Word8
forall a. Bits a => a -> a -> a
.&. Word8
63)) Int
6
, let acc'' :: Word32
acc'' = Word32
acc' Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Bits a => a -> a -> a
.&. Word8
63) :: Word32
, (Word32
acc'' Word32 -> Word32 -> Bool
forall a. Ord a => a -> a -> Bool
>= Word32
2048 Bool -> Bool -> Bool
&& Word32
acc'' Word32 -> Word32 -> Bool
forall a. Ord a => a -> a -> Bool
< Word32
55296) Bool -> Bool -> Bool
|| Word32
acc'' Word32 -> Word32 -> Bool
forall a. Ord a => a -> a -> Bool
> Word32
57343 -> do
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
b1
Int -> Word8 -> Word8 -> Ptr Word8 -> IO Text
write2bytes (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) Word8
b2 Word8
w8 (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
| Bool
otherwise ->
IO Text
forall a. IO a
throwDecodeError
state_input3 :: Int -> Ptr Word8 -> Word8 -> IO Text
state_input3 :: Int -> Ptr Word8 -> Word8 -> IO Text
state_input3 !Int
out !Ptr Word8
inp !Word8
b1
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
if | (Word8
w8 Word8 -> Word8 -> Word8
forall a. Bits a => a -> a -> a
.&. Word8
192) Word8 -> Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Word8
128 ->
Int -> Ptr Word8 -> Word8 -> Word8 -> IO Text
state_input3b Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word8
b1 Word8
w8
| Bool
otherwise ->
IO Text
forall a. IO a
throwDecodeError
state_input2 :: Int -> Ptr Word8 -> Word8 -> IO Text
state_input2 :: Int -> Ptr Word8 -> Word8 -> IO Text
state_input2 !Int
out !Ptr Word8
inp !Word8
b1
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = IO Text
forall a. IO a
throwDecodeError
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
if | (Word8
w8 Word8 -> Word8 -> Word8
forall a. Bits a => a -> a -> a
.&. Word8
192) Word8 -> Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Word8
128,
let acc :: Word32
acc = Word32 -> Int -> Word32
forall a. Bits a => a -> Int -> a
shiftL (Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
b1 Word8 -> Word8 -> Word8
forall a. Bits a => a -> a -> a
.&. Word8
63)) Int
6 :: Word32
acc' :: Word32
acc' = Word32
acc Word32 -> Word32 -> Word32
forall a. Bits a => a -> a -> a
.|. Word8 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word8
w8 Word8 -> Word8 -> Word8
forall a. Bits a => a -> a -> a
.&. Word8
63) :: Word32
, Word32
acc' Word32 -> Word32 -> Bool
forall a. Ord a => a -> a -> Bool
>= Word32
128 -> do
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
b1
Int -> Word8 -> Ptr Word8 -> IO Text
write1byte (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) Word8
w8 (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
| Bool
otherwise ->
IO Text
forall a. IO a
throwDecodeError
state_start :: Int -> Ptr Word8 -> IO Text
state_start :: Int -> Ptr Word8 -> IO Text
state_start !Int
out !Ptr Word8
inp
| Ptr Word8
inp Ptr Word8 -> Ptr Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr Word8
end = do
MutablePrimArray (PrimState IO) Word8 -> Int -> IO ()
forall (m :: * -> *) a.
(PrimMonad m, Prim a) =>
MutablePrimArray (PrimState m) a -> Int -> m ()
P.shrinkMutablePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out
PrimArray Word8
frozenArr <- MutablePrimArray (PrimState IO) Word8 -> IO (PrimArray Word8)
forall (m :: * -> *) a.
PrimMonad m =>
MutablePrimArray (PrimState m) a -> m (PrimArray a)
P.unsafeFreezePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr
Text -> IO Text
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return (Text -> IO Text) -> Text -> IO Text
forall a b. (a -> b) -> a -> b
$ case PrimArray Word8
frozenArr of
P.PrimArray ByteArray#
ba -> Array -> Int -> Int -> Text
T.Text (ByteArray# -> Array
TA.ByteArray ByteArray#
ba) Int
0 Int
out
| Bool
otherwise = do
Word8
w8 <- Ptr Word8 -> IO Word8
forall a. Storable a => Ptr a -> IO a
peek Ptr Word8
inp
if | Word8
w8 Word8 -> Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Word8
92 -> Int -> Ptr Word8 -> IO Text
state_escape Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
| Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
< Word8
128 -> do
MutablePrimArray (PrimState IO) Word8 -> Int -> Word8 -> IO ()
forall a (m :: * -> *).
(Prim a, PrimMonad m) =>
MutablePrimArray (PrimState m) a -> Int -> a -> m ()
P.writePrimArray MutablePrimArray RealWorld Word8
MutablePrimArray (PrimState IO) Word8
arr Int
out Word8
w8
Int -> Ptr Word8 -> IO Text
state_start (Int
out Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1)
| Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
< Word8
192 -> IO Text
forall a. IO a
throwDecodeError
| Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
< Word8
224 -> Int -> Ptr Word8 -> Word8 -> IO Text
state_input2 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word8
w8
| Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
< Word8
240 -> Int -> Ptr Word8 -> Word8 -> IO Text
state_input3 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word8
w8
| Word8
w8 Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
< Word8
248 -> Int -> Ptr Word8 -> Word8 -> IO Text
state_input4 Int
out (Ptr Word8 -> Int -> Ptr Word8
forall a b. Ptr a -> Int -> Ptr b
plusPtr Ptr Word8
inp Int
1) Word8
w8
| Bool
otherwise -> IO Text
forall a. IO a
throwDecodeError
Int -> Ptr Word8 -> IO Text
state_start (Int
0 :: Int) Ptr Word8
begin
#endif