-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Simple linear and quadratic regression
--   
--   A simple package with a module for
--   
--   <ul>
--   <li>linear and quadratic regression</li>
--   <li>linear and quadratic zeros formula</li>
--   <li>some 2d and 3d linear algebra</li>
--   </ul>
--   
--   All specialized to <tt>Double</tt>.
@package regression-simple
@version 0.1

module Math.Regression.Simple

-- | Linear regression.
--   
--   The type is
--   
--   <pre>
--   <a>linear</a> :: [(<a>Double</a>, <a>Double</a>)] -&gt; <a>V2</a>
--   </pre>
--   
--   but overloaded to work with boxed and unboxed <tt>Vector</tt>s.
--   
--   <pre>
--   &gt;&gt;&gt; let input1 = [(0, 1), (1, 3), (2, 5)]
--   
--   &gt;&gt;&gt; linear input1
--   V2 2.0 1.0
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; let input2 = [(0.1, 1.2), (1.3, 3.1), (1.9, 4.9), (3.0, 7.1), (4.1, 9.0)]
--   
--   &gt;&gt;&gt; linear input2
--   V2 2.0063237774030345 0.8868465430016883
--   </pre>
linear :: (Foldable' xs x, IsDoublePair x) => xs -> V2

-- | Quadratic regression.
--   
--   The type is
--   
--   <pre>
--   <a>quadratic</a> :: [(<a>Double</a>, <a>Double</a>)] -&gt; <a>V3</a>
--   </pre>
--   
--   but overloaded to work with boxed and unboxed <tt>Vector</tt>s.
--   
--   <pre>
--   &gt;&gt;&gt; let input1 = [(0, 1), (1, 3), (2, 5)]
--   
--   &gt;&gt;&gt; quadratic input1
--   V3 0.0 2.0 1.0
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; let input2 = [(0.1, 1.2), (1.3, 3.1), (1.9, 4.9), (3.0, 7.1), (4.1, 9.0)]
--   
--   &gt;&gt;&gt; quadratic input2
--   V3 (-5.886346291028133e-3) 2.0312938469708826 0.8715454176158062
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; let input3 = [(0, 2), (1, 3), (2, 6), (3, 11)]
--   
--   &gt;&gt;&gt; quadratic input3
--   V3 1.0 0.0 1.999999999999993
--   </pre>
quadratic :: (Foldable' xs x, IsDoublePair x) => xs -> V3

-- | Do both linear and quadratic regression in one data scan.
--   
--   <pre>
--   &gt;&gt;&gt; let input2 = [(0.1, 1.2), (1.3, 3.1), (1.9, 4.9), (3.0, 7.1), (4.1, 9.0)]
--   
--   &gt;&gt;&gt; quadraticAndLinear input2
--   (V3 (-5.886346291028133e-3) 2.0312938469708826 0.8715454176158062,V2 2.0063237774030345 0.8868465430016883)
--   </pre>
quadraticAndLinear :: (Foldable' xs x, IsDoublePair x) => xs -> (V3, V2)

-- | Addition
class Add a
zero :: Add a => a
add :: Add a => a -> a -> a
infixl 6 `add`

-- | Identity
class Eye a
eye :: Eye a => a

-- | Multiplication of different things.
class Eye a => Mult a b c | a b -> c
mult :: Mult a b c => a -> b -> c
infixl 7 `mult`

-- | Determinant
class Eye a => Det a
det :: Det a => a -> Double

-- | Inverse
class Det a => Inv a
inv :: Inv a => a -> a

-- | Solve linear equation.
--   
--   <pre>
--   &gt;&gt;&gt; zerosLin (V2 1 2)
--   -2.0
--   </pre>
zerosLin :: V2 -> Double

-- | Solve quadratic equation.
--   
--   <pre>
--   &gt;&gt;&gt; zerosQuad (V3 2 0 (-1))
--   Right (-0.7071067811865476,0.7071067811865476)
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; zerosQuad (V3 2 0 1)
--   Left ((-0.0) :+ (-0.7071067811865476),(-0.0) :+ 0.7071067811865476)
--   </pre>
--   
--   Double root is not treated separately:
--   
--   <pre>
--   &gt;&gt;&gt; zerosQuad (V3 1 0 0)
--   Right (-0.0,0.0)
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; zerosQuad (V3 1 (-2) 1)
--   Right (1.0,1.0)
--   </pre>
zerosQuad :: V3 -> Either (Complex Double, Complex Double) (Double, Double)

-- | Find an optima point.
--   
--   <pre>
--   &gt;&gt;&gt; optimaQuad (V3 1 (-2) 0)
--   1.0
--   </pre>
--   
--   compare to
--   
--   <pre>
--   &gt;&gt;&gt; zerosQuad (V3 1 (-2) 0)
--   Right (0.0,2.0)
--   </pre>
optimaQuad :: V3 -> Double

-- | 2d vector. Strict pair of <a>Double</a>s.
--   
--   Also used to represent linear polynomial: <tt>V2 a b</tt>
--   &lt;math&gt;.
data V2
V2 :: !Double -> !Double -> V2

-- | 2×2 matrix.
data M22
M22 :: !Double -> !Double -> !Double -> !Double -> M22

-- | 3d vector. Strict triple of <a>Double</a>s.
--   
--   Also used to represent quadratic polynomial: <tt>V3 a b c</tt>
--   &lt;math&gt;.
data V3
V3 :: !Double -> !Double -> !Double -> V3

-- | 3×3 matrix.
data M33
M33 :: !Double -> !Double -> !Double -> !Double -> !Double -> !Double -> !Double -> !Double -> !Double -> M33

-- | Like <a>Foldable</a> but with element in the class definition.
class Foldable' xs x | xs -> x
foldl' :: Foldable' xs x => (b -> x -> b) -> b -> xs -> b

-- | Class witnessing that <tt>dp</tt> has a pair of <a>Double</a>s.
class IsDoublePair dp
withDP :: IsDoublePair dp => dp -> (Double -> Double -> r) -> r
makeDP :: IsDoublePair dp => Double -> Double -> dp
instance GHC.Show.Show Math.Regression.Simple.M33
instance GHC.Classes.Eq Math.Regression.Simple.M33
instance GHC.Show.Show Math.Regression.Simple.V3
instance GHC.Classes.Eq Math.Regression.Simple.V3
instance GHC.Show.Show Math.Regression.Simple.M22
instance GHC.Classes.Eq Math.Regression.Simple.M22
instance GHC.Show.Show Math.Regression.Simple.V2
instance GHC.Classes.Eq Math.Regression.Simple.V2
instance Math.Regression.Simple.IsDoublePair Math.Regression.Simple.V2
instance (a Data.Type.Equality.~ GHC.Types.Double, b Data.Type.Equality.~ GHC.Types.Double) => Math.Regression.Simple.IsDoublePair (a, b)
instance Math.Regression.Simple.Foldable' [a] a
instance Math.Regression.Simple.Foldable' (Data.Vector.Vector a) a
instance Data.Vector.Unboxed.Base.Unbox a => Math.Regression.Simple.Foldable' (Data.Vector.Unboxed.Base.Vector a) a
instance Math.Regression.Simple.Add Math.Regression.Simple.M33
instance Math.Regression.Simple.Eye Math.Regression.Simple.M33
instance Math.Regression.Simple.Det Math.Regression.Simple.M33
instance Math.Regression.Simple.Inv Math.Regression.Simple.M33
instance Math.Regression.Simple.Mult GHC.Types.Double Math.Regression.Simple.M33 Math.Regression.Simple.M33
instance Math.Regression.Simple.Mult Math.Regression.Simple.M33 Math.Regression.Simple.V3 Math.Regression.Simple.V3
instance Math.Regression.Simple.Add Math.Regression.Simple.V3
instance Math.Regression.Simple.Mult GHC.Types.Double Math.Regression.Simple.V3 Math.Regression.Simple.V3
instance Math.Regression.Simple.Add Math.Regression.Simple.M22
instance Math.Regression.Simple.Eye Math.Regression.Simple.M22
instance Math.Regression.Simple.Det Math.Regression.Simple.M22
instance Math.Regression.Simple.Inv Math.Regression.Simple.M22
instance Math.Regression.Simple.Mult GHC.Types.Double Math.Regression.Simple.M22 Math.Regression.Simple.M22
instance Math.Regression.Simple.Mult Math.Regression.Simple.M22 Math.Regression.Simple.V2 Math.Regression.Simple.V2
instance Math.Regression.Simple.Mult Math.Regression.Simple.M22 Math.Regression.Simple.M22 Math.Regression.Simple.M22
instance Math.Regression.Simple.Add Math.Regression.Simple.V2
instance Math.Regression.Simple.Mult GHC.Types.Double Math.Regression.Simple.V2 Math.Regression.Simple.V2
instance Math.Regression.Simple.Inv GHC.Types.Double
instance Math.Regression.Simple.Det GHC.Types.Double
instance Math.Regression.Simple.Eye GHC.Types.Double
instance Math.Regression.Simple.Add GHC.Types.Double