Safe Haskell	Safe-Inferred
Language	Haskell2010

Physics

Documentation

data PhaseSpace Source #

Constructors

PhaseSpace
Fields p :: Vec2 q :: Vec2

Instances

Instances details

Show PhaseSpace Source #
Instance details Defined in Physics Methods showsPrec :: Int -> PhaseSpace -> ShowS # show :: PhaseSpace -> String # showList :: [PhaseSpace] -> ShowS #
VectorSpace PhaseSpace Source #
Instance details Defined in Physics Methods (+.) :: PhaseSpace -> PhaseSpace -> PhaseSpace Source # (-.) :: PhaseSpace -> PhaseSpace -> PhaseSpace Source # (*.) :: Double -> PhaseSpace -> PhaseSpace Source # (/.) :: PhaseSpace -> Double -> PhaseSpace Source # zero :: PhaseSpace Source # negateV :: PhaseSpace -> PhaseSpace Source #
Eq PhaseSpace Source #
Instance details Defined in Physics Methods (==) :: PhaseSpace -> PhaseSpace -> Bool # (/=) :: PhaseSpace -> PhaseSpace -> Bool #

particleInPotential :: Double -> (Vec2 -> Double) -> PhaseSpace -> PhaseSpace Source #

harmonicPotential :: (Double, Double) -> Vec2 -> Vec2 -> Double Source #

coulombPotential :: Double -> Vec2 -> Vec2 -> Double Source #

twoBody :: (Vec2 -> Double) -> (Vec2 -> Vec2 -> Double) -> (Double, Double) -> (PhaseSpace, PhaseSpace) -> (PhaseSpace, PhaseSpace) Source #

newtype NBody a Source #

Constructors

NBody
Fields getNBody :: [a]

Instances

Instances details

Foldable NBody Source #
Instance details Defined in Physics Methods fold :: Monoid m => NBody m -> m # foldMap :: Monoid m => (a -> m) -> NBody a -> m # foldMap' :: Monoid m => (a -> m) -> NBody a -> m # foldr :: (a -> b -> b) -> b -> NBody a -> b # foldr' :: (a -> b -> b) -> b -> NBody a -> b # foldl :: (b -> a -> b) -> b -> NBody a -> b # foldl' :: (b -> a -> b) -> b -> NBody a -> b # foldr1 :: (a -> a -> a) -> NBody a -> a # foldl1 :: (a -> a -> a) -> NBody a -> a # toList :: NBody a -> [a] # null :: NBody a -> Bool # length :: NBody a -> Int # elem :: Eq a => a -> NBody a -> Bool # maximum :: Ord a => NBody a -> a # minimum :: Ord a => NBody a -> a # sum :: Num a => NBody a -> a # product :: Num a => NBody a -> a #
Traversable NBody Source #
Instance details Defined in Physics Methods traverse :: Applicative f => (a -> f b) -> NBody a -> f (NBody b) # sequenceA :: Applicative f => NBody (f a) -> f (NBody a) # mapM :: Monad m => (a -> m b) -> NBody a -> m (NBody b) # sequence :: Monad m => NBody (m a) -> m (NBody a) #
Applicative NBody Source #
Instance details Defined in Physics Methods pure :: a -> NBody a # (<>) :: NBody (a -> b) -> NBody a -> NBody b # liftA2 :: (a -> b -> c) -> NBody a -> NBody b -> NBody c # (>) :: NBody a -> NBody b -> NBody b # (<*) :: NBody a -> NBody b -> NBody a #
Functor NBody Source #
Instance details Defined in Physics Methods fmap :: (a -> b) -> NBody a -> NBody b # (<$) :: a -> NBody b -> NBody a #
Show a => Show (NBody a) Source #
Instance details Defined in Physics Methods showsPrec :: Int -> NBody a -> ShowS # show :: NBody a -> String # showList :: [NBody a] -> ShowS #
VectorSpace a => VectorSpace (NBody a) Source #
Instance details Defined in Physics Methods (+.) :: NBody a -> NBody a -> NBody a Source # (-.) :: NBody a -> NBody a -> NBody a Source # (*.) :: Double -> NBody a -> NBody a Source # (/.) :: NBody a -> Double -> NBody a Source # zero :: NBody a Source # negateV :: NBody a -> NBody a Source #
Eq a => Eq (NBody a) Source #
Instance details Defined in Physics Methods (==) :: NBody a -> NBody a -> Bool # (/=) :: NBody a -> NBody a -> Bool #

nBody Source #

Arguments

:: (Vec2 -> Double)	External potential, affecting all particles. If you don't require an external potential, use `zero`.
-> (Vec2 -> Vec2 -> Double)	Interaction term between two particles. Should be symmetric.
-> NBody Double	Particle masses
-> NBody PhaseSpace
-> NBody PhaseSpace