Module Utils

Summary of exported operations:

fst4 :: (a,b,c,d) -> a   
snd4 :: (a,b,c,d) -> b   
thrd4 :: (a,b,c,d) -> c   
frth4 :: (a,b,c,d) -> d   
status :: Show a => String -> a -> IO ()   
putStrsLn :: [String] -> IO ()   
wStatusLn :: Verbosity -> String -> IO ()   
wStatus :: Verbosity -> String -> IO ()   
wOutput :: Verbosity -> IO () -> IO ()   
wDebug :: Verbosity -> String -> IO ()   
condMsg :: Bool -> [Message] -> [Message]   
prettyMsg :: Bool -> [Message] -> String   
showMsg :: Bool -> [Message] -> String   
sortMsg :: [Message] -> [Message]   
leqMsg :: Message -> Message -> Bool   
filterTS :: [(((Int,Int),(Int,Int)),Token)] -> [(((Int,Int),(Int,Int)),Token)]   
isComment :: Token -> Bool   

Exported operations:

fst4 :: (a,b,c,d) -> a   

Further infos:
  • solution complete, i.e., able to compute all solutions

snd4 :: (a,b,c,d) -> b   

Further infos:
  • solution complete, i.e., able to compute all solutions

thrd4 :: (a,b,c,d) -> c   

Further infos:
  • solution complete, i.e., able to compute all solutions

frth4 :: (a,b,c,d) -> d   

Further infos:
  • solution complete, i.e., able to compute all solutions

status :: Show a => String -> a -> IO ()   

putStrsLn :: [String] -> IO ()   

wStatusLn :: Verbosity -> String -> IO ()   

wStatus :: Verbosity -> String -> IO ()   

wOutput :: Verbosity -> IO () -> IO ()   

wDebug :: Verbosity -> String -> IO ()   

condMsg :: Bool -> [Message] -> [Message]   

prettyMsg :: Bool -> [Message] -> String   

showMsg :: Bool -> [Message] -> String   

sortMsg :: [Message] -> [Message]   

leqMsg :: Message -> Message -> Bool   

filterTS :: [(((Int,Int),(Int,Int)),Token)] -> [(((Int,Int),(Int,Int)),Token)]   

isComment :: Token -> Bool