[project @ 1996-01-08 20:28:12 by partain]
[ghc-hetmet.git] / ghc / lib / hbc / ListUtil_p.hi
1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface ListUtil where
3 import PreludeStdIO(Maybe)
4 assoc :: Eq b => (a -> c) -> c -> [(b, a)] -> b -> c
5         {-# GHC_PRAGMA _A_ 1 _U_ 12212 _N_ _N_ _N_ _N_ #-}
6 assocDef :: Eq a => [(a, b)] -> b -> a -> b
7         {-# GHC_PRAGMA _A_ 1 _U_ 1122 _N_ _N_ _N_ _N_ #-}
8 chopList :: ([a] -> (b, [a])) -> [a] -> [b]
9         {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ #-}
10 concatMap :: (a -> [b]) -> [a] -> [b]
11         {-# GHC_PRAGMA _A_ 2 _U_ 21 _N_ _S_ "LS" _N_ _N_ #-}
12 elemEq :: (a -> a -> Bool) -> a -> [a] -> Bool
13         {-# GHC_PRAGMA _A_ 3 _U_ 221 _N_ _S_ "LLS" _N_ _N_ #-}
14 group :: Eq a => [a] -> [[a]]
15         {-# GHC_PRAGMA _A_ 2 _U_ 12 _N_ _N_ _F_ _IF_ARGS_ 1 2 CX 6 _/\_ u0 -> \ (u1 :: {{Eq u0}}) (u2 :: [u0]) -> let {(u5 :: u0 -> u0 -> Bool) = case u1 of { _ALG_ _TUP_2 (u3 :: u0 -> u0 -> Bool) (u4 :: u0 -> u0 -> Bool) -> u3; _NO_DEFLT_ }} in _APP_  _TYAPP_  _ORIG_ ListUtil groupEq { u0 } [ u5, u2 ] _N_ #-}
16 groupEq :: (a -> a -> Bool) -> [a] -> [[a]]
17         {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ #-}
18 intersection :: Eq a => [a] -> [a] -> [a]
19         {-# GHC_PRAGMA _A_ 3 _U_ 112 _N_ _S_ "LSL" _N_ _N_ #-}
20 lookup :: Eq a => [(a, b)] -> a -> Maybe b
21         {-# GHC_PRAGMA _A_ 1 _U_ 112 _N_ _N_ _N_ _N_ #-}
22 mapAccuml :: (b -> a -> (b, c)) -> b -> [a] -> (b, [c])
23         {-# GHC_PRAGMA _A_ 3 _U_ 221 _N_ _S_ "LLS" _N_ _N_ #-}
24 nubEq :: (a -> a -> Bool) -> [a] -> [a]
25         {-# GHC_PRAGMA _A_ 2 _U_ 21 _N_ _S_ "LS" _N_ _N_ #-}
26 readListLazily :: Text a => [Char] -> [a]
27         {-# GHC_PRAGMA _A_ 2 _U_ 12 _N_ _S_ "U(SLLL)S" {_A_ 5 _U_ 20002 _N_ _N_ _N_ _N_} _N_ _N_ #-}
28 rept :: Integral a => a -> b -> [b]
29         {-# GHC_PRAGMA _A_ 3 _U_ 122 _N_ _N_ _N_ _N_ #-}
30 tails :: [a] -> [[a]]
31         {-# GHC_PRAGMA _A_ 1 _U_ 2 _N_ _S_ "S" _N_ _N_ #-}
32 unfoldr :: (a -> (b, a)) -> (a -> Bool) -> a -> [b]
33         {-# GHC_PRAGMA _A_ 3 _U_ 222 _N_ _S_ "LSL" _N_ _N_ #-}
34 union :: Eq a => [a] -> [a] -> [a]
35         {-# GHC_PRAGMA _A_ 3 _U_ 122 _N_ _S_ "LSL" _N_ _N_ #-}
36