2007-02-16 14:51:30 +03:00
|
|
|
module Utils (
|
|
|
|
module Utils,
|
|
|
|
module Data.List,
|
2007-03-10 06:16:19 +03:00
|
|
|
module Data.Tree,
|
2007-02-16 14:51:30 +03:00
|
|
|
module Debug.Trace,
|
|
|
|
module Text.Printf,
|
|
|
|
module Text.Regex,
|
|
|
|
quickCheck,
|
|
|
|
)
|
2007-02-16 12:00:17 +03:00
|
|
|
where
|
|
|
|
import System.Directory
|
2007-02-16 14:51:30 +03:00
|
|
|
import Data.List
|
2007-03-10 06:16:19 +03:00
|
|
|
import Data.Tree
|
2007-02-16 14:51:30 +03:00
|
|
|
import Debug.Trace
|
|
|
|
import Test.QuickCheck (quickCheck)
|
|
|
|
import Text.Printf
|
|
|
|
import Text.Regex
|
|
|
|
|
2007-02-16 12:00:17 +03:00
|
|
|
|
|
|
|
splitAtElement :: Eq a => a -> [a] -> [[a]]
|
|
|
|
splitAtElement e l =
|
|
|
|
case dropWhile (e==) l of
|
|
|
|
[] -> []
|
|
|
|
l' -> first : splitAtElement e rest
|
|
|
|
where
|
|
|
|
(first,rest) = break (e==) l'
|
|
|
|
|
|
|
|
-- courtesy of allberry_b
|
|
|
|
tildeExpand :: FilePath -> IO FilePath
|
|
|
|
tildeExpand ('~':[]) = getHomeDirectory
|
|
|
|
tildeExpand ('~':'/':xs) = getHomeDirectory >>= return . (++ ('/':xs))
|
|
|
|
-- ~name, requires -fvia-C or ghc 6.8
|
|
|
|
--import System.Posix.User
|
|
|
|
-- tildeExpand ('~':xs) = do let (user, path) = span (/= '/') xs
|
|
|
|
-- pw <- getUserEntryForName user
|
|
|
|
-- return (homeDirectory pw ++ path)
|
|
|
|
tildeExpand xs = return xs
|
|
|
|
|
2007-03-11 00:24:57 +03:00
|
|
|
|
|
|
|
-- tree tools
|
|
|
|
|
|
|
|
root = rootLabel
|
|
|
|
branches = subForest
|
|
|
|
|
|
|
|
-- apply f to all tree nodes
|
|
|
|
treemap :: (a -> b) -> Tree a -> Tree b
|
|
|
|
treemap f t = Node (f $ root t) (map (treemap f) $ branches t)
|
|
|
|
|
|
|
|
-- remove all subtrees whose nodes do not fulfill predicate
|
|
|
|
treefilter :: (a -> Bool) -> Tree a -> Tree a
|
|
|
|
treefilter f t = Node
|
|
|
|
(root t)
|
|
|
|
(map (treefilter f) $ filter (treeany f) $ branches t)
|
|
|
|
|
|
|
|
-- is predicate true in any node of tree ?
|
|
|
|
treeany :: (a -> Bool) -> Tree a -> Bool
|
|
|
|
treeany f t = (f $ root t) || (any (treeany f) $ branches t)
|
|
|
|
|
|
|
|
-- treedrop -- remove the leaves which do fulfill predicate.
|
|
|
|
-- treedropall -- do this repeatedly.
|
|
|
|
|