T12550.stdout 3.02 KB
 Simon Peyton Jones committed Mar 10, 2017 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 `````` Ben Gamari committed Nov 21, 2016 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 ∷ ★ → ★). `````` Simon Peyton Jones committed Nov 08, 2017 38 `````` (Functor f, Functor g) ⇒ `````` Ben Gamari committed Nov 21, 2016 39 40 41 `````` Functor (f :.: g) -- Defined in ‘GHC.Generics’ instance ∀ (f ∷ ★ → ★) (g ∷ ★ → ★). `````` Simon Peyton Jones committed Nov 08, 2017 42 `````` (Functor f, Functor g) ⇒ `````` Ben Gamari committed Nov 21, 2016 43 44 45 `````` Functor (f :+: g) -- Defined in ‘GHC.Generics’ instance ∀ (f ∷ ★ → ★) (g ∷ ★ → ★). `````` Simon Peyton Jones committed Nov 08, 2017 46 `````` (Functor f, Functor g) ⇒ `````` Ben Gamari committed Nov 21, 2016 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’ `````` Simon Peyton Jones committed Mar 10, 2017 65 ``````(:*:) ∷ ∀ {f ∷ ★ → ★} {p} {g ∷ ★ → ★}. f p → g p → (:*:) f g p `````` johnleo committed Dec 13, 2016 66 67 ``````Rep ∷ ★ → ★ → ★ M1 ∷ ∀ k. ★ → Meta → (k → ★) → k → ★``````