Safe Haskell	None
Language	Haskell2010

Apecs.Physics

Contents

General
Space
Body
Shape
Constraint
Collision
Query
Geometry

Description

apecs-physics prelude

Synopsis

data Physics
newtype Gravity = Gravity Vec
newtype Iterations = Iterations Int
stepPhysics :: Has w IO Physics => Double -> System w ()
earthGravity :: Gravity
data Body
- = DynamicBody
- | KinematicBody
- | StaticBody
newtype Position = Position WVec
newtype Velocity = Velocity WVec
newtype Angle = Angle Double
newtype AngularVelocity = AngularVelocity Double
newtype Force = Force Vec
newtype BodyMass = BodyMass Double
newtype Moment = Moment Double
newtype CenterOfGravity = CenterOfGravity BVec
newtype Torque = Torque Double
newtype ShapeList = ShapeList [Entity]
newtype ConstraintList = ConstraintList [Entity]
data Convex = Convex [BVec] Double
data Shape = Shape Entity Convex
newtype Mass = Mass Double
newtype Density = Density Double
newtype Sensor = Sensor Bool
newtype Friction = Friction Double
newtype Elasticity = Elasticity Double
newtype SurfaceVelocity = SurfaceVelocity Vec
data CollisionFilter = CollisionFilter {
- filterGroup :: CollisionGroup
- filterCategories :: Bitmask
- filterMask :: Bitmask
}
newtype CollisionType = CollisionType CUIntPtr
newtype Bitmask = Bitmask CUInt
maskAll :: Bitmask
maskNone :: Bitmask
maskList :: [Int] -> Bitmask
defaultFilter :: CollisionFilter
boxShape :: Double -> Double -> Vec -> Convex
data Constraint = Constraint Entity Entity ConstraintType
data ConstraintType
- = PinJoint BVec BVec
- | SlideJoint BVec BVec Double Double
- | PivotJoint WVec
- | PivotJoint2 BVec BVec
- | GrooveJoint BVec BVec BVec
- | DampedSpring BVec BVec Double Double Double
- | DampedRotarySpring Double Double Double
- | RotaryLimitJoint Double Double
- | RatchetJoint Double Double
- | GearJoint Double Double
- | SimpleMotor Double
newtype MaxForce = MaxForce Double
newtype MaxBias = MaxBias Double
newtype ErrorBias = ErrorBias Double
newtype Impulse = Impulse Double
newtype CollideBodies = CollideBodies Bool
data Collision = Collision {
- collisionNormal :: Vec
- collisionBodyA :: Entity
- collisionBodyB :: Entity
- collisionShapeA :: Entity
- collisionShapeB :: Entity
}
data CollisionHandler = CollisionHandler {
- source :: CollisionSource
- beginCB :: Maybe BeginCB
- separateCB :: Maybe SeparateCB
- preSolveCB :: Maybe PreSolveCB
- postSolveCB :: Maybe PostSolveCB
}
defaultHandler :: CollisionHandler
data CollisionSource
- = Wildcard CollisionType
- | Between CollisionType CollisionType
data BeginCB
data SeparateCB
data PreSolveCB
data PostSolveCB
mkBeginCB :: (Collision -> System w Bool) -> System w BeginCB
mkSeparateCB :: (Collision -> System w ()) -> System w SeparateCB
mkPreSolveCB :: (Collision -> System w Bool) -> System w PreSolveCB
mkPostSolveCB :: (Collision -> System w ()) -> System w PostSolveCB
data PointQueryResult = PointQueryResult {
- pqShape :: Entity
- pqPoint :: WVec
- pqDistance :: Double
- pqGradient :: Vec
}
pointQuery :: Has w IO Physics => WVec -> Double -> CollisionFilter -> System w (Maybe PointQueryResult)
vertices :: Convex -> [BVec]
mapVertices :: (BVec -> BVec) -> Convex -> Convex
shift :: BVec -> Convex -> Convex
getRadius :: Convex -> Double
setRadius :: Double -> Convex -> Convex
cCircle :: Double -> Convex
zCircle :: Double -> Convex
oCircle :: BVec -> Double -> Convex
hLine :: Double -> Convex
vLine :: Double -> Convex
cRectangle :: BVec -> Convex
oRectangle :: BVec -> BVec -> Convex
zRectangle :: BVec -> Convex
toEdges :: Convex -> [Convex]
gridLines :: Vec -> Int -> Int -> [Convex]
type BVec = Vec
type WVec = Vec
module Apecs
module Linear.V2

General

data Physics Source #

Uninhabited, should be added to the world as a component to add a physics space.

Instances

Component Physics Source #
Instance details Defined in Apecs.Physics.Space Associated Types type Storage Physics :: Type #
type Storage Physics Source #
Instance details Defined in Apecs.Physics.Space type Storage Physics

Space

newtype Gravity Source #

Gravity force vector, global value

Constructors

Gravity Vec

Instances

Eq Gravity Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Gravity -> Gravity -> Bool # (/=) :: Gravity -> Gravity -> Bool #
Show Gravity Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> Gravity -> ShowS # show :: Gravity -> String # showList :: [Gravity] -> ShowS #
Component Gravity Source #
Instance details Defined in Apecs.Physics.Space Associated Types type Storage Gravity :: Type #
Has w IO Physics => Has w IO Gravity Source #
Instance details Defined in Apecs.Physics.Space Methods getStore :: SystemT w IO (Storage Gravity) #
type Storage Gravity Source #
Instance details Defined in Apecs.Physics.Space type Storage Gravity

newtype Iterations Source #

Number of iterations per step, global value

Constructors

Iterations Int

Instances

Eq Iterations Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Iterations -> Iterations -> Bool # (/=) :: Iterations -> Iterations -> Bool #
Show Iterations Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> Iterations -> ShowS # show :: Iterations -> String # showList :: [Iterations] -> ShowS #
Component Iterations Source #
Instance details Defined in Apecs.Physics.Space Associated Types type Storage Iterations :: Type #
Has w IO Physics => Has w IO Iterations Source #
Instance details Defined in Apecs.Physics.Space Methods getStore :: SystemT w IO (Storage Iterations) #
type Storage Iterations Source #
Instance details Defined in Apecs.Physics.Space type Storage Iterations

stepPhysics :: Has w IO Physics => Double -> System w () Source #

earthGravity :: Gravity Source #

Body

When you give an entity a Body component in 'apecs-physics', the physics engine will also give this entity a number of sub-components. These sub-components may be read and written separately from the actualy Body itself, which makes the library both more expressive (as you can only write about the parts of a physics body you actually want to view or change) and more performant (as only the changed parts of a body actually need to be updated when you write to them).

data Body Source #

Added to a component to add it to the physics space. Deleting it will also delete all associated shapes and constraints. A body has a number of subcomponents: Position, Velocity, Force, Torque, BodyMass, Moment, Angle, AngularVelocity, and CenterOfGravity. These components cannot be added or removed from an entity, but rather are present as long as the entity has a Body.

Constructors

DynamicBody
KinematicBody
StaticBody

Instances

Enum Body Source #
Instance details Defined in Apecs.Physics.Types Methods succ :: Body -> Body # pred :: Body -> Body # toEnum :: Int -> Body # fromEnum :: Body -> Int # enumFrom :: Body -> [Body] # enumFromThen :: Body -> Body -> [Body] # enumFromTo :: Body -> Body -> [Body] # enumFromThenTo :: Body -> Body -> Body -> [Body] #
Eq Body Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Body -> Body -> Bool # (/=) :: Body -> Body -> Bool #
Ord Body Source #
Instance details Defined in Apecs.Physics.Types Methods compare :: Body -> Body -> Ordering # (<) :: Body -> Body -> Bool # (<=) :: Body -> Body -> Bool # (>) :: Body -> Body -> Bool # (>=) :: Body -> Body -> Bool # max :: Body -> Body -> Body # min :: Body -> Body -> Body #
Component Body Source #
Instance details Defined in Apecs.Physics.Body Associated Types type Storage Body :: Type #
Has w IO Physics => Has w IO Body Source #
Instance details Defined in Apecs.Physics.Body Methods getStore :: SystemT w IO (Storage Body) #
type Storage Body Source #
Instance details Defined in Apecs.Physics.Body type Storage Body

newtype Position Source #

A subcomponent of Body representing where it is in world coordinates.

Constructors

Position WVec

Instances

Component Position Source #
Instance details Defined in Apecs.Physics.Body Associated Types type Storage Position :: Type #
Has w IO Physics => Has w IO Position Source #
Instance details Defined in Apecs.Physics.Body Methods getStore :: SystemT w IO (Storage Position) #
type Storage Position Source #
Instance details Defined in Apecs.Physics.Body type Storage Position

newtype Velocity Source #

A subcomponent of Body representing where it is going in world coordinates

Constructors

Velocity WVec

Instances

Component Velocity Source #
Instance details Defined in Apecs.Physics.Body Associated Types type Storage Velocity :: Type #
Has w IO Physics => Has w IO Velocity Source #
Instance details Defined in Apecs.Physics.Body Methods getStore :: SystemT w IO (Storage Velocity) #
type Storage Velocity Source #
Instance details Defined in Apecs.Physics.Body type Storage Velocity

newtype Angle Source #

Constructors

Angle Double

Instances

Eq Angle Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Angle -> Angle -> Bool # (/=) :: Angle -> Angle -> Bool #
Show Angle Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> Angle -> ShowS # show :: Angle -> String # showList :: [Angle] -> ShowS #
Component Angle Source #
Instance details Defined in Apecs.Physics.Body Associated Types type Storage Angle :: Type #
Has w IO Physics => Has w IO Angle Source #
Instance details Defined in Apecs.Physics.Body Methods getStore :: SystemT w IO (Storage Angle) #
type Storage Angle Source #
Instance details Defined in Apecs.Physics.Body type Storage Angle

newtype AngularVelocity Source #

Constructors

AngularVelocity Double

Instances

Component AngularVelocity Source #
Instance details Defined in Apecs.Physics.Body Associated Types type Storage AngularVelocity :: Type #
Has w IO Physics => Has w IO AngularVelocity Source #
Instance details Defined in Apecs.Physics.Body Methods getStore :: SystemT w IO (Storage AngularVelocity) #
type Storage AngularVelocity Source #
Instance details Defined in Apecs.Physics.Body type Storage AngularVelocity

newtype Force Source #

A component used to apply a force to a Body. The force is applied to the body's center of gravity. This component is reset to Vec 0 0 after every stimulation step, so it is mainly used to apply a force as opposed to being read.

Constructors

Force Vec

Instances

Component Force Source #
Instance details Defined in Apecs.Physics.Body Associated Types type Storage Force :: Type #
Has w IO Physics => Has w IO Force Source #
Instance details Defined in Apecs.Physics.Body Methods getStore :: SystemT w IO (Storage Force) #
type Storage Force Source #
Instance details Defined in Apecs.Physics.Body type Storage Force

newtype BodyMass Source #

A component representing the mass of the Body overall.

Constructors

BodyMass Double

Instances

Eq BodyMass Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: BodyMass -> BodyMass -> Bool # (/=) :: BodyMass -> BodyMass -> Bool #
Show BodyMass Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> BodyMass -> ShowS # show :: BodyMass -> String # showList :: [BodyMass] -> ShowS #
Component BodyMass Source #
Instance details Defined in Apecs.Physics.Body Associated Types type Storage BodyMass :: Type #
Has w IO Physics => Has w IO BodyMass Source #
Instance details Defined in Apecs.Physics.Body Methods getStore :: SystemT w IO (Storage BodyMass) #
type Storage BodyMass Source #
Instance details Defined in Apecs.Physics.Body type Storage BodyMass

newtype Moment Source #

The moment of inertia of the Body. This is basically the body's tendency to resist angular acceleration.

Constructors

Moment Double

Instances

Eq Moment Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Moment -> Moment -> Bool # (/=) :: Moment -> Moment -> Bool #
Show Moment Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> Moment -> ShowS # show :: Moment -> String # showList :: [Moment] -> ShowS #
Component Moment Source #
Instance details Defined in Apecs.Physics.Body Associated Types type Storage Moment :: Type #
Has w IO Physics => Has w IO Moment Source #
Instance details Defined in Apecs.Physics.Body Methods getStore :: SystemT w IO (Storage Moment) #
type Storage Moment Source #
Instance details Defined in Apecs.Physics.Body type Storage Moment

newtype CenterOfGravity Source #

Where the Body's center of gravity is, in body-local coordinates. Can be read and written to.

Constructors

CenterOfGravity BVec

Instances

Component CenterOfGravity Source #
Instance details Defined in Apecs.Physics.Body Associated Types type Storage CenterOfGravity :: Type #
Has w IO Physics => Has w IO CenterOfGravity Source #
Instance details Defined in Apecs.Physics.Body Methods getStore :: SystemT w IO (Storage CenterOfGravity) #
type Storage CenterOfGravity Source #
Instance details Defined in Apecs.Physics.Body type Storage CenterOfGravity

newtype Torque Source #

A component used to apply a torque to a Body. The torque is applied to the entire body at once. This component is reset to 0 after every simulation step, so it is mainly used to apply a torque as opposed to being read.

Constructors

Torque Double

Instances

Component Torque Source #
Instance details Defined in Apecs.Physics.Body Associated Types type Storage Torque :: Type #
Has w IO Physics => Has w IO Torque Source #
Instance details Defined in Apecs.Physics.Body Methods getStore :: SystemT w IO (Storage Torque) #
type Storage Torque Source #
Instance details Defined in Apecs.Physics.Body type Storage Torque

newtype ShapeList Source #

The Shapes belonging to a body. Read-only.

Constructors

ShapeList [Entity]

Instances

Component ShapeList Source #
Instance details Defined in Apecs.Physics.Body Associated Types type Storage ShapeList :: Type #
Has w IO Physics => Has w IO ShapeList Source #
Instance details Defined in Apecs.Physics.Body Methods getStore :: SystemT w IO (Storage ShapeList) #
type Storage ShapeList Source #
Instance details Defined in Apecs.Physics.Body type Storage ShapeList

newtype ConstraintList Source #

The Constraints belonging to a body. Read-only.

Constructors

ConstraintList [Entity]

Instances

Component ConstraintList Source #
Instance details Defined in Apecs.Physics.Body Associated Types type Storage ConstraintList :: Type #
Has w IO Physics => Has w IO ConstraintList Source #
Instance details Defined in Apecs.Physics.Body Methods getStore :: SystemT w IO (Storage ConstraintList) #
type Storage ConstraintList Source #
Instance details Defined in Apecs.Physics.Body type Storage ConstraintList

Shape

data Convex Source #

A convex polygon. Consists of a list of vertices, and a radius.

Constructors

Convex [BVec] Double

Instances

Eq Convex Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Convex -> Convex -> Bool # (/=) :: Convex -> Convex -> Bool #
Show Convex Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> Convex -> ShowS # show :: Convex -> String # showList :: [Convex] -> ShowS #

data Shape Source #

Shape component. Adding a shape to an entity that has no Body is a noop.

Constructors

Shape Entity Convex

Instances

Component Shape Source #
Instance details Defined in Apecs.Physics.Shape Associated Types type Storage Shape :: Type #
Has w IO Physics => Has w IO Shape Source #
Instance details Defined in Apecs.Physics.Shape Methods getStore :: SystemT w IO (Storage Shape) #
type Storage Shape Source #
Instance details Defined in Apecs.Physics.Shape type Storage Shape

newtype Mass Source #

The mass of a shape is technically a measure of how much resistance it has to being accelerated, but it's generally easier to understand it as being how "heavy" something is.

The physics engine lets you set this, and it will calculate the Density and other components for you.

See https://en.wikipedia.org/wiki/Mass for more information.

Constructors

Mass Double

Instances

Eq Mass Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Mass -> Mass -> Bool # (/=) :: Mass -> Mass -> Bool #
Show Mass Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> Mass -> ShowS # show :: Mass -> String # showList :: [Mass] -> ShowS #
Component Mass Source #
Instance details Defined in Apecs.Physics.Shape Associated Types type Storage Mass :: Type #
Has w IO Physics => Has w IO Mass Source #
Instance details Defined in Apecs.Physics.Shape Methods getStore :: SystemT w IO (Storage Mass) #
type Storage Mass Source #
Instance details Defined in Apecs.Physics.Shape type Storage Mass

newtype Density Source #

The density of a shape is a measure of how much mass an object has in a given volume.

The physics engine lets you set this, and it will calculate the Mass and other components for you.

See https://en.wikipedia.org/wiki/Density for more information.

Constructors

Density Double

Instances

Eq Density Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Density -> Density -> Bool # (/=) :: Density -> Density -> Bool #
Show Density Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> Density -> ShowS # show :: Density -> String # showList :: [Density] -> ShowS #
Component Density Source #
Instance details Defined in Apecs.Physics.Shape Associated Types type Storage Density :: Type #
Has w IO Physics => Has w IO Density Source #
Instance details Defined in Apecs.Physics.Shape Methods getStore :: SystemT w IO (Storage Density) #
type Storage Density Source #
Instance details Defined in Apecs.Physics.Shape type Storage Density

newtype Sensor Source #

If a body is a Sensor, it exists only to trigger collision responses. It won't phyiscally interact with other bodies in any way, but it will cause collision handlers to run.

Constructors

Sensor Bool

Instances

Eq Sensor Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Sensor -> Sensor -> Bool # (/=) :: Sensor -> Sensor -> Bool #
Show Sensor Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> Sensor -> ShowS # show :: Sensor -> String # showList :: [Sensor] -> ShowS #
Component Sensor Source #
Instance details Defined in Apecs.Physics.Shape Associated Types type Storage Sensor :: Type #
Has w IO Physics => Has w IO Sensor Source #
Instance details Defined in Apecs.Physics.Shape Methods getStore :: SystemT w IO (Storage Sensor) #
type Storage Sensor Source #
Instance details Defined in Apecs.Physics.Shape type Storage Sensor

newtype Friction Source #

The friction of an object is a measure of how much it resists movement. Shapes with high friction will naturally slow down more quickly over time than objects with low friction.

See https://en.wikipedia.org/wiki/Friction for more information.

Constructors

Friction Double

Instances

Eq Friction Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Friction -> Friction -> Bool # (/=) :: Friction -> Friction -> Bool #
Show Friction Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> Friction -> ShowS # show :: Friction -> String # showList :: [Friction] -> ShowS #
Component Friction Source #
Instance details Defined in Apecs.Physics.Shape Associated Types type Storage Friction :: Type #
Has w IO Physics => Has w IO Friction Source #
Instance details Defined in Apecs.Physics.Shape Methods getStore :: SystemT w IO (Storage Friction) #
type Storage Friction Source #
Instance details Defined in Apecs.Physics.Shape type Storage Friction

newtype Elasticity Source #

The elasticity of a shape. Higher elasticities will create more elastic collisions, IE, will be bouncier.

See https://en.wikipedia.org/wiki/Elasticity_(physics) for more information.

Constructors

Elasticity Double

Instances

Eq Elasticity Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Elasticity -> Elasticity -> Bool # (/=) :: Elasticity -> Elasticity -> Bool #
Show Elasticity Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> Elasticity -> ShowS # show :: Elasticity -> String # showList :: [Elasticity] -> ShowS #
Component Elasticity Source #
Instance details Defined in Apecs.Physics.Shape Associated Types type Storage Elasticity :: Type #
Has w IO Physics => Has w IO Elasticity Source #
Instance details Defined in Apecs.Physics.Shape Methods getStore :: SystemT w IO (Storage Elasticity) #
type Storage Elasticity Source #
Instance details Defined in Apecs.Physics.Shape type Storage Elasticity

newtype SurfaceVelocity Source #

Constructors

SurfaceVelocity Vec

Instances

Eq SurfaceVelocity Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: SurfaceVelocity -> SurfaceVelocity -> Bool # (/=) :: SurfaceVelocity -> SurfaceVelocity -> Bool #
Show SurfaceVelocity Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> SurfaceVelocity -> ShowS # show :: SurfaceVelocity -> String # showList :: [SurfaceVelocity] -> ShowS #
Component SurfaceVelocity Source #
Instance details Defined in Apecs.Physics.Shape Associated Types type Storage SurfaceVelocity :: Type #
Has w IO Physics => Has w IO SurfaceVelocity Source #
Instance details Defined in Apecs.Physics.Shape Methods getStore :: SystemT w IO (Storage SurfaceVelocity) #
type Storage SurfaceVelocity Source #
Instance details Defined in Apecs.Physics.Shape type Storage SurfaceVelocity

data CollisionFilter Source #

Collision Filters determine what shapes this shape collides with. Shapes in the same filterGroup will never collide with one another. This is used to ignore collisions between parts on a complex object.

filterCategories is a bitmask that determines what categories a shape belongs to. filterMask is a bitmask that determines what categories it collides with. See https://chipmunk-physics.net/release/ChipmunkLatest-Docs/#cpShape-Filtering for more information.

Constructors

CollisionFilter
Fields filterGroup :: CollisionGroup filterCategories :: Bitmask filterMask :: Bitmask

Instances

Eq CollisionFilter Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: CollisionFilter -> CollisionFilter -> Bool # (/=) :: CollisionFilter -> CollisionFilter -> Bool #
Show CollisionFilter Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> CollisionFilter -> ShowS # show :: CollisionFilter -> String # showList :: [CollisionFilter] -> ShowS #
Component CollisionFilter Source #
Instance details Defined in Apecs.Physics.Shape Associated Types type Storage CollisionFilter :: Type #
Has w IO Physics => Has w IO CollisionFilter Source #
Instance details Defined in Apecs.Physics.Shape Methods getStore :: SystemT w IO (Storage CollisionFilter) #
type Storage CollisionFilter Source #
Instance details Defined in Apecs.Physics.Shape type Storage CollisionFilter

newtype CollisionType Source #

A Shape can have a CollisionType. CollisionTypes are used by callbacks for filtering, also see CollisionSource. The difference between CollisionType and CollisionFilter is that a CollisionFilter determines whether two shapes in the physics engine collide, or pass through one another, whereas a CollisionType determines what callback is called. In general, if you don't want any special checks to happen, use CollisionFilter.

Constructors

CollisionType CUIntPtr

Instances

Eq CollisionType Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: CollisionType -> CollisionType -> Bool # (/=) :: CollisionType -> CollisionType -> Bool #
Num CollisionType Source #
Instance details Defined in Apecs.Physics.Types Methods (+) :: CollisionType -> CollisionType -> CollisionType # (-) :: CollisionType -> CollisionType -> CollisionType # (*) :: CollisionType -> CollisionType -> CollisionType # negate :: CollisionType -> CollisionType # abs :: CollisionType -> CollisionType # signum :: CollisionType -> CollisionType # fromInteger :: Integer -> CollisionType #
Show CollisionType Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> CollisionType -> ShowS # show :: CollisionType -> String # showList :: [CollisionType] -> ShowS #
Component CollisionType Source #
Instance details Defined in Apecs.Physics.Shape Associated Types type Storage CollisionType :: Type #
Has w IO Physics => Has w IO CollisionType Source #
Instance details Defined in Apecs.Physics.Shape Methods getStore :: SystemT w IO (Storage CollisionType) #
type Storage CollisionType Source #
Instance details Defined in Apecs.Physics.Shape type Storage CollisionType

newtype Bitmask Source #

A bitmask used for collision handling

Constructors

Bitmask CUInt

Instances

Eq Bitmask Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Bitmask -> Bitmask -> Bool # (/=) :: Bitmask -> Bitmask -> Bool #
Show Bitmask Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> Bitmask -> ShowS # show :: Bitmask -> String # showList :: [Bitmask] -> ShowS #
Bits Bitmask Source #
Instance details Defined in Apecs.Physics.Types Methods (.&.) :: Bitmask -> Bitmask -> Bitmask # (.\|.) :: Bitmask -> Bitmask -> Bitmask # xor :: Bitmask -> Bitmask -> Bitmask # complement :: Bitmask -> Bitmask # shift :: Bitmask -> Int -> Bitmask # rotate :: Bitmask -> Int -> Bitmask # zeroBits :: Bitmask # bit :: Int -> Bitmask # setBit :: Bitmask -> Int -> Bitmask # clearBit :: Bitmask -> Int -> Bitmask # complementBit :: Bitmask -> Int -> Bitmask # testBit :: Bitmask -> Int -> Bool # bitSizeMaybe :: Bitmask -> Maybe Int # bitSize :: Bitmask -> Int # isSigned :: Bitmask -> Bool # shiftL :: Bitmask -> Int -> Bitmask # unsafeShiftL :: Bitmask -> Int -> Bitmask # shiftR :: Bitmask -> Int -> Bitmask # unsafeShiftR :: Bitmask -> Int -> Bitmask # rotateL :: Bitmask -> Int -> Bitmask # rotateR :: Bitmask -> Int -> Bitmask # popCount :: Bitmask -> Int #

maskAll :: Bitmask Source #

maskNone :: Bitmask Source #

maskList :: [Int] -> Bitmask Source #

Makes a bitmask from a list of indices

defaultFilter :: CollisionFilter Source #

boxShape :: Double -> Double -> Vec -> Convex Source #

A box with the given height, width, and center point

Constraint

data Constraint Source #

Constructors

Constraint Entity Entity ConstraintType

Instances

Eq Constraint Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Constraint -> Constraint -> Bool # (/=) :: Constraint -> Constraint -> Bool #
Show Constraint Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> Constraint -> ShowS # show :: Constraint -> String # showList :: [Constraint] -> ShowS #
Component Constraint Source #
Instance details Defined in Apecs.Physics.Constraint Associated Types type Storage Constraint :: Type #
Has w IO Physics => Has w IO Constraint Source #
Instance details Defined in Apecs.Physics.Constraint Methods getStore :: SystemT w IO (Storage Constraint) #
type Storage Constraint Source #
Instance details Defined in Apecs.Physics.Constraint type Storage Constraint

data ConstraintType Source #

Constructors

PinJoint BVec BVec	Maintains a fixed distance between two anchor points
SlideJoint BVec BVec Double Double	A `PinJoint` with minimum and maximum distance
PivotJoint WVec	Creates a pivot point at the given world coordinate
PivotJoint2 BVec BVec	Creates a pivot point at the given body coordinates
GrooveJoint BVec BVec BVec	The first two vectors are the start and end of the groove on body A, the third argument is the anchor point on body B.
DampedSpring BVec BVec Double Double Double	Spring between two anchor points, with given rest length, stiffness, and damping.
DampedRotarySpring Double Double Double	Rotary sping, with given rest angle, stiffness, and damping.
RotaryLimitJoint Double Double	Joint with minimum and maximum angle
RatchetJoint Double Double	Rathet joint with given phase and ratchet (distance between clicks).
GearJoint Double Double
SimpleMotor Double	Keeps relative angular velocity constant

Instances

Eq ConstraintType Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: ConstraintType -> ConstraintType -> Bool # (/=) :: ConstraintType -> ConstraintType -> Bool #
Show ConstraintType Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> ConstraintType -> ShowS # show :: ConstraintType -> String # showList :: [ConstraintType] -> ShowS #

newtype MaxForce Source #

Constructors

MaxForce Double

Instances

Eq MaxForce Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: MaxForce -> MaxForce -> Bool # (/=) :: MaxForce -> MaxForce -> Bool #
Show MaxForce Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> MaxForce -> ShowS # show :: MaxForce -> String # showList :: [MaxForce] -> ShowS #
Component MaxForce Source #
Instance details Defined in Apecs.Physics.Constraint Associated Types type Storage MaxForce :: Type #
Has w IO Physics => Has w IO MaxForce Source #
Instance details Defined in Apecs.Physics.Constraint Methods getStore :: SystemT w IO (Storage MaxForce) #
type Storage MaxForce Source #
Instance details Defined in Apecs.Physics.Constraint type Storage MaxForce

newtype MaxBias Source #

Constructors

MaxBias Double

Instances

Eq MaxBias Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: MaxBias -> MaxBias -> Bool # (/=) :: MaxBias -> MaxBias -> Bool #
Show MaxBias Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> MaxBias -> ShowS # show :: MaxBias -> String # showList :: [MaxBias] -> ShowS #
Component MaxBias Source #
Instance details Defined in Apecs.Physics.Constraint Associated Types type Storage MaxBias :: Type #
Has w IO Physics => Has w IO MaxBias Source #
Instance details Defined in Apecs.Physics.Constraint Methods getStore :: SystemT w IO (Storage MaxBias) #
type Storage MaxBias Source #
Instance details Defined in Apecs.Physics.Constraint type Storage MaxBias

newtype ErrorBias Source #

Constructors

ErrorBias Double

Instances

Eq ErrorBias Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: ErrorBias -> ErrorBias -> Bool # (/=) :: ErrorBias -> ErrorBias -> Bool #
Show ErrorBias Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> ErrorBias -> ShowS # show :: ErrorBias -> String # showList :: [ErrorBias] -> ShowS #
Component ErrorBias Source #
Instance details Defined in Apecs.Physics.Constraint Associated Types type Storage ErrorBias :: Type #
Has w IO Physics => Has w IO ErrorBias Source #
Instance details Defined in Apecs.Physics.Constraint Methods getStore :: SystemT w IO (Storage ErrorBias) #
type Storage ErrorBias Source #
Instance details Defined in Apecs.Physics.Constraint type Storage ErrorBias

newtype Impulse Source #

Constructors

Impulse Double

Instances

Eq Impulse Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Impulse -> Impulse -> Bool # (/=) :: Impulse -> Impulse -> Bool #
Show Impulse Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> Impulse -> ShowS # show :: Impulse -> String # showList :: [Impulse] -> ShowS #
Component Impulse Source #
Instance details Defined in Apecs.Physics.Constraint Associated Types type Storage Impulse :: Type #
Has w IO Physics => Has w IO Impulse Source #
Instance details Defined in Apecs.Physics.Constraint Methods getStore :: SystemT w IO (Storage Impulse) #
type Storage Impulse Source #
Instance details Defined in Apecs.Physics.Constraint type Storage Impulse

newtype CollideBodies Source #

Constructors

CollideBodies Bool

Instances

Eq CollideBodies Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: CollideBodies -> CollideBodies -> Bool # (/=) :: CollideBodies -> CollideBodies -> Bool #
Show CollideBodies Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> CollideBodies -> ShowS # show :: CollideBodies -> String # showList :: [CollideBodies] -> ShowS #
Component CollideBodies Source #
Instance details Defined in Apecs.Physics.Constraint Associated Types type Storage CollideBodies :: Type #
Has w IO Physics => Has w IO CollideBodies Source #
Instance details Defined in Apecs.Physics.Constraint Methods getStore :: SystemT w IO (Storage CollideBodies) #
type Storage CollideBodies Source #
Instance details Defined in Apecs.Physics.Constraint type Storage CollideBodies

Collision

data Collision Source #

Constructors

Collision
Fields collisionNormal :: Vec collisionBodyA :: Entity collisionBodyB :: Entity collisionShapeA :: Entity collisionShapeB :: Entity

Instances

Eq Collision Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Collision -> Collision -> Bool # (/=) :: Collision -> Collision -> Bool #
Show Collision Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> Collision -> ShowS # show :: Collision -> String # showList :: [Collision] -> ShowS #

data CollisionHandler Source #

Constructors

CollisionHandler

Fields

source :: CollisionSource
beginCB :: Maybe BeginCB
A callback called when two bodies start touching for the first time. If it returns True, the physics engine will process the collision normally. If it returns False, the physics engine will ignore the collision entirely.
separateCB :: Maybe SeparateCB
A callback called when two bodies have just stopped touching. This will always be called if beginCB is, regardless of the return value of beginCB.
preSolveCB :: Maybe PreSolveCB
A callback called when two bodies are touching during a physics step. If this function returns True, the collision will be processed normally. If it returns 'False, then the physics engine will stop processing the collision for this step.
postSolveCB :: Maybe PostSolveCB
A callback called when two bodies are touching after the response to the collision has been processed. This means that you can determine the collision impulse or kinetic energy in this callback, if you need that for processing.

Instances

Component CollisionHandler Source #
Instance details Defined in Apecs.Physics.Collision Associated Types type Storage CollisionHandler :: Type #
Has w IO Physics => Has w IO CollisionHandler Source #
Instance details Defined in Apecs.Physics.Collision Methods getStore :: SystemT w IO (Storage CollisionHandler) #
type Storage CollisionHandler Source #
Instance details Defined in Apecs.Physics.Collision type Storage CollisionHandler

defaultHandler :: CollisionHandler Source #

data CollisionSource Source #

A CollisionSource determines what types of collisions a callback handles. Also see CollisionType

Constructors

Wildcard CollisionType
Between CollisionType CollisionType

data BeginCB Source #

data SeparateCB Source #

data PreSolveCB Source #

data PostSolveCB Source #

mkBeginCB :: (Collision -> System w Bool) -> System w BeginCB Source #

mkSeparateCB :: (Collision -> System w ()) -> System w SeparateCB Source #

mkPreSolveCB :: (Collision -> System w Bool) -> System w PreSolveCB Source #

mkPostSolveCB :: (Collision -> System w ()) -> System w PostSolveCB Source #

Query

data PointQueryResult Source #

Constructors

PointQueryResult
Fields pqShape :: Entity What entity did this query connect with? pqPoint :: WVec The closest point on the shape's surface (in world space) pqDistance :: Double The distance to the queried point pqGradient :: Vec The gradient of the distance function. This should be similar to 'pqPoint'/'pqDistance' but accurate even for very small distances.

Instances

Eq PointQueryResult Source #
Instance details Defined in Apecs.Physics.Types Methods (==) :: PointQueryResult -> PointQueryResult -> Bool # (/=) :: PointQueryResult -> PointQueryResult -> Bool #
Show PointQueryResult Source #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> PointQueryResult -> ShowS # show :: PointQueryResult -> String # showList :: [PointQueryResult] -> ShowS #
Storable PointQueryResult Source #
Instance details Defined in Apecs.Physics.Query Methods sizeOf :: PointQueryResult -> Int # alignment :: PointQueryResult -> Int # peekElemOff :: Ptr PointQueryResult -> Int -> IO PointQueryResult # pokeElemOff :: Ptr PointQueryResult -> Int -> PointQueryResult -> IO () # peekByteOff :: Ptr b -> Int -> IO PointQueryResult # pokeByteOff :: Ptr b -> Int -> PointQueryResult -> IO () # peek :: Ptr PointQueryResult -> IO PointQueryResult # poke :: Ptr PointQueryResult -> PointQueryResult -> IO () #