1. Aleksey Khudyakov
  2. quickcheck-properties

Commits

Aleksey Khudyakov  committed dc70362

Some improvements in Doc

  • Participants
  • Parent commits b980584
  • Branches default

Comments (0)

Files changed (2)

File Test/QuickCheck/Property/Utils.hs

View file
  • Ignore whitespace
 {-# LANGUAGE FlexibleContexts  #-}
 {-# LANGUAGE FlexibleInstances #-}
 -- | 
+-- /Fixing type/
+--
+-- All properties in this library are polymorphic. Because of it
+-- following expression will be rejected by compiler.
+--
+-- > quickCheck (prop_Associative someFunction)
+--
+--
+-- /Comparig for equality/
+--
 -- A lot of QuickCheck properties have form @expression = another
 -- expression@. It's natural to compare them for equality however not
 -- all types have 'Eq' instance. For example functions and hence many
 data T a = T
 
 -- $examples
+-- 
 -- None so far

File quickcheck-properties.cabal

View file
  • Ignore whitespace
 Maintainer:          Aleksey Khudyakov <alexey.skladnoy@gmail.com>
 Category:            Testing
 Build-type:          Simple
-
 Cabal-version:       >=1.6
-
+Synopsis:            QuickCheck properties for standard type classes.
+Description:
+  Generic QuickCheck properties for standard type classes. Library
+  provide set of generic properties for testing 
+  .
+  See module 'Test.QuickCheck.Property.Utils' for general design of library 
+  and examples.
 
 Library
   Build-depends:       base >= 3 && < 5