module Basement.IntegralConv
( IntegralDownsize(..)
, IntegralUpsize(..)
, intToInt64
, int64ToInt
, wordToWord64
, word64ToWord32s
, Word32x2(..)
, word64ToWord
, wordToChar
, wordToInt
, charToInt
) where
import GHC.Types
import GHC.Prim
import GHC.Int
import GHC.Word
import Prelude (Integer, fromIntegral)
import Basement.Compat.Base
import Basement.Compat.Natural
import Basement.Numerical.Number
import Basement.Numerical.Conversion
class IntegralDownsize a b where
integralDownsize :: a -> b
default integralDownsize :: a ~ b => a -> b
integralDownsize = id
integralDownsizeCheck :: a -> Maybe b
class IntegralUpsize a b where
integralUpsize :: a -> b
integralDownsizeBounded :: forall a b . (Ord a, Bounded b, IntegralDownsize a b, IntegralUpsize b a)
=> (a -> b)
-> a
-> Maybe b
integralDownsizeBounded aToB x
| x < integralUpsize (minBound :: b) && x > integralUpsize (maxBound :: b) = Nothing
| otherwise = Just (aToB x)
instance IsIntegral a => IntegralUpsize a Integer where
integralUpsize = toInteger
instance IsNatural a => IntegralUpsize a Natural where
integralUpsize = toNatural
instance IntegralUpsize Int8 Int16 where
integralUpsize (I8# i) = I16# i
instance IntegralUpsize Int8 Int32 where
integralUpsize (I8# i) = I32# i
instance IntegralUpsize Int8 Int64 where
integralUpsize (I8# i) = intToInt64 (I# i)
instance IntegralUpsize Int8 Int where
integralUpsize (I8# i) = I# i
instance IntegralUpsize Int16 Int32 where
integralUpsize (I16# i) = I32# i
instance IntegralUpsize Int16 Int64 where
integralUpsize (I16# i) = intToInt64 (I# i)
instance IntegralUpsize Int16 Int where
integralUpsize (I16# i) = I# i
instance IntegralUpsize Int32 Int64 where
integralUpsize (I32# i) = intToInt64 (I# i)
instance IntegralUpsize Int32 Int where
integralUpsize (I32# i) = I# i
instance IntegralUpsize Int Int64 where
integralUpsize = intToInt64
instance IntegralUpsize Word8 Word16 where
integralUpsize (W8# i) = W16# i
instance IntegralUpsize Word8 Word32 where
integralUpsize (W8# i) = W32# i
instance IntegralUpsize Word8 Word64 where
integralUpsize (W8# i) = wordToWord64 (W# i)
instance IntegralUpsize Word8 Word where
integralUpsize (W8# i) = W# i
instance IntegralUpsize Word8 Int16 where
integralUpsize (W8# w) = I16# (word2Int# w)
instance IntegralUpsize Word8 Int32 where
integralUpsize (W8# w) = I32# (word2Int# w)
instance IntegralUpsize Word8 Int64 where
integralUpsize (W8# w) = intToInt64 (I# (word2Int# w))
instance IntegralUpsize Word8 Int where
integralUpsize (W8# w) = I# (word2Int# w)
instance IntegralUpsize Word16 Word32 where
integralUpsize (W16# i) = W32# i
instance IntegralUpsize Word16 Word64 where
integralUpsize (W16# i) = wordToWord64 (W# i)
instance IntegralUpsize Word16 Word where
integralUpsize (W16# i) = W# i
instance IntegralUpsize Word32 Word64 where
integralUpsize (W32# i) = wordToWord64 (W# i)
instance IntegralUpsize Word32 Word where
integralUpsize (W32# i) = W# i
instance IntegralUpsize Word Word64 where
integralUpsize = wordToWord64
instance IntegralDownsize Int Int8 where
integralDownsize (I# i) = I8# (narrow8Int# i)
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Int Int16 where
integralDownsize (I# i) = I16# (narrow16Int# i)
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Int Int32 where
integralDownsize (I# i) = I32# (narrow32Int# i)
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Int64 Int8 where
integralDownsize i = integralDownsize (int64ToInt i)
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Int64 Int16 where
integralDownsize i = integralDownsize (int64ToInt i)
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Int64 Int32 where
integralDownsize i = integralDownsize (int64ToInt i)
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Int64 Int where
integralDownsize i = int64ToInt i
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Word64 Word8 where
integralDownsize (W64# i) = W8# (narrow8Word# (word64ToWord# i))
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Word64 Word16 where
integralDownsize (W64# i) = W16# (narrow16Word# (word64ToWord# i))
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Word64 Word32 where
integralDownsize (W64# i) = W32# (narrow32Word# (word64ToWord# i))
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Word Word8 where
integralDownsize (W# w) = W8# (narrow8Word# w)
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Word Word16 where
integralDownsize (W# w) = W16# (narrow16Word# w)
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Word Word32 where
integralDownsize (W# w) = W32# (narrow32Word# w)
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Word32 Word8 where
integralDownsize (W32# i) = W8# (narrow8Word# i)
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Word32 Word16 where
integralDownsize (W32# i) = W16# (narrow16Word# i)
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Word16 Word8 where
integralDownsize (W16# i) = W8# (narrow8Word# i)
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Integer Int8 where
integralDownsize = fromIntegral
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Integer Int16 where
integralDownsize = fromIntegral
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Integer Int32 where
integralDownsize = fromIntegral
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Integer Int64 where
integralDownsize = fromIntegral
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Integer Word8 where
integralDownsize = fromIntegral
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Integer Word16 where
integralDownsize = fromIntegral
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Integer Word32 where
integralDownsize = fromIntegral
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Integer Word64 where
integralDownsize = fromIntegral
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Integer Natural where
integralDownsize i
| i >= 0 = fromIntegral i
| otherwise = 0
integralDownsizeCheck i
| i >= 0 = Just (fromIntegral i)
| otherwise = Nothing
instance IntegralDownsize Natural Word8 where
integralDownsize = fromIntegral
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Natural Word16 where
integralDownsize = fromIntegral
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Natural Word32 where
integralDownsize = fromIntegral
integralDownsizeCheck = integralDownsizeBounded integralDownsize
instance IntegralDownsize Natural Word64 where
integralDownsize = fromIntegral
integralDownsizeCheck = integralDownsizeBounded integralDownsize