Functor

From HaskellWiki
Revision as of 04:32, 3 January 2006 by Ashley Y (talk | contribs) (+cat)
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Functor class (base)
import Control.Monad

The Functor class is defined like this:

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

All instances of Functor should obey:

fmap id = id
fmap (p . q) = (fmap p) . (fmap q)