Physics.Constraint.Types

Just pretend this module is part of Physics.Constraint. Last time I checked, GeneralizedNewtypeDeriving didn't work on Lagrangian in Physics.Constraint.

Documentation

newtype Lagrangian

Lagrangian multiplier - the (signed) magnitude of the impulse required to solve a constraint equation.

Constructors

Lagrangian

Fields

• _lagrangianVal :: Double

Instances

Eq Lagrangian

Methods

(==) :: Lagrangian -> Lagrangian -> Bool

(/=) :: Lagrangian -> Lagrangian -> Bool

Num Lagrangian

Methods

(+) :: Lagrangian -> Lagrangian -> Lagrangian

(-) :: Lagrangian -> Lagrangian -> Lagrangian

(*) :: Lagrangian -> Lagrangian -> Lagrangian

negate :: Lagrangian -> Lagrangian

abs :: Lagrangian -> Lagrangian

signum :: Lagrangian -> Lagrangian

fromInteger :: Integer -> Lagrangian

Ord Lagrangian

Methods

compare :: Lagrangian -> Lagrangian -> Ordering

(<) :: Lagrangian -> Lagrangian -> Bool

(<=) :: Lagrangian -> Lagrangian -> Bool

(>) :: Lagrangian -> Lagrangian -> Bool

(>=) :: Lagrangian -> Lagrangian -> Bool

max :: Lagrangian -> Lagrangian -> Lagrangian

min :: Lagrangian -> Lagrangian -> Lagrangian

Show Lagrangian

Methods

showsPrec :: Int -> Lagrangian -> ShowS

show :: Lagrangian -> String

showList :: [Lagrangian] -> ShowS

NFData Lagrangian

Methods

rnf :: Lagrangian -> ()

Unbox Lagrangian

Vector Vector Lagrangian

Methods

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

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

basicLength :: Vector Lagrangian -> Int

basicUnsafeSlice :: Int -> Int -> Vector Lagrangian -> Vector Lagrangian

basicUnsafeIndexM :: Monad m => Vector Lagrangian -> Int -> m Lagrangian

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

elemseq :: Vector Lagrangian -> Lagrangian -> b -> b

MVector MVector Lagrangian

Methods

basicLength :: MVector s Lagrangian -> Int

basicUnsafeSlice :: Int -> Int -> MVector s Lagrangian -> MVector s Lagrangian

basicOverlaps :: MVector s Lagrangian -> MVector s Lagrangian -> Bool

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

basicInitialize :: PrimMonad m => MVector (PrimState m) Lagrangian -> m ()

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

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

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

basicClear :: PrimMonad m => MVector (PrimState m) Lagrangian -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) Lagrangian -> Lagrangian -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Lagrangian -> MVector (PrimState m) Lagrangian -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Lagrangian -> MVector (PrimState m) Lagrangian -> m ()

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

data Vector Lagrangian

data Vector Lagrangian = V_Lagrangian (Vector Double)

data MVector s Lagrangian

data MVector s Lagrangian = MV_Lagrangian (MVector s Double)

lagrangianVal :: Iso' Lagrangian Double