{-# OPTIONS_GHC -Wall #-}
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE MultiWayIf #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE EmptyDataDecls #-}
module Types where
import Foreign.C.Types
import qualified Language.Haskell.TH as TH
import qualified Language.C.Types as CT
import qualified Data.Map as Map
import Language.C.Inline.Context
import qualified Data.Vector.Storable as V
data SunVector
data SunMatrix = SunMatrix { rows :: CInt
, cols :: CInt
, vals :: V.Vector CDouble
}
type SunIndexType = CLong
sunTypesTable :: Map.Map CT.TypeSpecifier TH.TypeQ
sunTypesTable = Map.fromList
[
(CT.TypeName "sunindextype", [t| SunIndexType |] )
, (CT.TypeName "SunVector", [t| SunVector |] )
, (CT.TypeName "SunMatrix", [t| SunMatrix |] )
]
sunCtx :: Context
sunCtx = mempty {ctxTypesTable = sunTypesTable}