Physics.World.Object

A physical object that can inhabit a physical world. Contains a field to hold a reference to something outside the physical world.

Documentation

data WorldObj a

Constructors

WorldObj

Fields

• _worldPhysObj :: !PhysicalObj
• _worldObjMu :: !Double
• _worldShape :: !Shape
• _worldUserData :: !a

Instances

Show (WorldObj a)

Methods

showsPrec :: Int -> WorldObj a -> ShowS

show :: WorldObj a -> String

showList :: [WorldObj a] -> ShowS

Generic (WorldObj a)

Associated Types

type Rep (WorldObj a) :: * -> *

Methods

from :: WorldObj a -> Rep (WorldObj a) x

to :: Rep (WorldObj a) x -> WorldObj a

NFData a => NFData (WorldObj a)

Methods

rnf :: WorldObj a -> ()

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)

Physical (WorldObj a)

Methods

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

type Rep (WorldObj a)

type Rep (WorldObj a) = D1 * (MetaData "WorldObj" "Physics.World.Object" "shapes-0.1.0.0-E6UUiYRpOc15rGTlEn6KOE" False) (C1 * (MetaCons "WorldObj" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "_worldPhysObj") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * PhysicalObj)) (S1 * (MetaSel (Just Symbol "_worldObjMu") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double))) ((:*:) * (S1 * (MetaSel (Just Symbol "_worldShape") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Shape)) (S1 * (MetaSel (Just Symbol "_worldUserData") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * a)))))

worldUserData :: forall a a. Lens (WorldObj a) (WorldObj a) a a

worldShape :: forall a. Lens' (WorldObj a) Shape

worldPhysObj :: forall a. Lens' (WorldObj a) PhysicalObj

worldObjMu :: forall a. Lens' (WorldObj a) Double

makeWorldObj :: PhysicalObj -> Double -> Shape -> a -> WorldObj a