{-# LANGUAGE CPP, MagicHash, Rank2Types, TypeFamilies, TypeOperators #-}
module Data.Double.Conversion.Internal.TextBuilder
(
convert
) where
import Control.Monad (when)
#if MIN_VERSION_base(4,4,0)
import Control.Monad.ST.Unsafe (unsafeIOToST)
#else
import Control.Monad.ST (unsafeIOToST)
#endif
import Data.Double.Conversion.Internal.FFI (ForeignFloating)
import qualified Data.Text.Array as A
import Data.Text.Internal.Builder (Builder, writeN)
import Foreign.C.Types (CDouble, CFloat, CInt)
import GHC.Prim (MutableByteArray#)
import Control.Monad.ST (runST)
convert :: (RealFloat a, RealFloat b, b ~ ForeignFloating a) => String -> CInt
-> (forall s. b -> MutableByteArray# s -> IO CInt)
-> a -> Builder
{-# SPECIALIZE convert :: String -> CInt -> (forall s. CDouble -> MutableByteArray# s -> IO CInt) -> Double -> Builder #-}
{-# SPECIALIZE convert :: String -> CInt -> (forall s. CFloat -> MutableByteArray# s -> IO CInt) -> Float -> Builder #-}
{-# INLINABLE convert #-}
convert :: forall a b.
(RealFloat a, RealFloat b, b ~ ForeignFloating a) =>
String
-> CInt
-> (forall s. b -> MutableByteArray# s -> IO CInt)
-> a
-> Builder
convert String
func CInt
len forall s. b -> MutableByteArray# s -> IO CInt
act a
val = forall a. (forall s. ST s a) -> a
runST forall a b. (a -> b) -> a -> b
$ do
#if MIN_VERSION_text(2,0,0)
mTempArr@(A.MutableByteArray tempMArr) <- A.new (fromIntegral len)
#else
mTempArr :: MArray s
mTempArr@(A.MArray MutableByteArray# s
tempMArr) <- forall s. Int -> ST s (MArray s)
A.new (forall a b. (Integral a, Num b) => a -> b
fromIntegral CInt
len)
#endif
CInt
size <- forall a s. IO a -> ST s a
unsafeIOToST forall a b. (a -> b) -> a -> b
$ forall s. b -> MutableByteArray# s -> IO CInt
act (forall a b. (Real a, Fractional b) => a -> b
realToFrac a
val) MutableByteArray# s
tempMArr
Array
tempArr <- forall s. MArray s -> ST s Array
A.unsafeFreeze MArray s
mTempArr
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (CInt
size forall a. Eq a => a -> a -> Bool
== -CInt
1) forall b c a. (b -> c) -> (a -> b) -> a -> c
.
forall a. HasCallStack => String -> a
error forall a b. (a -> b) -> a -> b
$ String
"Data.Double.Conversion.Text." forall a. [a] -> [a] -> [a]
++ String
func forall a. [a] -> [a] -> [a]
++
String
": conversion failed."
#if MIN_VERSION_text(2,0,0)
return $ writeN (fromIntegral size) $ \mArr _ -> A.copyI (fromIntegral size) mArr 0 tempArr 0
#else
forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ Int -> (forall s. MArray s -> Int -> ST s ()) -> Builder
writeN (forall a b. (Integral a, Num b) => a -> b
fromIntegral CInt
size) forall a b. (a -> b) -> a -> b
$ \MArray s
mArr Int
_ -> forall s. MArray s -> Int -> Array -> Int -> Int -> ST s ()
A.copyI MArray s
mArr Int
0 Array
tempArr Int
0 (forall a b. (Integral a, Num b) => a -> b
fromIntegral CInt
size)
#endif