import Debug.Hoed.Pure
import Nubsort

main = testOwp ps prop_nub_idempotent [2,1,1]
  where
  ps = [ Propositions [ mkProposition nubsortModule "prop_nub_idempotent" 
                          `ofType` BoolProposition 
                          `withSignature`[Argument 0]
                      , mkProposition nubsortModule "prop_nub_unique"
                          `ofType` BoolProposition 
                          `withSignature`[Argument 0]
                      , mkProposition nubsortModule "prop_nub_complete"
                          `ofType` BoolProposition 
                          `withSignature`[Argument 0]
                      ] PropertiesOf "nub" []
       , Propositions [ mkProposition nubsortModule "prop_nubord'_idempotent"
                          `ofType` QuickCheckProposition
                          `withSignature`[Argument 1, Argument 0]
                      , mkProposition nubsortModule "prop_nubord'_unique"
                          `ofType` QuickCheckProposition
                          `withSignature`[Argument 1, Argument 0]
                      , mkProposition nubsortModule "prop_nubord'_complete"
                          `ofType` QuickCheckProposition
                          `withSignature`[Argument 1, Argument 0]
                      ] PropertiesOf "nubord'" [modQuickCheck]
       , Propositions [ mkProposition nubsortModule "prop_insert_ordered"
                          `ofType` QuickCheckProposition
                          `withSignature`[Argument 1, Argument 0]
                      , mkProposition nubsortModule "prop_insert_complete"
                          `ofType` QuickCheckProposition
                          `withSignature`[Argument 1, Argument 0]
                      ] PropertiesOf "insert" [modQuickCheck]
       ]
  nubsortModule = Module "Nubsort" "../examples/Nubsort/"
  modQuickCheck = Module "Test.QuickCheck" ""