Types.hs

module ConvexHull.Types
  where
import           Data.IntMap.Strict (IntMap)
import qualified Data.IntMap.Strict as IM
import           Data.IntSet        (IntSet)
import           Qhull.Types

data Vertex = Vertex {
    _point         :: [Double]
  , _neighfacets   :: IntSet
  , _neighvertices :: IndexSet
  , _neighridges   :: IntSet
} deriving Show

data Ridge = Ridge {
    _rvertices :: IndexMap [Double]
  , _ridgeOf   :: IntSet
  , _redges    :: EdgeMap
} deriving Show

instance HasVertices Ridge where
  _vertices = _rvertices

instance HasEdges Ridge where
  _edges = _redges

data Facet = Facet {
    _fvertices :: IndexMap [Double]
  , _fridges   :: IntSet
  , _centroid  :: [Double]
  , _normal'   :: [Double]
  , _offset'   :: Double
  , _area      :: Double
  , _neighbors :: IntSet
  , _family'   :: Family
  , _fedges    :: EdgeMap
} deriving Show

instance HasCenter Facet where
  _center = _centroid

instance HasEdges Facet where
  _edges = _fedges

instance HasVertices Facet where
  _vertices = _fvertices

instance HasNormal Facet where
  _normal = _normal'
  _offset = _offset'

instance HasVolume Facet where
  _volume = _area

instance HasFamily Facet where
  _family = _family'

data ConvexHull = ConvexHull {
    _hvertices :: IndexMap Vertex
  , _hfacets   :: IntMap Facet
  , _hridges   :: IntMap Ridge
  , _hedges    :: EdgeMap
} deriving Show

instance HasEdges ConvexHull where
  _edges = _hedges

instance HasVertices ConvexHull where
  _vertices hull = IM.map _point (_hvertices hull)