genvalidity-sydtest: Standard properties for functions on `Validity` types for the sydtest framework

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

Modules

[Last Documentation]

  • Test
    • Syd
      • Test.Syd.Validity
        • Test.Syd.Validity.Applicative
        • Test.Syd.Validity.Arbitrary
        • Test.Syd.Validity.Eq
        • Test.Syd.Validity.Functions
          • Test.Syd.Validity.Functions.CanFail
          • Test.Syd.Validity.Functions.Equivalence
          • Test.Syd.Validity.Functions.Idempotence
          • Test.Syd.Validity.Functions.Inverse
          • Test.Syd.Validity.Functions.Validity
        • Test.Syd.Validity.Functor
        • Test.Syd.Validity.GenValidity
          • Test.Syd.Validity.GenValidity.Property
        • Test.Syd.Validity.Monad
        • Test.Syd.Validity.Monoid
        • Test.Syd.Validity.Operations
          • Test.Syd.Validity.Operations.Associativity
          • Test.Syd.Validity.Operations.Commutativity
          • Test.Syd.Validity.Operations.Identity
        • Test.Syd.Validity.Ord
        • Test.Syd.Validity.Property
          • Test.Syd.Validity.Property.Utils
        • Test.Syd.Validity.Relations
          • Test.Syd.Validity.Relations.Antireflexivity
          • Test.Syd.Validity.Relations.Antisymmetry
          • Test.Syd.Validity.Relations.Reflexivity
          • Test.Syd.Validity.Relations.Symmetry
          • Test.Syd.Validity.Relations.Transitivity
        • Test.Syd.Validity.Show
        • Test.Syd.Validity.Shrinking
          • Test.Syd.Validity.Shrinking.Property
        • Test.Syd.Validity.Types
        • Test.Syd.Validity.Utils

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.0.0.0, 1.0.0.0
Change log CHANGELOG.md
Dependencies base (>=4.7 && <5), genvalidity (>=1.0), pretty-show, QuickCheck, sydtest, validity (>=0.9) [details]
License MIT
Copyright Copyright: (c) 2016-2021 Tom Sydney Kerckhove
Author Tom Sydney Kerckhove
Maintainer syd@cs-syd.eu
Category Testing
Home page https://github.com/NorfairKing/validity#readme
Bug tracker https://github.com/NorfairKing/validity/issues
Source repo head: git clone https://github.com/NorfairKing/validity
Uploaded by Norfair at 2021-11-20T16:00:37Z
Distributions LTSHaskell:1.0.0.0, NixOS:1.0.0.0
Reverse Dependencies 4 direct, 0 indirect [details]
Downloads 620 total (9 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2021-11-20 [all 2 reports]