Data.Functor.ProductIsomorphic.GenericInstances

Contents

Description

This module defines instances for constructors used in generic-programming.

Orphan instances

ProductConstructor (U1 p) Source #
Instance details Methods productConstructor :: U1 p Source #
ProductConstructor (c -> K1 i c p) Source #
Instance details Methods productConstructor :: c -> K1 i c p Source #
ProductConstructor (f p -> M1 i c f p) Source #
Instance details Methods productConstructor :: f p -> M1 i c f p Source #
ProductConstructor (f x -> g x -> (f :*: g) x) Source #
Instance details Methods productConstructor :: f x -> g x -> (f :*: g) x Source #