Copyright | (C) 2011-2016 Edward Kmett |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
- 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
gdistribute :: Functor f => f (g a) -> g (f a) Source
GDistributive U1 Source | |
GDistributive Par1 Source | |
GDistributive f => GDistributive (Rec1 f) Source | |
(GDistributive a, GDistributive b) => GDistributive ((:*:) a b) Source | |
(Functor a, GDistributive a, GDistributive b) => GDistributive ((:.:) a b) Source | |
GDistributive f => GDistributive (M1 i c f) Source |
genericDistribute :: (Functor f, Generic1 g, GDistributive (Rep1 g)) => f (g a) -> g (f a) Source