free-vector-spaces 0.1.5.0 → 0.1.5.1
raw patch · 5 files changed
+10/−10 lines, 5 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Data.VectorSpace.Free: instance (Data.VectorSpace.Free.FiniteFreeSpace (f p), Data.VectorSpace.Free.FiniteFreeSpace (g p), Data.VectorSpace.Scalar (f p) ~ Data.VectorSpace.Scalar (g p)) => Data.VectorSpace.Free.FiniteFreeSpace ((GHC.Generics.:*:) f g p)
- Data.VectorSpace.Free: instance (Data.VectorSpace.Free.FiniteFreeSpace u, Data.VectorSpace.Free.FiniteFreeSpace v, Data.VectorSpace.Scalar u ~ Data.VectorSpace.Scalar v) => Data.VectorSpace.Free.FiniteFreeSpace (u, v)
- Data.VectorSpace.Free.Sequence: instance GHC.Base.Functor (Data.VectorSpace.Free.Sequence.GSequence Data.Vector.Vector)
+ Data.VectorSpace.Free: -- | Representation of the canonical basis for <tt>v</tt>
+ Data.VectorSpace.Free: infix 6 .-.
+ Data.VectorSpace.Free: infixl 6 ^-^
+ Data.VectorSpace.Free: infixr 7 ^/!
+ Data.VectorSpace.Free: instance (Data.VectorSpace.Free.FiniteFreeSpace (f p), Data.VectorSpace.Free.FiniteFreeSpace (g p), Data.VectorSpace.Scalar (f p) GHC.Types.~ Data.VectorSpace.Scalar (g p)) => Data.VectorSpace.Free.FiniteFreeSpace ((GHC.Generics.:*:) f g p)
+ Data.VectorSpace.Free: instance (Data.VectorSpace.Free.FiniteFreeSpace u, Data.VectorSpace.Free.FiniteFreeSpace v, Data.VectorSpace.Scalar u GHC.Types.~ Data.VectorSpace.Scalar v) => Data.VectorSpace.Free.FiniteFreeSpace (u, v)
+ Data.VectorSpace.Free: type Basis v = Basis VRep v;
+ Data.VectorSpace.Free: type Diff p = GenericDiff p;
+ Data.VectorSpace.Free: type Scalar v = Scalar VRep v;
+ Data.VectorSpace.Free.Sequence: instance GHC.Base.Functor Data.VectorSpace.Free.Sequence.BoxSequence
- Data.VectorSpace.Free: data V0 a :: * -> *
+ Data.VectorSpace.Free: data V0 a
- Data.VectorSpace.Free: data V1 a :: * -> *
+ Data.VectorSpace.Free: data V1 a
- Data.VectorSpace.Free: data V2 a :: * -> *
+ Data.VectorSpace.Free: data V2 a
- Data.VectorSpace.Free: data V3 a :: * -> *
+ Data.VectorSpace.Free: data V3 a
- Data.VectorSpace.Free: data V4 a :: * -> *
+ Data.VectorSpace.Free: data V4 a
- Data.VectorSpace.Free: type family Basis v :: *;
+ Data.VectorSpace.Free: type family Basis v;
- Data.VectorSpace.Free.Sequence: Sequence :: !(array n) -> GSequence array n -> GSequence array n
+ Data.VectorSpace.Free.Sequence: Sequence :: !array n -> GSequence array n -> GSequence array n
- Data.VectorSpace.Free.Sequence: SoloChunk :: !Int -> !(array n) -> GSequence array n
+ Data.VectorSpace.Free.Sequence: SoloChunk :: !Int -> !array n -> GSequence array n
- Data.VectorSpace.Free.Sequence: [sequenceHeads] :: GSequence array n -> !(array n)
+ Data.VectorSpace.Free.Sequence: [sequenceHeads] :: GSequence array n -> !array n
- Data.VectorSpace.Free.Sequence: [soloChunk] :: GSequence array n -> !(array n)
+ Data.VectorSpace.Free.Sequence: [soloChunk] :: GSequence array n -> !array n
Files
- Data/VectorSpace/Free.hs +3/−3
- Data/VectorSpace/Free/Class.hs +1/−1
- Data/VectorSpace/Free/FiniteSupportedSequence.hs +1/−1
- Data/VectorSpace/Free/Sequence.hs +1/−1
- free-vector-spaces.cabal +4/−4
Data/VectorSpace/Free.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2016 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable -- @@ -58,7 +58,7 @@ import Linear.V4 import qualified Linear.Affine as LA -import Control.Lens ((^.), FoldableWithIndex, ifoldr)+import Control.Lens ((^.), FoldableWithIndex, ifoldr, Lens') import qualified Data.Foldable as Foldable @@ -94,7 +94,7 @@ instance (Num s, AdditiveGroup s) => HasBasis (v s) where { \ type Basis (v s) = L.E v; \ decompose = vDecomp; \- basisValue = L.unit . L.el; \+ basisValue x = L.unit (L.el x :: Lens' (v s) s); \ decompose' w (L.E le) = w^.le } portFinDV(V0)
Data/VectorSpace/Free/Class.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2016 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/VectorSpace/Free/FiniteSupportedSequence.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2016 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/VectorSpace/Free/Sequence.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2016 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
free-vector-spaces.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: free-vector-spaces-version: 0.1.5.0+version: 0.1.5.1 synopsis: Instantiate the classes from the vector-space package with types from linear description: The <http://hackage.haskell.org/package/linear/ linear> package offers efficient vector types — where vector means /element of a free vector space/, i.e.@@ -35,7 +35,7 @@ license: BSD3 license-file: LICENSE author: Justus Sagemüller-maintainer: (@) sagemueller $ geo.uni-koeln.de+maintainer: (@) jsag $ hvl.no -- copyright: category: Math build-type: Simple@@ -53,10 +53,10 @@ other-modules: Data.VectorSpace.Free.Class -- other-extensions: build-depends: base >=4.6 && <5.1,- vector-space >=0.11 && <0.13,+ vector-space >=0.11 && <0.18, MemoTrie, linear >=1.18 && <1.23,- lens >= 4 && < 5,+ lens >= 4 && < 6, vector, pragmatic-show >=0.1.2 && <0.2 ghc-options: -O2