Physics.World.Class

Classes for data structures that can behave like a "world" of physical objects.

Documentation

class Physical p where

Class for objects with physical properties.

Minimal complete definition

woPhys

Methods

woPhys :: Functor f => (PhysicalObj -> f PhysicalObj) -> p -> f p

Lens for the embedded PhysicalObj

Instances

Physical (WorldObj a)

Methods

woPhys :: Functor f => (PhysicalObj -> f PhysicalObj) -> WorldObj a -> f (WorldObj a)

class Physical p => Contactable p where

Class for objects that can be in contact with each other.

Minimal complete definition

woMu, woShape, woMuShape

Methods

woMu :: Functor f => (Double -> f Double) -> p -> f p

Lens for embedded coefficient of friction "mu"

woShape :: Functor f => (Shape -> f Shape) -> p -> f p

Lens for embedded contact shape

woMuShape :: Functor f => ((Double, Shape) -> f (Double, Shape)) -> p -> f p

Lens for embedded pair of (coefficient of friction, contact shape)

Instances

Contactable (WorldObj a)

Methods

woMu :: Functor f => (Double -> f Double) -> WorldObj a -> f (WorldObj a)

woShape :: Functor f => (Shape -> f Shape) -> WorldObj a -> f (WorldObj a)

woMuShape :: Functor f => ((Double, Shape) -> f (Double, Shape)) -> WorldObj a -> f (WorldObj a)

class (Ord k, Contactable o) => PhysicsWorld k w o | w -> k o where

Class for worlds (:: w) inhabited by physical objects (:: o) each uniquely identified by a key (:: k)

Minimal complete definition

wKeys, wObj, wPair, wObjs

Methods

wKeys :: w -> [k]

Keys of all the world's inhabitants

wObj :: k -> Traversal' w o

Traversal of inhabitants with a given key

wPair :: (k, k) -> Traversal' w (o, o)

Traversal' of pairs of inhabitants with a given pair of keys

wObjs :: IndexedTraversal' k w o

IndexedTraversal' of all inhabitants

Instances

Contactable a => PhysicsWorld Int (World a) a

Methods

wKeys :: World a -> [Int]

wObj :: Int -> Traversal' (World a) a

wPair :: (Int, Int) -> Traversal' (World a) (a, a)

wObjs :: IndexedTraversal' Int (World a) a

wAdvance

Arguments

:: PhysicsWorld k w o

=> Double

Time delta

-> w

-> w

Advance the physical state of the world by a given time delta using each inhabitant's current velocity.

woUpdateShape :: Contactable o => o -> o

Update the shape of an object to match its current physical state.

By keeping all shapes in world space, we ensure that each shape only needs to be transformed once per frame.

type External = Double -> PhysicalObj -> PhysicalObj

An External is a non-constraint effect (e.g. gravity) on physical objects.

wApplyExternals :: PhysicsWorld k w o => [External] -> Double -> w -> w

Apply External effects to the objects in a world.

This happens each frame before constraints are created and solved.