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.GenericInstances

Contents

- Orphan instances

Description

This module defines instances for constructors used in generic-programming.

# Orphan instances

ProductConstructor (f x -> g x -> (f :*: g) x) Source # |
Instance details Methods productConstructor :: f x -> g x -> (f :*: g) x Source #
ProductConstructor (f p -> M1 i c f p) Source # |
Instance details Methods productConstructor :: f p -> M1 i c f p Source #
ProductConstructor (c -> K1 i c p) Source # |
Instance details Methods productConstructor :: c -> K1 i c p Source #
ProductConstructor (U1 p) Source # |
Instance details Methods productConstructor :: U1 p Source #