genvalidity-path 0.3.0.4 → 1.0.0.0

raw patch · 7 files changed

+48/−53 lines, 7 filesdep ~genvaliditysetup-changedPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: genvalidity

API changes (from Hackage documentation)

Files

• CHANGELOG.md +13/−0
• LICENSE +1/−1
• Setup.hs +0/−3
• bench/Main.hs +5/−7
• genvalidity-path.cabal +7/−6
• src/Data/GenValidity/Path.hs +10/−23
• test/Data/GenValidity/PathSpec.hs +12/−13

@@ -0,0 +1,13 @@+# Changelog++## [1.0.0.0] - 2021-11-20++### Changed++* Compatibility with `genvalidity >= 1.0.0.0`++## [0.3.0.4] - 2020-02-10++### Changed++* Improved the cabal file

@@ -1,6 +1,6 @@ The MIT License (MIT) -Copyright (c) 2016-2020 Tom Sydney Kerckhove+Copyright (c) 2016-2021 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

@@ -1,3 +0,0 @@-import Distribution.Simple--main = defaultMain

@@ -3,17 +3,15 @@ module Main where  import Criterion.Main--import Path- import Data.GenValidity.Criterion import Data.GenValidity.Path ()+import Path  main :: IO () main =   defaultMain-    [ genValidBench @(Path Abs File)-    , genValidBench @(Path Rel File)-    , genValidBench @(Path Abs Dir)-    , genValidBench @(Path Rel Dir)+    [ genValidBench @(Path Abs File),+      genValidBench @(Path Rel File),+      genValidBench @(Path Abs Dir),+      genValidBench @(Path Rel Dir)     ]

@@ -1,23 +1,24 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.33.0.+-- This file has been generated from package.yaml by hpack version 0.34.4. -- -- see: https://github.com/sol/hpack------ hash: cc0e4e62c519f93b6e3e418d99ce26ebd67f407838cf561a6fc551338d2e3f73  name:           genvalidity-path-version:        0.3.0.4+version:        1.0.0.0 synopsis:       GenValidity support for Path category:       Testing homepage:       https://github.com/NorfairKing/validity#readme bug-reports:    https://github.com/NorfairKing/validity/issues author:         Tom Sydney Kerckhove maintainer:     syd@cs-syd.eu-copyright:      Copyright: (c) 2016-2020 Tom Sydney Kerckhove+copyright:      Copyright: (c) 2016-2021 Tom Sydney Kerckhove license:        MIT license-file:   LICENSE build-type:     Simple+extra-source-files:+    LICENSE+    CHANGELOG.md  source-repository head   type: git@@ -33,7 +34,7 @@   build-depends:       QuickCheck     , base >=4.7 && <5-    , genvalidity >=0.5+    , genvalidity >=1.0     , path >=0.5     , validity-path >=0.3   default-language: Haskell2010

@@ -1,39 +1,26 @@-{-# OPTIONS_GHC -fno-warn-orphans #-} {-# LANGUAGE FlexibleInstances #-}-{-# LANGUAGE CPP #-}+{-# OPTIONS_GHC -fno-warn-orphans #-}  module Data.GenValidity.Path where-#if !MIN_VERSION_base(4,8,0)-import Data.Functor ((<$>))-#endif+ import Data.GenValidity import Data.Validity.Path ()- import Path import Path.Internal- import Test.QuickCheck.Gen -instance GenUnchecked (Path a f) where-    genUnchecked = Path <$> genUnchecked-    shrinkUnchecked (Path s) = Path <$> shrinkUnchecked s- instance GenValid (Path Abs File) where-    genValid = (Path . ('/' :) <$> genUnchecked) `suchThat` isValid+  genValid = (Path . ('/' :) <$> genValid) `suchThat` isValid+  shrinkValid (Path s) = filter isValid $ Path <$> shrinkValid s  instance GenValid (Path Abs Dir) where-    genValid = (Path . ('/' :) . (++ "/") <$> genUnchecked) `suchThat` isValid+  genValid = (Path . ('/' :) . (++ "/") <$> genValid) `suchThat` isValid+  shrinkValid (Path s) = filter isValid $ Path <$> shrinkValid s  instance GenValid (Path Rel File) where-    genValid = (Path <$> genUnchecked) `suchThat` isValid+  genValid = (Path <$> genValid) `suchThat` isValid+  shrinkValid (Path s) = filter isValid $ Path <$> shrinkValid s  instance GenValid (Path Rel Dir) where-    genValid = (Path . (++ "/") <$> genUnchecked) `suchThat` isValid--instance GenInvalid (Path Abs File)--instance GenInvalid (Path Abs Dir)--instance GenInvalid (Path Rel File)--instance GenInvalid (Path Rel Dir)+  genValid = (Path . (++ "/") <$> genValid) `suchThat` isValid+  shrinkValid (Path s) = filter isValid $ Path <$> shrinkValid s

@@ -1,23 +1,22 @@ {-# LANGUAGE TypeApplications #-}  module Data.GenValidity.PathSpec-    ( spec-    ) where+  ( spec,+  )+where +import Data.GenValidity.Path () import Path- import Test.Hspec import Test.Validity -import Data.GenValidity.Path ()- spec :: Spec spec = do-    genValiditySpec @(Path Abs File)-    shrinkValiditySpec @(Path Abs File)-    genValiditySpec @(Path Abs Dir)-    shrinkValiditySpec @(Path Abs Dir)-    genValiditySpec @(Path Rel File)-    shrinkValiditySpec @(Path Rel File)-    genValiditySpec @(Path Rel Dir)-    shrinkValiditySpec @(Path Rel Dir)+  genValidSpec @(Path Abs File)+  shrinkValidSpec @(Path Abs File)+  genValidSpec @(Path Abs Dir)+  shrinkValidSpec @(Path Abs Dir)+  genValidSpec @(Path Rel File)+  shrinkValidSpec @(Path Rel File)+  genValidSpec @(Path Rel Dir)+  shrinkValidSpec @(Path Rel Dir)