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.ElectricField

Description

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

Documentation

epsilon0 :: R Source #

cSI :: R Source #

mu0 :: R Source #

eFieldFromPointCharge :: Charge -> Position -> VectorField Source #

eField :: ChargeDistribution -> VectorField Source #

simpleDipoleSodiumChloride :: ChargeDistribution Source #

eFieldSodiumChloride :: VectorField Source #

eFieldIdealDipole :: Vec -> VectorField Source #

type VectorLineIntegral = VectorField -> Curve -> Vec Source #

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

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

eFieldFromLineCharge :: ScalarField -> Curve -> VectorField Source #

lineDipoleSodiumChloride :: ChargeDistribution Source #

eFieldLineDipole :: VectorField Source #

type VectorSurfaceIntegral = VectorField -> Surface -> Vec Source #

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

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

eFieldFromSurfaceCharge :: ScalarField -> Surface -> VectorField Source #

eFieldDiskCap :: VectorField Source #

type VectorVolumeIntegral = VectorField -> Volume -> Vec Source #

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

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

eFieldFromVolumeCharge :: ScalarField -> Volume -> VectorField Source #

type ScalarLineIntegral = ScalarField -> Curve -> R Source #

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

type ScalarSurfaceIntegral = ScalarField -> Surface -> R Source #

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

type ScalarVolumeIntegral = ScalarField -> Volume -> R Source #

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

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

type Segment = (Position, Position) Source #

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

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

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

data Triangle Source #

Constructors

Tri Position Position Position

triCenter :: Triangle -> Position Source #

triArea :: Triangle -> Vec Source #

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

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

data Tet Source #

Constructors

Tet Position Position Position Position

tetCenter :: Tet -> Position Source #

tetVolume :: Tet -> R Source #

data ParamCube Source #

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] Source #

type Field a = Position -> a Source #

class AbstractVector a where Source #

Methods

zeroVector :: a Source #

add :: a -> a -> a Source #

scale :: R -> a -> a Source #

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

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

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

electricFluxFromField :: VectorField -> Surface -> R Source #

electricFluxFromCharge :: ChargeDistribution -> Surface -> R Source #

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

surfaceArea :: Surface -> R Source #

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

electricPotentialFromField :: VectorField -> ScalarField Source #