product-isomorphic-0.0.3.4: Weaken applicative functor on products
Copyright2017 Kei Hibino
LicenseBSD3
Maintainerex8k.hibino@gmail.com
Stabilityexperimental
Portabilityunknown
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Functor.ProductIsomorphic

Description

This is the integrated interface module for product restricted functors.

Synopsis

Documentation

class ProductConstructor c Source #

Define product isomorphic inference rule to specify record constructor

Minimal complete definition

productConstructor

Instances

Instances details
ProductConstructor () Source # 
Instance details

Defined in Data.Functor.ProductIsomorphic.TupleInstances

ProductConstructor (U1 p) Source # 
Instance details

Defined in Data.Functor.ProductIsomorphic.GenericInstances

ProductConstructor (a -> b -> c -> d -> e -> f -> g -> (a, b, c, d, e, f, g)) Source # 
Instance details

Defined in Data.Functor.ProductIsomorphic.TupleInstances

Methods

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

ProductConstructor (a -> b -> c -> d -> e -> f -> (a, b, c, d, e, f)) Source # 
Instance details

Defined in Data.Functor.ProductIsomorphic.TupleInstances

Methods

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

ProductConstructor (a -> b -> c -> d -> e -> (a, b, c, d, e)) Source # 
Instance details

Defined in Data.Functor.ProductIsomorphic.TupleInstances

Methods

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

ProductConstructor (a -> b -> c -> d -> (a, b, c, d)) Source # 
Instance details

Defined in Data.Functor.ProductIsomorphic.TupleInstances

Methods

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

ProductConstructor (a -> b -> c -> (a, b, c)) Source # 
Instance details

Defined in Data.Functor.ProductIsomorphic.TupleInstances

Methods

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

ProductConstructor (a -> b -> (a, b)) Source # 
Instance details

Defined in Data.Functor.ProductIsomorphic.TupleInstances

Methods

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

ProductConstructor (c -> K1 i c p) Source # 
Instance details

Defined in Data.Functor.ProductIsomorphic.GenericInstances

Methods

productConstructor :: c -> K1 i c p Source #

ProductConstructor (f p -> M1 i c f p) Source # 
Instance details

Defined in Data.Functor.ProductIsomorphic.GenericInstances

Methods

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

ProductConstructor (f x -> g x -> (f :*: g) x) Source # 
Instance details

Defined in Data.Functor.ProductIsomorphic.GenericInstances

Methods

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