vector-space 0.10.2 → 0.10.3
raw patch · 2 files changed
+11/−3 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Data.AdditiveGroup: getSum :: Sum a -> a
- Data.AdditiveGroup: instance (AdditiveGroup u, AdditiveGroup v) => AdditiveGroup (u, v)
- Data.AdditiveGroup: instance (AdditiveGroup u, AdditiveGroup v, AdditiveGroup w) => AdditiveGroup (u, v, w)
- Data.AdditiveGroup: instance (AdditiveGroup u, AdditiveGroup v, AdditiveGroup w, AdditiveGroup x) => AdditiveGroup (u, v, w, x)
- Data.AdditiveGroup: instance (HasTrie u, AdditiveGroup v) => AdditiveGroup (u :->: v)
- Data.AdditiveGroup: instance (RealFloat v, AdditiveGroup v) => AdditiveGroup (Complex v)
- Data.AdditiveGroup: instance AdditiveGroup ()
- Data.AdditiveGroup: instance AdditiveGroup CDouble
- Data.AdditiveGroup: instance AdditiveGroup CFloat
- Data.AdditiveGroup: instance AdditiveGroup CInt
- Data.AdditiveGroup: instance AdditiveGroup CIntMax
- Data.AdditiveGroup: instance AdditiveGroup CLLong
- Data.AdditiveGroup: instance AdditiveGroup CLong
- Data.AdditiveGroup: instance AdditiveGroup CSChar
- Data.AdditiveGroup: instance AdditiveGroup CShort
- Data.AdditiveGroup: instance AdditiveGroup Double
- Data.AdditiveGroup: instance AdditiveGroup Float
- Data.AdditiveGroup: instance AdditiveGroup Int
- Data.AdditiveGroup: instance AdditiveGroup Integer
- Data.AdditiveGroup: instance AdditiveGroup a => AdditiveGroup (Maybe a)
- Data.AdditiveGroup: instance AdditiveGroup a => AdditiveGroup (Sum a)
- Data.AdditiveGroup: instance AdditiveGroup a => Monoid (Sum a)
- Data.AdditiveGroup: instance AdditiveGroup v => AdditiveGroup (a -> v)
- Data.AdditiveGroup: instance Applicative Sum
- Data.AdditiveGroup: instance Bounded a => Bounded (Sum a)
- Data.AdditiveGroup: instance Eq a => Eq (Sum a)
- Data.AdditiveGroup: instance Functor Sum
- Data.AdditiveGroup: instance Integral a => AdditiveGroup (Ratio a)
- Data.AdditiveGroup: instance Ord a => Ord (Sum a)
- Data.AdditiveGroup: instance Read a => Read (Sum a)
- Data.AdditiveGroup: instance Show a => Show (Sum a)
- Data.AffineSpace: instance (AffineSpace p, AffineSpace q) => AffineSpace (p, q)
- Data.AffineSpace: instance (AffineSpace p, AffineSpace q, AffineSpace r) => AffineSpace (p, q, r)
- Data.AffineSpace: instance AffineSpace CDouble
- Data.AffineSpace: instance AffineSpace CFloat
- Data.AffineSpace: instance AffineSpace Double
- Data.AffineSpace: instance AffineSpace Float
- Data.AffineSpace: instance AffineSpace p => AffineSpace (a -> p)
- Data.AffineSpace: instance Integral a => AffineSpace (Ratio a)
- Data.Basis: instance (HasBasis u, s ~ Scalar u, HasBasis v, s ~ Scalar v) => HasBasis (u, v)
- Data.Basis: instance (HasBasis u, s ~ Scalar u, HasBasis v, s ~ Scalar v, HasBasis w, s ~ Scalar w) => HasBasis (u, v, w)
- Data.Basis: instance HasBasis CDouble
- Data.Basis: instance HasBasis CFloat
- Data.Basis: instance HasBasis Double
- Data.Basis: instance HasBasis Float
- Data.Basis: instance Integral a => HasBasis (Ratio a)
- Data.Cross: instance (HasBasis a, HasTrie (Basis a), VectorSpace v, HasCross2 v) => HasCross2 (a :> v)
- Data.Cross: instance (HasBasis a, HasTrie (Basis a), VectorSpace v, HasCross3 v) => HasCross3 (a :> v)
- Data.Cross: instance (HasBasis s, HasTrie (Basis s), Basis s ~ ()) => HasNormal (One s :> Two s)
- Data.Cross: instance (Num s, HasTrie (Basis (s, s)), HasBasis s, Basis s ~ ()) => HasNormal (Two s :> Three s)
- Data.Cross: instance (Num s, VectorSpace s, HasBasis s, HasTrie (Basis s), Basis s ~ ()) => HasNormal (Two (One s :> s))
- Data.Cross: instance (Num s, VectorSpace s, HasBasis s, HasTrie (Basis s), HasNormal (Two s :> Three s)) => HasNormal (Three (Two s :> s))
- Data.Cross: instance AdditiveGroup u => HasCross2 (u, u)
- Data.Cross: instance Num s => HasCross3 (s, s, s)
- Data.LinearMap: instance (HasTrie (Basis u), AdditiveGroup v) => AdditiveGroup (u :-* v)
- Data.LinearMap: instance (HasTrie (Basis u), VectorSpace v) => VectorSpace (u :-* v)
- Data.Maclaurin: derivative :: (:>) a b -> a :-* (a :> b)
- Data.Maclaurin: instance (AdditiveGroup b, HasBasis a, HasTrie (Basis a), OrdB b, IfB b, Ord b) => Ord (a :> b)
- Data.Maclaurin: instance (AdditiveGroup v, HasBasis u, HasTrie (Basis u), IfB v) => IfB (u :> v)
- Data.Maclaurin: instance (AdditiveGroup v, HasBasis u, HasTrie (Basis u), OrdB v) => OrdB (u :> v)
- Data.Maclaurin: instance (HasBasis a, HasTrie (Basis a), AdditiveGroup u) => AdditiveGroup (a :> u)
- Data.Maclaurin: instance (HasBasis a, HasTrie (Basis a), VectorSpace u, AdditiveGroup (Scalar u)) => VectorSpace (a :> u)
- Data.Maclaurin: instance (HasBasis a, s ~ Scalar a, HasTrie (Basis a), Floating s, VectorSpace s, Scalar s ~ s) => Floating (a :> s)
- Data.Maclaurin: instance (HasBasis a, s ~ Scalar a, HasTrie (Basis a), Fractional s, VectorSpace s, Scalar s ~ s) => Fractional (a :> s)
- Data.Maclaurin: instance (HasBasis a, s ~ Scalar a, HasTrie (Basis a), Num s, VectorSpace s, Scalar s ~ s) => Num (a :> s)
- Data.Maclaurin: instance (InnerSpace u, s ~ Scalar u, AdditiveGroup s, HasBasis a, HasTrie (Basis a)) => InnerSpace (a :> u)
- Data.Maclaurin: instance Eq b => Eq (a :> b)
- Data.Maclaurin: instance Show b => Show (a :> b)
- Data.Maclaurin: powVal :: (:>) a b -> b
- Data.VectorSpace: instance (HasTrie a, VectorSpace v) => VectorSpace (a :->: v)
- Data.VectorSpace: instance (InnerSpace u, s ~ Scalar u, InnerSpace v, s ~ Scalar v) => InnerSpace (u, v)
- Data.VectorSpace: instance (InnerSpace u, s ~ Scalar u, InnerSpace v, s ~ Scalar v, InnerSpace w, s ~ Scalar w) => InnerSpace (u, v, w)
- Data.VectorSpace: instance (InnerSpace u, s ~ Scalar u, InnerSpace v, s ~ Scalar v, InnerSpace w, s ~ Scalar w, InnerSpace x, s ~ Scalar x) => InnerSpace (u, v, w, x)
- Data.VectorSpace: instance (RealFloat v, InnerSpace v) => InnerSpace (Complex v)
- Data.VectorSpace: instance (RealFloat v, VectorSpace v) => VectorSpace (Complex v)
- Data.VectorSpace: instance (VectorSpace u, s ~ Scalar u, VectorSpace v, s ~ Scalar v) => VectorSpace (u, v)
- Data.VectorSpace: instance (VectorSpace u, s ~ Scalar u, VectorSpace v, s ~ Scalar v, VectorSpace w, s ~ Scalar w) => VectorSpace (u, v, w)
- Data.VectorSpace: instance (VectorSpace u, s ~ Scalar u, VectorSpace v, s ~ Scalar v, VectorSpace w, s ~ Scalar w, VectorSpace x, s ~ Scalar x) => VectorSpace (u, v, w, x)
- Data.VectorSpace: instance InnerSpace CDouble
- Data.VectorSpace: instance InnerSpace CFloat
- Data.VectorSpace: instance InnerSpace CInt
- Data.VectorSpace: instance InnerSpace CIntMax
- Data.VectorSpace: instance InnerSpace CLLong
- Data.VectorSpace: instance InnerSpace CLong
- Data.VectorSpace: instance InnerSpace CSChar
- Data.VectorSpace: instance InnerSpace CShort
- Data.VectorSpace: instance InnerSpace Double
- Data.VectorSpace: instance InnerSpace Float
- Data.VectorSpace: instance InnerSpace Int
- Data.VectorSpace: instance InnerSpace Integer
- Data.VectorSpace: instance InnerSpace a => InnerSpace (Maybe a)
- Data.VectorSpace: instance InnerSpace v => InnerSpace (a -> v)
- Data.VectorSpace: instance Integral a => InnerSpace (Ratio a)
- Data.VectorSpace: instance Integral a => VectorSpace (Ratio a)
- Data.VectorSpace: instance VectorSpace CDouble
- Data.VectorSpace: instance VectorSpace CFloat
- Data.VectorSpace: instance VectorSpace CInt
- Data.VectorSpace: instance VectorSpace CIntMax
- Data.VectorSpace: instance VectorSpace CLLong
- Data.VectorSpace: instance VectorSpace CLong
- Data.VectorSpace: instance VectorSpace CSChar
- Data.VectorSpace: instance VectorSpace CShort
- Data.VectorSpace: instance VectorSpace Double
- Data.VectorSpace: instance VectorSpace Float
- Data.VectorSpace: instance VectorSpace Int
- Data.VectorSpace: instance VectorSpace Integer
- Data.VectorSpace: instance VectorSpace v => VectorSpace (Maybe v)
- Data.VectorSpace: instance VectorSpace v => VectorSpace (a -> v)
+ Data.AdditiveGroup: [getSum] :: Sum a -> a
+ Data.AdditiveGroup: instance (Data.AdditiveGroup.AdditiveGroup u, Data.AdditiveGroup.AdditiveGroup v) => Data.AdditiveGroup.AdditiveGroup (u, v)
+ Data.AdditiveGroup: instance (Data.AdditiveGroup.AdditiveGroup u, Data.AdditiveGroup.AdditiveGroup v, Data.AdditiveGroup.AdditiveGroup w) => Data.AdditiveGroup.AdditiveGroup (u, v, w)
+ Data.AdditiveGroup: instance (Data.AdditiveGroup.AdditiveGroup u, Data.AdditiveGroup.AdditiveGroup v, Data.AdditiveGroup.AdditiveGroup w, Data.AdditiveGroup.AdditiveGroup x) => Data.AdditiveGroup.AdditiveGroup (u, v, w, x)
+ Data.AdditiveGroup: instance (Data.MemoTrie.HasTrie u, Data.AdditiveGroup.AdditiveGroup v) => Data.AdditiveGroup.AdditiveGroup (u Data.MemoTrie.:->: v)
+ Data.AdditiveGroup: instance (GHC.Float.RealFloat v, Data.AdditiveGroup.AdditiveGroup v) => Data.AdditiveGroup.AdditiveGroup (Data.Complex.Complex v)
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup ()
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup Foreign.C.Types.CDouble
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup Foreign.C.Types.CFloat
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup Foreign.C.Types.CInt
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup Foreign.C.Types.CIntMax
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup Foreign.C.Types.CLLong
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup Foreign.C.Types.CLong
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup Foreign.C.Types.CSChar
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup Foreign.C.Types.CShort
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup GHC.Integer.Type.Integer
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup GHC.Types.Double
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup GHC.Types.Float
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup GHC.Types.Int
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup a => Data.AdditiveGroup.AdditiveGroup (Data.AdditiveGroup.Sum a)
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup a => Data.AdditiveGroup.AdditiveGroup (GHC.Base.Maybe a)
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup a => GHC.Base.Monoid (Data.AdditiveGroup.Sum a)
+ Data.AdditiveGroup: instance Data.AdditiveGroup.AdditiveGroup v => Data.AdditiveGroup.AdditiveGroup (a -> v)
+ Data.AdditiveGroup: instance GHC.Base.Applicative Data.AdditiveGroup.Sum
+ Data.AdditiveGroup: instance GHC.Base.Functor Data.AdditiveGroup.Sum
+ Data.AdditiveGroup: instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.AdditiveGroup.Sum a)
+ Data.AdditiveGroup: instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.AdditiveGroup.Sum a)
+ Data.AdditiveGroup: instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.AdditiveGroup.Sum a)
+ Data.AdditiveGroup: instance GHC.Read.Read a => GHC.Read.Read (Data.AdditiveGroup.Sum a)
+ Data.AdditiveGroup: instance GHC.Real.Integral a => Data.AdditiveGroup.AdditiveGroup (GHC.Real.Ratio a)
+ Data.AdditiveGroup: instance GHC.Show.Show a => GHC.Show.Show (Data.AdditiveGroup.Sum a)
+ Data.AffineSpace: infixl 6 .-^
+ Data.AffineSpace: instance (Data.AffineSpace.AffineSpace p, Data.AffineSpace.AffineSpace q) => Data.AffineSpace.AffineSpace (p, q)
+ Data.AffineSpace: instance (Data.AffineSpace.AffineSpace p, Data.AffineSpace.AffineSpace q, Data.AffineSpace.AffineSpace r) => Data.AffineSpace.AffineSpace (p, q, r)
+ Data.AffineSpace: instance Data.AffineSpace.AffineSpace Foreign.C.Types.CDouble
+ Data.AffineSpace: instance Data.AffineSpace.AffineSpace Foreign.C.Types.CFloat
+ Data.AffineSpace: instance Data.AffineSpace.AffineSpace Foreign.C.Types.CInt
+ Data.AffineSpace: instance Data.AffineSpace.AffineSpace Foreign.C.Types.CIntMax
+ Data.AffineSpace: instance Data.AffineSpace.AffineSpace Foreign.C.Types.CLLong
+ Data.AffineSpace: instance Data.AffineSpace.AffineSpace Foreign.C.Types.CLong
+ Data.AffineSpace: instance Data.AffineSpace.AffineSpace Foreign.C.Types.CSChar
+ Data.AffineSpace: instance Data.AffineSpace.AffineSpace Foreign.C.Types.CShort
+ Data.AffineSpace: instance Data.AffineSpace.AffineSpace GHC.Integer.Type.Integer
+ Data.AffineSpace: instance Data.AffineSpace.AffineSpace GHC.Types.Double
+ Data.AffineSpace: instance Data.AffineSpace.AffineSpace GHC.Types.Float
+ Data.AffineSpace: instance Data.AffineSpace.AffineSpace GHC.Types.Int
+ Data.AffineSpace: instance Data.AffineSpace.AffineSpace p => Data.AffineSpace.AffineSpace (a -> p)
+ Data.AffineSpace: instance GHC.Real.Integral a => Data.AffineSpace.AffineSpace (GHC.Real.Ratio a)
+ Data.AffineSpace: type family Diff p;
+ Data.AffineSpace: }
+ Data.Basis: instance (Data.Basis.HasBasis u, s ~ Data.VectorSpace.Scalar u, Data.Basis.HasBasis v, s ~ Data.VectorSpace.Scalar v) => Data.Basis.HasBasis (u, v)
+ Data.Basis: instance (Data.Basis.HasBasis u, s ~ Data.VectorSpace.Scalar u, Data.Basis.HasBasis v, s ~ Data.VectorSpace.Scalar v, Data.Basis.HasBasis w, s ~ Data.VectorSpace.Scalar w) => Data.Basis.HasBasis (u, v, w)
+ Data.Basis: instance Data.Basis.HasBasis Foreign.C.Types.CDouble
+ Data.Basis: instance Data.Basis.HasBasis Foreign.C.Types.CFloat
+ Data.Basis: instance Data.Basis.HasBasis GHC.Types.Double
+ Data.Basis: instance Data.Basis.HasBasis GHC.Types.Float
+ Data.Basis: instance GHC.Real.Integral a => Data.Basis.HasBasis (GHC.Real.Ratio a)
+ Data.Basis: type family Basis v :: *;
+ Data.Basis: }
+ Data.Cross: instance (Data.Basis.HasBasis a, Data.MemoTrie.HasTrie (Data.Basis.Basis a), Data.VectorSpace.VectorSpace v, Data.Cross.HasCross2 v) => Data.Cross.HasCross2 (a Data.Maclaurin.:> v)
+ Data.Cross: instance (Data.Basis.HasBasis a, Data.MemoTrie.HasTrie (Data.Basis.Basis a), Data.VectorSpace.VectorSpace v, Data.Cross.HasCross3 v) => Data.Cross.HasCross3 (a Data.Maclaurin.:> v)
+ Data.Cross: instance (Data.Basis.HasBasis s, Data.MemoTrie.HasTrie (Data.Basis.Basis s), Data.Basis.Basis s ~ ()) => Data.Cross.HasNormal (Data.Cross.One s Data.Maclaurin.:> Data.Cross.Two s)
+ Data.Cross: instance (GHC.Num.Num s, Data.MemoTrie.HasTrie (Data.Basis.Basis (s, s)), Data.Basis.HasBasis s, Data.Basis.Basis s ~ ()) => Data.Cross.HasNormal (Data.Cross.Two s Data.Maclaurin.:> Data.Cross.Three s)
+ Data.Cross: instance (GHC.Num.Num s, Data.VectorSpace.VectorSpace s, Data.Basis.HasBasis s, Data.MemoTrie.HasTrie (Data.Basis.Basis s), Data.Basis.Basis s ~ ()) => Data.Cross.HasNormal (Data.Cross.Two (Data.Cross.One s Data.Maclaurin.:> s))
+ Data.Cross: instance (GHC.Num.Num s, Data.VectorSpace.VectorSpace s, Data.Basis.HasBasis s, Data.MemoTrie.HasTrie (Data.Basis.Basis s), Data.Cross.HasNormal (Data.Cross.Two s Data.Maclaurin.:> Data.Cross.Three s)) => Data.Cross.HasNormal (Data.Cross.Three (Data.Cross.Two s Data.Maclaurin.:> s))
+ Data.Cross: instance Data.AdditiveGroup.AdditiveGroup u => Data.Cross.HasCross2 (u, u)
+ Data.Cross: instance GHC.Num.Num s => Data.Cross.HasCross3 (s, s, s)
+ Data.LinearMap: infixr 9 *.*
+ Data.LinearMap: instance (Data.MemoTrie.HasTrie (Data.Basis.Basis u), Data.AdditiveGroup.AdditiveGroup v) => Data.AdditiveGroup.AdditiveGroup (u Data.LinearMap.:-* v)
+ Data.LinearMap: instance (Data.MemoTrie.HasTrie (Data.Basis.Basis u), Data.VectorSpace.VectorSpace v) => Data.VectorSpace.VectorSpace (u Data.LinearMap.:-* v)
+ Data.Maclaurin: [derivative] :: (:>) a b -> a :-* (a :> b)
+ Data.Maclaurin: [powVal] :: (:>) a b -> b
+ Data.Maclaurin: infix 0 >-<
+ Data.Maclaurin: infixl 4 <$>>
+ Data.Maclaurin: instance (Data.AdditiveGroup.AdditiveGroup b, Data.Basis.HasBasis a, Data.MemoTrie.HasTrie (Data.Basis.Basis a), Data.Boolean.OrdB b, Data.Boolean.IfB b, GHC.Classes.Ord b) => GHC.Classes.Ord (a Data.Maclaurin.:> b)
+ Data.Maclaurin: instance (Data.AdditiveGroup.AdditiveGroup v, Data.Basis.HasBasis u, Data.MemoTrie.HasTrie (Data.Basis.Basis u), Data.Boolean.IfB v) => Data.Boolean.IfB (u Data.Maclaurin.:> v)
+ Data.Maclaurin: instance (Data.AdditiveGroup.AdditiveGroup v, Data.Basis.HasBasis u, Data.MemoTrie.HasTrie (Data.Basis.Basis u), Data.Boolean.OrdB v) => Data.Boolean.OrdB (u Data.Maclaurin.:> v)
+ Data.Maclaurin: instance (Data.Basis.HasBasis a, Data.MemoTrie.HasTrie (Data.Basis.Basis a), Data.AdditiveGroup.AdditiveGroup u) => Data.AdditiveGroup.AdditiveGroup (a Data.Maclaurin.:> u)
+ Data.Maclaurin: instance (Data.Basis.HasBasis a, Data.MemoTrie.HasTrie (Data.Basis.Basis a), Data.VectorSpace.VectorSpace u, Data.AdditiveGroup.AdditiveGroup (Data.VectorSpace.Scalar u)) => Data.VectorSpace.VectorSpace (a Data.Maclaurin.:> u)
+ Data.Maclaurin: instance (Data.Basis.HasBasis a, s ~ Data.VectorSpace.Scalar a, Data.MemoTrie.HasTrie (Data.Basis.Basis a), GHC.Float.Floating s, Data.VectorSpace.VectorSpace s, Data.VectorSpace.Scalar s ~ s) => GHC.Float.Floating (a Data.Maclaurin.:> s)
+ Data.Maclaurin: instance (Data.Basis.HasBasis a, s ~ Data.VectorSpace.Scalar a, Data.MemoTrie.HasTrie (Data.Basis.Basis a), GHC.Num.Num s, Data.VectorSpace.VectorSpace s, Data.VectorSpace.Scalar s ~ s) => GHC.Num.Num (a Data.Maclaurin.:> s)
+ Data.Maclaurin: instance (Data.Basis.HasBasis a, s ~ Data.VectorSpace.Scalar a, Data.MemoTrie.HasTrie (Data.Basis.Basis a), GHC.Real.Fractional s, Data.VectorSpace.VectorSpace s, Data.VectorSpace.Scalar s ~ s) => GHC.Real.Fractional (a Data.Maclaurin.:> s)
+ Data.Maclaurin: instance (Data.VectorSpace.InnerSpace u, s ~ Data.VectorSpace.Scalar u, Data.AdditiveGroup.AdditiveGroup s, Data.Basis.HasBasis a, Data.MemoTrie.HasTrie (Data.Basis.Basis a)) => Data.VectorSpace.InnerSpace (a Data.Maclaurin.:> u)
+ Data.Maclaurin: instance GHC.Classes.Eq b => GHC.Classes.Eq (a Data.Maclaurin.:> b)
+ Data.Maclaurin: instance GHC.Show.Show b => GHC.Show.Show (a Data.Maclaurin.:> b)
+ Data.VectorSpace: infixl 7 ^*
+ Data.VectorSpace: infixr 7 ^/
+ Data.VectorSpace: instance (Data.MemoTrie.HasTrie a, Data.VectorSpace.VectorSpace v) => Data.VectorSpace.VectorSpace (a Data.MemoTrie.:->: v)
+ Data.VectorSpace: instance (Data.VectorSpace.InnerSpace u, s ~ Data.VectorSpace.Scalar u, Data.VectorSpace.InnerSpace v, s ~ Data.VectorSpace.Scalar v) => Data.VectorSpace.InnerSpace (u, v)
+ Data.VectorSpace: instance (Data.VectorSpace.InnerSpace u, s ~ Data.VectorSpace.Scalar u, Data.VectorSpace.InnerSpace v, s ~ Data.VectorSpace.Scalar v, Data.VectorSpace.InnerSpace w, s ~ Data.VectorSpace.Scalar w) => Data.VectorSpace.InnerSpace (u, v, w)
+ Data.VectorSpace: instance (Data.VectorSpace.InnerSpace u, s ~ Data.VectorSpace.Scalar u, Data.VectorSpace.InnerSpace v, s ~ Data.VectorSpace.Scalar v, Data.VectorSpace.InnerSpace w, s ~ Data.VectorSpace.Scalar w, Data.VectorSpace.InnerSpace x, s ~ Data.VectorSpace.Scalar x) => Data.VectorSpace.InnerSpace (u, v, w, x)
+ Data.VectorSpace: instance (Data.VectorSpace.VectorSpace u, s ~ Data.VectorSpace.Scalar u, Data.VectorSpace.VectorSpace v, s ~ Data.VectorSpace.Scalar v) => Data.VectorSpace.VectorSpace (u, v)
+ Data.VectorSpace: instance (Data.VectorSpace.VectorSpace u, s ~ Data.VectorSpace.Scalar u, Data.VectorSpace.VectorSpace v, s ~ Data.VectorSpace.Scalar v, Data.VectorSpace.VectorSpace w, s ~ Data.VectorSpace.Scalar w) => Data.VectorSpace.VectorSpace (u, v, w)
+ Data.VectorSpace: instance (Data.VectorSpace.VectorSpace u, s ~ Data.VectorSpace.Scalar u, Data.VectorSpace.VectorSpace v, s ~ Data.VectorSpace.Scalar v, Data.VectorSpace.VectorSpace w, s ~ Data.VectorSpace.Scalar w, Data.VectorSpace.VectorSpace x, s ~ Data.VectorSpace.Scalar x) => Data.VectorSpace.VectorSpace (u, v, w, x)
+ Data.VectorSpace: instance (GHC.Float.RealFloat v, Data.VectorSpace.InnerSpace v) => Data.VectorSpace.InnerSpace (Data.Complex.Complex v)
+ Data.VectorSpace: instance (GHC.Float.RealFloat v, Data.VectorSpace.VectorSpace v) => Data.VectorSpace.VectorSpace (Data.Complex.Complex v)
+ Data.VectorSpace: instance Data.VectorSpace.InnerSpace Foreign.C.Types.CDouble
+ Data.VectorSpace: instance Data.VectorSpace.InnerSpace Foreign.C.Types.CFloat
+ Data.VectorSpace: instance Data.VectorSpace.InnerSpace Foreign.C.Types.CInt
+ Data.VectorSpace: instance Data.VectorSpace.InnerSpace Foreign.C.Types.CIntMax
+ Data.VectorSpace: instance Data.VectorSpace.InnerSpace Foreign.C.Types.CLLong
+ Data.VectorSpace: instance Data.VectorSpace.InnerSpace Foreign.C.Types.CLong
+ Data.VectorSpace: instance Data.VectorSpace.InnerSpace Foreign.C.Types.CSChar
+ Data.VectorSpace: instance Data.VectorSpace.InnerSpace Foreign.C.Types.CShort
+ Data.VectorSpace: instance Data.VectorSpace.InnerSpace GHC.Integer.Type.Integer
+ Data.VectorSpace: instance Data.VectorSpace.InnerSpace GHC.Types.Double
+ Data.VectorSpace: instance Data.VectorSpace.InnerSpace GHC.Types.Float
+ Data.VectorSpace: instance Data.VectorSpace.InnerSpace GHC.Types.Int
+ Data.VectorSpace: instance Data.VectorSpace.InnerSpace a => Data.VectorSpace.InnerSpace (GHC.Base.Maybe a)
+ Data.VectorSpace: instance Data.VectorSpace.InnerSpace v => Data.VectorSpace.InnerSpace (a -> v)
+ Data.VectorSpace: instance Data.VectorSpace.VectorSpace Foreign.C.Types.CDouble
+ Data.VectorSpace: instance Data.VectorSpace.VectorSpace Foreign.C.Types.CFloat
+ Data.VectorSpace: instance Data.VectorSpace.VectorSpace Foreign.C.Types.CInt
+ Data.VectorSpace: instance Data.VectorSpace.VectorSpace Foreign.C.Types.CIntMax
+ Data.VectorSpace: instance Data.VectorSpace.VectorSpace Foreign.C.Types.CLLong
+ Data.VectorSpace: instance Data.VectorSpace.VectorSpace Foreign.C.Types.CLong
+ Data.VectorSpace: instance Data.VectorSpace.VectorSpace Foreign.C.Types.CSChar
+ Data.VectorSpace: instance Data.VectorSpace.VectorSpace Foreign.C.Types.CShort
+ Data.VectorSpace: instance Data.VectorSpace.VectorSpace GHC.Integer.Type.Integer
+ Data.VectorSpace: instance Data.VectorSpace.VectorSpace GHC.Types.Double
+ Data.VectorSpace: instance Data.VectorSpace.VectorSpace GHC.Types.Float
+ Data.VectorSpace: instance Data.VectorSpace.VectorSpace GHC.Types.Int
+ Data.VectorSpace: instance Data.VectorSpace.VectorSpace v => Data.VectorSpace.VectorSpace (GHC.Base.Maybe v)
+ Data.VectorSpace: instance Data.VectorSpace.VectorSpace v => Data.VectorSpace.VectorSpace (a -> v)
+ Data.VectorSpace: instance GHC.Real.Integral a => Data.VectorSpace.InnerSpace (GHC.Real.Ratio a)
+ Data.VectorSpace: instance GHC.Real.Integral a => Data.VectorSpace.VectorSpace (GHC.Real.Ratio a)
+ Data.VectorSpace: type family Scalar v :: *;
+ Data.VectorSpace: }
- Data.AffineSpace: class AdditiveGroup (Diff p) => AffineSpace p where type family Diff p
+ Data.AffineSpace: class AdditiveGroup (Diff p) => AffineSpace p where type Diff p where {
- Data.Basis: class VectorSpace v => HasBasis v where type family Basis v :: *
+ Data.Basis: class VectorSpace v => HasBasis v where type Basis v :: * where {
- Data.LinearMap: liftMS :: AdditiveGroup a => (a -> b) -> (MSum a -> MSum b)
+ Data.LinearMap: liftMS :: (AdditiveGroup a) => (a -> b) -> (MSum a -> MSum b)
- Data.Maclaurin: distrib :: (HasBasis a, HasTrie (Basis a), AdditiveGroup b, AdditiveGroup c, AdditiveGroup u) => (b -> c -> u) -> (a :> b) -> (a :> c) -> (a :> u)
+ Data.Maclaurin: distrib :: forall a b c u. (HasBasis a, HasTrie (Basis a), AdditiveGroup b, AdditiveGroup c, AdditiveGroup u) => (b -> c -> u) -> (a :> b) -> (a :> c) -> (a :> u)
- Data.VectorSpace: class AdditiveGroup v => VectorSpace v where type family Scalar v :: *
+ Data.VectorSpace: class AdditiveGroup v => VectorSpace v where type Scalar v :: * where {
Files
- src/Data/AffineSpace.hs +10/−2
- vector-space.cabal +1/−1
src/Data/AffineSpace.hs view
@@ -18,7 +18,7 @@ import Control.Applicative (liftA2) import Data.Ratio-import Foreign.C.Types (CFloat, CDouble)+import Foreign.C.Types (CSChar, CInt, CShort, CLong, CLLong, CIntMax, CFloat, CDouble) import Control.Arrow(first) import Data.VectorSpace@@ -93,9 +93,17 @@ #define ScalarType(t) ScalarTypeCon((),t) +ScalarType(Int)+ScalarType(Integer) ScalarType(Double)-ScalarType(CDouble) ScalarType(Float)+ScalarType(CSChar)+ScalarType(CInt)+ScalarType(CShort)+ScalarType(CLong)+ScalarType(CLLong)+ScalarType(CIntMax)+ScalarType(CDouble) ScalarType(CFloat) ScalarTypeCon(Integral a,Ratio a)
vector-space.cabal view
@@ -1,5 +1,5 @@ Name: vector-space-Version: 0.10.2+Version: 0.10.3 Cabal-Version: >= 1.6 Synopsis: Vector & affine spaces, linear maps, and derivatives Category: math