Hackage :: [Package]

tasty-inspection-testing: Inspection testing support for tasty

[ library, mit, testing ] [ Propose Tags ] [ Report a vulnerability ]

Integrate inspection-testing into tasty test suites.

[Skip to Readme]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.1.0.1, 0.2, 0.2.1
Change log changelog.md
Dependencies base (<4.17), ghc, inspection-testing (>=0.4.5 && <0.5), tasty, template-haskell [details]
Tested with ghc ==9.0.1, ghc ==8.10.4, ghc ==8.8.4, ghc ==8.6.5, ghc ==8.4.4, ghc ==8.2.2, ghc ==8.0.2
License MIT
Copyright 2017 Joachim Breitner, 2021 Andrew Lelechenko
Author
Maintainer Andrew Lelechenko <andrew.lelechenko@gmail.com>
Revised Revision 1 made by Bodigrim at 2022-05-20T23:11:44Z
Category Testing
Home page https://github.com/Bodigrim/tasty-inspection-testing
Bug tracker https://github.com/Bodigrim/tasty-inspection-testing/issues
Source repo head: git clone https://github.com/Bodigrim/tasty-inspection-testing
Uploaded by Bodigrim at 2021-05-06T19:38:54Z
Distributions Arch:0.2.1, LTSHaskell:0.2.1, NixOS:0.2.1, Stackage:0.2.1
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 2752 total (74 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2021-05-06 [all 1 reports]

Readme for tasty-inspection-testing-0.1

[back to package description]

tasty-inspection-tasting

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)