| Copyright | (C) 2011-2014 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell98 |
Data.Distributive.Generic
Description
- 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 where Source
Methods
gdistribute :: Functor f => f (g a) -> g (f a) Source
Instances
| 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