packages feed

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 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)