acbbdd627bb72608289638175bcf6bc5744491df
[ghc.git] / testsuite / tests / deriving / should_compile / T14578.stderr
1
2 ==================== Derived instances ====================
3 Derived class instances:
4   instance GHC.Base.Functor f =>
5            GHC.Base.Functor (T14578.App f) where
6     GHC.Base.fmap
7       = GHC.Prim.coerce
8           @(forall (a :: TYPE GHC.Types.LiftedRep)
9                    (b :: TYPE GHC.Types.LiftedRep).
10             (a -> b) -> f a -> f b)
11           @(forall (a :: TYPE GHC.Types.LiftedRep)
12                    (b :: TYPE GHC.Types.LiftedRep).
13             (a -> b) -> T14578.App f a -> T14578.App f b)
14           GHC.Base.fmap
15     (GHC.Base.<$)
16       = GHC.Prim.coerce
17           @(forall (a :: TYPE GHC.Types.LiftedRep)
18                    (b :: TYPE GHC.Types.LiftedRep).
19             a -> f b -> f a)
20           @(forall (a :: TYPE GHC.Types.LiftedRep)
21                    (b :: TYPE GHC.Types.LiftedRep).
22             a -> T14578.App f b -> T14578.App f a)
23           (GHC.Base.<$)
24   
25   instance GHC.Base.Applicative f =>
26            GHC.Base.Applicative (T14578.App f) where
27     GHC.Base.pure
28       = GHC.Prim.coerce
29           @(forall (a :: TYPE GHC.Types.LiftedRep). a -> f a)
30           @(forall (a :: TYPE GHC.Types.LiftedRep). a -> T14578.App f a)
31           GHC.Base.pure
32     (GHC.Base.<*>)
33       = GHC.Prim.coerce
34           @(forall (a :: TYPE GHC.Types.LiftedRep)
35                    (b :: TYPE GHC.Types.LiftedRep).
36             f (a -> b) -> f a -> f b)
37           @(forall (a :: TYPE GHC.Types.LiftedRep)
38                    (b :: TYPE GHC.Types.LiftedRep).
39             T14578.App f (a -> b) -> T14578.App f a -> T14578.App f b)
40           (GHC.Base.<*>)
41     GHC.Base.liftA2
42       = GHC.Prim.coerce
43           @(forall (a :: TYPE GHC.Types.LiftedRep)
44                    (b :: TYPE GHC.Types.LiftedRep)
45                    (c :: TYPE GHC.Types.LiftedRep).
46             (a -> b -> c) -> f a -> f b -> f c)
47           @(forall (a :: TYPE GHC.Types.LiftedRep)
48                    (b :: TYPE GHC.Types.LiftedRep)
49                    (c :: TYPE GHC.Types.LiftedRep).
50             (a -> b -> c)
51             -> T14578.App f a -> T14578.App f b -> T14578.App f c)
52           GHC.Base.liftA2
53     (GHC.Base.*>)
54       = GHC.Prim.coerce
55           @(forall (a :: TYPE GHC.Types.LiftedRep)
56                    (b :: TYPE GHC.Types.LiftedRep).
57             f a -> f b -> f b)
58           @(forall (a :: TYPE GHC.Types.LiftedRep)
59                    (b :: TYPE GHC.Types.LiftedRep).
60             T14578.App f a -> T14578.App f b -> T14578.App f b)
61           (GHC.Base.*>)
62     (GHC.Base.<*)
63       = GHC.Prim.coerce
64           @(forall (a :: TYPE GHC.Types.LiftedRep)
65                    (b :: TYPE GHC.Types.LiftedRep).
66             f a -> f b -> f a)
67           @(forall (a :: TYPE GHC.Types.LiftedRep)
68                    (b :: TYPE GHC.Types.LiftedRep).
69             T14578.App f a -> T14578.App f b -> T14578.App f a)
70           (GHC.Base.<*)
71   
72   instance (GHC.Base.Applicative f, GHC.Base.Applicative g,
73             GHC.Base.Semigroup a) =>
74            GHC.Base.Semigroup (T14578.Wat f g a) where
75     (GHC.Base.<>)
76       = GHC.Prim.coerce
77           @(T14578.App (Data.Functor.Compose.Compose f g :: TYPE GHC.Types.LiftedRep
78                                                             -> TYPE GHC.Types.LiftedRep) a
79             -> T14578.App (Data.Functor.Compose.Compose f g :: TYPE GHC.Types.LiftedRep
80                                                                -> TYPE GHC.Types.LiftedRep) a
81                -> T14578.App (Data.Functor.Compose.Compose f g :: TYPE GHC.Types.LiftedRep
82                                                                   -> TYPE GHC.Types.LiftedRep) a)
83           @(T14578.Wat f g a -> T14578.Wat f g a -> T14578.Wat f g a)
84           (GHC.Base.<>)
85     GHC.Base.sconcat
86       = GHC.Prim.coerce
87           @(GHC.Base.NonEmpty (T14578.App (Data.Functor.Compose.Compose f g :: TYPE GHC.Types.LiftedRep
88                                                                                -> TYPE GHC.Types.LiftedRep) a)
89             -> T14578.App (Data.Functor.Compose.Compose f g :: TYPE GHC.Types.LiftedRep
90                                                                -> TYPE GHC.Types.LiftedRep) a)
91           @(GHC.Base.NonEmpty (T14578.Wat f g a) -> T14578.Wat f g a)
92           GHC.Base.sconcat
93     GHC.Base.stimes
94       = GHC.Prim.coerce
95           @(forall (b :: TYPE GHC.Types.LiftedRep).
96             GHC.Real.Integral b =>
97             b
98             -> T14578.App (Data.Functor.Compose.Compose f g :: TYPE GHC.Types.LiftedRep
99                                                                -> TYPE GHC.Types.LiftedRep) a
100                -> T14578.App (Data.Functor.Compose.Compose f g :: TYPE GHC.Types.LiftedRep
101                                                                   -> TYPE GHC.Types.LiftedRep) a)
102           @(forall (b :: TYPE GHC.Types.LiftedRep).
103             GHC.Real.Integral b => b -> T14578.Wat f g a -> T14578.Wat f g a)
104           GHC.Base.stimes
105   
106
107 Derived type family instances:
108
109
110
111 ==================== Filling in method body ====================
112 GHC.Base.Semigroup [T14578.App f[ssk:1] a[ssk:1]]
113   GHC.Base.sconcat = GHC.Base.$dmsconcat
114                        @(T14578.App f[ssk:1] a[ssk:1])
115
116
117
118 ==================== Filling in method body ====================
119 GHC.Base.Semigroup [T14578.App f[ssk:1] a[ssk:1]]
120   GHC.Base.stimes = GHC.Base.$dmstimes
121                       @(T14578.App f[ssk:1] a[ssk:1])
122
123