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 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 CollideBodies = CollideBodies Bool
data Collision = Collision {
- collisionNormal :: Vec
- collisionA :: Entity
- collisionB :: Entity
}
data CollisionHandler = CollisionHandler {
- source :: CollisionSource
- beginCB :: Maybe BeginCB
- separateCB :: Maybe SeparateCB
- preSolveCB :: Maybe PreSolveCB
- postSolveCB :: Maybe PostSolveCB
}
defaultHandler :: CollisionHandler
data CollisionSource
- = Wildcard CollisionGroup
- | Between CollisionGroup CollisionGroup
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 :: Double
}
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 #

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

Instances

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

Space

newtype Gravity #

Gravity force vector, global value

Constructors

Gravity Vec

Instances

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

newtype Iterations #

Number of iterations per step, global value

Constructors

Iterations Int

Instances

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

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

earthGravity :: Gravity #

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 #

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 #
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 #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Body -> Body -> Bool # (/=) :: Body -> Body -> Bool #
Ord Body #
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 #
Instance details Defined in Apecs.Physics.Body Associated Types type Storage Body :: Type #
Has w IO Physics => Has w IO Body #
Instance details Defined in Apecs.Physics.Body Methods getStore :: SystemT w IO (Storage Body) #
type Storage Body #
Instance details Defined in Apecs.Physics.Body type Storage Body

newtype Position #

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

Constructors

Position WVec

Instances

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

newtype Velocity #

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

Constructors

Velocity WVec

Instances

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

newtype Angle #

Constructors

Angle Double

Instances

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

newtype AngularVelocity #

Constructors

AngularVelocity Double

Instances

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

newtype Force #

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 #
Instance details Defined in Apecs.Physics.Body Associated Types type Storage Force :: Type #
Has w IO Physics => Has w IO Force #
Instance details Defined in Apecs.Physics.Body Methods getStore :: SystemT w IO (Storage Force) #
type Storage Force #
Instance details Defined in Apecs.Physics.Body type Storage Force

newtype BodyMass #

A component representing the mass of the Body overall.

Constructors

BodyMass Double

Instances

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

newtype Moment #

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

Constructors

Moment Double

Instances

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

newtype CenterOfGravity #

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

Constructors

CenterOfGravity BVec

Instances

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

newtype Torque #

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 #
Instance details Defined in Apecs.Physics.Body Associated Types type Storage Torque :: Type #
Has w IO Physics => Has w IO Torque #
Instance details Defined in Apecs.Physics.Body Methods getStore :: SystemT w IO (Storage Torque) #
type Storage Torque #
Instance details Defined in Apecs.Physics.Body type Storage Torque

newtype ShapeList #

The Shapes belonging to a body. Read-only.

Constructors

ShapeList [Entity]

Instances

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

newtype ConstraintList #

The Constraints belonging to a body. Read-only.

Constructors

ConstraintList [Entity]

Instances

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

Shape

data Convex #

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

Constructors

Convex [BVec] Double

Instances

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

data Shape #

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

Constructors

Shape Entity Convex

Instances

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

newtype Mass #

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

newtype Density #

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

newtype Sensor #

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

newtype Friction #

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

newtype Elasticity #

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

newtype SurfaceVelocity #

Constructors

SurfaceVelocity Vec

Instances

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

data CollisionFilter #

Constructors

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

Instances

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

newtype Bitmask #

A bitmask used for collision handling

Constructors

Bitmask CUInt

Instances

Eq Bitmask #
Instance details Defined in Apecs.Physics.Types Methods (==) :: Bitmask -> Bitmask -> Bool # (/=) :: Bitmask -> Bitmask -> Bool #
Show Bitmask #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> Bitmask -> ShowS # show :: Bitmask -> String # showList :: [Bitmask] -> ShowS #
Bits Bitmask #
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 #

maskNone :: Bitmask #

maskList :: [Int] -> Bitmask #

Makes a bitmask from a list of indices

defaultFilter :: CollisionFilter #

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

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

Constraint

data Constraint #

Constructors

Constraint Entity Entity ConstraintType

Instances

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

data ConstraintType #

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 #
Instance details Defined in Apecs.Physics.Types Methods (==) :: ConstraintType -> ConstraintType -> Bool # (/=) :: ConstraintType -> ConstraintType -> Bool #
Show ConstraintType #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> ConstraintType -> ShowS # show :: ConstraintType -> String # showList :: [ConstraintType] -> ShowS #

newtype MaxForce #

Constructors

MaxForce Double

Instances

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

newtype MaxBias #

Constructors

MaxBias Double

Instances

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

newtype ErrorBias #

Constructors

ErrorBias Double

Instances

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

newtype CollideBodies #

Constructors

CollideBodies Bool

Instances

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

Collision

data Collision #

Constructors

Collision
Fields collisionNormal :: Vec collisionA :: Entity collisionB :: Entity

Instances

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

data CollisionHandler #

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 #
Instance details Defined in Apecs.Physics.Collision Associated Types type Storage CollisionHandler :: Type #
Has w IO Physics => Has w IO CollisionHandler #
Instance details Defined in Apecs.Physics.Collision Methods getStore :: SystemT w IO (Storage CollisionHandler) #
type Storage CollisionHandler #
Instance details Defined in Apecs.Physics.Collision type Storage CollisionHandler

defaultHandler :: CollisionHandler #

data CollisionSource #

Constructors

Wildcard CollisionGroup
Between CollisionGroup CollisionGroup

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 #

Query

data PointQueryResult #

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 :: Double The gradient of the distance function. This is equal to 'pqPoint'/'pqDistance' but accurate for even very small distances.

Instances

Eq PointQueryResult #
Instance details Defined in Apecs.Physics.Types Methods (==) :: PointQueryResult -> PointQueryResult -> Bool # (/=) :: PointQueryResult -> PointQueryResult -> Bool #
Show PointQueryResult #
Instance details Defined in Apecs.Physics.Types Methods showsPrec :: Int -> PointQueryResult -> ShowS # show :: PointQueryResult -> String # showList :: [PointQueryResult] -> ShowS #
Storable PointQueryResult #
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 () #