18f8807e74887f3e6f1bb5afab870c83a1a35b4a
[ghc.git] / testsuite / tests / partial-sigs / should_compile / ExtraConstraints3.stderr
1 TYPE SIGNATURES
2   !! :: forall a. [a] -> Int -> a
3   $ :: forall a b. (a -> b) -> a -> b
4   $! :: forall a b. (a -> b) -> a -> b
5   && :: Bool -> Bool -> Bool
6   * :: forall a. Num a => a -> a -> a
7   ** :: forall a. Floating a => a -> a -> a
8   + :: forall a. Num a => a -> a -> a
9   ++ :: forall a. [a] -> [a] -> [a]
10   - :: forall a. Num a => a -> a -> a
11   . :: forall b c a. (b -> c) -> (a -> b) -> a -> c
12   / :: forall a. Fractional a => a -> a -> a
13   /= :: forall a. Eq a => a -> a -> Bool
14   < :: forall a. Ord a => a -> a -> Bool
15   <= :: forall a. Ord a => a -> a -> Bool
16   =<< ::
17     forall a (m :: * -> *) b. Monad m => (a -> m b) -> m a -> m b
18   == :: forall a. Eq a => a -> a -> Bool
19   > :: forall a. Ord a => a -> a -> Bool
20   >= :: forall a. Ord a => a -> a -> Bool
21   >> :: forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
22   >>= ::
23     forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
24   ^ :: forall a b. (Integral b, Num a) => a -> b -> a
25   ^^ :: forall a b. (Fractional a, Integral b) => a -> b -> a
26   abs :: forall a. Num a => a -> a
27   acos :: forall a. Floating a => a -> a
28   acosh :: forall a. Floating a => a -> a
29   all ::
30     forall a (t :: * -> *). P.Foldable t => (a -> Bool) -> t a -> Bool
31   and :: forall (t :: * -> *). P.Foldable t => t Bool -> Bool
32   any ::
33     forall a (t :: * -> *). P.Foldable t => (a -> Bool) -> t a -> Bool
34   appendFile :: FilePath -> String -> IO ()
35   asTypeOf :: forall a. a -> a -> a
36   asin :: forall a. Floating a => a -> a
37   asinh :: forall a. Floating a => a -> a
38   atan :: forall a. Floating a => a -> a
39   atan2 :: forall a. RealFloat a => a -> a -> a
40   atanh :: forall a. Floating a => a -> a
41   break :: forall a. (a -> Bool) -> [a] -> ([a], [a])
42   ceiling :: forall a b. (Integral b, RealFrac a) => a -> b
43   compare :: forall a. Ord a => a -> a -> Ordering
44   concat :: forall (t :: * -> *) a. P.Foldable t => t [a] -> [a]
45   concatMap ::
46     forall a b (t :: * -> *). P.Foldable t => (a -> [b]) -> t a -> [b]
47   const :: forall a b. a -> b -> a
48   cos :: forall a. Floating a => a -> a
49   cosh :: forall a. Floating a => a -> a
50   curry :: forall a b c. ((a, b) -> c) -> a -> b -> c
51   cycle :: forall a. [a] -> [a]
52   decodeFloat :: forall a. RealFloat a => a -> (Integer, Int)
53   div :: forall a. Integral a => a -> a -> a
54   divMod :: forall a. Integral a => a -> a -> (a, a)
55   drop :: forall a. Int -> [a] -> [a]
56   dropWhile :: forall a. (a -> Bool) -> [a] -> [a]
57   either :: forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
58   elem ::
59     forall (t :: * -> *) a. (Eq a, P.Foldable t) => a -> t a -> Bool
60   encodeFloat :: forall a. RealFloat a => Integer -> Int -> a
61   enumFrom :: forall a. Enum a => a -> [a]
62   enumFromThen :: forall a. Enum a => a -> a -> [a]
63   enumFromThenTo :: forall a. Enum a => a -> a -> a -> [a]
64   enumFromTo :: forall a. Enum a => a -> a -> [a]
65   error :: forall a. [Char] -> a
66   even :: forall a. Integral a => a -> Bool
67   exp :: forall a. Floating a => a -> a
68   exponent :: forall a. RealFloat a => a -> Int
69   fail :: forall (m :: * -> *) a. Monad m => String -> m a
70   filter :: forall a. (a -> Bool) -> [a] -> [a]
71   flip :: forall a b c. (a -> b -> c) -> b -> a -> c
72   floatDigits :: forall a. RealFloat a => a -> Int
73   floatRadix :: forall a. RealFloat a => a -> Integer
74   floatRange :: forall a. RealFloat a => a -> (Int, Int)
75   floor :: forall a b. (Integral b, RealFrac a) => a -> b
76   fmap ::
77     forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
78   foldl ::
79     forall (t :: * -> *) b a.
80     P.Foldable t =>
81     (b -> a -> b) -> b -> t a -> b
82   foldl1 ::
83     forall (t :: * -> *) a. P.Foldable t => (a -> a -> a) -> t a -> a
84   foldr ::
85     forall (t :: * -> *) a b.
86     P.Foldable t =>
87     (a -> b -> b) -> b -> t a -> b
88   foldr1 ::
89     forall (t :: * -> *) a. P.Foldable t => (a -> a -> a) -> t a -> a
90   fromEnum :: forall a. Enum a => a -> Int
91   fromInteger :: forall a. Num a => Integer -> a
92   fromIntegral :: forall a b. (Integral a, Num b) => a -> b
93   fromRational :: forall a. Fractional a => Rational -> a
94   fst :: forall a b. (a, b) -> a
95   gcd :: forall a. Integral a => a -> a -> a
96   getChar :: IO Char
97   getContents :: IO String
98   getLine :: IO String
99   head :: forall a. [a] -> a
100   id :: forall a. a -> a
101   init :: forall a. [a] -> [a]
102   interact :: (String -> String) -> IO ()
103   ioError :: forall a. IOError -> IO a
104   isDenormalized :: forall a. RealFloat a => a -> Bool
105   isIEEE :: forall a. RealFloat a => a -> Bool
106   isInfinite :: forall a. RealFloat a => a -> Bool
107   isNaN :: forall a. RealFloat a => a -> Bool
108   isNegativeZero :: forall a. RealFloat a => a -> Bool
109   iterate :: forall a. (a -> a) -> a -> [a]
110   last :: forall a. [a] -> a
111   lcm :: forall a. Integral a => a -> a -> a
112   length :: forall (t :: * -> *) a. P.Foldable t => t a -> Int
113   lex :: ReadS String
114   lines :: String -> [String]
115   log :: forall a. Floating a => a -> a
116   logBase :: forall a. Floating a => a -> a -> a
117   lookup :: forall a b. Eq a => a -> [(a, b)] -> Maybe b
118   map :: forall a b. (a -> b) -> [a] -> [b]
119   mapM ::
120     forall (t :: * -> *) a (m :: * -> *) b.
121     (Monad m, P.Traversable t) =>
122     (a -> m b) -> t a -> m (t b)
123   mapM_ ::
124     forall a (m :: * -> *) b (t :: * -> *).
125     (Monad m, P.Foldable t) =>
126     (a -> m b) -> t a -> m ()
127   max :: forall a. Ord a => a -> a -> a
128   maxBound :: forall w_. Bounded w_ => w_
129   maximum ::
130     forall (t :: * -> *) a. (Ord a, P.Foldable t) => t a -> a
131   maybe :: forall b a. b -> (a -> b) -> Maybe a -> b
132   min :: forall a. Ord a => a -> a -> a
133   minBound :: forall w_. Bounded w_ => w_
134   minimum ::
135     forall (t :: * -> *) a. (Ord a, P.Foldable t) => t a -> a
136   mod :: forall a. Integral a => a -> a -> a
137   negate :: forall a. Num a => a -> a
138   not :: Bool -> Bool
139   notElem ::
140     forall a (t :: * -> *). (Eq a, P.Foldable t) => a -> t a -> Bool
141   null :: forall (t :: * -> *) a. P.Foldable t => t a -> Bool
142   odd :: forall a. Integral a => a -> Bool
143   or :: forall (t :: * -> *). P.Foldable t => t Bool -> Bool
144   otherwise :: Bool
145   pi :: forall w_. Floating w_ => w_
146   pred :: forall a. Enum a => a -> a
147   print :: forall a. Show a => a -> IO ()
148   product ::
149     forall (t :: * -> *) a. (Num a, P.Foldable t) => t a -> a
150   properFraction ::
151     forall a b. (Integral b, RealFrac a) => a -> (b, a)
152   putChar :: Char -> IO ()
153   putStr :: String -> IO ()
154   putStrLn :: String -> IO ()
155   quot :: forall a. Integral a => a -> a -> a
156   quotRem :: forall a. Integral a => a -> a -> (a, a)
157   read :: forall a. Read a => String -> a
158   readFile :: FilePath -> IO String
159   readIO :: forall a. Read a => String -> IO a
160   readList :: forall a. Read a => ReadS [a]
161   readLn :: forall a. Read a => IO a
162   readParen :: forall a. Bool -> ReadS a -> ReadS a
163   reads :: forall a. Read a => ReadS a
164   readsPrec :: forall a. Read a => Int -> ReadS a
165   realToFrac :: forall a b. (Fractional b, Real a) => a -> b
166   recip :: forall a. Fractional a => a -> a
167   rem :: forall a. Integral a => a -> a -> a
168   repeat :: forall a. a -> [a]
169   replicate :: forall a. Int -> a -> [a]
170   return :: forall (m :: * -> *) a. Monad m => a -> m a
171   reverse :: forall a. [a] -> [a]
172   round :: forall a b. (Integral b, RealFrac a) => a -> b
173   scaleFloat :: forall a. RealFloat a => Int -> a -> a
174   scanl :: forall b a. (b -> a -> b) -> b -> [a] -> [b]
175   scanl1 :: forall a. (a -> a -> a) -> [a] -> [a]
176   scanr :: forall a b. (a -> b -> b) -> b -> [a] -> [b]
177   scanr1 :: forall a. (a -> a -> a) -> [a] -> [a]
178   seq :: forall a b. a -> b -> b
179   sequence ::
180     forall (t :: * -> *) (m :: * -> *) a.
181     (Monad m, P.Traversable t) =>
182     t (m a) -> m (t a)
183   sequence_ ::
184     forall (t :: * -> *) (m :: * -> *) a.
185     (Monad m, P.Foldable t) =>
186     t (m a) -> m ()
187   show :: forall a. Show a => a -> String
188   showChar :: Char -> ShowS
189   showList :: forall a. Show a => [a] -> ShowS
190   showParen :: Bool -> ShowS -> ShowS
191   showString :: String -> ShowS
192   shows :: forall a. Show a => a -> ShowS
193   showsPrec :: forall a. Show a => Int -> a -> ShowS
194   significand :: forall a. RealFloat a => a -> a
195   signum :: forall a. Num a => a -> a
196   sin :: forall a. Floating a => a -> a
197   sinh :: forall a. Floating a => a -> a
198   snd :: forall a b. (a, b) -> b
199   span :: forall a. (a -> Bool) -> [a] -> ([a], [a])
200   splitAt :: forall a. Int -> [a] -> ([a], [a])
201   sqrt :: forall a. Floating a => a -> a
202   subtract :: forall a. Num a => a -> a -> a
203   succ :: forall a. Enum a => a -> a
204   sum :: forall (t :: * -> *) a. (Num a, P.Foldable t) => t a -> a
205   tail :: forall a. [a] -> [a]
206   take :: forall a. Int -> [a] -> [a]
207   takeWhile :: forall a. (a -> Bool) -> [a] -> [a]
208   tan :: forall a. Floating a => a -> a
209   tanh :: forall a. Floating a => a -> a
210   toEnum :: forall a. Enum a => Int -> a
211   toInteger :: forall a. Integral a => a -> Integer
212   toRational :: forall a. Real a => a -> Rational
213   truncate :: forall a b. (Integral b, RealFrac a) => a -> b
214   uncurry :: forall a b c. (a -> b -> c) -> (a, b) -> c
215   undefined :: forall w_. w_
216   unlines :: [String] -> String
217   until :: forall a. (a -> Bool) -> (a -> a) -> a -> a
218   unwords :: [String] -> String
219   unzip :: forall a b. [(a, b)] -> ([a], [b])
220   unzip3 :: forall a b c. [(a, b, c)] -> ([a], [b], [c])
221   userError :: String -> IOError
222   words :: String -> [String]
223   writeFile :: FilePath -> String -> IO ()
224   zip :: forall a b. [a] -> [b] -> [(a, b)]
225   zip3 :: forall a b c. [a] -> [b] -> [c] -> [(a, b, c)]
226   zipWith :: forall a b c. (a -> b -> c) -> [a] -> [b] -> [c]
227   zipWith3 ::
228     forall a b c d. (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]
229   || :: Bool -> Bool -> Bool
230 TYPE CONSTRUCTORS
231 COERCION AXIOMS
232 Dependent modules: []
233 Dependent packages: [base-4.8.1.0, ghc-prim-0.4.0.0,
234                      integer-gmp-1.0.0.0]