product-isomorphic-0.0.3.3: Weaken applicative functor on products

Copyright | 2017 Kei Hibino
License | BSD3
Maintainer | ex8k.hibino@gmail.com
Stability | experimental
Portability | unknown
Safe Haskell | Safe
Language | Haskell2010

Data.Functor.ProductIsomorphic.Unsafe

Description

This module defines unsafe class interfaces.

Synopsis

- class ProductConstructor c where
  - productConstructor :: c

# Documentation

class ProductConstructor c where Source #

Define product isomorphic inference rule to specify record constructor

Methods

productConstructor :: c Source #

Instances

ProductConstructor () Source # |
Instance details Defined in Data.Functor.ProductIsomorphic.TupleInstances Methods productConstructor :: () Source #
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 (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 #
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 (c -> K1 i c p) Source # |
Instance details Defined in Data.Functor.ProductIsomorphic.GenericInstances Methods productConstructor :: c -> K1 i c p Source #
ProductConstructor (U1 p) Source # |
Instance details Defined in Data.Functor.ProductIsomorphic.GenericInstances Methods productConstructor :: U1 p Source #