Data.Functor.ProductIsomorphic

This is the integrated interface module for product restricted functors.

Documentation

class ProductConstructor c

Define product isomorphic inference rule to specify record constructor

Minimal complete definition

productConstructor

Instances

ProductConstructor ()

Defined in Data.Functor.ProductIsomorphic.TupleInstances

Methods

productConstructor :: ()

ProductConstructor (U1 p)

Defined in Data.Functor.ProductIsomorphic.GenericInstances

Methods

productConstructor :: U1 p

ProductConstructor (a -> b -> c -> d -> e -> f -> g -> (a, b, c, d, e, f, g))

Defined in Data.Functor.ProductIsomorphic.TupleInstances

Methods

productConstructor :: a -> b -> c -> d -> e -> f -> g -> (a, b, c, d, e, f, g)

ProductConstructor (a -> b -> c -> d -> e -> f -> (a, b, c, d, e, f))

Defined in Data.Functor.ProductIsomorphic.TupleInstances

Methods

productConstructor :: a -> b -> c -> d -> e -> f -> (a, b, c, d, e, f)

ProductConstructor (a -> b -> c -> d -> e -> (a, b, c, d, e))

Defined in Data.Functor.ProductIsomorphic.TupleInstances

Methods

productConstructor :: a -> b -> c -> d -> e -> (a, b, c, d, e)

ProductConstructor (a -> b -> c -> d -> (a, b, c, d))

Defined in Data.Functor.ProductIsomorphic.TupleInstances

Methods

productConstructor :: a -> b -> c -> d -> (a, b, c, d)

ProductConstructor (a -> b -> c -> (a, b, c))

Defined in Data.Functor.ProductIsomorphic.TupleInstances

Methods

productConstructor :: a -> b -> c -> (a, b, c)

ProductConstructor (a -> b -> (a, b))

Defined in Data.Functor.ProductIsomorphic.TupleInstances

Methods

productConstructor :: a -> b -> (a, b)

ProductConstructor (c -> K1 i c p)

Defined in Data.Functor.ProductIsomorphic.GenericInstances

Methods

productConstructor :: c -> K1 i c p

ProductConstructor (f p -> M1 i c f p)

Defined in Data.Functor.ProductIsomorphic.GenericInstances

Methods

productConstructor :: f p -> M1 i c f p

ProductConstructor (f x -> g x -> (f :*: g) x)

Defined in Data.Functor.ProductIsomorphic.GenericInstances

Methods

productConstructor :: f x -> g x -> (f :*: g) x

module Data.Functor.ProductIsomorphic.Class

module Data.Functor.ProductIsomorphic.Instances