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 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

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 #

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 #

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 #

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 #

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 #

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 #

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 #

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 #

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 #

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 #

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 #

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 #

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 #

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 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 #

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 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 collisionA :: Entity collisionB :: 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 separateCB :: Maybe SeparateCB preSolveCB :: Maybe PreSolveCB postSolveCB :: Maybe PostSolveCB

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 #

Constructors

Wildcard CollisionGroup
Between CollisionGroup CollisionGroup

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 pqPoint :: WVec pqDistance :: Double pqGradient :: Double

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 () #