LPFP-core-1.1.1: Code for the book Learn Physics with Functional Programming
Copyright(c) Scott N. Walck 2023
LicenseBSD3 (see LICENSE)
MaintainerScott N. Walck <walck@lvc.edu>
Stabilitystable
Safe HaskellSafe-Inferred
LanguageHaskell2010

LPFPCore.Maxwell

Description

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

Documentation

directionalDerivative :: Vec -> ScalarField -> ScalarField Source #

curl :: R -> VectorField -> VectorField Source #

type FieldState = (R, VectorField, VectorField) Source #

maxwellUpdate :: R -> R -> (R -> VectorField) -> FieldState -> FieldState Source #

maxwellEvolve :: R -> R -> (R -> VectorField) -> FieldState -> [FieldState] Source #

exLocs :: [(Int, Int, Int)] Source #

eyLocs :: [(Int, Int, Int)] Source #

ezLocs :: [(Int, Int, Int)] Source #

bxLocs :: [(Int, Int, Int)] Source #

byLocs :: [(Int, Int, Int)] Source #

bzLocs :: [(Int, Int, Int)] Source #

spaceStepsCE :: Int Source #

hiEven :: Int Source #

evens :: [Int] Source #

odds :: [Int] Source #

data StateFDTD Source #

Constructors

StateFDTD 

Fields

Instances

Instances details
Show StateFDTD Source # 
Instance details

Defined in LPFPCore.Maxwell

Methods

showsPrec :: Int -> StateFDTD -> ShowS #

show :: StateFDTD -> String #

showList :: [StateFDTD] -> ShowS #

initialStateFDTD :: R -> StateFDTD Source #

lookupAZ :: Ord k => k -> Map k R -> R Source #

partialX :: R -> Map (Int, Int, Int) R -> (Int, Int, Int) -> R Source #

partialY :: R -> Map (Int, Int, Int) R -> (Int, Int, Int) -> R Source #

partialZ :: R -> Map (Int, Int, Int) R -> (Int, Int, Int) -> R Source #

curlEx :: StateFDTD -> (Int, Int, Int) -> R Source #

curlEy :: StateFDTD -> (Int, Int, Int) -> R Source #

curlEz :: StateFDTD -> (Int, Int, Int) -> R Source #

curlBx :: StateFDTD -> (Int, Int, Int) -> R Source #

curlBy :: StateFDTD -> (Int, Int, Int) -> R Source #

curlBz :: StateFDTD -> (Int, Int, Int) -> R Source #

stateUpdate :: R -> (R -> VectorField) -> StateFDTD -> StateFDTD Source #

updateE :: R -> VectorField -> StateFDTD -> StateFDTD Source #

updateB :: R -> StateFDTD -> StateFDTD Source #

updateEOneLoc :: R -> VectorField -> StateFDTD -> (Int, Int, Int) -> R -> R Source #

updateBOneLoc :: R -> StateFDTD -> (Int, Int, Int) -> R -> R Source #

jGaussian :: R -> VectorField Source #

getAverage :: (Int, Int, Int) -> Map (Int, Int, Int) R -> Vec Source #