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