explainable-predicates 0.1.2.1 → 0.1.2.2
raw patch · 6 files changed
+536/−489 lines, 6 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
+ Test.Predicates: PredicateFailure :: String -> CallStack -> PredicateFailure
+ Test.Predicates: acceptIO :: HasCallStack => Predicate a -> a -> IO ()
+ Test.Predicates: data PredicateFailure
+ Test.Predicates: instance GHC.Exception.Type.Exception Test.Predicates.PredicateFailure
+ Test.Predicates: instance GHC.Show.Show Test.Predicates.PredicateFailure
- Test.Predicates.HUnit: (@?~) :: a -> Predicate a -> Assertion
+ Test.Predicates.HUnit: (@?~) :: HasCallStack => a -> Predicate a -> Assertion
- Test.Predicates.HUnit: assertSatisfied :: Predicate a -> a -> Assertion
+ Test.Predicates.HUnit: assertSatisfied :: HasCallStack => Predicate a -> a -> Assertion
- Test.Predicates.HUnit: shouldSatisfy :: a -> Predicate a -> Assertion
+ Test.Predicates.HUnit: shouldSatisfy :: HasCallStack => a -> Predicate a -> Assertion
Files
- CHANGELOG.md +4/−0
- explainable-predicates.cabal +2/−2
- src/Test/Predicates.hs +17/−2
- src/Test/Predicates/HUnit.hs +9/−11
- src/Test/Predicates/QuickCheck.hs +1/−1
- test/DocTests/Test/Predicates.hs +503/−473
CHANGELOG.md view
@@ -1,5 +1,9 @@ # Revision history for explainable-predicates +## 0.1.2.2 -- 2021-12-20++* Better error messages for HUnit integration.+ ## 0.1.2.1 -- 2021-12-20 * Builds with GHC 9.2.1
explainable-predicates.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name: explainable-predicates-version: 0.1.2.1+version: 0.1.2.2 synopsis: Predicates that can explain themselves. description: Explainable predicates are essentially functions from types to 'Bool' which can additionally describe themselves and@@ -20,7 +20,7 @@ extra-source-files: CHANGELOG.md -tested-with: GHC == 8.6.5 || == 8.8.4 || == 8.10.4 || == 9.0.1+tested-with: GHC == 8.6.5 || == 8.8.4 || == 8.10.7 || == 9.0.2 || == 9.2.3 source-repository head type: git
src/Test/Predicates.hs view
@@ -19,6 +19,8 @@ ( -- * The Predicate type Predicate (..), (==~),+ PredicateFailure (..),+ acceptIO, -- * Predicate combinators @@ -97,12 +99,13 @@ ) where -import Control.Monad (replicateM)+import Control.Exception (Exception, throwIO)+import Control.Monad (replicateM, unless) import Data.Functor.Contravariant (Contravariant (..)) import Data.List (intercalate) import Data.Maybe (isNothing) import Data.Typeable (Proxy (..), Typeable, cast, typeRep)-import GHC.Stack (HasCallStack, callStack)+import GHC.Stack (CallStack, HasCallStack, callStack, prettyCallStack) import Language.Haskell.TH import Language.Haskell.TH.Syntax (lift) import Test.Predicates.Internal.Util (locate, removeModNames, withLoc)@@ -147,6 +150,18 @@ } instance Show (Predicate a) where show = showPredicate++data PredicateFailure = PredicateFailure String CallStack++instance Show PredicateFailure where+ show (PredicateFailure message cs) = message ++ "\n" ++ prettyCallStack cs+instance Exception PredicateFailure++-- | Same as 'accept', except throws a 'PredicateFailure' instead of returning a 'Bool'.+acceptIO :: HasCallStack => Predicate a -> a -> IO ()+acceptIO p x =+ unless (accept p x) $+ throwIO $ PredicateFailure (explain p x) callStack -- | An infix synonym for 'accept'. --
src/Test/Predicates/HUnit.hs view
@@ -1,17 +1,15 @@ -- | HUnit and Hspec integration for 'Predicate' module Test.Predicates.HUnit (assertSatisfied, (@?~), shouldSatisfy) where -import Test.HUnit (Assertion, assertFailure)-import Test.Predicates (Predicate (accept, explain))+import GHC.Stack (HasCallStack, withFrozenCallStack)+import Test.HUnit (Assertion)+import Test.Predicates (Predicate, acceptIO) -assertSatisfied :: Predicate a -> a -> Assertion-assertSatisfied predicate val =- if accept predicate val- then return ()- else assertFailure (explain predicate val)+assertSatisfied :: HasCallStack => Predicate a -> a -> Assertion+assertSatisfied = withFrozenCallStack acceptIO -(@?~) :: a -> Predicate a -> Assertion-(@?~) = flip assertSatisfied+(@?~) :: HasCallStack => a -> Predicate a -> Assertion+(@?~) = flip (withFrozenCallStack acceptIO) -shouldSatisfy :: a -> Predicate a -> Assertion-shouldSatisfy = flip assertSatisfied+shouldSatisfy :: HasCallStack => a -> Predicate a -> Assertion+shouldSatisfy = flip (withFrozenCallStack acceptIO)
src/Test/Predicates/QuickCheck.hs view
@@ -13,7 +13,7 @@ -- | QuickCheck property that checks if a predicate is satisfied. -- -- @--- quickCheck $ \(Positive x) -> [0 .. x] 'satisfies' (containsAll [eq 1, eq 2])+-- quickCheck $ \\(Positive x) -> [0 .. x] \`satisfies\` (containsAll [eq 1, eq 2]) -- @ -- -- @
test/DocTests/Test/Predicates.hs view
@@ -1,5 +1,5 @@ -- Do not edit! Automatically created with doctest-extract from src/Test/Predicates.hs-{-# LINE 133 "src/Test/Predicates.hs" #-}+{-# LINE 136 "src/Test/Predicates.hs" #-} {-# OPTIONS_GHC -XLambdaCase #-} {-# OPTIONS_GHC -XTemplateHaskell #-}@@ -11,949 +11,979 @@ import Test.DocTest.Base import qualified Test.DocTest.Driver as DocTest -{-# LINE 138 "src/Test/Predicates.hs" #-}+{-# LINE 141 "src/Test/Predicates.hs" #-} test :: DocTest.T () test = do- DocTest.printPrefix "Test.Predicates:153: "-{-# LINE 153 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:168: "+{-# LINE 168 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 153 "src/Test/Predicates.hs" #-}+{-# LINE 168 "src/Test/Predicates.hs" #-} (eq 1 ==~ 1) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:155: "-{-# LINE 155 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:170: "+{-# LINE 170 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 155 "src/Test/Predicates.hs" #-}+{-# LINE 170 "src/Test/Predicates.hs" #-} (eq 2 ==~ 1) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:171: "-{-# LINE 171 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:186: "+{-# LINE 186 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 171 "src/Test/Predicates.hs" #-}+{-# LINE 186 "src/Test/Predicates.hs" #-} (accept anything "foo") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:173: "-{-# LINE 173 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:188: "+{-# LINE 188 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 173 "src/Test/Predicates.hs" #-}+{-# LINE 188 "src/Test/Predicates.hs" #-} (accept anything undefined) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:186: "-{-# LINE 186 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:201: "+{-# LINE 201 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 186 "src/Test/Predicates.hs" #-}+{-# LINE 201 "src/Test/Predicates.hs" #-} (accept (eq "foo") "foo") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:188: "-{-# LINE 188 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:203: "+{-# LINE 203 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 188 "src/Test/Predicates.hs" #-}+{-# LINE 203 "src/Test/Predicates.hs" #-} (accept (eq "foo") "bar") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:204: "-{-# LINE 204 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:219: "+{-# LINE 219 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 204 "src/Test/Predicates.hs" #-}+{-# LINE 219 "src/Test/Predicates.hs" #-} (accept (neq "foo") "foo") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:206: "-{-# LINE 206 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:221: "+{-# LINE 221 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 206 "src/Test/Predicates.hs" #-}+{-# LINE 221 "src/Test/Predicates.hs" #-} (accept (neq "foo") "bar") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:213: "-{-# LINE 213 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:228: "+{-# LINE 228 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 213 "src/Test/Predicates.hs" #-}+{-# LINE 228 "src/Test/Predicates.hs" #-} (accept (gt 5) 4) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:215: "-{-# LINE 215 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:230: "+{-# LINE 230 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 215 "src/Test/Predicates.hs" #-}+{-# LINE 230 "src/Test/Predicates.hs" #-} (accept (gt 5) 5) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:217: "-{-# LINE 217 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:232: "+{-# LINE 232 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 217 "src/Test/Predicates.hs" #-}+{-# LINE 232 "src/Test/Predicates.hs" #-} (accept (gt 5) 6) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:231: "-{-# LINE 231 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:246: "+{-# LINE 246 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 231 "src/Test/Predicates.hs" #-}+{-# LINE 246 "src/Test/Predicates.hs" #-} (accept (geq 5) 4) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:233: "-{-# LINE 233 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:248: "+{-# LINE 248 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 233 "src/Test/Predicates.hs" #-}+{-# LINE 248 "src/Test/Predicates.hs" #-} (accept (geq 5) 5) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:235: "-{-# LINE 235 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:250: "+{-# LINE 250 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 235 "src/Test/Predicates.hs" #-}+{-# LINE 250 "src/Test/Predicates.hs" #-} (accept (geq 5) 6) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:248: "-{-# LINE 248 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:263: "+{-# LINE 263 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 248 "src/Test/Predicates.hs" #-}+{-# LINE 263 "src/Test/Predicates.hs" #-} (accept (lt 5) 4) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:250: "-{-# LINE 250 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:265: "+{-# LINE 265 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 250 "src/Test/Predicates.hs" #-}+{-# LINE 265 "src/Test/Predicates.hs" #-} (accept (lt 5) 5) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:252: "-{-# LINE 252 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:267: "+{-# LINE 267 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 252 "src/Test/Predicates.hs" #-}+{-# LINE 267 "src/Test/Predicates.hs" #-} (accept (lt 5) 6) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:259: "-{-# LINE 259 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:274: "+{-# LINE 274 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 259 "src/Test/Predicates.hs" #-}+{-# LINE 274 "src/Test/Predicates.hs" #-} (accept (leq 5) 4) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:261: "-{-# LINE 261 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:276: "+{-# LINE 276 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 261 "src/Test/Predicates.hs" #-}+{-# LINE 276 "src/Test/Predicates.hs" #-} (accept (leq 5) 5) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:263: "-{-# LINE 263 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:278: "+{-# LINE 278 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 263 "src/Test/Predicates.hs" #-}+{-# LINE 278 "src/Test/Predicates.hs" #-} (accept (leq 5) 6) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:271: "-{-# LINE 271 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:286: "+{-# LINE 286 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 271 "src/Test/Predicates.hs" #-}+{-# LINE 286 "src/Test/Predicates.hs" #-} (accept (just (eq "value")) Nothing) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:273: "-{-# LINE 273 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:288: "+{-# LINE 288 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 273 "src/Test/Predicates.hs" #-}+{-# LINE 288 "src/Test/Predicates.hs" #-} (accept (just (eq "value")) (Just "value")) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:275: "-{-# LINE 275 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:290: "+{-# LINE 290 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 275 "src/Test/Predicates.hs" #-}+{-# LINE 290 "src/Test/Predicates.hs" #-} (accept (just (eq "value")) (Just "wrong value")) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:289: "-{-# LINE 289 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:304: "+{-# LINE 304 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 289 "src/Test/Predicates.hs" #-}+{-# LINE 304 "src/Test/Predicates.hs" #-} (accept nothing Nothing) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:292: "-{-# LINE 292 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:307: "+{-# LINE 307 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 292 "src/Test/Predicates.hs" #-}+{-# LINE 307 "src/Test/Predicates.hs" #-} (accept nothing (Just "something")) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:306: "-{-# LINE 306 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:321: "+{-# LINE 321 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 306 "src/Test/Predicates.hs" #-}+{-# LINE 321 "src/Test/Predicates.hs" #-} (accept (left (eq "value")) (Left "value")) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:308: "-{-# LINE 308 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:323: "+{-# LINE 323 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 308 "src/Test/Predicates.hs" #-}+{-# LINE 323 "src/Test/Predicates.hs" #-} (accept (left (eq "value")) (Right "value")) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:310: "-{-# LINE 310 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:325: "+{-# LINE 325 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 310 "src/Test/Predicates.hs" #-}+{-# LINE 325 "src/Test/Predicates.hs" #-} (accept (left (eq "value")) (Left "wrong value")) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:324: "-{-# LINE 324 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:339: "+{-# LINE 339 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 324 "src/Test/Predicates.hs" #-}+{-# LINE 339 "src/Test/Predicates.hs" #-} (accept (right (eq "value")) (Right "value")) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:326: "-{-# LINE 326 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:341: "+{-# LINE 341 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 326 "src/Test/Predicates.hs" #-}+{-# LINE 341 "src/Test/Predicates.hs" #-} (accept (right (eq "value")) (Right "wrong value")) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:328: "-{-# LINE 328 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:343: "+{-# LINE 343 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 328 "src/Test/Predicates.hs" #-}+{-# LINE 343 "src/Test/Predicates.hs" #-} (accept (right (eq "value")) (Left "value")) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:342: "-{-# LINE 342 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:357: "+{-# LINE 357 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 342 "src/Test/Predicates.hs" #-}+{-# LINE 357 "src/Test/Predicates.hs" #-} (accept (zipP (eq "foo") (eq "bar")) ("foo", "bar")) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:344: "-{-# LINE 344 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:359: "+{-# LINE 359 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 344 "src/Test/Predicates.hs" #-}+{-# LINE 359 "src/Test/Predicates.hs" #-} (accept (zipP (eq "foo") (eq "bar")) ("bar", "foo")) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:368: "-{-# LINE 368 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:383: "+{-# LINE 383 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 368 "src/Test/Predicates.hs" #-}+{-# LINE 383 "src/Test/Predicates.hs" #-} (accept (zip3P (eq "foo") (eq "bar") (eq "qux")) ("foo", "bar", "qux")) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:370: "-{-# LINE 370 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:385: "+{-# LINE 385 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 370 "src/Test/Predicates.hs" #-}+{-# LINE 385 "src/Test/Predicates.hs" #-} (accept (zip3P (eq "foo") (eq "bar") (eq "qux")) ("qux", "bar", "foo")) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:395: "-{-# LINE 395 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:410: "+{-# LINE 410 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 395 "src/Test/Predicates.hs" #-}+{-# LINE 410 "src/Test/Predicates.hs" #-} (accept (zip4P (eq 1) (eq 2) (eq 3) (eq 4)) (1, 2, 3, 4)) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:397: "-{-# LINE 397 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:412: "+{-# LINE 412 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 397 "src/Test/Predicates.hs" #-}+{-# LINE 412 "src/Test/Predicates.hs" #-} (accept (zip4P (eq 1) (eq 2) (eq 3) (eq 4)) (4, 3, 2, 1)) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:428: "-{-# LINE 428 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:443: "+{-# LINE 443 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 428 "src/Test/Predicates.hs" #-}+{-# LINE 443 "src/Test/Predicates.hs" #-} (accept (zip5P (eq 1) (eq 2) (eq 3) (eq 4) (eq 5)) (1, 2, 3, 4, 5)) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:430: "-{-# LINE 430 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:445: "+{-# LINE 445 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 430 "src/Test/Predicates.hs" #-}+{-# LINE 445 "src/Test/Predicates.hs" #-} (accept (zip5P (eq 1) (eq 2) (eq 3) (eq 4) (eq 5)) (5, 4, 3, 2, 1)) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:462: "-{-# LINE 462 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:477: "+{-# LINE 477 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 462 "src/Test/Predicates.hs" #-}+{-# LINE 477 "src/Test/Predicates.hs" #-} (accept (lt "foo" `andP` gt "bar") "eta") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:464: "-{-# LINE 464 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:479: "+{-# LINE 479 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 464 "src/Test/Predicates.hs" #-}+{-# LINE 479 "src/Test/Predicates.hs" #-} (accept (lt "foo" `andP` gt "bar") "quz") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:466: "-{-# LINE 466 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:481: "+{-# LINE 481 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 466 "src/Test/Predicates.hs" #-}+{-# LINE 481 "src/Test/Predicates.hs" #-} (accept (lt "foo" `andP` gt "bar") "alpha") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:483: "-{-# LINE 483 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:498: "+{-# LINE 498 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 483 "src/Test/Predicates.hs" #-}+{-# LINE 498 "src/Test/Predicates.hs" #-} (accept (lt "bar" `orP` gt "foo") "eta") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:485: "-{-# LINE 485 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:500: "+{-# LINE 500 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 485 "src/Test/Predicates.hs" #-}+{-# LINE 500 "src/Test/Predicates.hs" #-} (accept (lt "bar" `orP` gt "foo") "quz") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:487: "-{-# LINE 487 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:502: "+{-# LINE 502 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 487 "src/Test/Predicates.hs" #-}+{-# LINE 502 "src/Test/Predicates.hs" #-} (accept (lt "bar" `orP` gt "foo") "alpha") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:495: "-{-# LINE 495 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:510: "+{-# LINE 510 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 495 "src/Test/Predicates.hs" #-}+{-# LINE 510 "src/Test/Predicates.hs" #-} (accept (notP (eq "negative")) "positive") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:497: "-{-# LINE 497 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:512: "+{-# LINE 512 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 497 "src/Test/Predicates.hs" #-}+{-# LINE 512 "src/Test/Predicates.hs" #-} (accept (notP (eq "negative")) "negative") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:517: "-{-# LINE 517 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:532: "+{-# LINE 532 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 517 "src/Test/Predicates.hs" #-}+{-# LINE 532 "src/Test/Predicates.hs" #-} (accept (matchesRegex "x{2,5}y?") "xxxy") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:519: "-{-# LINE 519 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:534: "+{-# LINE 534 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 519 "src/Test/Predicates.hs" #-}+{-# LINE 534 "src/Test/Predicates.hs" #-} (accept (matchesRegex "x{2,5}y?") "xyy") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:521: "-{-# LINE 521 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:536: "+{-# LINE 536 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 521 "src/Test/Predicates.hs" #-}+{-# LINE 536 "src/Test/Predicates.hs" #-} (accept (matchesRegex "x{2,5}y?") "wxxxyz") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:551: "-{-# LINE 551 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:566: "+{-# LINE 566 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 551 "src/Test/Predicates.hs" #-}+{-# LINE 566 "src/Test/Predicates.hs" #-} (accept (matchesCaseInsensitiveRegex "x{2,5}y?") "XXXY") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:553: "-{-# LINE 553 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:568: "+{-# LINE 568 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 553 "src/Test/Predicates.hs" #-}+{-# LINE 568 "src/Test/Predicates.hs" #-} (accept (matchesCaseInsensitiveRegex "x{2,5}y?") "XYY") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:555: "-{-# LINE 555 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:570: "+{-# LINE 570 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 555 "src/Test/Predicates.hs" #-}+{-# LINE 570 "src/Test/Predicates.hs" #-} (accept (matchesCaseInsensitiveRegex "x{2,5}y?") "WXXXYZ") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:591: "-{-# LINE 591 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:606: "+{-# LINE 606 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 591 "src/Test/Predicates.hs" #-}+{-# LINE 606 "src/Test/Predicates.hs" #-} (accept (containsRegex "x{2,5}y?") "xxxy") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:593: "-{-# LINE 593 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:608: "+{-# LINE 608 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 593 "src/Test/Predicates.hs" #-}+{-# LINE 608 "src/Test/Predicates.hs" #-} (accept (containsRegex "x{2,5}y?") "xyy") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:595: "-{-# LINE 595 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:610: "+{-# LINE 610 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 595 "src/Test/Predicates.hs" #-}+{-# LINE 610 "src/Test/Predicates.hs" #-} (accept (containsRegex "x{2,5}y?") "wxxxyz") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:619: "-{-# LINE 619 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:634: "+{-# LINE 634 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 619 "src/Test/Predicates.hs" #-}+{-# LINE 634 "src/Test/Predicates.hs" #-} (accept (containsCaseInsensitiveRegex "x{2,5}y?") "XXXY") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:621: "-{-# LINE 621 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:636: "+{-# LINE 636 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 621 "src/Test/Predicates.hs" #-}+{-# LINE 636 "src/Test/Predicates.hs" #-} (accept (containsCaseInsensitiveRegex "x{2,5}y?") "XYY") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:623: "-{-# LINE 623 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:638: "+{-# LINE 638 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 623 "src/Test/Predicates.hs" #-}+{-# LINE 638 "src/Test/Predicates.hs" #-} (accept (containsCaseInsensitiveRegex "x{2,5}y?") "WXXXYZ") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:651: "-{-# LINE 651 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:666: "+{-# LINE 666 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 651 "src/Test/Predicates.hs" #-}+{-# LINE 666 "src/Test/Predicates.hs" #-} (accept (startsWith "fun") "fungible") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:653: "-{-# LINE 653 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:668: "+{-# LINE 668 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 653 "src/Test/Predicates.hs" #-}+{-# LINE 668 "src/Test/Predicates.hs" #-} (accept (startsWith "gib") "fungible") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:666: "-{-# LINE 666 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:681: "+{-# LINE 681 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 666 "src/Test/Predicates.hs" #-}+{-# LINE 681 "src/Test/Predicates.hs" #-} (accept (endsWith "ow") "crossbow") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:668: "-{-# LINE 668 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:683: "+{-# LINE 683 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 668 "src/Test/Predicates.hs" #-}+{-# LINE 683 "src/Test/Predicates.hs" #-} (accept (endsWith "ow") "trebuchet") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:682: "-{-# LINE 682 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:697: "+{-# LINE 697 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 682 "src/Test/Predicates.hs" #-}+{-# LINE 697 "src/Test/Predicates.hs" #-} (accept (hasSubstr "i") "team") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:684: "-{-# LINE 684 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:699: "+{-# LINE 699 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 684 "src/Test/Predicates.hs" #-}+{-# LINE 699 "src/Test/Predicates.hs" #-} (accept (hasSubstr "i") "partnership") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:698: "-{-# LINE 698 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:713: "+{-# LINE 713 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 698 "src/Test/Predicates.hs" #-}+{-# LINE 713 "src/Test/Predicates.hs" #-} (accept (hasSubsequence [1..5]) [1, 2, 3, 4, 5]) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:700: "-{-# LINE 700 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:715: "+{-# LINE 715 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 700 "src/Test/Predicates.hs" #-}+{-# LINE 715 "src/Test/Predicates.hs" #-} (accept (hasSubsequence [1..5]) [0, 1, 0, 2, 0, 3, 0, 4, 0, 5, 0]) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:702: "-{-# LINE 702 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:717: "+{-# LINE 717 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 702 "src/Test/Predicates.hs" #-}+{-# LINE 717 "src/Test/Predicates.hs" #-} (accept (hasSubsequence [1..5]) [2, 3, 5, 7, 11]) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:716: "-{-# LINE 716 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:731: "+{-# LINE 731 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 716 "src/Test/Predicates.hs" #-}+{-# LINE 731 "src/Test/Predicates.hs" #-} (accept (caseInsensitive startsWith "foo") "FOOTBALL!") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:718: "-{-# LINE 718 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:733: "+{-# LINE 733 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 718 "src/Test/Predicates.hs" #-}+{-# LINE 733 "src/Test/Predicates.hs" #-} (accept (caseInsensitive endsWith "ball") "soccer") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:720: "-{-# LINE 720 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:735: "+{-# LINE 735 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 720 "src/Test/Predicates.hs" #-}+{-# LINE 735 "src/Test/Predicates.hs" #-} (accept (caseInsensitive eq "time") "TIME") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:722: "-{-# LINE 722 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:737: "+{-# LINE 737 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 722 "src/Test/Predicates.hs" #-}+{-# LINE 737 "src/Test/Predicates.hs" #-} (accept (caseInsensitive gt "NOTHING") "everything") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:744: "-{-# LINE 744 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:759: "+{-# LINE 759 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 744 "src/Test/Predicates.hs" #-}+{-# LINE 759 "src/Test/Predicates.hs" #-} (accept isEmpty ([] :: [Int])) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:746: "-{-# LINE 746 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:761: "+{-# LINE 761 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 746 "src/Test/Predicates.hs" #-}+{-# LINE 761 "src/Test/Predicates.hs" #-} (accept isEmpty [1, 2, 3]) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:748: "-{-# LINE 748 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:763: "+{-# LINE 763 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 748 "src/Test/Predicates.hs" #-}+{-# LINE 763 "src/Test/Predicates.hs" #-} (accept isEmpty "") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:750: "-{-# LINE 750 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:765: "+{-# LINE 765 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 750 "src/Test/Predicates.hs" #-}+{-# LINE 765 "src/Test/Predicates.hs" #-} (accept isEmpty "gas tank") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:763: "-{-# LINE 763 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:778: "+{-# LINE 778 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 763 "src/Test/Predicates.hs" #-}+{-# LINE 778 "src/Test/Predicates.hs" #-} (accept nonEmpty ([] :: [Int])) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:765: "-{-# LINE 765 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:780: "+{-# LINE 780 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 765 "src/Test/Predicates.hs" #-}+{-# LINE 780 "src/Test/Predicates.hs" #-} (accept nonEmpty [1, 2, 3]) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:767: "-{-# LINE 767 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:782: "+{-# LINE 782 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 767 "src/Test/Predicates.hs" #-}+{-# LINE 782 "src/Test/Predicates.hs" #-} (accept nonEmpty "") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:769: "-{-# LINE 769 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:784: "+{-# LINE 784 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 769 "src/Test/Predicates.hs" #-}+{-# LINE 784 "src/Test/Predicates.hs" #-} (accept nonEmpty "gas tank") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:777: "-{-# LINE 777 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:792: "+{-# LINE 792 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 777 "src/Test/Predicates.hs" #-}+{-# LINE 792 "src/Test/Predicates.hs" #-} (accept (sizeIs (lt 3)) ['a' .. 'f']) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:779: "-{-# LINE 779 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:794: "+{-# LINE 794 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 779 "src/Test/Predicates.hs" #-}+{-# LINE 794 "src/Test/Predicates.hs" #-} (accept (sizeIs (lt 3)) ['a' .. 'b']) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:800: "-{-# LINE 800 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:815: "+{-# LINE 815 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 800 "src/Test/Predicates.hs" #-}+{-# LINE 815 "src/Test/Predicates.hs" #-} (accept (elemsAre [lt 3, lt 4, lt 5]) [2, 3, 4]) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:802: "-{-# LINE 802 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:817: "+{-# LINE 817 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 802 "src/Test/Predicates.hs" #-}+{-# LINE 817 "src/Test/Predicates.hs" #-} (accept (elemsAre [lt 3, lt 4, lt 5]) [2, 3, 4, 5]) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:804: "-{-# LINE 804 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:819: "+{-# LINE 819 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 804 "src/Test/Predicates.hs" #-}+{-# LINE 819 "src/Test/Predicates.hs" #-} (accept (elemsAre [lt 3, lt 4, lt 5]) [2, 10, 4]) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:836: "-{-# LINE 836 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:851: "+{-# LINE 851 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 836 "src/Test/Predicates.hs" #-}+{-# LINE 851 "src/Test/Predicates.hs" #-} (accept (unorderedElemsAre [eq 1, eq 2, eq 3]) [1, 2, 3]) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:838: "-{-# LINE 838 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:853: "+{-# LINE 853 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 838 "src/Test/Predicates.hs" #-}+{-# LINE 853 "src/Test/Predicates.hs" #-} (accept (unorderedElemsAre [eq 1, eq 2, eq 3]) [2, 3, 1]) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:840: "-{-# LINE 840 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:855: "+{-# LINE 855 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 840 "src/Test/Predicates.hs" #-}+{-# LINE 855 "src/Test/Predicates.hs" #-} (accept (unorderedElemsAre [eq 1, eq 2, eq 3]) [1, 2, 3, 4]) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:842: "-{-# LINE 842 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:857: "+{-# LINE 857 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 842 "src/Test/Predicates.hs" #-}+{-# LINE 857 "src/Test/Predicates.hs" #-} (accept (unorderedElemsAre [eq 1, eq 2, eq 3]) [1, 3]) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:889: "-{-# LINE 889 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:904: "+{-# LINE 904 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 889 "src/Test/Predicates.hs" #-}+{-# LINE 904 "src/Test/Predicates.hs" #-} (accept (each (gt 5)) [4, 5, 6]) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:891: "-{-# LINE 891 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:906: "+{-# LINE 906 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 891 "src/Test/Predicates.hs" #-}+{-# LINE 906 "src/Test/Predicates.hs" #-} (accept (each (gt 5)) [6, 7, 8]) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:893: "-{-# LINE 893 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:908: "+{-# LINE 908 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 893 "src/Test/Predicates.hs" #-}+{-# LINE 908 "src/Test/Predicates.hs" #-} (accept (each (gt 5)) []) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:918: "-{-# LINE 918 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:933: "+{-# LINE 933 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 918 "src/Test/Predicates.hs" #-}+{-# LINE 933 "src/Test/Predicates.hs" #-} (accept (contains (gt 5)) [3, 4, 5]) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:920: "-{-# LINE 920 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:935: "+{-# LINE 935 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 920 "src/Test/Predicates.hs" #-}+{-# LINE 935 "src/Test/Predicates.hs" #-} (accept (contains (gt 5)) [4, 5, 6]) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:922: "-{-# LINE 922 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:937: "+{-# LINE 937 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 922 "src/Test/Predicates.hs" #-}+{-# LINE 937 "src/Test/Predicates.hs" #-} (accept (contains (gt 5)) []) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:930: "-{-# LINE 930 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:945: "+{-# LINE 945 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 930 "src/Test/Predicates.hs" #-}+{-# LINE 945 "src/Test/Predicates.hs" #-} (accept (containsAll [eq "foo", eq "bar"]) ["bar", "foo"]) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:932: "-{-# LINE 932 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:947: "+{-# LINE 947 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 932 "src/Test/Predicates.hs" #-}+{-# LINE 947 "src/Test/Predicates.hs" #-} (accept (containsAll [eq "foo", eq "bar"]) ["foo"]) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:934: "-{-# LINE 934 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:949: "+{-# LINE 949 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 934 "src/Test/Predicates.hs" #-}+{-# LINE 949 "src/Test/Predicates.hs" #-} (accept (containsAll [eq "foo", eq "bar"]) ["foo", "bar", "qux"]) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:942: "-{-# LINE 942 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:957: "+{-# LINE 957 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 942 "src/Test/Predicates.hs" #-}+{-# LINE 957 "src/Test/Predicates.hs" #-} (accept (containsAll [startsWith "f", endsWith "o"]) ["foo"]) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:944: "-{-# LINE 944 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:959: "+{-# LINE 959 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 944 "src/Test/Predicates.hs" #-}+{-# LINE 959 "src/Test/Predicates.hs" #-} (accept (contains (startsWith "f") `andP` contains (endsWith "o")) ["foo"]) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:966: "-{-# LINE 966 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:981: "+{-# LINE 981 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 966 "src/Test/Predicates.hs" #-}+{-# LINE 981 "src/Test/Predicates.hs" #-} (accept (containsOnly [eq "foo", eq "bar"]) ["foo"]) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:968: "-{-# LINE 968 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:983: "+{-# LINE 983 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 968 "src/Test/Predicates.hs" #-}+{-# LINE 983 "src/Test/Predicates.hs" #-} (accept (containsOnly [eq "foo", eq "bar"]) ["foo", "bar"]) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:970: "-{-# LINE 970 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:985: "+{-# LINE 985 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 970 "src/Test/Predicates.hs" #-}+{-# LINE 985 "src/Test/Predicates.hs" #-} (accept (containsOnly [eq "foo", eq "bar"]) ["foo", "qux"]) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:977: "-{-# LINE 977 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:992: "+{-# LINE 992 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 977 "src/Test/Predicates.hs" #-}+{-# LINE 992 "src/Test/Predicates.hs" #-} (accept (containsOnly [eq "foo", eq "bar"]) ["foo", "foo"]) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:979: "-{-# LINE 979 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:994: "+{-# LINE 994 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 979 "src/Test/Predicates.hs" #-}+{-# LINE 994 "src/Test/Predicates.hs" #-} (accept (each (eq "foo" `orP` eq "bar")) ["foo", "foo"]) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1005: "-{-# LINE 1005 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1020: "+{-# LINE 1020 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1005 "src/Test/Predicates.hs" #-}+{-# LINE 1020 "src/Test/Predicates.hs" #-} (accept (keys (each (eq "foo"))) [("foo", 5)]) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1008: "-{-# LINE 1008 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1023: "+{-# LINE 1023 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1008 "src/Test/Predicates.hs" #-}+{-# LINE 1023 "src/Test/Predicates.hs" #-} (accept (keys (each (eq "foo"))) [("foo", 5), ("bar", 6)]) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1024: "-{-# LINE 1024 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1039: "+{-# LINE 1039 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1024 "src/Test/Predicates.hs" #-}+{-# LINE 1039 "src/Test/Predicates.hs" #-} (accept (values (each (eq 5))) [("foo", 5), ("bar", 5)]) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1027: "-{-# LINE 1027 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1042: "+{-# LINE 1042 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1027 "src/Test/Predicates.hs" #-}+{-# LINE 1042 "src/Test/Predicates.hs" #-} (accept (values (each (eq 5))) [("foo", 5), ("bar", 6)]) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1047: "-{-# LINE 1047 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1062: "+{-# LINE 1062 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1047 "src/Test/Predicates.hs" #-}+{-# LINE 1062 "src/Test/Predicates.hs" #-} (accept (eq 1.0) (sum (replicate 100 0.01))) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1054: "-{-# LINE 1054 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1069: "+{-# LINE 1069 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1054 "src/Test/Predicates.hs" #-}+{-# LINE 1069 "src/Test/Predicates.hs" #-} (accept (approxEq 1.0) (sum (replicate 100 0.01))) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1056: "-{-# LINE 1056 "src/Test/Predicates.hs" #-}- DocTest.example-{-# LINE 1056 "src/Test/Predicates.hs" #-}- (accept (approxEq 1.0) (sum (replicate 100 0.009999)))- [ExpectedLine [LineChunk "False"]] DocTest.printPrefix "Test.Predicates:1071: " {-# LINE 1071 "src/Test/Predicates.hs" #-} DocTest.example {-# LINE 1071 "src/Test/Predicates.hs" #-}+ (accept (approxEq 1.0) (sum (replicate 100 0.009999)))+ [ExpectedLine [LineChunk "False"]]+ DocTest.printPrefix "Test.Predicates:1086: "+{-# LINE 1086 "src/Test/Predicates.hs" #-}+ DocTest.example+{-# LINE 1086 "src/Test/Predicates.hs" #-} (accept positive 1) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1074: "-{-# LINE 1074 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1089: "+{-# LINE 1089 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1074 "src/Test/Predicates.hs" #-}+{-# LINE 1089 "src/Test/Predicates.hs" #-} (accept positive 0) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1077: "-{-# LINE 1077 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1092: "+{-# LINE 1092 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1077 "src/Test/Predicates.hs" #-}+{-# LINE 1092 "src/Test/Predicates.hs" #-} (accept positive (-1)) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1095: "-{-# LINE 1095 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1110: "+{-# LINE 1110 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1095 "src/Test/Predicates.hs" #-}+{-# LINE 1110 "src/Test/Predicates.hs" #-} (accept negative 1) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1098: "-{-# LINE 1098 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1113: "+{-# LINE 1113 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1098 "src/Test/Predicates.hs" #-}+{-# LINE 1113 "src/Test/Predicates.hs" #-} (accept negative 0) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1101: "-{-# LINE 1101 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1116: "+{-# LINE 1116 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1101 "src/Test/Predicates.hs" #-}+{-# LINE 1116 "src/Test/Predicates.hs" #-} (accept negative (-1)) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1120: "-{-# LINE 1120 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1135: "+{-# LINE 1135 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1120 "src/Test/Predicates.hs" #-}+{-# LINE 1135 "src/Test/Predicates.hs" #-} (accept nonPositive 1) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1123: "-{-# LINE 1123 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1138: "+{-# LINE 1138 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1123 "src/Test/Predicates.hs" #-}+{-# LINE 1138 "src/Test/Predicates.hs" #-} (accept nonPositive 0) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1126: "-{-# LINE 1126 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1141: "+{-# LINE 1141 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1126 "src/Test/Predicates.hs" #-}+{-# LINE 1141 "src/Test/Predicates.hs" #-} (accept nonPositive (-1)) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1134: "-{-# LINE 1134 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1149: "+{-# LINE 1149 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1134 "src/Test/Predicates.hs" #-}+{-# LINE 1149 "src/Test/Predicates.hs" #-} (accept nonNegative 1) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1137: "-{-# LINE 1137 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1152: "+{-# LINE 1152 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1137 "src/Test/Predicates.hs" #-}+{-# LINE 1152 "src/Test/Predicates.hs" #-} (accept nonNegative 0) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1140: "-{-# LINE 1140 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1155: "+{-# LINE 1155 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1140 "src/Test/Predicates.hs" #-}+{-# LINE 1155 "src/Test/Predicates.hs" #-} (accept nonNegative (-1)) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1147: "-{-# LINE 1147 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1162: "+{-# LINE 1162 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1147 "src/Test/Predicates.hs" #-}+{-# LINE 1162 "src/Test/Predicates.hs" #-} (accept finite 1.0) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1149: "-{-# LINE 1149 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1164: "+{-# LINE 1164 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1149 "src/Test/Predicates.hs" #-}+{-# LINE 1164 "src/Test/Predicates.hs" #-} (accept finite (0 / 0)) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1151: "-{-# LINE 1151 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1166: "+{-# LINE 1166 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1151 "src/Test/Predicates.hs" #-}+{-# LINE 1166 "src/Test/Predicates.hs" #-} (accept finite (1 / 0)) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1169: "-{-# LINE 1169 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1184: "+{-# LINE 1184 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1169 "src/Test/Predicates.hs" #-}+{-# LINE 1184 "src/Test/Predicates.hs" #-} (accept infinite 1.0) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1171: "-{-# LINE 1171 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1186: "+{-# LINE 1186 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1171 "src/Test/Predicates.hs" #-}+{-# LINE 1186 "src/Test/Predicates.hs" #-} (accept infinite (0 / 0)) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1173: "-{-# LINE 1173 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1188: "+{-# LINE 1188 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1173 "src/Test/Predicates.hs" #-}+{-# LINE 1188 "src/Test/Predicates.hs" #-} (accept infinite (1 / 0)) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1189: "-{-# LINE 1189 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1204: "+{-# LINE 1204 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1189 "src/Test/Predicates.hs" #-}+{-# LINE 1204 "src/Test/Predicates.hs" #-} (accept nAn 1.0) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1191: "-{-# LINE 1191 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1206: "+{-# LINE 1206 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1191 "src/Test/Predicates.hs" #-}+{-# LINE 1206 "src/Test/Predicates.hs" #-} (accept nAn (0 / 0)) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1193: "-{-# LINE 1193 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1208: "+{-# LINE 1208 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1193 "src/Test/Predicates.hs" #-}+{-# LINE 1208 "src/Test/Predicates.hs" #-} (accept nAn (1 / 0)) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1212: "-{-# LINE 1212 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1227: "+{-# LINE 1227 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1212 "src/Test/Predicates.hs" #-}+{-# LINE 1227 "src/Test/Predicates.hs" #-} (accept (is even) 3) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1214: "-{-# LINE 1214 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1229: "+{-# LINE 1229 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1214 "src/Test/Predicates.hs" #-}+{-# LINE 1229 "src/Test/Predicates.hs" #-} (accept (is even) 4) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1231: "-{-# LINE 1231 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1246: "+{-# LINE 1246 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1231 "src/Test/Predicates.hs" #-}+{-# LINE 1246 "src/Test/Predicates.hs" #-} (accept $(qIs [| even |]) 3) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1233: "-{-# LINE 1233 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1248: "+{-# LINE 1248 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1233 "src/Test/Predicates.hs" #-}+{-# LINE 1248 "src/Test/Predicates.hs" #-} (accept $(qIs [| even |]) 4) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1236: "-{-# LINE 1236 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1251: "+{-# LINE 1251 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1236 "src/Test/Predicates.hs" #-}+{-# LINE 1251 "src/Test/Predicates.hs" #-} (show $(qIs [| even |])) [ExpectedLine [LineChunk "\"even\""]]- DocTest.printPrefix "Test.Predicates:1256: "-{-# LINE 1256 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1271: "+{-# LINE 1271 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1256 "src/Test/Predicates.hs" #-}+{-# LINE 1271 "src/Test/Predicates.hs" #-} (accept (with abs (gt 5)) (-6)) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1258: "-{-# LINE 1258 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1273: "+{-# LINE 1273 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1258 "src/Test/Predicates.hs" #-}+{-# LINE 1273 "src/Test/Predicates.hs" #-} (accept (with abs (gt 5)) (-5)) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1260: "-{-# LINE 1260 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1275: "+{-# LINE 1275 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1260 "src/Test/Predicates.hs" #-}+{-# LINE 1275 "src/Test/Predicates.hs" #-} (accept (with reverse (eq "olleh")) "hello") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1262: "-{-# LINE 1262 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1277: "+{-# LINE 1277 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1262 "src/Test/Predicates.hs" #-}+{-# LINE 1277 "src/Test/Predicates.hs" #-} (accept (with reverse (eq "olleh")) "goodbye") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1288: "-{-# LINE 1288 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1303: "+{-# LINE 1303 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1288 "src/Test/Predicates.hs" #-}+{-# LINE 1303 "src/Test/Predicates.hs" #-} (accept ($(qWith [| abs |]) (gt 5)) (-6)) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1290: "-{-# LINE 1290 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1305: "+{-# LINE 1305 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1290 "src/Test/Predicates.hs" #-}+{-# LINE 1305 "src/Test/Predicates.hs" #-} (accept ($(qWith [| abs |]) (gt 5)) (-5)) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1292: "-{-# LINE 1292 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1307: "+{-# LINE 1307 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1292 "src/Test/Predicates.hs" #-}+{-# LINE 1307 "src/Test/Predicates.hs" #-} (accept ($(qWith [| reverse |]) (eq "olleh")) "hello") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1294: "-{-# LINE 1294 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1309: "+{-# LINE 1309 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1294 "src/Test/Predicates.hs" #-}+{-# LINE 1309 "src/Test/Predicates.hs" #-} (accept ($(qWith [| reverse |]) (eq "olleh")) "goodbye") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1297: "-{-# LINE 1297 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1312: "+{-# LINE 1312 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1297 "src/Test/Predicates.hs" #-}+{-# LINE 1312 "src/Test/Predicates.hs" #-} (show ($(qWith [| abs |]) (gt 5))) [ExpectedLine [LineChunk "\"abs: > 5\""]]- DocTest.printPrefix "Test.Predicates:1317: "-{-# LINE 1317 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1332: "+{-# LINE 1332 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1317 "src/Test/Predicates.hs" #-}+{-# LINE 1332 "src/Test/Predicates.hs" #-} (accept (inBranch "Left" (\case {Left x -> Just x; _ -> Nothing}) positive) (Left 1)) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1319: "-{-# LINE 1319 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1334: "+{-# LINE 1334 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1319 "src/Test/Predicates.hs" #-}+{-# LINE 1334 "src/Test/Predicates.hs" #-} (accept (inBranch "Left" (\case {Left x -> Just x; _ -> Nothing}) positive) (Left 0)) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1321: "-{-# LINE 1321 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1336: "+{-# LINE 1336 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1321 "src/Test/Predicates.hs" #-}+{-# LINE 1336 "src/Test/Predicates.hs" #-} (accept (inBranch "Left" (\case {Left x -> Just x; _ -> Nothing}) positive) (Right 1)) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1399: "-{-# LINE 1399 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1353: "+{-# LINE 1353 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1399 "src/Test/Predicates.hs" #-}+{-# LINE 1353 "src/Test/Predicates.hs" #-}+ (accept $(qADT 'Nothing) Nothing)+ [ExpectedLine [LineChunk "True"]]+ DocTest.printPrefix "Test.Predicates:1355: "+{-# LINE 1355 "src/Test/Predicates.hs" #-}+ DocTest.example+{-# LINE 1355 "src/Test/Predicates.hs" #-}+ (accept $(qADT 'Nothing) (Just 5))+ [ExpectedLine [LineChunk "False"]]+ DocTest.printPrefix "Test.Predicates:1357: "+{-# LINE 1357 "src/Test/Predicates.hs" #-}+ DocTest.example+{-# LINE 1357 "src/Test/Predicates.hs" #-}+ (accept ($(qADT 'Just) positive) (Just 5))+ [ExpectedLine [LineChunk "True"]]+ DocTest.printPrefix "Test.Predicates:1359: "+{-# LINE 1359 "src/Test/Predicates.hs" #-}+ DocTest.example+{-# LINE 1359 "src/Test/Predicates.hs" #-}+ (accept ($(qADT 'Just) positive) Nothing)+ [ExpectedLine [LineChunk "False"]]+ DocTest.printPrefix "Test.Predicates:1361: "+{-# LINE 1361 "src/Test/Predicates.hs" #-}+ DocTest.example+{-# LINE 1361 "src/Test/Predicates.hs" #-}+ (accept ($(qADT 'Just) positive) (Just 0))+ [ExpectedLine [LineChunk "False"]]+ DocTest.printPrefix "Test.Predicates:1422: "+{-# LINE 1422 "src/Test/Predicates.hs" #-}+ DocTest.example+{-# LINE 1422 "src/Test/Predicates.hs" #-} (accept $(qMatch [p| Just (Left _) |]) Nothing) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1401: "-{-# LINE 1401 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1424: "+{-# LINE 1424 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1401 "src/Test/Predicates.hs" #-}+{-# LINE 1424 "src/Test/Predicates.hs" #-} (accept $(qMatch [p| Just (Left _) |]) (Just (Left 5))) [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1403: "-{-# LINE 1403 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1426: "+{-# LINE 1426 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1403 "src/Test/Predicates.hs" #-}+{-# LINE 1426 "src/Test/Predicates.hs" #-} (accept $(qMatch [p| Just (Left _) |]) (Just (Right 5))) [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1406: "-{-# LINE 1406 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1429: "+{-# LINE 1429 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1406 "src/Test/Predicates.hs" #-}+{-# LINE 1429 "src/Test/Predicates.hs" #-} (show $(qMatch [p| Just (Left _) |])) [ExpectedLine [LineChunk "\"Just (Left _)\""]]- DocTest.printPrefix "Test.Predicates:1428: "-{-# LINE 1428 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1451: "+{-# LINE 1451 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1428 "src/Test/Predicates.hs" #-}+{-# LINE 1451 "src/Test/Predicates.hs" #-} (accept (typed @String anything) "foo") [ExpectedLine [LineChunk "True"]]- DocTest.printPrefix "Test.Predicates:1430: "-{-# LINE 1430 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1453: "+{-# LINE 1453 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1430 "src/Test/Predicates.hs" #-}+{-# LINE 1453 "src/Test/Predicates.hs" #-} (accept (typed @String (sizeIs (gt 5))) "foo") [ExpectedLine [LineChunk "False"]]- DocTest.printPrefix "Test.Predicates:1432: "-{-# LINE 1432 "src/Test/Predicates.hs" #-}+ DocTest.printPrefix "Test.Predicates:1455: "+{-# LINE 1455 "src/Test/Predicates.hs" #-} DocTest.example-{-# LINE 1432 "src/Test/Predicates.hs" #-}+{-# LINE 1455 "src/Test/Predicates.hs" #-} (accept (typed @String anything) (42 :: Int)) [ExpectedLine [LineChunk "False"]]