vec-lens 0.4 → 0.4.1
raw patch · 5 files changed
+18/−53 lines, 5 filesdep ~basedep ~findep ~lens
Dependency ranges changed: base, fin, lens, vec
Files
- ChangeLog.md +5/−1
- src/Data/Vec/DataFamily/SpineStrict/Lens.hs +0/−13
- src/Data/Vec/Lazy/Lens.hs +0/−12
- src/Data/Vec/Pull/Lens.hs +0/−14
- vec-lens.cabal +13/−13
ChangeLog.md view
@@ -1,4 +1,8 @@-# Revision history for vec+# Version history for vec-lens++## 0.4.1++- Support GHC-8.6.5...9.10.1 ## 0.4
src/Data/Vec/DataFamily/SpineStrict/Lens.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-}@@ -108,18 +107,6 @@ ------------------------------------------------------------------------------- -- Instances ---------------------------------------------------------------------------------#if !MIN_VERSION_lens(5,0,0)-instance N.SNatI n => L.FunctorWithIndex (Fin n) (Vec n) where- imap = imap--instance N.SNatI n => L.FoldableWithIndex (Fin n) (Vec n) where- ifoldMap = ifoldMap- ifoldr = ifoldr--instance N.SNatI n => L.TraversableWithIndex (Fin n) (Vec n) where- itraverse = itraverse-#endif instance N.SNatI n => L.Each (Vec n a) (Vec n b) a b where each = traverse
src/Data/Vec/Lazy/Lens.hs view
@@ -103,18 +103,6 @@ -- Instances ------------------------------------------------------------------------------- -#if !MIN_VERSION_lens(5,0,0)-instance L.FunctorWithIndex (Fin n) (Vec n) where- imap = imap--instance L.FoldableWithIndex (Fin n) (Vec n) where- ifoldMap = ifoldMap- ifoldr = ifoldr--instance L.TraversableWithIndex (Fin n) (Vec n) where- itraverse = itraverse-#endif- instance L.Each (Vec n a) (Vec n b) a b where each = traverse
src/Data/Vec/Pull/Lens.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE MultiParamTypeClasses #-}@@ -83,16 +82,3 @@ -- | Prism from list. _Vec :: N.SNatI n => L.Prism' [a] (Vec n a) _Vec = L.prism' toList fromList------------------------------------------------------------------------------------ Instances----------------------------------------------------------------------------------#if !MIN_VERSION_lens(5,0,0)-instance L.FunctorWithIndex (Fin n) (Vec n) where- imap = imap--instance N.SNatI n => L.FoldableWithIndex (Fin n) (Vec n) where- ifoldMap = ifoldMap- ifoldr = ifoldr-#endif
vec-lens.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.2 name: vec-lens-version: 0.4+version: 0.4.1 synopsis: Vec: length-indexed (sized) list: lens support category: Data, Dependent Types, Lens description:@@ -20,15 +20,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.4- || ==9.0.1+ || ==8.10.7+ || ==9.0.2+ || ==9.2.8+ || ==9.4.8+ || ==9.6.5+ || ==9.8.2+ || ==9.10.1 source-repository head type: git@@ -47,15 +47,15 @@ Data.Vec.Pull.Lens -- GHC boot libs- build-depends: base >=4.7 && <4.16+ build-depends: base >=4.12.0.0 && <4.21 -- siblings build-depends:- , fin ^>=0.2- , vec ^>=0.4+ , fin ^>=0.3.1+ , vec ^>=0.5.1 -- other dependencies- build-depends: lens ^>=4.18.1 || ^>=4.19.1 || ^>=5+ build-depends: lens ^>=5.2.3 || ^>=5.3.2 other-extensions: CPP FlexibleContexts