Prop reification/splitting

This commit is contained in:
2022-07-24 13:45:05 +01:00
parent 5a2f529182
commit ac069d08f6
31 changed files with 585 additions and 458 deletions
+3 -3
View File
@@ -32,17 +32,17 @@ data ShapeObj = ShapeObj
{ _shType :: ShapeType
, _shVs :: [ShapeV]
}
deriving ()
deriving (Eq,Ord,Show,Read)
newtype ShapeType = TopPrism Int
deriving (Eq,Ord,Show)
deriving (Eq,Ord,Show,Read)
-- edges are given by four consecutive points
data ShapeV = ShapeV
{_svPos :: Point3
,_svCol :: Point4
}
deriving (Eq,Ord,Show)
deriving (Eq,Ord,Show,Read)
pairToSV :: (Point3,Point4) -> ShapeV
{-# INLINE pairToSV #-}
pairToSV = uncurry ShapeV