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