Data.Distributive.Generic

distributive-0.5.0.2: Distributive functors -- Dual to Traversable

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

Data.Distributive.Generic

Description

Synopsis

- 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

Methods

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

Instances

GDistributive U1 |
GDistributive Par1 |
GDistributive f => GDistributive (Rec1 f) |
(GDistributive a, GDistributive b) => GDistributive ((:*:) a b) |
(Functor a, 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)

`distribute` derived from a `Generic1` type

This can be used to easily produce a `Distributive` instance for a type with a `Generic1` instance,

    data V2 a = V2 a a deriving (Show, Functor, Generic1)
    instance Distributive V2' where distribute = genericDistribute