Integrate inspection-testing
into tasty test suites.
{-# 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