{-# LANGUAGE CPP, MagicHash, Rank2Types, TypeFamilies #-}
-- |
-- Module      : Data.Double.Conversion.TextBuilder
-- Copyright   : (c) 2011 MailRank, Inc.
--
-- License     : BSD-style
-- Maintainer  : bos@serpentine.com
-- Stability   : experimental
-- Portability : GHC
--
-- Fast, efficient support for converting between double precision
-- floating point values and text.
--

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#)

-- | Not implemented yet 
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 #-}
#if MIN_VERSION_text(2,0,0)
convert func len act val = writeN (fromIntegral len) $ \(A.MutableByteArray maBa) _ -> do
#else
convert :: 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 = Int -> (forall s. MArray s -> Int -> ST s ()) -> Builder
writeN (CInt -> Int
forall a b. (Integral a, Num b) => a -> b
fromIntegral CInt
len) ((forall s. MArray s -> Int -> ST s ()) -> Builder)
-> (forall s. MArray s -> Int -> ST s ()) -> Builder
forall a b. (a -> b) -> a -> b
$ \(A.MArray MutableByteArray# s
maBa) Int
_ -> do
#endif
    CInt
size <- IO CInt -> ST s CInt
forall a s. IO a -> ST s a
unsafeIOToST (IO CInt -> ST s CInt) -> IO CInt -> ST s CInt
forall a b. (a -> b) -> a -> b
$ b -> MutableByteArray# s -> IO CInt
forall s. b -> MutableByteArray# s -> IO CInt
act (a -> b
forall a b. (Real a, Fractional b) => a -> b
realToFrac a
val) MutableByteArray# s
maBa
    Bool -> ST s () -> ST s ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (CInt
size CInt -> CInt -> Bool
forall a. Eq a => a -> a -> Bool
== -CInt
1) (ST s () -> ST s ()) -> (String -> ST s ()) -> String -> ST s ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
.
        String -> ST s ()
forall (m :: * -> *) a. MonadFail m => String -> m a
fail (String -> ST s ()) -> String -> ST s ()
forall a b. (a -> b) -> a -> b
$ String
"Data.Double.Conversion.Text." String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
func String -> String -> String
forall a. [a] -> [a] -> [a]
++
               String
": conversion failed (invalid precision requested)"
    () -> ST s ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()