https://github.com/bodigrim/tasty-inspection-testing
Integrate inspection-testing into tasty test suites
https://github.com/bodigrim/tasty-inspection-testing
compile-time-testing tasty testing
Last synced: 12 months ago
JSON representation
Integrate inspection-testing into tasty test suites
- Host: GitHub
- URL: https://github.com/bodigrim/tasty-inspection-testing
- Owner: Bodigrim
- License: mit
- Created: 2021-05-06T19:12:00.000Z (about 5 years ago)
- Default Branch: master
- Last Pushed: 2025-01-01T23:49:00.000Z (over 1 year ago)
- Last Synced: 2025-03-18T03:14:03.013Z (over 1 year ago)
- Topics: compile-time-testing, tasty, testing
- Language: Haskell
- Homepage: https://hackage.haskell.org/package/tasty-inspection-testing
- Size: 12.7 KB
- Stars: 7
- Watchers: 2
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: changelog.md
- License: LICENSE
Awesome Lists containing this project
README
# tasty-inspection-tasting
Integrate [`inspection-testing`](http://hackage.haskell.org/package/inspection-testing)
into [`tasty`](http://hackage.haskell.org/package/tasty) test suites.
```haskell
{-# LANGUAGE TemplateHaskell #-}
{-# OPTIONS_GHC -O -dsuppress-all -dno-suppress-type-signatures -fplugin=Test.Tasty.Inspection.Plugin #-}
import Test.Tasty
import Test.Tasty.Inspection
lhs :: (a -> b) -> Maybe a -> Bool
lhs f x = case fmap f x of
Nothing -> True
Just{} -> False
rhs :: (a -> b) -> Maybe a -> Bool
rhs _ Nothing = True
rhs _ Just{} = False
main :: IO ()
main = defaultMain $(inspectTest $ 'lhs === 'rhs)
```
Real world examples:
* https://hackage.haskell.org/package/random-1.2.1/src/test-inspection/Spec/Inspection.hs
* https://hackage.haskell.org/package/linear-base-0.2.0/src/test/Test/Data/V.hs
* https://hackage.haskell.org/package/text-2.0/src/tests/Tests/Properties/LowLevel.hs
* https://hackage.haskell.org/package/text-1.2.5.0/src/tests/Tests/Inspection/Strict.hs
* https://hackage.haskell.org/package/sized-1.0.0.1/src/test/opt-test.hs
* https://hackage.haskell.org/package/vector-0.13.0.0/src/tests-inspect/Inspect/DerivingVia.hs
* https://hackage.haskell.org/package/infinite-list-0.1/src/test/Fusion.hs