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) Source #
Methods productConstructor :: f x -> g x -> (* :*: f) g x Source #
ProductConstructor (f p -> M1 * i c f p) Source #
Methods productConstructor :: f p -> M1 * i c f p Source #
ProductConstructor (c -> K1 * i c p) Source #
Methods productConstructor :: c -> K1 * i c p Source #
ProductConstructor (U1 * p) Source #
Methods productConstructor :: U1 * p Source #