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 --- Parse.hs | 15 ++++++++++++++- WriteProof.hs | 13 +------------ 2 files changed, 15 insertions(+), 13 deletions(-) diff --git a/Parse.hs b/Parse.hs index 676f2e7..f8e6793 100644 --- a/Parse.hs +++ b/Parse.hs @@ -7,7 +7,10 @@ module Parse ( isComment, isNumber, isName, - output + output, + fst3, + snd3, + thd3 ) where import Control.Monad( liftM ) @@ -62,3 +65,13 @@ output [] = return () output list = do putStrLn (head list) output (tail list) + + +fst3 :: (a,b,c) -> a +fst3 (a,_,_) = a + +snd3 :: (a,b,c) -> b +snd3 (_,b,_) = b + +thd3 :: (a,b,c) -> c +thd3 (_,_,c) = c 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