Physics.Engine

Another piece of the sample implementation of a physics engine that uses this library.

Documentation

data Engine a

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 PEWorld (Engine a)

type PEWorld (Engine a) = World

type PEWorldObj (Engine a)

type PEWorldObj (Engine a) = WorldObj

type PEExternalObj (Engine a)

type PEExternalObj (Engine a) = a

type PEPhysicalObj (Engine a)

type PEPhysicalObj (Engine a) = PhysicalObj

type PEContactBehavior (Engine a)

type PEContactBehavior (Engine a) = ContactBehavior

type PENumber (Engine a)

type PENumber (Engine a) = Double

type PEShape (Engine a)

type PEShape (Engine a) = Shape

engineP :: Proxy (Engine a)

pairToV2 :: (Double, Double) -> V2