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

Language | Haskell2010 |

# Generic Functor class

class GFunctor f where Source #

gmap :: (a -> b) -> f a -> f b Source #

gmap :: (Generic1 f, GFunctor' (Rep1 f)) => (a -> b) -> f a -> f b Source #

GFunctor [] Source # | |

GFunctor Maybe Source # | |

GFunctor IO Source # | |

GFunctor Identity Source # | |

GFunctor Min Source # | |

GFunctor Max Source # | |

GFunctor First Source # | |

GFunctor Last Source # | |

GFunctor WrappedMonoid Source # | |

GFunctor Option Source # | |

GFunctor NonEmpty Source # | |

GFunctor Complex Source # | |

GFunctor ZipList Source # | |

GFunctor Dual Source # | |

GFunctor Sum Source # | |

GFunctor Product Source # | |

GFunctor First Source # | |

GFunctor Last Source # | |

GFunctor ((->) r) Source # | |

GFunctor (Either a) Source # | |

GFunctor ((,) a) Source # | |

GFunctor (Arg a) Source # | |

GFunctor (Proxy *) Source # | |

GFunctor (Const * m) Source # | |

GFunctor f => GFunctor (Alt * f) Source # | |

(GFunctor f, GFunctor g) => GFunctor (Sum * f g) Source # | |

(GFunctor f, GFunctor g) => GFunctor (Product * f g) Source # | |

# Default method

# Internal Functor class

class GFunctor' f where Source #

GFunctor' V1 Source # | |

GFunctor' U1 Source # | |

GFunctor' Par1 Source # | |

GFunctor' UAddr Source # | |

GFunctor' UChar Source # | |

GFunctor' UDouble Source # | |

GFunctor' UFloat Source # | |

GFunctor' UInt Source # | |

GFunctor' UWord Source # | |

GFunctor f => GFunctor' (Rec1 f) Source # | |

GFunctor' (K1 i c) Source # | |

(GFunctor' f, GFunctor' g) => GFunctor' ((:+:) f g) Source # | |

(GFunctor' f, GFunctor' g) => GFunctor' ((:*:) f g) Source # | |

(GFunctor f, GFunctor' g) => GFunctor' ((:.:) f g) Source # | |

GFunctor' f => GFunctor' (M1 i c f) Source # | |