{-# LANGUAGE MagicHash #-}
{-# LANGUAGE UnboxedTuples #-}
{-# LANGUAGE CPP #-}
{-# LANGUAGE UnliftedFFITypes #-}
module Basement.Compat.Primitive
( bool#
, PinnedStatus(..), toPinnedStatus#
, compatMkWeak#
, compatIsByteArrayPinned#
, compatIsMutableByteArrayPinned#
, unsafeCoerce#
, Word(..)
, Word8#
, Word16#
, Word32#
, Int8#
, Int16#
, Int32#
, word8ToWord16#
, word8ToWord32#
, word8ToWord#
, word16ToWord8#
, word16ToWord32#
, word16ToWord#
, word32ToWord#
, word32ToWord8#
, word32ToWord16#
, wordToWord32#
, wordToWord16#
, wordToWord8#
, int8ToInt16#
, int8ToInt32#
, int8ToInt#
, int16ToInt32#
, int16ToInt#
, int32ToInt#
, intToInt8#
, intToInt16#
, intToInt32#
, word8ToInt#
, word8ToInt16#
, word8ToInt32#
, charToWord32#
, word8ToChar#
, word16ToChar#
, word32ToChar#
, wordToChar#
, plusWord8#
, uncheckedShiftRLWord16#
, plusWord16#
, uncheckedShiftRLWord32#
, plusWord32#
, plusInt8#
, plusInt16#
, plusInt32#
) where
import qualified Prelude
import GHC.Exts hiding (Word8#, Word16#, Word32#, Int8#, Int16#, Int32#, plusWord8#, plusWord16#, plusInt8#, plusInt16#)
import GHC.Prim hiding (Word8#, Word16#, Word32#, Int8#, Int16#, Int32#, plusWord8#, plusWord16#, plusInt8#, plusInt16#)
import GHC.Word
import GHC.IO
import Basement.Compat.PrimTypes
#if __GLASGOW_HASKELL__ >= 902
import GHC.Exts (Word8#, Word16#, Word32#, Int8#, Int16#, Int32#, plusWord8#, plusWord16#, plusInt8#, plusInt16#)
#endif
data PinnedStatus = Pinned | Unpinned
deriving (PinnedStatus -> PinnedStatus -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PinnedStatus -> PinnedStatus -> Bool
$c/= :: PinnedStatus -> PinnedStatus -> Bool
== :: PinnedStatus -> PinnedStatus -> Bool
$c== :: PinnedStatus -> PinnedStatus -> Bool
Prelude.Eq)
toPinnedStatus# :: Pinned# -> PinnedStatus
toPinnedStatus# :: Pinned# -> PinnedStatus
toPinnedStatus# Pinned#
0# = PinnedStatus
Unpinned
toPinnedStatus# Pinned#
_ = PinnedStatus
Pinned
bool# :: Int# -> Prelude.Bool
bool# :: Pinned# -> Bool
bool# Pinned#
v = Pinned# -> Bool
isTrue# Pinned#
v
{-# INLINE bool# #-}
compatMkWeak# :: o -> b -> Prelude.IO () -> State# RealWorld -> (#State# RealWorld, Weak# b #)
compatMkWeak# :: forall o b.
o
-> b
-> IO ()
-> State# RealWorld
-> (# State# RealWorld, Weak# b #)
compatMkWeak# o
o b
b IO ()
c State# RealWorld
s = mkWeak# :: forall a b c.
a
-> b
-> (State# RealWorld -> (# State# RealWorld, c #))
-> State# RealWorld
-> (# State# RealWorld, Weak# b #)
mkWeak# o
o b
b (case IO ()
c of { IO State# RealWorld -> (# State# RealWorld, () #)
f -> State# RealWorld -> (# State# RealWorld, () #)
f }) State# RealWorld
s
{-# INLINE compatMkWeak# #-}
#if __GLASGOW_HASKELL__ >= 802
compatIsByteArrayPinned# :: ByteArray# -> Pinned#
compatIsByteArrayPinned# :: ByteArray# -> Pinned#
compatIsByteArrayPinned# ByteArray#
ba = ByteArray# -> Pinned#
isByteArrayPinned# ByteArray#
ba
compatIsMutableByteArrayPinned# :: MutableByteArray# s -> Pinned#
compatIsMutableByteArrayPinned# :: forall s. MutableByteArray# s -> Pinned#
compatIsMutableByteArrayPinned# MutableByteArray# s
ba = forall s. MutableByteArray# s -> Pinned#
isMutableByteArrayPinned# MutableByteArray# s
ba
#else
foreign import ccall unsafe "basement_is_bytearray_pinned"
compatIsByteArrayPinned# :: ByteArray# -> Pinned#
foreign import ccall unsafe "basement_is_bytearray_pinned"
compatIsMutableByteArrayPinned# :: MutableByteArray# s -> Pinned#
#endif
#if __GLASGOW_HASKELL__ >= 902
word8ToWord16# :: Word8# -> Word16#
word8ToWord16# :: Word8# -> Word16#
word8ToWord16# Word8#
a = Word# -> Word16#
wordToWord16# (Word8# -> Word#
word8ToWord# Word8#
a)
word8ToWord32# :: Word8# -> Word32#
word8ToWord32# :: Word8# -> Word32#
word8ToWord32# Word8#
a = Word# -> Word32#
wordToWord32# (Word8# -> Word#
word8ToWord# Word8#
a)
word16ToWord8# :: Word16# -> Word8#
word16ToWord8# :: Word16# -> Word8#
word16ToWord8# Word16#
a = Word# -> Word8#
wordToWord8# (Word16# -> Word#
word16ToWord# Word16#
a)
word16ToWord32# :: Word16# -> Word32#
word16ToWord32# :: Word16# -> Word32#
word16ToWord32# Word16#
a = Word# -> Word32#
wordToWord32# (Word16# -> Word#
word16ToWord# Word16#
a)
word32ToWord8# :: Word32# -> Word8#
word32ToWord8# :: Word32# -> Word8#
word32ToWord8# Word32#
a = Word# -> Word8#
wordToWord8# (Word32# -> Word#
word32ToWord# Word32#
a)
word32ToWord16# :: Word32# -> Word16#
word32ToWord16# :: Word32# -> Word16#
word32ToWord16# Word32#
a = Word# -> Word16#
wordToWord16# (Word32# -> Word#
word32ToWord# Word32#
a)
int8ToInt16# :: Int8# -> Int16#
int8ToInt16# :: Int8# -> Int16#
int8ToInt16# Int8#
i = Pinned# -> Int16#
intToInt16# (Int8# -> Pinned#
int8ToInt# Int8#
i)
int8ToInt32# :: Int8# -> Int32#
int8ToInt32# :: Int8# -> Int32#
int8ToInt32# Int8#
i = Pinned# -> Int32#
intToInt32# (Int8# -> Pinned#
int8ToInt# Int8#
i)
int16ToInt32# :: Int16# -> Int32#
int16ToInt32# :: Int16# -> Int32#
int16ToInt32# Int16#
i = Pinned# -> Int32#
intToInt32# (Int16# -> Pinned#
int16ToInt# Int16#
i)
word8ToInt16# :: Word8# -> Int16#
word8ToInt16# :: Word8# -> Int16#
word8ToInt16# Word8#
i = Pinned# -> Int16#
intToInt16# (Word# -> Pinned#
word2Int# (Word8# -> Word#
word8ToWord# Word8#
i))
word8ToInt32# :: Word8# -> Int32#
word8ToInt32# :: Word8# -> Int32#
word8ToInt32# Word8#
i = Pinned# -> Int32#
intToInt32# (Word# -> Pinned#
word2Int# (Word8# -> Word#
word8ToWord# Word8#
i))
word8ToInt# :: Word8# -> Int#
word8ToInt# :: Word8# -> Pinned#
word8ToInt# Word8#
i = Word# -> Pinned#
word2Int# (Word8# -> Word#
word8ToWord# Word8#
i)
charToWord32# :: Char# -> Word32#
charToWord32# :: Char# -> Word32#
charToWord32# Char#
ch = Word# -> Word32#
wordToWord32# (Pinned# -> Word#
int2Word# (Char# -> Pinned#
ord# Char#
ch))
word8ToChar# :: Word8# -> Char#
word8ToChar# :: Word8# -> Char#
word8ToChar# Word8#
ch = Pinned# -> Char#
chr# (Word# -> Pinned#
word2Int# (Word8# -> Word#
word8ToWord# Word8#
ch))
word16ToChar# :: Word16# -> Char#
word16ToChar# :: Word16# -> Char#
word16ToChar# Word16#
ch = Pinned# -> Char#
chr# (Word# -> Pinned#
word2Int# (Word16# -> Word#
word16ToWord# Word16#
ch))
word32ToChar# :: Word32# -> Char#
word32ToChar# :: Word32# -> Char#
word32ToChar# Word32#
ch = Pinned# -> Char#
chr# (Word# -> Pinned#
word2Int# (Word32# -> Word#
word32ToWord# Word32#
ch))
wordToChar# :: Word# -> Char#
wordToChar# :: Word# -> Char#
wordToChar# Word#
ch = Pinned# -> Char#
chr# (Word# -> Pinned#
word2Int# Word#
ch)
#else
type Word8# = Word#
type Word16# = Word#
type Word32# = Word#
type Int8# = Int#
type Int16# = Int#
type Int32# = Int#
word8ToWord16# :: Word8# -> Word16#
word8ToWord16# a = a
word8ToWord32# :: Word8# -> Word32#
word8ToWord32# a = a
word8ToWord# :: Word8# -> Word#
word8ToWord# a = a
word16ToWord32# :: Word16# -> Word32#
word16ToWord32# a = a
word16ToWord8# :: Word16# -> Word8#
word16ToWord8# w = narrow8Word# w
word16ToWord# :: Word16# -> Word#
word16ToWord# a = a
word32ToWord8# :: Word32# -> Word8#
word32ToWord8# w = narrow8Word# w
word32ToWord16# :: Word32# -> Word16#
word32ToWord16# w = narrow16Word# w
word32ToWord# :: Word32# -> Word#
word32ToWord# a = a
wordToWord32# :: Word# -> Word32#
wordToWord32# w = narrow32Word# w
wordToWord16# :: Word# -> Word16#
wordToWord16# w = narrow16Word# w
wordToWord8# :: Word# -> Word8#
wordToWord8# w = narrow8Word# w
charToWord32# :: Char# -> Word32#
charToWord32# ch = int2Word# (ord# ch)
word8ToInt16# :: Word8# -> Int16#
word8ToInt16# w = word2Int# w
word8ToInt32# :: Word8# -> Int32#
word8ToInt32# w = word2Int# w
word8ToInt# :: Word8# -> Int#
word8ToInt# w = word2Int# w
word8ToChar# :: Word8# -> Char#
word8ToChar# w = chr# (word2Int# w)
word16ToChar# :: Word16# -> Char#
word16ToChar# w = chr# (word2Int# w)
word32ToChar# :: Word32# -> Char#
word32ToChar# w = chr# (word2Int# w)
wordToChar# :: Word# -> Char#
wordToChar# ch = chr# (word2Int# ch)
int8ToInt16# :: Int8# -> Int16#
int8ToInt16# a = a
int8ToInt32# :: Int8# -> Int32#
int8ToInt32# a = a
int8ToInt# :: Int8# -> Int#
int8ToInt# a = a
int16ToInt32# :: Int16# -> Int32#
int16ToInt32# a = a
int16ToInt# :: Int16# -> Int#
int16ToInt# a = a
int32ToInt# :: Int32# -> Int#
int32ToInt# a = a
intToInt8# :: Int# -> Int8#
intToInt8# i = narrow8Int# i
intToInt16# :: Int# -> Int16#
intToInt16# i = narrow16Int# i
intToInt32# :: Int# -> Int32#
intToInt32# i = narrow32Int# i
uncheckedShiftRLWord16# = uncheckedShiftRL#
uncheckedShiftRLWord32# = uncheckedShiftRL#
plusWord8# :: Word8# -> Word8# -> Word8#
plusWord8# a b = narrow8Word# (plusWord# a b)
plusWord16# :: Word16# -> Word16# -> Word16#
plusWord16# a b = narrow16Word# (plusWord# a b)
plusWord32# :: Word32# -> Word32# -> Word32#
plusWord32# a b = narrow32Word# (plusWord# a b)
plusInt8# :: Int8# -> Int8# -> Int8#
plusInt8# a b = narrow8Int# (a +# b)
plusInt16# :: Int16# -> Int16# -> Int16#
plusInt16# a b = narrow16Int# (a +# b)
plusInt32# :: Int32# -> Int32# -> Int32#
plusInt32# a b = narrow32Int# (a +# b)
#endif