vector-space 0.8.2 → 0.8.3
raw patch · 3 files changed
+17/−12 lines, 3 filesdep ~BooleanPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: Boolean
API changes (from Hackage documentation)
- Data.Maclaurin: fmapD, <$>> :: (HasBasis a, HasTrie (Basis a), AdditiveGroup b) => (b -> c) -> (a :> b) -> (a :> c)
- Data.Maclaurin: instance (AdditiveGroup b, HasBasis a, HasTrie (Basis a), OrdB bool b, IfB bool b, Ord b) => Ord (a :> b)
- Data.Maclaurin: instance (AdditiveGroup v, HasBasis u, HasTrie (Basis u), IfB b v) => IfB b (u :> v)
- Data.Maclaurin: instance (AdditiveGroup v, HasBasis u, HasTrie (Basis u), OrdB b v) => OrdB b (u :> v)
- Data.Maclaurin: type :~> a b = a -> (a :> b)
+ Data.Maclaurin: (<$>>) :: (HasBasis a, HasTrie (Basis a), AdditiveGroup b) => (b -> c) -> (a :> b) -> (a :> c)
+ Data.Maclaurin: fmapD :: (HasBasis a, HasTrie (Basis a), AdditiveGroup b) => (b -> c) -> (a :> b) -> (a :> c)
+ 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: type (:~>) a b = a -> (a :> b)
Files
- src/Data/Maclaurin.hs +7/−5
- src/Data/VectorSpace.hs +1/−1
- vector-space.cabal +9/−6
src/Data/Maclaurin.hs view
@@ -189,16 +189,18 @@ instance Eq b => Eq (a :> b) where (==) = noOv "(==)" -instance (AdditiveGroup v, HasBasis u, HasTrie (Basis u), IfB b v) =>- IfB b (u :> v) where+type instance BooleanOf (a :> b) = BooleanOf b++instance (AdditiveGroup v, HasBasis u, HasTrie (Basis u), IfB v) =>+ IfB (u :> v) where ifB = liftD2 . ifB -instance (AdditiveGroup v, HasBasis u, HasTrie (Basis u), OrdB b v) =>- OrdB b (u :> v) where+instance (AdditiveGroup v, HasBasis u, HasTrie (Basis u), OrdB v) =>+ OrdB (u :> v) where (<*) = (<*) `on` powVal instance ( AdditiveGroup b, HasBasis a, HasTrie (Basis a)- , OrdB bool b, IfB bool b, Ord b) => Ord (a :> b) where+ , OrdB b, IfB b, Ord b) => Ord (a :> b) where compare = compare `on` powVal min = minB max = maxB
src/Data/VectorSpace.hs view
@@ -85,7 +85,7 @@ -- | @project u v@ computes the projection of @v@ onto @u@. project :: (InnerSpace v, s ~ Scalar v, Fractional s) => v -> v -> v-project u v = ((v <.> u) *^ u) ^/ magnitudeSq u+project u v = ((v <.> u) / magnitudeSq u) *^ u instance VectorSpace Double where type Scalar Double = Double
vector-space.cabal view
@@ -1,6 +1,6 @@ Name: vector-space-Version: 0.8.2-Cabal-Version: >= 1.2+Version: 0.8.3+Cabal-Version: >= 1.6 Synopsis: Vector & affine spaces, linear maps, and derivatives Category: math Description:@@ -18,19 +18,22 @@ © 2008-2012 by Conal Elliott; BSD3 license. Author: Conal Elliott Maintainer: conal@conal.net-Homepage: http://haskell.org/haskellwiki/vector-space-Package-Url: http://code.haskell.org/vector-space Copyright: (c) 2008-2012 by Conal Elliott License: BSD3 License-File: COPYING Stability: experimental build-type: Simple +source-repository head+ type: git+ location: git://github.com/conal/vector-space.git+ Library hs-Source-Dirs: src Extensions: - Build-Depends: base<5, MemoTrie >= 0.5, Boolean >= 0.0.1,- NumInstances >= 1.0+ Build-Depends: base<5, MemoTrie >= 0.5+ , Boolean >= 0.1.0+ , NumInstances >= 1.0 Exposed-Modules: Data.AdditiveGroup Data.VectorSpace