de3f8d15d63edb1a3b5636aeff26d49b1d66dbf6
[ghc.git] / testsuite / tests / ghci / scripts / T12550.stdout
1 f :: forall {b} {a :: * -> *}. C a => a b
2 f :: forall {b} {a :: * -> *}. C a => a b
3 f :: forall {b} {a :: * -> *}. C a => a b
4 f :: forall {b} {a :: * -> *}. C a => a b
5 f :: forall {b} {a :: * -> *}. C a => a b
6 f :: forall {b} {a :: * -> *}. C a => a b
7 f ∷ ∀ {b} {a ∷ ★ → ★}. C a ⇒ a b
8 f ∷ ∀ {b} {a ∷ ★ → ★}. C a ⇒ a b
9 f ∷ ∀ {b} {a ∷ ★ → ★}. C a ⇒ a b
10 f ∷ ∀ {b} {a ∷ ★ → ★}. C a ⇒ a b
11 f ∷ ∀ {b} {a ∷ ★ → ★}. C a ⇒ a b
12 f ∷ ∀ {b} {a ∷ ★ → ★}. C a ⇒ a b
13 fmap ∷ ∀ {f ∷ ★ → ★} {b} {a}. Functor f ⇒ (a → b) → f a → f b
14 class Functor (f ∷ ★ → ★) where
15   fmap ∷ ∀ a b. (a → b) → f a → f b
16   ...
17         -- Defined in ‘GHC.Base’
18 Functor ∷ (★ → ★) → Constraint
19 class Functor (f ∷ ★ → ★) where
20   fmap ∷ ∀ a b. (a → b) → f a → f b
21   (<$) ∷ ∀ a b. a → f b → f a
22   {-# MINIMAL fmap #-}
23         -- Defined in ‘GHC.Base’
24 instance Functor V1 -- Defined in ‘GHC.Generics’
25 instance Functor (URec Char) -- Defined in ‘GHC.Generics’
26 instance Functor (URec Double) -- Defined in ‘GHC.Generics’
27 instance Functor (URec Float) -- Defined in ‘GHC.Generics’
28 instance Functor (URec Int) -- Defined in ‘GHC.Generics’
29 instance Functor (URec Word) -- Defined in ‘GHC.Generics’
30 instance Functor U1 -- Defined in ‘GHC.Generics’
31 instance ∀ (f ∷ ★ → ★). Functor f ⇒ Functor (Rec1 f)
32   -- Defined in ‘GHC.Generics’
33 instance Functor Par1 -- Defined in ‘GHC.Generics’
34 instance ∀ i (c ∷ Meta) (f ∷ ★ → ★). Functor f ⇒ Functor (M1 i c f)
35   -- Defined in ‘GHC.Generics’
36 instance ∀ i c. Functor (K1 i c) -- Defined in ‘GHC.Generics’
37 instance ∀ (f ∷ ★ → ★) (g ∷ ★ → ★).
38          (Functor g, Functor f) ⇒
39          Functor (f :.: g)
40   -- Defined in ‘GHC.Generics’
41 instance ∀ (f ∷ ★ → ★) (g ∷ ★ → ★).
42          (Functor g, Functor f) ⇒
43          Functor (f :+: g)
44   -- Defined in ‘GHC.Generics’
45 instance ∀ (f ∷ ★ → ★) (g ∷ ★ → ★).
46          (Functor g, Functor f) ⇒
47          Functor (f :*: g)
48   -- Defined in ‘GHC.Generics’
49 instance ∀ a. Functor (Either a) -- Defined in ‘Data.Either’
50 instance Functor [] -- Defined in ‘GHC.Base’
51 instance Functor Maybe -- Defined in ‘GHC.Base’
52 instance Functor IO -- Defined in ‘GHC.Base’
53 instance ∀ r. Functor ((->) r) -- Defined in ‘GHC.Base’
54 instance ∀ a. Functor ((,) a) -- Defined in ‘GHC.Base’
55 datatypeName
56   ∷ ∀ {d} {t ∷ ★ → (★ → ★) → ★ → ★} {f ∷ ★ → ★} {a}.
57     Datatype d ⇒
58     t d f a → [Char]
59 class Datatype (d ∷ k) where
60   datatypeName ∷ ∀ k1 (t ∷ k → (k1 → ★) → k1 → ★) (f ∷ k1
61                                                        → ★) (a ∷ k1).
62                  t d f a → [Char]
63   ...
64         -- Defined in ‘GHC.Generics’
65 (:*:) ∷ ∀ {g ∷ ★ → ★} {p} {f ∷ ★ → ★}. f p → g p → (:*:) f g p
66 Rep ∷ ★ → ★ → ★
67 M1 ∷ ∀ k. ★ → Meta → (k → ★) → k → ★