LPFPCore.Lorentz

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

Documentation

data ParticleFieldState

Constructors

ParticleFieldState

Fields

• mass :: R
• charge :: R
• time :: R
• position :: Position
• velocity :: Vec
• electricField :: VectorField
• magneticField :: VectorField

Instances

HasTime ParticleFieldState

Defined in LPFPCore.Lorentz

Methods

timeOf :: ParticleFieldState -> Time

Diff ParticleFieldState DParticleFieldState

Defined in LPFPCore.Lorentz

Methods

shift :: R -> DParticleFieldState -> ParticleFieldState -> ParticleFieldState

data DParticleFieldState

Constructors

DParticleFieldState

Fields

• dmdt :: R
• dqdt :: R
• dtdt :: R
• drdt :: Vec
• dvdt :: Vec
• dEdt :: VectorField
• dBdt :: VectorField

Instances

RealVectorSpace DParticleFieldState

Defined in LPFPCore.Lorentz

Methods

(+++) :: DParticleFieldState -> DParticleFieldState -> DParticleFieldState

scale :: R -> DParticleFieldState -> DParticleFieldState

Diff ParticleFieldState DParticleFieldState

Defined in LPFPCore.Lorentz

Methods

shift :: R -> DParticleFieldState -> ParticleFieldState -> ParticleFieldState

lorentzForce :: ParticleFieldState -> Vec

newtonSecondPFS :: ParticleFieldState -> DParticleFieldState

pfsUpdate :: R -> ParticleFieldState -> ParticleFieldState

defaultPFS :: ParticleFieldState

scalePos :: R -> Position -> Position

newtonSecondPFS' :: [ParticleFieldState -> Vec] -> ParticleFieldState -> DParticleFieldState