Clarification for Series type

Bodigrim · Feb 4, 2012 · 0340f53 · 0340f53
1 parent 23d018b
commit 0340f53
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Test/SmallCheck/Series.hs b/Test/SmallCheck/Series.hs
@@ -156,6 +156,8 @@ type Depth = Int
 -- | 'Series' is a function from the depth to a finite list of values.
 --
 -- If @s@ is a 'Series', @s n@ is expected to yield values of depth up to @n@.
+--
+-- (In particular, @series d@ is expected to be a subset of @series (d+1)@.)
 type Series a = Depth -> [a]
 
 -- | Sum (union) of series