sized-vector 0.0.1.0 → 0.0.1.1

raw patch · 2 files changed

+7/−3 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Data/Vector/Sized.hs +6/−2
• sized-vector.cabal +1/−1

@@ -1,11 +1,15 @@ {-# LANGUAGE DataKinds, GADTs, MultiParamTypeClasses, PolyKinds #-} {-# LANGUAGE StandaloneDeriving, TypeFamilies, TypeOperators    #-} -- | Size-parameterized vector types and functions.-module Data.Vector.Sized where+module Data.Vector.Sized ( Vector (..), sLength, length, append, foldr+                         , foldl, singleton, zipWith, zipWithSame, toList, fromList+                         , unsafeFromList, fromList', unsafeFromList'+                         , all, splitAt, drop, take, map, head, tail) where import Control.Applicative import Data.Maybe import Data.Type.Natural-import Prelude             hiding (map, foldl, foldr, head, splitAt, tail, zipWith, take)+import Prelude             hiding (all, drop, foldl, foldr, head, length, map,+                            splitAt, tail, take, zipWith)  data Vector (a :: *) (n :: Nat)  where   Nil  :: Vector a Z

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                sized-vector-version:             0.0.1.0+version:             0.0.1.1 synopsis:            Size-parameterized vector types and functions. description:         Size-parameterized vector types and functions using a data-type promotion. homepage:            https://github.com/konn/sized-vector