Safe Haskell	None
Language	Haskell2010

Physics.Contact.ConvexHull

Description

Convex polygons and their vertices and edges. Functions and types for treating convex polygons as support functions (axis -> extent along an axis).

Documentation

Constructors

Neighborhood
Fields _neighborhoodCenter :: !P2 _neighborhoodNext :: Neighborhood _neighborhoodPrev :: Neighborhood _neighborhoodUnitNormal :: !V2 _neighborhoodIndex :: !Int

Instances

Show Neighborhood Source #
Methods showsPrec :: Int -> Neighborhood -> ShowS # show :: Neighborhood -> String # showList :: [Neighborhood] -> ShowS #
Generic Neighborhood Source #
Associated Types type Rep Neighborhood :: * -> * # Methods from :: Neighborhood -> Rep Neighborhood x # to :: Rep Neighborhood x -> Neighborhood #
NFData Neighborhood Source #
Methods rnf :: Neighborhood -> () #
type Rep Neighborhood Source #
type Rep Neighborhood = D1 * (MetaData "Neighborhood" "Physics.Contact.ConvexHull" "shapes-0.1.0.0-E6UUiYRpOc15rGTlEn6KOE" False) (C1 * (MetaCons "Neighborhood" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "_neighborhoodCenter") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * P2)) (S1 * (MetaSel (Just Symbol "_neighborhoodNext") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Neighborhood))) ((::) (S1 * (MetaSel (Just Symbol "_neighborhoodPrev") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Neighborhood)) ((::) (S1 * (MetaSel (Just Symbol "_neighborhoodUnitNormal") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * V2)) (S1 * (MetaSel (Just Symbol "_neighborhoodIndex") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Int))))))

Constructors

Extent
Fields _extentMin :: !f _extentMax :: !f _extentProjection :: !(SP Double Double)

Instances

Functor Extent Source #
Methods fmap :: (a -> b) -> Extent a -> Extent b # (<$) :: a -> Extent b -> Extent a #
Eq f => Eq (Extent f) Source #
Methods (==) :: Extent f -> Extent f -> Bool # (/=) :: Extent f -> Extent f -> Bool #
Show f => Show (Extent f) Source #
Methods showsPrec :: Int -> Extent f -> ShowS # show :: Extent f -> String # showList :: [Extent f] -> ShowS #
Generic (Extent f) Source #
Associated Types type Rep (Extent f) :: * -> * # Methods from :: Extent f -> Rep (Extent f) x # to :: Rep (Extent f) x -> Extent f #
NFData f => NFData (Extent f) Source #
Methods rnf :: Extent f -> () #
type Rep (Extent f) Source #
type Rep (Extent f) = D1 * (MetaData "Extent" "Physics.Contact.ConvexHull" "shapes-0.1.0.0-E6UUiYRpOc15rGTlEn6KOE" False) (C1 * (MetaCons "Extent" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_extentMin") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * f)) ((::) (S1 * (MetaSel (Just Symbol "_extentMax") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * f)) (S1 * (MetaSel (Just Symbol "_extentProjection") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SP Double Double))))))

Constructors

ConvexHull
Fields _hullVertexCount :: !Int _hullVertices :: !(Array Int P2) _hullEdgeNormals :: !(Array Int V2) _hullNeighborhoods :: Array Int Neighborhood _hullExtents :: !(Array Int (Int, Int)) _hullLocalVertices :: !(Array Int P2)

Instances

Show ConvexHull Source #
Methods showsPrec :: Int -> ConvexHull -> ShowS # show :: ConvexHull -> String # showList :: [ConvexHull] -> ShowS #
Generic ConvexHull Source #
Associated Types type Rep ConvexHull :: * -> * # Methods from :: ConvexHull -> Rep ConvexHull x # to :: Rep ConvexHull x -> ConvexHull #
NFData ConvexHull Source #
Methods rnf :: ConvexHull -> () #
type Rep ConvexHull Source #
type Rep ConvexHull = D1 * (MetaData "ConvexHull" "Physics.Contact.ConvexHull" "shapes-0.1.0.0-E6UUiYRpOc15rGTlEn6KOE" False) (C1 * (MetaCons "ConvexHull" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "_hullVertexCount") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Int)) ((::) (S1 * (MetaSel (Just Symbol "_hullVertices") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Array Int P2))) (S1 * (MetaSel (Just Symbol "_hullEdgeNormals") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Array Int V2))))) ((::) (S1 * (MetaSel (Just Symbol "_hullNeighborhoods") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Array Int Neighborhood))) ((::) (S1 * (MetaSel (Just Symbol "_hullExtents") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Array Int (Int, Int)))) (S1 * (MetaSel (Just Symbol "_hullLocalVertices") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Array Int P2)))))))