Hoogle Search
Within LTS Haskell 24.4 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
data
Product (f :: k -> Type) (g :: k -> Type) (a :: k)rank2classes Rank2 Lifted product of functors.
Examples
>>> fmap (+1) (Pair [1, 2, 3] (Just 0)) Pair [2,3,4] (Just 1)
>>> Pair "Hello, " (Left 'x') <> Pair "World" (Right 'y') Pair "Hello, World" (Right 'y')
data
Product (f :: u -> Type) (as :: [u])world-peace Data.WorldPeace An extensible product type. This is similar to Union, except a product type instead of a sum type.
module Data.WorldPeace.
Product This module defines an open product type. This is used in the case-analysis handler for the open sum type (catchesUnion).
data
Product (f :: u -> Type) (as :: [u])world-peace Data.WorldPeace.Product An extensible product type. This is similar to Union, except a product type instead of a sum type.
module Data.Type.Functor.
Product Generalized functor products based on lifted Foldables. For example, Rec f '[a,b,c] from vinyl contains an f a, f b, and f c. PMaybe f ('Just a) contains an f a and PMaybe f 'Nothing contains nothing. Also provide data types for "indexing" into each foldable.
module Data.Profunctor.
Product No documentation available.
-
testing-feat Test.Feat.Enumerate Monoid under multiplication.
Product x <> Product y == Product (x * y)
Examples
>>> Product 3 <> Product 4 <> mempty Product {getProduct = 12}>>> mconcat [ Product n | n <- [2 .. 10]] Product {getProduct = 3628800} -
testing-feat Test.Feat.Enumerate No documentation available.
module Data.Type.Witness.Specific.List.
Product No documentation available.
-
Magic product operations using Generics These classes need not be instantiated manually, as GHC can automatically prove valid instances via Generics. Only the Generic class needs to be derived (see examples).