LPFPCore.ElectricField

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

Documentation

epsilon0 :: R

cSI :: R

mu0 :: R

eFieldFromPointCharge :: Charge -> Position -> VectorField

eField :: ChargeDistribution -> VectorField

simpleDipoleSodiumChloride :: ChargeDistribution

eFieldSodiumChloride :: VectorField

eFieldIdealDipole :: Vec -> VectorField

type VectorLineIntegral = VectorField -> Curve -> Vec

type CurveApprox = Curve -> [(Position, Vec)]

vectorLineIntegral :: CurveApprox -> VectorField -> Curve -> Vec

eFieldFromLineCharge :: ScalarField -> Curve -> VectorField

lineDipoleSodiumChloride :: ChargeDistribution

eFieldLineDipole :: VectorField

type VectorSurfaceIntegral = VectorField -> Surface -> Vec

type SurfaceApprox = Surface -> [(Position, Vec)]

vectorSurfaceIntegral :: SurfaceApprox -> VectorField -> Surface -> Vec

eFieldFromSurfaceCharge :: ScalarField -> Surface -> VectorField

eFieldDiskCap :: VectorField

type VectorVolumeIntegral = VectorField -> Volume -> Vec

type VolumeApprox = Volume -> [(Position, R)]

vectorVolumeIntegral :: VolumeApprox -> VectorField -> Volume -> Vec

eFieldFromVolumeCharge :: ScalarField -> Volume -> VectorField

type ScalarLineIntegral = ScalarField -> Curve -> R

scalarLineIntegral :: CurveApprox -> ScalarField -> Curve -> R

type ScalarSurfaceIntegral = ScalarField -> Surface -> R

scalarSurfaceIntegral :: SurfaceApprox -> ScalarField -> Surface -> R

type ScalarVolumeIntegral = ScalarField -> Volume -> R

scalarVolumeIntegral :: VolumeApprox -> ScalarField -> Volume -> R

curveSample :: Int -> Curve -> [(Position, Vec)]

type Segment = (Position, Position)

segments :: Int -> Curve -> [Segment]

linSpaced :: Int -> R -> R -> [R]

surfaceSample :: Int -> Surface -> [(Position, Vec)]

data Triangle

Constructors

Tri Position Position Position

triCenter :: Triangle -> Position

triArea :: Triangle -> Vec

triangles :: Int -> Surface -> [Triangle]

volumeSample :: Int -> Volume -> [(Position, R)]

data Tet

Constructors

Tet Position Position Position Position

tetCenter :: Tet -> Position

tetVolume :: Tet -> R

data ParamCube

Constructors

PC

Fields

• v000 :: (R, R, R)
• v001 :: (R, R, R)
• v010 :: (R, R, R)
• v011 :: (R, R, R)
• v100 :: (R, R, R)
• v101 :: (R, R, R)
• v110 :: (R, R, R)
• v111 :: (R, R, R)

tetrahedrons :: Int -> Volume -> [Tet]

type Field a = Position -> a

class AbstractVector a where

Methods

zeroVector :: a

add :: a -> a -> a

scale :: R -> a -> a

sumG :: AbstractVector a => [a] -> a

generalLineIntegral :: AbstractVector a => CurveApprox -> Field a -> Curve -> a

dottedSurfaceIntegral :: SurfaceApprox -> VectorField -> Surface -> R

electricFluxFromField :: VectorField -> Surface -> R

electricFluxFromCharge :: ChargeDistribution -> Surface -> R

eFieldFromSurfaceChargeP :: SurfaceApprox -> ScalarField -> Surface -> VectorField

surfaceArea :: Surface -> R

dottedLineIntegral :: CurveApprox -> VectorField -> Curve -> R

electricPotentialFromField :: VectorField -> ScalarField