sized-grid 0.1.1.4 → 0.1.1.5
raw patch · 5 files changed
+21/−19 lines, 5 filesdep ~distributivedep ~lensdep ~vector-space
Dependency ranges changed: distributive, lens, vector-space
Files
- ChangeLog.md +1/−1
- README.lhs +2/−1
- README.md +2/−1
- sized-grid.cabal +9/−9
- tests/Main.hs +7/−7
ChangeLog.md view
@@ -1,6 +1,6 @@ # Revision history for sized-grid -## 0.1.1.4 -- 2018-11-20+## 0.1.1.5 -- 2018-11-20 * Changed test suite to use QuickCheck
README.lhs view
@@ -69,6 +69,7 @@ import Data.Functor.Rep import Data.Semigroup (Semigroup(..)) import GHC.TypeLits+import qualified GHC.TypeLits as GHC import System.Console.ANSI ``` @@ -129,7 +130,7 @@ ```haskell glider :: - ( KnownNat (CoordSized x * CoordSized y)+ ( KnownNat (CoordSized x GHC.* CoordSized y) , Semigroup x , Semigroup y , Monoid x
README.md view
@@ -69,6 +69,7 @@ import Data.Functor.Rep import Data.Semigroup (Semigroup(..)) import GHC.TypeLits+import qualified GHC.TypeLits as GHC import System.Console.ANSI ``` @@ -129,7 +130,7 @@ ```haskell glider :: - ( KnownNat (CoordSized x * CoordSized y)+ ( KnownNat (CoordSized x GHC.* CoordSized y) , Semigroup x , Semigroup y , Monoid x
sized-grid.cabal view
@@ -1,5 +1,5 @@ name: sized-grid-version: 0.1.1.4+version: 0.1.1.5 cabal-version: >=1.10 category: Data build-type: Simple@@ -40,13 +40,13 @@ aeson >=1.2 && <1.5, comonad >=5.0 && <5.1, constraints >= 0.9 && < 0.11,- distributive >=0.5 && <0.6,+ distributive >=0.5 && <1, generics-sop >=0.3 && <0.4,- lens >=4.15 && <4.17,+ lens >=4.15 && <5, mtl >=2.2.2 && <2.3, random ==1.1.*, vector >=0.12 && <0.13,- vector-space >=0.10 && < 0.14+ vector-space >=0.10 && < 2 default-language: Haskell2010 hs-source-dirs: src other-modules:@@ -62,12 +62,12 @@ aeson >=1.2 && <1.5, adjunctions >= 4.3 && < 4.5, generics-sop >=0.3 && <0.4,- lens >=4.15 && <4.17,+ lens >=4.15 && <5, sized-grid -any, tasty >=1.0 && <1.2, tasty-hunit >=0.10 && <0.11, vector >=0.12 && <0.13,- vector-space >=0.10 && < 0.14,+ vector-space >=0.10 && < 2, QuickCheck >= 2.10 && < 3.0, tasty-quickcheck >= 0.9 && < 1 default-language: Haskell2010@@ -84,10 +84,10 @@ ansi-terminal >=0.8.0.2 && <0.9, adjunctions >= 4.3 && < 4.5, comonad >=5.0 && <5.1,- distributive >=0.5 && <0.6,- lens >=4.15 && <4.17,+ distributive >=0.5 && <1,+ lens >=4.15 && <5, markdown-unlit >=0.5.0 && <0.6, sized-grid -any,- vector-space >=0.10 && < 0.14+ vector-space >=0.10 && < 2 default-language: Haskell2010 ghc-options: -pgmL markdown-unlit
tests/Main.hs view
@@ -68,8 +68,8 @@ , Show a , Eq a , cs ~ '[ x, y]- , KnownNat (CoordSized y * CoordSized x)- , KnownNat (CoordSized x * CoordSized y)+ , KnownNat (CoordSized y GHC.* CoordSized x)+ , KnownNat (CoordSized x GHC.* CoordSized y) , Arbitrary a , Arbitrary x , Arbitrary y@@ -108,12 +108,12 @@ , Eq a , Num a , All IsCoord (c ': cs)- , KnownNat (CoordSized c * MaxCoordSize cs)+ , KnownNat (CoordSized c GHC.* MaxCoordSize cs) , KnownNat (MaxCoordSize cs)- , KnownNat (5 * MaxCoordSize cs)- , KnownNat (3 * MaxCoordSize cs)- , KnownNat (2 * MaxCoordSize cs)- , KnownNat (CoordSized (CoordFromNat c 2) * MaxCoordSize cs)+ , KnownNat (5 GHC.* MaxCoordSize cs)+ , KnownNat (3 GHC.* MaxCoordSize cs)+ , KnownNat (2 GHC.* MaxCoordSize cs)+ , KnownNat (CoordSized (CoordFromNat c 2) GHC.* MaxCoordSize cs) , KnownNat (CoordSized (CoordFromNat c 2)) , AllSizedKnown cs , Arbitrary a