update docs

Author: jdegoes

README.md

@@ -85,6 +85,10 @@
 
     instance coarbTuple :: (CoArbitrary a, CoArbitrary b) => CoArbitrary (Tuple a b)
 
+    instance monoidResult :: Monoid Result
+
+    instance semigroupResult :: Semigroup Result
+
     instance showResult :: Show Result
 
     instance testableBoolean :: Testable Boolean
@@ -102,11 +106,15 @@
 
     quickCheck' :: forall prop. (Testable prop) => Number -> prop -> QC Unit
 
-    quickCheckPure :: forall prop. (Testable prop) => Number -> Number -> prop -> [Result]
+    quickCheckPure :: forall prop. (Testable prop) => Number -> Seed -> prop -> [Result]
 
     smallCheck :: forall prop. (Testable prop) => prop -> QC Unit
 
     smallCheckPure :: forall prop. (Testable prop) => Number -> prop -> [Result]
 
+    statCheck :: forall prop. (Testable prop) => Number -> prop -> QC Unit
+
+    statCheckPure :: forall prop. (Testable prop) => Seed -> Number -> prop -> Result
+
 
 

src/Test/QuickCheck/README.md

@@ -10,18 +10,22 @@
       GenOut :: { value :: a, state :: GenState } -> GenOut a
 
     data GenState where
-      GenState :: { size :: Number, seed :: Number } -> GenState
+      GenState :: { size :: Size, seed :: Seed } -> GenState
 
     data GenT f a where
       GenT :: Mealy.MealyT f GenState (GenOut a) -> GenT f a
 
-    type LCG  = Number
+    type Seed  = Number
 
     type Size  = Number
 
 
 ### Type Class Instances
 
+    instance altGenT :: (Monad f) => Alt (GenT f)
+
+    instance alternativeGenT :: (Monad f) => Alternative (GenT f)
+
     instance applicativeGenT :: (Monad f) => Applicative (GenT f)
 
     instance applyGenOut :: Apply GenOut
@@ -36,12 +40,16 @@
 
     instance monadGenT :: (Monad f) => Monad (GenT f)
 
+    instance monadPlusGenT :: (Monad f) => MonadPlus (GenT f)
+
     instance monoidGenOut :: (Monoid a) => Monoid (GenOut a)
 
     instance monoidGenState :: Monoid GenState
 
     instance monoidGenT :: (Monad f) => Monoid (GenT f a)
 
+    instance plusGenT :: (Monad f) => Plus (GenT f)
+
     instance semigroupGenOut :: (Semigroup a) => Semigroup (GenOut a)
 
     instance semigroupGenState :: Semigroup GenState
@@ -51,6 +59,10 @@
 
 ### Values
 
+    allInArray :: forall f a. (Monad f) => [a] -> GenT f a
+
+    allInRange :: forall f a. (Monad f) => Number -> Number -> GenT f Number
+
     arrayOf :: forall f a. (Monad f) => GenT f a -> GenT f [a]
 
     arrayOf1 :: forall f a. (Monad f) => GenT f a -> GenT f (Tuple a [a])
@@ -61,10 +73,6 @@
 
     collectAll :: forall f a. (Monad f) => GenState -> GenT f a -> f [a]
 
-    detArray :: forall f a. (Monad f) => [a] -> GenT f a
-
-    detRange :: forall f a. (Monad f) => Number -> Number -> GenT f Number
-
     dropGen :: forall f a. (Monad f) => Number -> GenT f a -> GenT f a
 
     elements :: forall f a. (Monad f) => a -> [a] -> GenT f a
@@ -73,17 +81,23 @@
 
     foldGen :: forall f a b. (Monad f) => (b -> a -> Maybe b) -> b -> GenState -> GenT f a -> f b
 
+    foldGen' :: forall f a b. (Monad f) => (b -> a -> Maybe b) -> b -> GenState -> GenT f a -> f (Tuple b (GenT f a))
+
     frequency :: forall f a. (Monad f) => Tuple Number (GenT f a) -> [Tuple Number (GenT f a)] -> GenT f a
 
     infinite :: forall f a. (Monad f) => GenT f a -> GenT f a
 
     oneOf :: forall f a. (Monad f) => GenT f a -> [GenT f a] -> GenT f a
 
+    perms :: forall f a. (Monad f) => [a] -> GenT f [a]
+
     perturbGen :: forall f a. (Monad f) => Number -> GenT f a -> GenT f a
 
     repeatable :: forall a b. (a -> Gen b) -> Gen (a -> b)
 
-    resize :: forall f a. (Monad f) => Number -> GenT f a -> GenT f a
+    resize :: forall f a. (Monad f) => Size -> GenT f a -> GenT f a
+
+    runGen :: forall f a. (Monad f) => Number -> GenState -> GenT f a -> f (Tuple [a] (GenT f a))
 
     sample :: forall f a. (Monad f) => Number -> GenT f a -> f [a]
 
@@ -93,7 +107,7 @@
 
     showSample' :: forall r a. (Show a) => Number -> Gen a -> Eff (trace :: Trace | r) Unit
 
-    sized :: forall f a. (Monad f) => (Number -> GenT f a) -> GenT f a
+    sized :: forall f a. (Monad f) => (Size -> GenT f a) -> GenT f a
 
     stateful :: forall f a. (Monad f) => (GenState -> GenT f a) -> GenT f a
 
@@ -103,11 +117,11 @@
 
     takeGen :: forall f a. (Monad f) => Number -> GenT f a -> GenT f a
 
-    unfoldGen :: forall f a b c. (Monad f) => (b -> a -> Tuple b (Maybe c)) -> b -> GenT f a -> GenT f c
+    transGen :: forall f a b c. (Monad f) => (b -> a -> Tuple b (Maybe c)) -> b -> GenT f a -> GenT f c
 
-    uniform :: forall f. (Monad f) => GenT f Number
+    uniform :: forall f. (Monad f) => GenT f Seed
 
-    variant :: forall f a. (Monad f) => Number -> GenT f a -> GenT f a
+    variant :: forall f a. (Monad f) => Seed -> GenT f a -> GenT f a
 
     vectorOf :: forall f a. (Monad f) => Number -> GenT f a -> GenT f [a]