blob: 04e42809a592039a4b7e6bd9eaa34333dc4422ce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
{-# 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
}
-- FIXME: Is this true?
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}
|