------------------------------------------------------------------------------\r
--- $Id: OptTable.hs,v 1.1 1999/11/12 11:54:17 simonmar Exp $\r
---\r
--- OGI_Table : Class for combinators used in building 2D tables.\r
---\r
--- Copyright (c) 1999 Andy Gill\r
---\r
--- This module is distributed as Open Source software under the\r
--- Artistic License; see the file "Artistic" that is included\r
--- in the distribution for details.\r
------------------------------------------------------------------------------\r
-\r
-module OptTable (\r
- OptTable, -- abstract\r
- single,\r
- beside,\r
- above,\r
- getMatrix,\r
- ) where\r
-\r
-import qualified ClassTable as TC\r
-\r
-instance TC.Table OptTable where\r
- single = OptTable.single\r
- beside = OptTable.beside\r
- above = OptTable.above\r
- getMatrix = OptTable.getMatrix\r
-\r
-instance (Show a) => Show (OptTable a) where\r
- showsPrec p = TC.showsTable\r
-\r
-type TableI a = [[(a,(Int,Int))]] -> [[(a,(Int,Int))]]\r
-\r
-data OptTable a = Table (Int -> Int -> TableI a) Int Int\r
-\r
-{-\r
- - Perhaps one day I'll fell adventureous, and write the Show instance\r
- - to show boxes aka the above ascii renditions.\r
- -}\r
-\r
--- You can create a (1x1) table entry\r
-single :: a -> OptTable a\r
-single a = Table (\ x y z -> [(a,(x+1,y+1))] : z) 1 1\r
-\r
--- You can compose tables, horizonally and vertically\r
-above :: OptTable a -> OptTable a -> OptTable a\r
-beside :: OptTable a -> OptTable a -> OptTable a\r
-\r
-t1 `above` t2 = trans (combine (trans t1) (trans t2) (.))\r
-\r
-t1 `beside` t2 = combine t1 t2 (\ lst1 lst2 r ->\r
- let\r
- -- Note this depends on the fact that\r
- -- that the result has the same number\r
- -- of lines as the y dimention; one list\r
- -- per line. This is not true in general\r
- -- but is always true for these combinators.\r
- -- I should assert this!\r
- beside (x:xs) (y:ys) = (x ++ y) : beside xs ys\r
- beside (x:xs) [] = x : xs ++ r\r
- beside [] (y:ys) = y : ys ++ r\r
- beside [] [] = r\r
- in\r
- beside (lst1 []) (lst2 []))\r
-\r
--- trans flips (transposes) over the x and y axis of\r
--- the table. It is only used internally, and typically\r
--- in pairs, ie. (flip ... munge ... (un)flip).\r
-\r
-trans :: OptTable a -> OptTable a\r
-trans (Table f1 x1 y1) = Table (flip f1) y1 x1\r
-\r
-combine :: OptTable a \r
- -> OptTable b \r
- -> (TableI a -> TableI b -> TableI c) \r
- -> OptTable c\r
-combine (Table f1 x1 y1) (Table f2 x2 y2) comb = Table new_fn (x1+x2) max_y\r
- where\r
- max_y = max y1 y2\r
- new_fn x y =\r
- case compare y1 y2 of\r
- EQ -> comb (f1 0 y) (f2 x y)\r
- GT -> comb (f1 0 y) (f2 x (y + y1 - y2))\r
- LT -> comb (f1 0 (y + y2 - y1)) (f2 x y)\r
-\r
--- This is the other thing you can do with a Table;\r
--- turn it into a 2D list, tagged with the (x,y)\r
--- sizes of each cell in the table.\r
-\r
-getMatrix :: OptTable a -> [[(a,(Int,Int))]]\r
-getMatrix (Table r _ _) = r 0 0 []\r
-\r
+-----------------------------------------------------------------------------
+-- $Id: OptTable.hs,v 1.2 2000/07/10 16:15:34 rrt Exp $
+--
+-- OGI_Table : Class for combinators used in building 2D tables.
+--
+-- Copyright (c) 1999 Andy Gill
+--
+-- This module is distributed as Open Source software under the
+-- Artistic License; see the file "Artistic" that is included
+-- in the distribution for details.
+-----------------------------------------------------------------------------
+
+module OptTable (
+ OptTable, -- abstract
+ single,
+ beside,
+ above,
+ getMatrix,
+ ) where
+
+import qualified ClassTable as TC
+
+instance TC.Table OptTable where
+ single = OptTable.single
+ beside = OptTable.beside
+ above = OptTable.above
+ getMatrix = OptTable.getMatrix
+
+instance (Show a) => Show (OptTable a) where
+ showsPrec p = TC.showsTable
+
+type TableI a = [[(a,(Int,Int))]] -> [[(a,(Int,Int))]]
+
+data OptTable a = Table (Int -> Int -> TableI a) Int Int
+
+{-
+ - Perhaps one day I'll fell adventureous, and write the Show instance
+ - to show boxes aka the above ascii renditions.
+ -}
+
+-- You can create a (1x1) table entry
+single :: a -> OptTable a
+single a = Table (\ x y z -> [(a,(x+1,y+1))] : z) 1 1
+
+-- You can compose tables, horizonally and vertically
+above :: OptTable a -> OptTable a -> OptTable a
+beside :: OptTable a -> OptTable a -> OptTable a
+
+t1 `above` t2 = trans (combine (trans t1) (trans t2) (.))
+
+t1 `beside` t2 = combine t1 t2 (\ lst1 lst2 r ->
+ let
+ -- Note this depends on the fact that
+ -- that the result has the same number
+ -- of lines as the y dimention; one list
+ -- per line. This is not true in general
+ -- but is always true for these combinators.
+ -- I should assert this!
+ beside (x:xs) (y:ys) = (x ++ y) : beside xs ys
+ beside (x:xs) [] = x : xs ++ r
+ beside [] (y:ys) = y : ys ++ r
+ beside [] [] = r
+ in
+ beside (lst1 []) (lst2 []))
+
+-- trans flips (transposes) over the x and y axis of
+-- the table. It is only used internally, and typically
+-- in pairs, ie. (flip ... munge ... (un)flip).
+
+trans :: OptTable a -> OptTable a
+trans (Table f1 x1 y1) = Table (flip f1) y1 x1
+
+combine :: OptTable a
+ -> OptTable b
+ -> (TableI a -> TableI b -> TableI c)
+ -> OptTable c
+combine (Table f1 x1 y1) (Table f2 x2 y2) comb = Table new_fn (x1+x2) max_y
+ where
+ max_y = max y1 y2
+ new_fn x y =
+ case compare y1 y2 of
+ EQ -> comb (f1 0 y) (f2 x y)
+ GT -> comb (f1 0 y) (f2 x (y + y1 - y2))
+ LT -> comb (f1 0 (y + y2 - y1)) (f2 x y)
+
+-- This is the other thing you can do with a Table;
+-- turn it into a 2D list, tagged with the (x,y)
+-- sizes of each cell in the table.
+
+getMatrix :: OptTable a -> [[(a,(Int,Int))]]
+getMatrix (Table r _ _) = r 0 0 []
+
projects / ghc-hetmet.git / blobdiff