vinyl-vectors 0.1.0.0 → 0.1.0.1

raw patch · 4 files changed

+39/−4 lines, 4 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• src/Data/Vector/Vinyl/Default.hs +7/−1
• src/Data/Vector/Vinyl/Default/Implication.hs +14/−0
• src/Data/Vector/Vinyl/TypeLevel.hs +11/−0
• vinyl-vectors.cabal +7/−3

@@ -16,7 +16,13 @@ -- Stability   :  experimental -- Portability :  non-portable ----- TODO: Write an explanation.+-- There are two vector types provided by this module: 'Vector' and+-- 'MVector'. They must be parameterized over a type that unifies+-- with 'Rec Identity rs'. An example would be:+--+-- > foo :: Vector (Rec Identity '[Int,Char,Bool])+-- +-- This vector stores records that have an 'Int', a 'Char', and a 'Bool'. ----------------------------------------------------------------------------- module Data.Vector.Vinyl.Default   ( Vector, MVector

@@ -1,6 +1,20 @@ {-# LANGUAGE TypeOperators #-} {-# LANGUAGE GADTs #-} +-----------------------------------------------------------------------------+-- |+-- Copyright   :  Andrew Martin+-- License     :  BSD-style (see the file LICENSE)+--+-- Maintainer  :  Andrew Martin <andrew.thaddeus@gmail.com>+-- Stability   :  experimental+-- Portability :  non-portable+--+-- This module uses the "constraints" package to prove that if all of the+-- columns satisfy the 'HasDefaultVector' constraint, then a vector +-- parameterized over the record has an instance of the generic vector +-- typeclass.+----------------------------------------------------------------------------- module Data.Vector.Vinyl.Default.Implication where  import Data.Constraint

@@ -4,6 +4,17 @@ {-# LANGUAGE PolyKinds #-} {-# LANGUAGE TypeFamilies #-} +-----------------------------------------------------------------------------+-- |+-- Copyright   :  Andrew Martin+-- License     :  BSD-style (see the file LICENSE)+--+-- Maintainer  :  Andrew Martin <andrew.thaddeus@gmail.com>+-- Stability   :  experimental+-- Portability :  non-portable+--+-- Try to merge this into vinyl at some point.+----------------------------------------------------------------------------- module Data.Vector.Vinyl.TypeLevel   ( ListAll   ) where

@@ -1,8 +1,12 @@ name:                vinyl-vectors-version:             0.1.0.0+version:             0.1.0.1 synopsis:            Initial project template from stack-description:         Please see README.md-homepage:            http://github.com/githubuser/vinyl-vectors#readme+description:         This library provides vectors of vinyl records stored+                     as a structure of arrays. This vectors types provided+                     implement the generic vector interface and can be+                     used with any library that accepts a generic vector+                     type.+homepage:            http://github.com/andrewthad/vinyl-vectors license:             BSD3 license-file:        LICENSE author:              Author name here