Portability | non-portable |
---|---|

Stability | experimental |

Maintainer | generics@haskell.org |

Safe Haskell | Safe-Inferred |

Summary: Monadic generic map.

# Functorial map function

class Functor f where

The `Functor`

class is used for types that can be mapped over.
Instances of `Functor`

should satisfy the following laws:

fmap id == id fmap (f . g) == fmap f . fmap g

The instances of `Functor`

for lists, `Maybe`

and `IO`

satisfy these laws.

fmap :: (a -> b) -> f a -> f b

Functor [] | |

Functor IO | |

Functor Q | |

Functor ZipList | |

Functor ReadPrec | |

Functor ReadP | |

Functor Maybe | |

Functor U | |

Functor I | |

Functor ((->) r) | |

Functor (Either a) | |

Functor ((,) a) | |

Functor (Const m) | |

Monad m => Functor (WrappedMonad m) | |

Functor (K a) | |

Arrow a => Functor (WrappedArrow a b) | |

Functor f => Functor (S c f) | |

Functor f => Functor (C c f) | |

(Functor f, Functor g) => Functor (:*: f g) | |

(Functor f, Functor g) => Functor (:+: f g) |