Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell98 |

# Documentation

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.

Functor [] | |

Functor IO | |

Functor Id | |

Functor ArgOrder | |

Functor OptDescr | |

Functor ArgDescr | |

Functor ZipList | |

Functor Handler | |

Functor ReadPrec | |

Functor ReadP | |

Functor Maybe | |

Functor ((->) r) | |

Functor (Either a) | |

Functor ((,) a) | |

Ix i => Functor (Array i) | |

Functor (StateL s) | |

Functor (StateR s) | |

Functor (Const m) | |

Monad m => Functor (WrappedMonad m) | |

Functor (Proxy *) | |

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

Functor f => Functor (Alt * f) |