diff options
| author | Don Stewart <dons@cse.unsw.edu.au> | 2007-04-30 04:17:58 +0200 |
|---|---|---|
| committer | Don Stewart <dons@cse.unsw.edu.au> | 2007-04-30 04:17:58 +0200 |
| commit | 240245e14604399f52a364377585d7520a41a540 (patch) | |
| tree | 1f0757ef01f7cf169ddb5ac0255abd5cf98c3d03 /tests | |
| parent | cb713dde064fc505a191cd39c3714fc2dd5e7f43 (diff) | |
| download | metatile-240245e14604399f52a364377585d7520a41a540.tar metatile-240245e14604399f52a364377585d7520a41a540.zip | |
move size into Properties.hs
darcs-hash:20070430021758-9c5c1-f1ae3d5c2639b9c3ee91ccdebaefe0cf4a2c6df5
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/Properties.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs index 83aba87..19ccf49 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -17,6 +17,7 @@ import System.Random import Text.Printf import Data.List (nub,sort,group,sort,intersperse,genericLength) import Data.Map (keys,elems) +import qualified Data.Map as M -- --------------------------------------------------------------------- -- QuickCheck properties for the StackSet @@ -40,6 +41,10 @@ fromList (o,m,xs) = view o $ foldr (\(i,ys) s -> -- --------------------------------------------------------------------- +-- | /O(n)/. Number of stacks +size :: T -> Int +size = M.size . stacks + -- | Height of stack 'n' height :: Int -> T -> Int height i w = length (index i w) |