Moduledistributive-0.6.3Haskell2010

Data.Distributive.Generic

classclass GDistributive (g :: Type -> Type) where

Instances6GDistributive

GDistributive Par1Defined in distributive-0.6.3 · Data.Distributive.Generic
GDistributive U1Defined in distributive-0.6.3 · Data.Distributive.Generic
Distributive f => GDistributive (Rec1 f)Defined in distributive-0.6.3 · Data.Distributive.Generic
(GDistributive a, GDistributive b) => GDistributive (a :*: b)Defined in distributive-0.6.3 · Data.Distributive.Generic
GDistributive f => GDistributive (M1 i c f)Defined in distributive-0.6.3 · Data.Distributive.Generic
(Distributive a, GDistributive b) => GDistributive (a :.: b)Defined in distributive-0.6.3 · Data.Distributive.Generic

valuegenericCollect

collect 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 collect = genericCollect

valuegenericDistribute

distribute derived from a Generic1 type

It's often more efficient to use genericCollect instead.