CurryInfo: base-3.3.0 / Control.Monad.Functor

class Functor f where
  fmap :: (a -> b) -> f a -> f b
  (<$) :: a -> f b -> f a

  (<$) = fmap . const

--- The class `Functor` defines a general mapping of values contained
--- in structures.
--- A type constructor `f` is a Functor if it provides a function `fmap`
--- which applies a function of type `(a -> b)` to all values contained
--- in a structure of type `f a` yielding a structure of type `f b`.

["fmap :: (b -> c) -> a b -> a c","(<$) 0 :: b -> a c -> a b"]

Functor