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

Stability | provisional |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Safe Haskell | Safe-Inferred |

- class GDistributive g where
- gdistribute :: Functor f => f (g a) -> g (f a)

- genericDistribute :: (Functor f, Generic1 g, GDistributive (Rep1 g)) => f (g a) -> g (f a)

# Documentation

class GDistributive g whereSource

gdistribute :: Functor f => f (g a) -> g (f a)Source

GDistributive U1 | |

GDistributive Par1 | |

GDistributive f => GDistributive (Rec1 f) | |

(GDistributive a, GDistributive b) => GDistributive (:*: a b) | |

(Functor a, Functor b, GDistributive a, GDistributive b) => GDistributive (:.: a b) | |

GDistributive f => GDistributive (M1 i c f) |

genericDistribute :: (Functor f, Generic1 g, GDistributive (Rep1 g)) => f (g a) -> g (f a)Source