Physics.Contact.Types

Documentation

data ContactBehavior

Configuring contact constraint behavior | TODO: does this belong in a different module?

Constructors

ContactBehavior

Fields

• contactBaumgarte :: !Double

  Bias factor: 0 <= B <= 1, used to feed positional error back into a constraint

• contactPenetrationSlop :: !Double

  Amount objects must overlap before they are considered "touching"

Instances

Show ContactBehavior

Methods

showsPrec :: Int -> ContactBehavior -> ShowS

show :: ContactBehavior -> String

showList :: [ContactBehavior] -> ShowS

data Contact'

A contact between two objects - the source of a single set of contact constraints

Constructors

Contact'

Fields

• _contactEdgeNormal' :: !V2

  Unit normal of penetrated edge (or direction toward center of circle)

• _contactPenetrator' :: !P2

  Coordinates of penetrating feature (or the best estimate of point-of-contact)

• _contactDepth' :: !Double

  Depth of penetration

Instances

Show Contact'

Methods

showsPrec :: Int -> Contact' -> ShowS

show :: Contact' -> String

showList :: [Contact'] -> ShowS

Unbox Contact'

Vector Vector Contact'

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Contact' -> m (Vector Contact')

basicUnsafeThaw :: PrimMonad m => Vector Contact' -> m (Mutable Vector (PrimState m) Contact')

basicLength :: Vector Contact' -> Int

basicUnsafeSlice :: Int -> Int -> Vector Contact' -> Vector Contact'

basicUnsafeIndexM :: Monad m => Vector Contact' -> Int -> m Contact'

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Contact' -> Vector Contact' -> m ()

elemseq :: Vector Contact' -> Contact' -> b -> b

MVector MVector Contact'

Methods

basicLength :: MVector s Contact' -> Int

basicUnsafeSlice :: Int -> Int -> MVector s Contact' -> MVector s Contact'

basicOverlaps :: MVector s Contact' -> MVector s Contact' -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Contact')

basicInitialize :: PrimMonad m => MVector (PrimState m) Contact' -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> Contact' -> m (MVector (PrimState m) Contact')

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Contact' -> Int -> m Contact'

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Contact' -> Int -> Contact' -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) Contact' -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) Contact' -> Contact' -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Contact' -> MVector (PrimState m) Contact' -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Contact' -> MVector (PrimState m) Contact' -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Contact' -> Int -> m (MVector (PrimState m) Contact')

data Vector Contact'

data Vector Contact' = V_Contact' (Vector (V2, P2, Double))

data MVector s Contact'

data MVector s Contact' = MV_Contact' (MVector s (V2, P2, Double))

contactPenetrator' :: Lens' Contact' P2

contactEdgeNormal' :: Lens' Contact' V2

contactDepth' :: Lens' Contact' Double