genvalidity-vector (empty) → 0.0.0.0
raw patch · 6 files changed
+107/−0 lines, 6 filesdep +QuickCheckdep +basedep +genvaliditysetup-changed
Dependencies added: QuickCheck, base, genvalidity, genvalidity-hspec, genvalidity-vector, hspec, validity, validity-vector, vector
Files
- LICENSE +21/−0
- Setup.hs +3/−0
- genvalidity-vector.cabal +47/−0
- src/Data/GenValidity/Vector.hs +21/−0
- test/Spec.hs +1/−0
- test/Test/Validity/VectorSpec.hs +14/−0
+ LICENSE view
@@ -0,0 +1,21 @@+The MIT License (MIT)++Copyright (c) 2016 Tom Sydney Kerckhove++Permission is hereby granted, free of charge, to any person obtaining a copy+of this software and associated documentation files (the "Software"), to deal+in the Software without restriction, including without limitation the rights+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell+copies of the Software, and to permit persons to whom the Software is+furnished to do so, subject to the following conditions:++The above copyright notice and this permission notice shall be included in all+copies or substantial portions of the Software.++THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE+SOFTWARE.
+ Setup.hs view
@@ -0,0 +1,3 @@+import Distribution.Simple++main = defaultMain
+ genvalidity-vector.cabal view
@@ -0,0 +1,47 @@+name: genvalidity-vector+version: 0.0.0.0+cabal-version: >=1.10+build-type: Simple+license: MIT+license-file: LICENSE+copyright: Copyright: (c) 2017 Tom Sydney Kerckhove+maintainer: syd.kerckhove@gmail.com+homepage: https://github.com/NorfairKing/validity#readme+synopsis: GenValidity support for vector+description:+ Please see README.md+category: Testing+author: Tom Sydney Kerckhove++source-repository head+ type: git+ location: https://github.com/NorfairKing/validity++library+ exposed-modules:+ Data.GenValidity.Vector+ build-depends:+ base <5,+ QuickCheck -any,+ genvalidity >=0.3 && <0.4,+ validity >=0.3 && <0.4,+ validity-vector >= 0.0 && < 0.1,+ vector -any+ default-language: Haskell2010+ hs-source-dirs: src++test-suite genvalidity-vector-test+ type: exitcode-stdio-1.0+ main-is: Spec.hs+ build-depends:+ base >=4.9 && <=5,+ genvalidity -any,+ genvalidity-hspec -any,+ genvalidity-vector -any,+ hspec >=2.2 && <2.5,+ vector -any+ default-language: Haskell2010+ hs-source-dirs: test/+ other-modules:+ Test.Validity.VectorSpec+ ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall
+ src/Data/GenValidity/Vector.hs view
@@ -0,0 +1,21 @@+{-# OPTIONS_GHC -fno-warn-orphans #-}+{-# LANGUAGE CPP #-}++module Data.GenValidity.Vector where+#if !MIN_VERSION_base(4,8,0)+import Data.Functor ((<$>))+#endif+import Data.GenValidity+import Data.Validity.Vector ()++import Data.Vector (Vector)+import qualified Data.Vector as V++instance GenUnchecked v => GenUnchecked (Vector v) where+ genUnchecked = V.fromList <$> genUnchecked++instance GenValid v => GenValid (Vector v) where+ genValid = V.fromList <$> genValid++instance GenInvalid v => GenInvalid (Vector v) where+ genInvalid = V.fromList <$> genInvalid
+ test/Spec.hs view
@@ -0,0 +1,1 @@+{-# OPTIONS_GHC -F -pgmF hspec-discover #-}
+ test/Test/Validity/VectorSpec.hs view
@@ -0,0 +1,14 @@+{-# LANGUAGE TypeApplications #-}++module Test.Validity.VectorSpec where++import Test.Hspec++import Data.GenValidity.Vector ()+import Data.Vector (Vector)+import Test.Validity.GenValidity++spec :: Spec+spec = do+ genValidSpec @(Vector Int)+ genValiditySpec @(Vector Double)