-- Types used for C FFI.
module Foreign.C.Types(
  CBool(..),
  CChar(..),  CSChar(..),  CUChar(..), CWchar(..),
  CShort(..), CUShort(..),
  CInt(..),   CUInt(..),
  CLong(..),  CULong(..),
  CPtrdiff(..),
  CSize(..),  CSSize(..),
  CLLong(..), CULLong(..),
  CIntMax(..), CUIntMax(..),
  CIntPtr(..), CUIntPtr(..),
  CFloat(..), CDouble(..),
  CSigAtomic(..),
  CTime(..), CClock(..),
  CUSeconds(..), CSUSeconds(..),
  intToCSize, cSizeToInt,
  ) where
import qualified Prelude()
import Primitives
import Data.Bits.Base
import Data.Bool
import Data.Bounded
import Data.Coerce
import Data.Enum
import Data.Eq
import Data.Floating
import Data.Fractional
import Data.Int.Int
import Data.Integral
import Data.Num
import Data.Ord
import Data.Real
import Data.RealFrac
import Data.RealFloat
import Data.Word.Word
import Data.Word.Word8
import Data.Float
import Data.Double
import {-# SOURCE #-} Data.Typeable
import Text.Show

-- The MicroHs Word type is the "natural" architecture word size;
-- it is the same as the pointer difference type.
-- And Int is the natural signed word size.
newtype CBool    = CBool    Word8
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CChar    = CChar    Int
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CSChar   = CSChar   Int
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CUChar   = CUChar   Word
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CWchar = CWchar Int
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CShort   = CShort   Int
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CUShort  = CUShort  Word
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CInt     = CInt     Int
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CUInt    = CUInt    Word
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CLong    = CLong    Int
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CULong   = CULong   Word
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CPtrdiff = CPtrdiff Word
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CSize    = CSize    Word
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CSSize   = CSSize   Int
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CLLong   = CLLong   Int64
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CULLong  = CULLong  Word64
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CIntPtr  = CIntPtr  Int
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CUIntPtr = CUIntPtr Word
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CIntMax = CIntMax Int64
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CUIntMax = CUIntMax Word64
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)
newtype CSigAtomic = CSigAtomic Word  -- XXX platform specific
  deriving newtype (Eq, Ord, Show, Enum, Num, Integral, Real, Bounded, Bits, FiniteBits)

-- XXX This is really platform specific
newtype CClock = CClock Int
  deriving newtype (Eq, Ord, Show, Enum, Num, Real)
newtype CTime = CTime Int
  deriving newtype (Eq, Ord, Show, Enum, Num, Real)
newtype CUSeconds = CUSeconds Word
  deriving newtype (Eq, Ord, Show, Enum, Num, Real)
newtype CSUSeconds = CSUSeconds Int
  deriving newtype (Eq, Ord, Show, Enum, Num, Real)

newtype CFloat   = CFloat   Float
  deriving newtype (Eq, Ord, Show, Num, Real, Fractional, RealFrac, Floating, RealFloat)
newtype CDouble  = CDouble  Double
  deriving newtype (Eq, Ord, Show, Num, Real, Fractional, RealFrac, Floating, RealFloat)

-- Temporary conversion functions.
intToCSize :: Int -> CSize
intToCSize i = CSize (primIntToWord i)

cSizeToInt :: CSize -> Int
cSizeToInt (CSize i) = primWordToInt i