{-# LANGUAGE CPP #-}

module DearImGui.Internal.Text
  ( withCString
  , withCStringOrNull
  , withCStringLen
  , withCStringEnd
  , peekCString

  , Text
  , pack
  , unpack
  ) where

-- base
import Foreign (nullPtr, plusPtr)
import Foreign.C.String (CString)
import qualified GHC.Foreign as Foreign
import System.IO (utf8)

-- text
import Data.Text (Text, pack, unpack)
import Data.Text.Foreign (withCStringLen)

-- unliftio-core
import UnliftIO (MonadUnliftIO, UnliftIO(..), withUnliftIO)

#if MIN_VERSION_text(2,0,1)
-- XXX: just wrap the provided combinator

import qualified Data.Text.Foreign as Text

withCString :: MonadUnliftIO m => Text -> (CString -> m a) -> m a
withCString text action =
  withUnliftIO $ \(UnliftIO unlift) ->
    Text.withCString text $ \buf ->
      unlift $ action buf

#elif MIN_VERSION_text(2,0,0)
-- XXX: the text is UTF-8, alas no withCString is available

import Data.Text.Foreign (lengthWord8, unsafeCopyToPtr)
import Data.Word (Word8)
import Foreign (allocaBytes, castPtr, pokeByteOff)

withCString :: MonadUnliftIO m => Text -> (CString -> m a) -> m a
withCString t@(Text _arr _off len) action =
  withUnliftIO $ \(UnliftIO unlift) ->
    allocaBytes (len + 1) $ \buf -> do
      unsafeCopyToPtr t buf
      pokeByteOff buf len (0 :: Word8)
      unlift $ action (castPtr buf)

#else
-- XXX: the text is UTF-16, let GHC do it

withCString :: MonadUnliftIO m => Text -> (CString -> m a) -> m a
withCString :: forall (m :: * -> *) a.
MonadUnliftIO m =>
Text -> (CString -> m a) -> m a
withCString Text
t CString -> m a
action = do
  forall (m :: * -> *) a.
MonadUnliftIO m =>
(UnliftIO m -> IO a) -> m a
withUnliftIO forall a b. (a -> b) -> a -> b
$ \(UnliftIO forall a. m a -> IO a
unlift) ->
    forall a. TextEncoding -> String -> (CString -> IO a) -> IO a
Foreign.withCString TextEncoding
utf8 (Text -> String
unpack Text
t) forall a b. (a -> b) -> a -> b
$ \CString
textPtr ->
      forall a. m a -> IO a
unlift forall a b. (a -> b) -> a -> b
$ CString -> m a
action CString
textPtr

#endif

peekCString :: CString -> IO Text
peekCString :: CString -> IO Text
peekCString = forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap String -> Text
pack forall b c a. (b -> c) -> (a -> b) -> a -> c
. TextEncoding -> CString -> IO String
Foreign.peekCString TextEncoding
utf8

withCStringOrNull :: Maybe Text -> (CString -> IO a) -> IO a
withCStringOrNull :: forall a. Maybe Text -> (CString -> IO a) -> IO a
withCStringOrNull Maybe Text
Nothing CString -> IO a
k  = CString -> IO a
k forall a. Ptr a
nullPtr
withCStringOrNull (Just Text
s) CString -> IO a
k = forall (m :: * -> *) a.
MonadUnliftIO m =>
Text -> (CString -> m a) -> m a
withCString Text
s CString -> IO a
k

withCStringEnd :: MonadUnliftIO m => Text -> (CString -> CString -> m a) -> m a
withCStringEnd :: forall (m :: * -> *) a.
MonadUnliftIO m =>
Text -> (CString -> CString -> m a) -> m a
withCStringEnd Text
t CString -> CString -> m a
action =
  forall (m :: * -> *) a.
MonadUnliftIO m =>
(UnliftIO m -> IO a) -> m a
withUnliftIO forall a b. (a -> b) -> a -> b
$ \(UnliftIO forall a. m a -> IO a
unlift) ->
    forall a. Text -> (CStringLen -> IO a) -> IO a
withCStringLen Text
t forall a b. (a -> b) -> a -> b
$ \(CString
textPtr, Int
size) ->
      forall a. m a -> IO a
unlift forall a b. (a -> b) -> a -> b
$ CString -> CString -> m a
action CString
textPtr (CString
textPtr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
size)