Physics.Engine.Class

This module is a holdover from when I had two (slow and less slow) implementations of the physics engine. I used this class so I could run the same demos on both engines to compare them. There's a good chance I remove this in the future.

Documentation

class Fractional (PENumber e) => PhysicsEngine e where

Minimal complete definition

makePhysicalObj, makeWorldObj, makeWorld, makeContactBehavior, makeConstantAccel, makeHull, makeRectangleHull, makeCircle

Associated Types

type PEWorld e :: * -> *

type PEWorldObj e :: * -> *

type PEExternalObj e

type PEPhysicalObj e

type PEContactBehavior e

type PENumber e

type PEShape e

Methods

makePhysicalObj

Arguments

:: Proxy e

-> (PENumber e, PENumber e)

Velocity

-> PENumber e

Rotational velocity

-> (PENumber e, PENumber e)

Position

-> PENumber e

Rotation

-> (PENumber e, PENumber e)

Linear mass paired with rotational mass

-> PEPhysicalObj e

Create a PEPhysicalObj e.

makeWorldObj

Arguments

:: Proxy e

-> PEPhysicalObj e

The physical body of this object.

-> PENumber e

Coefficient of friction μ (mu).

-> PEShape e

The shape of the object.

-> PEExternalObj e

Any userland piece of data from outside the simulation.

-> PEWorldObj e (PEExternalObj e)

Create a PEWorldObj e

makeWorld :: Proxy e -> [PEWorldObj e (PEExternalObj e)] -> PEWorld' e

makeContactBehavior :: Proxy e -> PENumber e -> PENumber e -> PEContactBehavior e

makeConstantAccel :: Proxy e -> (PENumber e, PENumber e) -> External

makeHull :: Proxy e -> [(PENumber e, PENumber e)] -> PEShape e

makeRectangleHull :: Proxy e -> PENumber e -> PENumber e -> PEShape e

makeCircle :: Proxy e -> PENumber e -> PEShape e

Instances

PhysicsEngine (Engine a)

Associated Types

type PEWorld (Engine a) :: * -> *

type PEWorldObj (Engine a) :: * -> *

type PEExternalObj (Engine a) :: *

type PEPhysicalObj (Engine a) :: *

type PEContactBehavior (Engine a) :: *

type PENumber (Engine a) :: *

type PEShape (Engine a) :: *

Methods

makePhysicalObj :: Proxy * (Engine a) -> (PENumber (Engine a), PENumber (Engine a)) -> PENumber (Engine a) -> (PENumber (Engine a), PENumber (Engine a)) -> PENumber (Engine a) -> (PENumber (Engine a), PENumber (Engine a)) -> PEPhysicalObj (Engine a)

makeWorldObj :: Proxy * (Engine a) -> PEPhysicalObj (Engine a) -> PENumber (Engine a) -> PEShape (Engine a) -> PEExternalObj (Engine a) -> PEWorldObj (Engine a) (PEExternalObj (Engine a))

makeWorld :: Proxy * (Engine a) -> [PEWorldObj (Engine a) (PEExternalObj (Engine a))] -> PEWorld' (Engine a)

makeContactBehavior :: Proxy * (Engine a) -> PENumber (Engine a) -> PENumber (Engine a) -> PEContactBehavior (Engine a)

makeConstantAccel :: Proxy * (Engine a) -> (PENumber (Engine a), PENumber (Engine a)) -> External

makeHull :: Proxy * (Engine a) -> [(PENumber (Engine a), PENumber (Engine a))] -> PEShape (Engine a)

makeRectangleHull :: Proxy * (Engine a) -> PENumber (Engine a) -> PENumber (Engine a) -> PEShape (Engine a)

makeCircle :: Proxy * (Engine a) -> PENumber (Engine a) -> PEShape (Engine a)

type PEWorldObj' e = PEWorldObj e (PEExternalObj e)

type PEWorld' e = PEWorld e (PEWorldObj' e)