Data.Functor.ProductIsomorphic.TupleInstances

Contents

Description

This module defines instances of tuple types.

Orphan instances

ProductConstructor (a0 -> b0 -> c0 -> d0 -> e0 -> f0 -> g0 -> (a0, b0, c0, d0, e0, f0, g0)) Source #
Methods productConstructor :: a0 -> b0 -> c0 -> d0 -> e0 -> f0 -> g0 -> (a0, b0, c0, d0, e0, f0, g0) Source #
ProductConstructor (a0 -> b0 -> c0 -> d0 -> e0 -> f0 -> (a0, b0, c0, d0, e0, f0)) Source #
Methods productConstructor :: a0 -> b0 -> c0 -> d0 -> e0 -> f0 -> (a0, b0, c0, d0, e0, f0) Source #
ProductConstructor (a0 -> b0 -> c0 -> d0 -> e0 -> (a0, b0, c0, d0, e0)) Source #
Methods productConstructor :: a0 -> b0 -> c0 -> d0 -> e0 -> (a0, b0, c0, d0, e0) Source #
ProductConstructor (a0 -> b0 -> c0 -> d0 -> (a0, b0, c0, d0)) Source #
Methods productConstructor :: a0 -> b0 -> c0 -> d0 -> (a0, b0, c0, d0) Source #
ProductConstructor (a0 -> b0 -> c0 -> (a0, b0, c0)) Source #
Methods productConstructor :: a0 -> b0 -> c0 -> (a0, b0, c0) Source #
ProductConstructor (a0 -> b0 -> (a0, b0)) Source #
Methods productConstructor :: a0 -> b0 -> (a0, b0) Source #