20b36502d38da297274a8a1745fff9859c834f06
[ghc-hetmet.git] / ghc / compiler / utils / Util.hi
1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface Util where
3 import CharSeq(CSeq)
4 import Maybes(Labda(..))
5 import PreludePS(_PackedString)
6 import Pretty(Delay, Pretty(..), PrettyRep)
7 data Labda a   = Hamna | Ni a
8 type Pretty = Int -> Bool -> PrettyRep
9 data PrettyRep 
10 assertPanic :: [Char] -> Int -> a
11 assoc :: Eq a => [Char] -> [(a, b)] -> a -> b
12 cmpPString :: _PackedString -> _PackedString -> Int#
13 equivClasses :: (a -> a -> Int#) -> [a] -> [[a]]
14 hasNoDups :: Eq a => [a] -> Bool
15 isIn :: Eq a => [Char] -> a -> [a] -> Bool
16 isSingleton :: [a] -> Bool
17 isn'tIn :: Eq a => [Char] -> a -> [a] -> Bool
18 lengthExceeds :: [a] -> Int -> Bool
19 mapAccumB :: (b -> c -> a -> (b, c, d)) -> b -> c -> [a] -> (b, c, [d])
20 mapAccumL :: (b -> a -> (b, c)) -> b -> [a] -> (b, [c])
21 mapAccumR :: (b -> a -> (b, c)) -> b -> [a] -> (b, [c])
22 nOfThem :: Int -> a -> [a]
23 naturalMergeSortLe :: (a -> a -> Bool) -> [a] -> [a]
24 panic :: [Char] -> a
25 pprPanic :: [Char] -> (Int -> Bool -> PrettyRep) -> a
26 pprTrace :: [Char] -> (Int -> Bool -> PrettyRep) -> a -> a
27 removeDups :: (a -> a -> Int#) -> [a] -> ([a], [[a]])
28 runs :: (a -> a -> Bool) -> [a] -> [[a]]
29 sortLt :: (a -> a -> Bool) -> [a] -> [a]
30 transitiveClosure :: (a -> [a]) -> (a -> a -> Bool) -> [a] -> [a]
31 unzipWith :: (a -> b -> c) -> [(a, b)] -> [c]
32 zipEqual :: [a] -> [b] -> [(a, b)]
33