Copyright	(c) Scott N. Walck 2023
License	BSD3 (see LICENSE)
Maintainer	Scott N. Walck <walck@lvc.edu>
Stability	stable
Safe Haskell	Safe-Inferred
Language	Haskell2010

LPFPCore.MultipleObjects

Description

Code from chapter 19 of the book Learn Physics with Functional Programming

Synopsis

type TwoBodyForce = ParticleState -> ParticleState -> ForceVector
type ForceVector = Vec
oneFromTwo :: ParticleState -> TwoBodyForce -> OneBodyForce
gravityMagnitude :: Mass -> Mass -> R -> R
universalGravity :: TwoBodyForce
constantRepulsiveForceWrong :: ForceVector -> TwoBodyForce
constantRepulsiveForce :: R -> TwoBodyForce
linearSpring :: R -> R -> TwoBodyForce
fixedLinearSpring :: R -> R -> Vec -> OneBodyForce
centralForce :: (R -> R) -> TwoBodyForce
linearSpringCentral :: R -> R -> TwoBodyForce
billiardForce :: R -> R -> TwoBodyForce
data Force
- = ExternalForce Int OneBodyForce
- | InternalForce Int Int TwoBodyForce
data MultiParticleState = MPS {
- particleStates :: [ParticleState]
}
data DMultiParticleState = DMPS [DParticleState]
newtonSecondMPS :: [Force] -> MultiParticleState -> DMultiParticleState
forcesOn :: Int -> MultiParticleState -> [Force] -> [OneBodyForce]
forceOn :: Int -> MultiParticleState -> Force -> OneBodyForce
eulerCromerMPS :: TimeStep -> NumericalMethod MultiParticleState DMultiParticleState
updateMPS :: NumericalMethod MultiParticleState DMultiParticleState -> [Force] -> MultiParticleState -> MultiParticleState
statesMPS :: NumericalMethod MultiParticleState DMultiParticleState -> [Force] -> MultiParticleState -> [MultiParticleState]
speed :: ParticleState -> R
universalGravity' :: TwoBodyForce
universalGravityCentral :: TwoBodyForce
lennardJones :: R -> R -> TwoBodyForce
systemKE :: MultiParticleState -> R
forcesOn' :: Int -> MultiParticleState -> [Force] -> [OneBodyForce]
externalForcesOn :: Int -> [Force] -> [OneBodyForce]
internalForcesOn :: Int -> MultiParticleState -> [Force] -> [OneBodyForce]

Documentation

type TwoBodyForce = ParticleState -> ParticleState -> ForceVector Source #

type ForceVector = Vec Source #

oneFromTwo :: ParticleState -> TwoBodyForce -> OneBodyForce Source #

gravityMagnitude :: Mass -> Mass -> R -> R Source #

universalGravity :: TwoBodyForce Source #

constantRepulsiveForceWrong :: ForceVector -> TwoBodyForce Source #

constantRepulsiveForce :: R -> TwoBodyForce Source #

linearSpring :: R -> R -> TwoBodyForce Source #

fixedLinearSpring :: R -> R -> Vec -> OneBodyForce Source #

Force provided by a spring that is fixed at one end.

centralForce :: (R -> R) -> TwoBodyForce Source #

linearSpringCentral :: R -> R -> TwoBodyForce Source #

billiardForce :: R -> R -> TwoBodyForce Source #

data Force Source #

Constructors

ExternalForce Int OneBodyForce
InternalForce Int Int TwoBodyForce

data MultiParticleState Source #

Constructors

MPS
Fields particleStates :: [ParticleState]

Instances

Instances details

HasTime MultiParticleState Source #
Instance details Defined in LPFPCore.MultipleObjects Methods timeOf :: MultiParticleState -> Time Source #
Show MultiParticleState Source #
Instance details Defined in LPFPCore.MultipleObjects Methods showsPrec :: Int -> MultiParticleState -> ShowS # show :: MultiParticleState -> String # showList :: [MultiParticleState] -> ShowS #
Diff MultiParticleState DMultiParticleState Source #
Instance details Defined in LPFPCore.MultipleObjects Methods shift :: R -> DMultiParticleState -> MultiParticleState -> MultiParticleState Source #

data DMultiParticleState Source #

Constructors

DMPS [DParticleState]

Instances

Instances details

RealVectorSpace DMultiParticleState Source #
Instance details Defined in LPFPCore.MultipleObjects Methods (+++) :: DMultiParticleState -> DMultiParticleState -> DMultiParticleState Source # scale :: R -> DMultiParticleState -> DMultiParticleState Source #
Show DMultiParticleState Source #
Instance details Defined in LPFPCore.MultipleObjects Methods showsPrec :: Int -> DMultiParticleState -> ShowS # show :: DMultiParticleState -> String # showList :: [DMultiParticleState] -> ShowS #
Diff MultiParticleState DMultiParticleState Source #
Instance details Defined in LPFPCore.MultipleObjects Methods shift :: R -> DMultiParticleState -> MultiParticleState -> MultiParticleState Source #

newtonSecondMPS :: [Force] -> MultiParticleState -> DMultiParticleState Source #

forcesOn :: Int -> MultiParticleState -> [Force] -> [OneBodyForce] Source #

forceOn :: Int -> MultiParticleState -> Force -> OneBodyForce Source #

eulerCromerMPS :: TimeStep -> NumericalMethod MultiParticleState DMultiParticleState Source #

updateMPS :: NumericalMethod MultiParticleState DMultiParticleState -> [Force] -> MultiParticleState -> MultiParticleState Source #

statesMPS :: NumericalMethod MultiParticleState DMultiParticleState -> [Force] -> MultiParticleState -> [MultiParticleState] Source #

speed :: ParticleState -> R Source #

universalGravity' :: TwoBodyForce Source #

universalGravityCentral :: TwoBodyForce Source #

lennardJones :: R -> R -> TwoBodyForce Source #

systemKE :: MultiParticleState -> R Source #

forcesOn' :: Int -> MultiParticleState -> [Force] -> [OneBodyForce] Source #

externalForcesOn :: Int -> [Force] -> [OneBodyForce] Source #

internalForcesOn :: Int -> MultiParticleState -> [Force] -> [OneBodyForce] Source #