sized-types-0.2.7.20101112: test/Example1.hs

module Main where

import Data.Sized.Matrix
import Data.Sized.Signed as S
import Data.Sized.Unsigned as U
import Control.Applicative

main :: IO ()
main = do
	print example1
	print example2
	print $ transpose example2
	print $ example2 `mm` transpose example2
	print $ fmap odd example2
	print $ example2 `above` example2
	print $ example2 `beside` example2
	print $ example3
	print $ example4
	print $ example5
	print $ example6
	print $ example7 
	print $ example8
	print $ fmap (\ v -> if v == (0 :: Double)
		 	     then S "" 
			     else showAsE 3 v) 
	      $ fmap (fromIntegral) example6 
	
	let s :: [Signed X4]
	    s = [ x * y | x <- [1..5], y <- [0..5]]
	print s

	let u :: [Unsigned X4]
	    u = [ x * y | x <- [1..5], y <- [0..5]]
	print u
	
	print $ fmap S.toMatrix s
	print $ fmap U.toMatrix u
	

example1 :: Matrix (X5,X5) Int
example1 = identity

example2 :: Matrix (X3,X4) Int
example2 = matrix [1..12]

example3 :: Matrix (X4,X5) Double
example3 = pure 1.2

example4 :: Matrix (X4,X5) (X4,X5)
example4 = coord

-- also works in 2D
example5 :: Matrix X6 Bool
example5 = forAll $ \ i -> i > 6

example6 :: Matrix (X3,X4) Int
example6 = forEach example2 $ \ (i,j) a -> 
		if i == 0 || j == 0 then a else 0
		
example7 :: Matrix (X10,X10) Int
example7 = matrix [1..100]


example8 :: Matrix (X4,X5) Int
example8 = example7 `cropAt` (2,3)