diff options
Diffstat (limited to 'testsuite/tests/deriving/should_compile/T14578.stderr')
| -rw-r--r-- | testsuite/tests/deriving/should_compile/T14578.stderr | 116 |
1 files changed, 116 insertions, 0 deletions
diff --git a/testsuite/tests/deriving/should_compile/T14578.stderr b/testsuite/tests/deriving/should_compile/T14578.stderr new file mode 100644 index 0000000000..9f7ef67bf3 --- /dev/null +++ b/testsuite/tests/deriving/should_compile/T14578.stderr @@ -0,0 +1,116 @@ + +==================== Derived instances ==================== +Derived class instances: + instance GHC.Base.Functor f => + GHC.Base.Functor (T14578.App f) where + GHC.Base.fmap + = GHC.Prim.coerce + @((a -> b) -> f a -> f b) + @((a -> b) -> T14578.App f a -> T14578.App f b) + GHC.Base.fmap :: + forall (a :: TYPE GHC.Types.LiftedRep) + (b :: TYPE GHC.Types.LiftedRep). + (a -> b) -> T14578.App f a -> T14578.App f b + (GHC.Base.<$) + = GHC.Prim.coerce + @(a -> f b -> f a) + @(a -> T14578.App f b -> T14578.App f a) + (GHC.Base.<$) :: + forall (a :: TYPE GHC.Types.LiftedRep) + (b :: TYPE GHC.Types.LiftedRep). + a -> T14578.App f b -> T14578.App f a + + instance GHC.Base.Applicative f => + GHC.Base.Applicative (T14578.App f) where + GHC.Base.pure + = GHC.Prim.coerce + @(a -> f a) @(a -> T14578.App f a) GHC.Base.pure :: + forall (a :: TYPE GHC.Types.LiftedRep). a -> T14578.App f a + (GHC.Base.<*>) + = GHC.Prim.coerce + @(f (a -> b) -> f a -> f b) + @(T14578.App f (a -> b) -> T14578.App f a -> T14578.App f b) + (GHC.Base.<*>) :: + forall (a :: TYPE GHC.Types.LiftedRep) + (b :: TYPE GHC.Types.LiftedRep). + T14578.App f (a -> b) -> T14578.App f a -> T14578.App f b + GHC.Base.liftA2 + = GHC.Prim.coerce + @((a -> b -> c) -> f a -> f b -> f c) + @((a -> b -> c) + -> T14578.App f a -> T14578.App f b -> T14578.App f c) + GHC.Base.liftA2 :: + forall (a :: TYPE GHC.Types.LiftedRep) + (b :: TYPE GHC.Types.LiftedRep) + (c :: TYPE GHC.Types.LiftedRep). + (a -> b -> c) -> T14578.App f a -> T14578.App f b -> T14578.App f c + (GHC.Base.*>) + = GHC.Prim.coerce + @(f a -> f b -> f b) + @(T14578.App f a -> T14578.App f b -> T14578.App f b) + (GHC.Base.*>) :: + forall (a :: TYPE GHC.Types.LiftedRep) + (b :: TYPE GHC.Types.LiftedRep). + T14578.App f a -> T14578.App f b -> T14578.App f b + (GHC.Base.<*) + = GHC.Prim.coerce + @(f a -> f b -> f a) + @(T14578.App f a -> T14578.App f b -> T14578.App f a) + (GHC.Base.<*) :: + forall (a :: TYPE GHC.Types.LiftedRep) + (b :: TYPE GHC.Types.LiftedRep). + T14578.App f a -> T14578.App f b -> T14578.App f a + + instance (GHC.Base.Applicative f, GHC.Base.Applicative g, + GHC.Base.Semigroup a) => + GHC.Base.Semigroup (T14578.Wat f g a) where + (GHC.Base.<>) + = GHC.Prim.coerce + @(T14578.App (Data.Functor.Compose.Compose f g :: TYPE GHC.Types.LiftedRep + -> TYPE GHC.Types.LiftedRep) a + -> T14578.App (Data.Functor.Compose.Compose f g :: TYPE GHC.Types.LiftedRep + -> TYPE GHC.Types.LiftedRep) a + -> T14578.App (Data.Functor.Compose.Compose f g :: TYPE GHC.Types.LiftedRep + -> TYPE GHC.Types.LiftedRep) a) + @(T14578.Wat f g a -> T14578.Wat f g a -> T14578.Wat f g a) + (GHC.Base.<>) :: + T14578.Wat f g a -> T14578.Wat f g a -> T14578.Wat f g a + GHC.Base.sconcat + = GHC.Prim.coerce + @(GHC.Base.NonEmpty (T14578.App (Data.Functor.Compose.Compose f g :: TYPE GHC.Types.LiftedRep + -> TYPE GHC.Types.LiftedRep) a) + -> T14578.App (Data.Functor.Compose.Compose f g :: TYPE GHC.Types.LiftedRep + -> TYPE GHC.Types.LiftedRep) a) + @(GHC.Base.NonEmpty (T14578.Wat f g a) -> T14578.Wat f g a) + GHC.Base.sconcat :: + GHC.Base.NonEmpty (T14578.Wat f g a) -> T14578.Wat f g a + GHC.Base.stimes + = GHC.Prim.coerce + @(b + -> T14578.App (Data.Functor.Compose.Compose f g :: TYPE GHC.Types.LiftedRep + -> TYPE GHC.Types.LiftedRep) a + -> T14578.App (Data.Functor.Compose.Compose f g :: TYPE GHC.Types.LiftedRep + -> TYPE GHC.Types.LiftedRep) a) + @(b -> T14578.Wat f g a -> T14578.Wat f g a) + GHC.Base.stimes :: + forall (b :: TYPE GHC.Types.LiftedRep). + GHC.Real.Integral b => b -> T14578.Wat f g a -> T14578.Wat f g a + + +Derived type family instances: + + + +==================== Filling in method body ==================== +GHC.Base.Semigroup [T14578.App f[ssk:1] a[ssk:1]] + GHC.Base.sconcat = GHC.Base.$dmsconcat + @(T14578.App f[ssk:1] a[ssk:1]) + + + +==================== Filling in method body ==================== +GHC.Base.Semigroup [T14578.App f[ssk:1] a[ssk:1]] + GHC.Base.stimes = GHC.Base.$dmstimes + @(T14578.App f[ssk:1] a[ssk:1]) + + |