From a44e9d598841612b277d0334e11c45348a6b3723 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 2 Aug 2012 09:38:42 +1000 Subject: Moved fst3, snd3, thd3 functions to Parse.hs --- WriteProof.hs | 13 +------------ 1 file changed, 1 insertion(+), 12 deletions(-) (limited to 'WriteProof.hs') diff --git a/WriteProof.hs b/WriteProof.hs index 3d0e095..2397de9 100644 --- a/WriteProof.hs +++ b/WriteProof.hs @@ -17,7 +17,7 @@ import qualified Data.Map as Map import Data.List import Stack( Stack, at, (<:>) ) import qualified Stack as Stack -import Parse( isNumber ) +import Parse( isNumber, fst3, snd3, thd3 ) @@ -65,17 +65,6 @@ subGraph graph node = -fst3 :: (a,b,c) -> a -fst3 (a,_,_) = a - -snd3 :: (a,b,c) -> b -snd3 (_,b,_) = b - -thd3 :: (a,b,c) -> c -thd3 (_,_,c) = c - - - orderNodes :: Gr String (Int,Int) -> [Node] -> [Node] orderNodes graph nodeList = nodeList --placeholder -- cgit