Encode shape information in `PmOracle`
[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   test1b ::
7     forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int
8   test1c ::
9     forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int
10   test2 ::
11     forall (f :: * -> *) t b.
12     (Applicative f, Num t, Num b) =>
13     (t -> f b) -> f b
14   test2a ::
15     forall (f :: * -> *) t b.
16     (Functor f, Num t, Num b) =>
17     (t -> f b) -> f b
18   test2b ::
19     forall (m :: * -> *) t a. (Monad m, Num t) => (t -> a) -> m a
20   test2c ::
21     forall (f :: * -> *) t b.
22     (Functor f, Num t, Num b) =>
23     (t -> f b) -> f b
24   test2d ::
25     forall (f :: * -> *) t1 b t2.
26     (Functor f, Num t1, Num b) =>
27     (t1 -> f t2) -> f b
28   test3 ::
29     forall (m :: * -> *) t1 t2 a.
30     (Monad m, Num t1) =>
31     (t1 -> m t2) -> (t2 -> t2 -> m a) -> m a
32   test4 ::
33     forall (m :: * -> *) t a1 a2.
34     (Monad m, Num t) =>
35     (t -> m a1) -> (a1 -> a1 -> m a2) -> m a2
36   test5 ::
37     forall (m :: * -> *) t a1 a2.
38     (Monad m, Num t) =>
39     (t -> m a1) -> (a1 -> a1 -> m a2) -> m a2
40   test6 ::
41     forall (m :: * -> *) a p.
42     (Monad m, Num (m a)) =>
43     (m a -> m (m a)) -> p -> m a
44 Dependent modules: []
45 Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
46                      integer-gmp-1.0.2.0]