6f9e16f2b4301227f771a24f22e6b2aa49b26de4
[ghc.git] / testsuite / tests / ado / ado004.stderr
1 TYPE SIGNATURES
2   test1 ::
3     forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int
4   test1a ::
5     forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int
6   test2 ::
7     forall t b (f :: * -> *).
8     (Num b, Num t, Applicative f) =>
9     (t -> f b) -> f b
10   test2a ::
11     forall t b (f :: * -> *).
12     (Num b, Num t, Functor f) =>
13     (t -> f b) -> f b
14   test2b ::
15     forall (m :: * -> *) a t. (Num t, Monad m) => (t -> a) -> m a
16   test2c ::
17     forall t b (f :: * -> *).
18     (Num b, Num t, Functor f) =>
19     (t -> f b) -> f b
20   test3 ::
21     forall a t1 (m :: * -> *) t2.
22     (Num t2, Monad m) =>
23     (t2 -> m t1) -> (t1 -> t1 -> m a) -> m a
24   test4 ::
25     forall a1 a2 (m :: * -> *) t.
26     (Num t, Monad m) =>
27     (t -> m a2) -> (a2 -> a2 -> m a1) -> m a1
28   test5 ::
29     forall a1 a2 (m :: * -> *) t.
30     (Num t, Monad m) =>
31     (t -> m a2) -> (a2 -> a2 -> m a1) -> m a1
32   test6 ::
33     forall a (m :: * -> *) p.
34     (Num (m a), Monad m) =>
35     (m a -> m (m a)) -> p -> m a
36 TYPE CONSTRUCTORS
37 COERCION AXIOMS
38 Dependent modules: []
39 Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
40                      integer-gmp-1.0.0.1]