ChasingBottoms 1.3.0.13 → 1.3.0.14
raw patch · 11 files changed
+23/−23 lines, 11 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Test.ChasingBottoms.Approx: instance Data a => Approx a
- Test.ChasingBottoms.ApproxShow: instance Data a => ApproxShow a
- Test.ChasingBottoms.ContinuousFunctions: apply :: PatternMatch -> GenTransformer
- Test.ChasingBottoms.ContinuousFunctions: instance Applicative MakeResult
- Test.ChasingBottoms.ContinuousFunctions: instance Data a => Data (Tree a)
- Test.ChasingBottoms.ContinuousFunctions: instance Functor MakeResult
- Test.ChasingBottoms.ContinuousFunctions: instance Monad MakeResult
- Test.ChasingBottoms.ContinuousFunctions: instance Show a => Show (Tree a)
- Test.ChasingBottoms.ContinuousFunctions: instance Typeable Tree
- Test.ChasingBottoms.ContinuousFunctions: more :: PatternMatch -> Seq PatternMatch
- Test.ChasingBottoms.Nat: instance Arbitrary Nat
- Test.ChasingBottoms.Nat: instance CoArbitrary Nat
- Test.ChasingBottoms.Nat: instance Enum Nat
- Test.ChasingBottoms.Nat: instance Eq Nat
- Test.ChasingBottoms.Nat: instance Integral Nat
- Test.ChasingBottoms.Nat: instance Num Nat
- Test.ChasingBottoms.Nat: instance Ord Nat
- Test.ChasingBottoms.Nat: instance Real Nat
- Test.ChasingBottoms.Nat: instance Show Nat
- Test.ChasingBottoms.Nat: instance Typeable Nat
- Test.ChasingBottoms.SemanticOrd: (<!, >!, >=!, <=!) :: SemanticOrd a => a -> a -> Bool
- Test.ChasingBottoms.SemanticOrd: (==!, /=!) :: SemanticEq a => a -> a -> Bool
- Test.ChasingBottoms.SemanticOrd: approxDepth :: Tweak -> Maybe Nat
- Test.ChasingBottoms.SemanticOrd: instance Data a => SemanticEq a
- Test.ChasingBottoms.SemanticOrd: instance Data a => SemanticOrd a
- Test.ChasingBottoms.SemanticOrd: instance Eq Tweak
- Test.ChasingBottoms.SemanticOrd: instance Ord Tweak
- Test.ChasingBottoms.SemanticOrd: instance Show Tweak
- Test.ChasingBottoms.SemanticOrd: timeOutLimit :: Tweak -> Maybe Int
- Test.ChasingBottoms.TimeOut: instance Exception Die
- Test.ChasingBottoms.TimeOut: instance Show Die
- Test.ChasingBottoms.TimeOut: instance Show a => Show (Result a)
- Test.ChasingBottoms.TimeOut: instance Typeable Die
- Test.ChasingBottoms.TimeOut: instance Typeable Result
+ Test.ChasingBottoms.Approx: instance Data.Data.Data a => Test.ChasingBottoms.Approx.Approx a
+ Test.ChasingBottoms.ApproxShow: instance Data.Data.Data a => Test.ChasingBottoms.ApproxShow.ApproxShow a
+ Test.ChasingBottoms.ContinuousFunctions: [apply] :: PatternMatch -> GenTransformer
+ Test.ChasingBottoms.ContinuousFunctions: [more] :: PatternMatch -> Seq PatternMatch
+ Test.ChasingBottoms.ContinuousFunctions: instance Data.Data.Data a => Data.Data.Data (Test.ChasingBottoms.ContinuousFunctions.Tree a)
+ Test.ChasingBottoms.ContinuousFunctions: instance GHC.Base.Applicative Test.ChasingBottoms.ContinuousFunctions.MakeResult
+ Test.ChasingBottoms.ContinuousFunctions: instance GHC.Base.Functor Test.ChasingBottoms.ContinuousFunctions.MakeResult
+ Test.ChasingBottoms.ContinuousFunctions: instance GHC.Base.Monad Test.ChasingBottoms.ContinuousFunctions.MakeResult
+ Test.ChasingBottoms.ContinuousFunctions: instance GHC.Show.Show a => GHC.Show.Show (Test.ChasingBottoms.ContinuousFunctions.Tree a)
+ Test.ChasingBottoms.Nat: instance GHC.Classes.Eq Test.ChasingBottoms.Nat.Nat
+ Test.ChasingBottoms.Nat: instance GHC.Classes.Ord Test.ChasingBottoms.Nat.Nat
+ Test.ChasingBottoms.Nat: instance GHC.Enum.Enum Test.ChasingBottoms.Nat.Nat
+ Test.ChasingBottoms.Nat: instance GHC.Num.Num Test.ChasingBottoms.Nat.Nat
+ Test.ChasingBottoms.Nat: instance GHC.Real.Integral Test.ChasingBottoms.Nat.Nat
+ Test.ChasingBottoms.Nat: instance GHC.Real.Real Test.ChasingBottoms.Nat.Nat
+ Test.ChasingBottoms.Nat: instance GHC.Show.Show Test.ChasingBottoms.Nat.Nat
+ Test.ChasingBottoms.Nat: instance Test.QuickCheck.Arbitrary.Arbitrary Test.ChasingBottoms.Nat.Nat
+ Test.ChasingBottoms.Nat: instance Test.QuickCheck.Arbitrary.CoArbitrary Test.ChasingBottoms.Nat.Nat
+ Test.ChasingBottoms.SemanticOrd: (/=!) :: SemanticEq a => a -> a -> Bool
+ Test.ChasingBottoms.SemanticOrd: (<!) :: SemanticOrd a => a -> a -> Bool
+ Test.ChasingBottoms.SemanticOrd: (<=!) :: SemanticOrd a => a -> a -> Bool
+ Test.ChasingBottoms.SemanticOrd: (==!) :: SemanticEq a => a -> a -> Bool
+ Test.ChasingBottoms.SemanticOrd: (>!) :: SemanticOrd a => a -> a -> Bool
+ Test.ChasingBottoms.SemanticOrd: (>=!) :: SemanticOrd a => a -> a -> Bool
+ Test.ChasingBottoms.SemanticOrd: [approxDepth] :: Tweak -> Maybe Nat
+ Test.ChasingBottoms.SemanticOrd: [timeOutLimit] :: Tweak -> Maybe Int
+ Test.ChasingBottoms.SemanticOrd: instance Data.Data.Data a => Test.ChasingBottoms.SemanticOrd.SemanticEq a
+ Test.ChasingBottoms.SemanticOrd: instance Data.Data.Data a => Test.ChasingBottoms.SemanticOrd.SemanticOrd a
+ Test.ChasingBottoms.SemanticOrd: instance GHC.Classes.Eq Test.ChasingBottoms.SemanticOrd.Tweak
+ Test.ChasingBottoms.SemanticOrd: instance GHC.Classes.Ord Test.ChasingBottoms.SemanticOrd.Tweak
+ Test.ChasingBottoms.SemanticOrd: instance GHC.Show.Show Test.ChasingBottoms.SemanticOrd.Tweak
+ Test.ChasingBottoms.TimeOut: instance GHC.Exception.Exception Test.ChasingBottoms.TimeOut.Die
+ Test.ChasingBottoms.TimeOut: instance GHC.Show.Show Test.ChasingBottoms.TimeOut.Die
+ Test.ChasingBottoms.TimeOut: instance GHC.Show.Show a => GHC.Show.Show (Test.ChasingBottoms.TimeOut.Result a)
Files
- ChasingBottoms.cabal +13/−13
- LICENCE +1/−1
- Test/ChasingBottoms.hs +1/−1
- Test/ChasingBottoms/Approx.hs +1/−1
- Test/ChasingBottoms/ApproxShow.hs +1/−1
- Test/ChasingBottoms/ContinuousFunctions.hs +1/−1
- Test/ChasingBottoms/IsBottom.hs +1/−1
- Test/ChasingBottoms/IsType.hs +1/−1
- Test/ChasingBottoms/Nat.hs +1/−1
- Test/ChasingBottoms/SemanticOrd.hs +1/−1
- Test/ChasingBottoms/TimeOut.hs +1/−1
ChasingBottoms.cabal view
@@ -1,8 +1,8 @@ name: ChasingBottoms-version: 1.3.0.13+version: 1.3.0.14 license: MIT license-file: LICENCE-copyright: Copyright (c) Nils Anders Danielsson 2004-2015.+copyright: Copyright (c) Nils Anders Danielsson 2004-2016. author: Nils Anders Danielsson maintainer: http://www.cse.chalmers.se/~nad/ synopsis: For testing partial and infinite values.@@ -78,22 +78,22 @@ bottoms: . @- > let tweak = Tweak { approxDepth = Just 5, timeOutLimit = Just 2 }- > semanticEq tweak (reverse [1..], [1..]) (bottom :: [Int], [1..] :: [Int])+ \> let tweak = Tweak { approxDepth = Just 5, timeOutLimit = Just 2 }+ \> semanticEq tweak (reverse [1..], [1..]) (bottom :: [Int], [1..] :: [Int]) True @ . @- > let tweak = noTweak { timeOutLimit = Just 2 }- > semanticJoin tweak (reverse [1..], True) ([] :: [Int], bottom)+ \> let tweak = noTweak { timeOutLimit = Just 2 }+ \> semanticJoin tweak (reverse [1..], True) ([] :: [Int], bottom) Just ([],True) @ . This can of course be dangerous: . @- > let tweak = noTweak { timeOutLimit = Just 0 }- > semanticEq tweak (reverse [1..100000000]) (bottom :: [Integer])+ \> let tweak = noTweak { timeOutLimit = Just 0 }+ \> semanticEq tweak (reverse [1..100000000]) (bottom :: [Integer]) True @ .@@ -117,7 +117,7 @@ the rest requires @Data.Generics@; @isBottom@ only requires exceptions, though. category: Testing-tested-with: GHC == 7.10.1+tested-with: GHC == 7.10.3 cabal-version: >= 1.9.2 build-type: Simple @@ -140,10 +140,10 @@ build-depends: QuickCheck >= 2.1 && < 2.9, mtl >= 1.1 && < 2.3,- base >= 4.0 && < 4.9,+ base >= 4.0 && < 4.10, containers >= 0.3 && < 0.6, random >= 1.0 && < 1.2,- syb >= 0.1.0.2 && < 0.6+ syb >= 0.1.0.2 && < 0.7 test-suite ChasingBottomsTestSuite type: exitcode-stdio-1.0@@ -163,8 +163,8 @@ build-depends: QuickCheck >= 2.1 && < 2.9, mtl >= 1.1 && < 2.3,- base >= 4.0 && < 4.9,+ base >= 4.0 && < 4.10, containers >= 0.3 && < 0.6, random >= 1.0 && < 1.2,- syb >= 0.1.0.2 && < 0.6,+ syb >= 0.1.0.2 && < 0.7, array >= 0.3 && < 0.6
LICENCE view
@@ -1,7 +1,7 @@ I have chosen to distribute this library under the MIT/Expat licence: --------------------------------------------------------------------- -Copyright (c) 2004-2015 Nils Anders Danielsson+Copyright (c) 2004-2016 Nils Anders Danielsson Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the
Test/ChasingBottoms.hs view
@@ -1,6 +1,6 @@ -- | -- Module : Test.ChasingBottoms--- Copyright : (c) Nils Anders Danielsson 2004-2015+-- Copyright : (c) Nils Anders Danielsson 2004-2016 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/Approx.hs view
@@ -3,7 +3,7 @@ -- | -- Module : Test.ChasingBottoms.Approx--- Copyright : (c) Nils Anders Danielsson 2004-2015+-- Copyright : (c) Nils Anders Danielsson 2004-2016 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/ApproxShow.hs view
@@ -3,7 +3,7 @@ -- | -- Module : Test.ChasingBottoms.ApproxShow--- Copyright : (c) Nils Anders Danielsson 2004-2015+-- Copyright : (c) Nils Anders Danielsson 2004-2016 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/ContinuousFunctions.hs view
@@ -12,7 +12,7 @@ -- | -- Module : Test.ChasingBottoms.ContinuousFunctions--- Copyright : (c) Nils Anders Danielsson 2005-2015+-- Copyright : (c) Nils Anders Danielsson 2005-2016 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/IsBottom.hs view
@@ -5,7 +5,7 @@ -- | -- Module : Test.ChasingBottoms.IsBottom--- Copyright : (c) Nils Anders Danielsson 2004-2015+-- Copyright : (c) Nils Anders Danielsson 2004-2016 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/IsType.hs view
@@ -1,6 +1,6 @@ -- | -- Module : Test.ChasingBottoms.IsType--- Copyright : (c) Nils Anders Danielsson 2004-2015+-- Copyright : (c) Nils Anders Danielsson 2004-2016 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/Nat.hs view
@@ -2,7 +2,7 @@ -- | -- Module : Test.ChasingBottoms.Nat--- Copyright : (c) Nils Anders Danielsson 2004-2015+-- Copyright : (c) Nils Anders Danielsson 2004-2016 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/SemanticOrd.hs view
@@ -3,7 +3,7 @@ -- | -- Module : Test.ChasingBottoms.SemanticOrd--- Copyright : (c) Nils Anders Danielsson 2004-2015+-- Copyright : (c) Nils Anders Danielsson 2004-2016 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/TimeOut.hs view
@@ -2,7 +2,7 @@ -- | -- Module : Test.ChasingBottoms.TimeOut--- Copyright : (c) Nils Anders Danielsson 2004-2015+-- Copyright : (c) Nils Anders Danielsson 2004-2016 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/