vec 0.5 → 0.5.1
raw patch · 6 files changed
+24/−115 lines, 6 filesdep −base-compatdep −semigroupsdep −transformers-compatdep ~QuickCheckdep ~adjunctionsdep ~base
Dependencies removed: base-compat, semigroups, transformers-compat
Dependency ranges changed: QuickCheck, adjunctions, base, boring, criterion, deepseq, distributive, fin, hashable, indexed-traversable, inspection-testing, semigroupoids, transformers
Files
- ChangeLog.md +4/−0
- src/Control/Lens/Yocto.hs +0/−13
- src/Data/Vec/DataFamily/SpineStrict.hs +0/−32
- src/Data/Vec/Lazy.hs +0/−31
- src/Data/Vec/Pull.hs +0/−2
- vec.cabal +20/−37
ChangeLog.md view
@@ -1,5 +1,9 @@ # Revision history for vec +## 0.5.1++- Support GHC-8.6.5...9.10.1+ ## 0.5 - Remove PigeonHole module. It didn't work well.
src/Control/Lens/Yocto.hs view
@@ -43,9 +43,7 @@ import Prelude (Either (..), Maybe, either, maybe, (.)) #endif -#if MIN_VERSION_base(4,11,0) import Data.Functor ((<&>))-#endif ------------------------------------------------------------------------------- -- Types@@ -86,17 +84,6 @@ over :: LensLike Identity s t a b -> (a -> b) -> s -> t over = coerce {-# INLINE over #-}------------------------------------------------------------------------------------ Operators----------------------------------------------------------------------------------#if !MIN_VERSION_base(4,11,0)-(<&>) :: Functor f => f a -> (a -> b) -> f b-as <&> f = fmap f as--infixl 1 <&>-#endif ------------------------------------------------------------------------------- -- Constructors
src/Data/Vec/DataFamily/SpineStrict.hs view
@@ -240,12 +240,10 @@ foldr = foldr -- foldl' = foldl' -#if MIN_VERSION_base(4,8,0) null = null length = length sum = sum product = product-#endif #ifdef MIN_VERSION_semigroupoids instance (N.SNatI m, n ~ 'S m) => I.Foldable1 (Vec n) where@@ -291,9 +289,7 @@ (<*>) = zipWith ($) _ *> x = x x <* _ = x-#if MIN_VERSION_base(4,10,0) liftA2 = zipWith-#endif instance N.SNatI n => Monad (Vec n) where return = pure@@ -335,25 +331,6 @@ -- Data.Functor.Classes ------------------------------------------------------------------------------- -#ifndef MIN_VERSION_transformers_compat-#define MIN_VERSION_transformers_compat(x,y,z) 0-#endif---#if MIN_VERSION_base(4,9,0)-#define LIFTED_FUNCTOR_CLASSES 1-#else-#if MIN_VERSION_transformers(0,5,0)-#define LIFTED_FUNCTOR_CLASSES 1-#else-#if MIN_VERSION_transformers_compat(0,5,0) && !MIN_VERSION_transformers(0,4,0)-#define LIFTED_FUNCTOR_CLASSES 1-#endif-#endif-#endif--#if LIFTED_FUNCTOR_CLASSES- -- | @since 0.4 instance N.SNatI n => Eq1 (Vec n) where liftEq :: forall a b. (a -> b -> Bool) -> Vec n a -> Vec n b -> Bool@@ -388,16 +365,7 @@ $ sp 6 x . showString " ::: " . go 5 xs-#else--- | @since 0.4-instance N.SNatI n => Eq1 (Vec n) where eq1 = (==) --- | @since 0.4-instance N.SNatI n => Ord1 (Vec n) where compare1 = compare---- | @since 0.4-instance N.SNatI n => Show1 (Vec n) where showsPrec1 = showsPrec-#endif ------------------------------------------------------------------------------- -- Construction -------------------------------------------------------------------------------
src/Data/Vec/Lazy.hs view
@@ -183,12 +183,10 @@ foldr = foldr foldl' = foldl' -#if MIN_VERSION_base(4,8,0) null = null length = length sum = sum product = product-#endif instance I.Traversable (Vec n) where traverse = traverse@@ -229,9 +227,7 @@ (<*>) = zipWith ($) _ *> x = x x <* _ = x-#if MIN_VERSION_base(4,10,0) liftA2 = zipWith-#endif instance N.SNatI n => Monad (Vec n) where return = pure@@ -277,23 +273,6 @@ -- Data.Functor.Classes ------------------------------------------------------------------------------- -#ifndef MIN_VERSION_transformers_compat-#define MIN_VERSION_transformers_compat(x,y,z) 0-#endif--#if MIN_VERSION_base(4,9,0)-#define LIFTED_FUNCTOR_CLASSES 1-#else-#if MIN_VERSION_transformers(0,5,0)-#define LIFTED_FUNCTOR_CLASSES 1-#else-#if MIN_VERSION_transformers_compat(0,5,0) && !MIN_VERSION_transformers(0,4,0)-#define LIFTED_FUNCTOR_CLASSES 1-#endif-#endif-#endif--#if LIFTED_FUNCTOR_CLASSES -- | @since 0.4 instance Eq1 (Vec n) where liftEq _eq VNil VNil = True@@ -311,16 +290,6 @@ $ sp 6 x . showString " ::: " . liftShowsPrec sp sl 5 xs-#else--- | @since 0.4-instance Eq1 (Vec n) where eq1 = (==)---- | @since 0.4-instance Ord1 (Vec n) where compare1 = compare---- | @since 0.4-instance Show1 (Vec n) where showsPrec1 = showsPrec-#endif ------------------------------------------------------------------------------- -- Construction
src/Data/Vec/Pull.hs view
@@ -148,9 +148,7 @@ (<*>) = zipWith ($) _ *> x = x x <* _ = x-#if MIN_VERSION_base(4,10,0) liftA2 = zipWith-#endif instance Monad (Vec n) where return = pure
vec.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.2 name: vec-version: 0.5+version: 0.5.1 synopsis: Vec: length-indexed (sized) list category: Data, Dependent Types description:@@ -70,18 +70,15 @@ build-type: Simple extra-source-files: ChangeLog.md tested-with:- GHC ==7.8.4- || ==7.10.3- || ==8.0.2- || ==8.2.2- || ==8.4.4- || ==8.6.5+ GHC ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2- || ==9.2.7- || ==9.4.4- || ==9.6.1+ || ==9.2.8+ || ==9.4.8+ || ==9.6.5+ || ==9.8.2+ || ==9.10.1 source-repository head type: git@@ -123,38 +120,28 @@ -- GHC boot libs build-depends:- , base >=4.7 && <4.19- , deepseq >=1.3.0.1 && <1.5- , transformers >=0.3.0.0 && <0.7-- if !impl(ghc >=8.0)- build-depends: semigroups >=0.18.4 && <0.21-- -- Ensure Data.Functor.Classes is always available- if impl(ghc >=7.10)- build-depends: transformers >=0.4.2.0-- else- build-depends: transformers-compat ^>=0.6.5 || ^>=0.7.1+ , base >=4.12.0.0 && <4.21+ , deepseq >=1.4.4.0 && <1.6+ , transformers >=0.5.6.2 && <0.7 -- siblings- build-depends: fin ^>=0.3+ build-depends: fin ^>=0.3.1 -- other dependencies build-depends:- , boring ^>=0.2- , hashable >=1.2.7.0 && <1.5- , indexed-traversable ^>=0.1.1- , QuickCheck ^>=2.14.2+ , boring ^>=0.2.2+ , hashable ^>=1.4.4.0+ , indexed-traversable ^>=0.1.4+ , QuickCheck ^>=2.14.2 || ^>=2.15.0.1 if flag(distributive)- build-depends: distributive >=0.5.3 && <0.7+ build-depends: distributive ^>=0.6.2 if flag(adjunctions)- build-depends: adjunctions ^>=4.4+ build-depends: adjunctions ^>=4.4.2 if flag(semigroupoids)- build-depends: semigroupoids ^>=5.3.5 || ^>=6+ build-depends: semigroupoids ^>=6.0.1 other-extensions: CPP@@ -182,15 +169,11 @@ default-language: Haskell2010 build-depends: , base- , base-compat , fin- , inspection-testing ^>=0.4.2.2 || ^>=0.5.0.1+ , inspection-testing ^>=0.5.0.3 , tagged , vec - if !impl(ghc >=8.0)- buildable: False- benchmark bench type: exitcode-stdio-1.0 main-is: Bench.hs@@ -200,7 +183,7 @@ other-modules: DotProduct build-depends: , base- , criterion >=1.4.0.0 && <1.7+ , criterion ^>=1.6.3.0 , fin , vec , vector