• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for genvalidity-sydtest-0.0.0.0 source tarball

genvalidity-sydtest-0.0.0.0/

• LICENSE
• Setup.hs
• genvalidity-sydtest.cabal
• src/
  • Test/
    • Syd/
      • Validity.hs
      • Validity/
        • Applicative.hs
        • Arbitrary.hs
        • Eq.hs
        • Functions.hs
        • Functor.hs
        • GenRelativeValidity.hs
        • GenValidity.hs
        • Monad.hs
        • Monoid.hs
        • Operations.hs
        • Ord.hs
        • Property.hs
        • Relations.hs
        • RelativeValidity.hs
        • Show.hs
        • Shrinking.hs
        • Types.hs
        • Utils.hs
        • Functions/
          • CanFail.hs
          • Equivalence.hs
          • Idempotence.hs
          • Inverse.hs
          • Validity.hs
        • GenValidity/
          • Property.hs
        • Operations/
          • Associativity.hs
          • Commutativity.hs
          • Identity.hs
        • Property/
          • Utils.hs
        • Relations/
          • Antireflexivity.hs
          • Antisymmetry.hs
          • Reflexivity.hs
          • Symmetry.hs
          • Transitivity.hs
        • Shrinking/
          • Property.hs
• test/
  • Spec.hs
  • Test/
    • Syd/
      • Validity/
        • ApplicativeSpec.hs
        • ArbitrarySpec.hs
        • EqSpec.hs
        • FunctorSpec.hs
        • GenRelativeValiditySpec.hs
        • GenValiditySpec.hs
        • MonadSpec.hs
        • MonoidSpec.hs
        • OrdSpec.hs
        • RelativeValiditySpec.hs
        • ShowSpec.hs
        • ShrinkingSpec.hs
        • Operations/
          • CommutativitySpec.hs