Data.Functor.ProductIsomorphic.GenericInstances

Contents

Description

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

Orphan instances

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