distributive-0.4.3.2: Distributive functors -- Dual to Traversable

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellSafe-Inferred

Data.Distributive.Generic

Description

 

Synopsis

Documentation

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

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