Product -package:generic-lens

module Data.Functor.Product
base
Products, lifted to functors.
data Product (f :: k -> Type) (g :: k -> Type) (a :: k)
base Data.Functor.Product
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')
newtype Product a
base Data.Monoid Data.Semigroup, relude Relude.Monoid, ghc-internal GHC.Internal.Data.Monoid GHC.Internal.Data.Semigroup.Internal
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}
Product :: a -> Product a
base Data.Monoid Data.Semigroup, base-compat Data.Monoid.Compat Data.Semigroup.Compat, relude Relude.Monoid, optparse-generic Options.Generic, base-prelude BasePrelude, ihaskell IHaskellPrelude, numhask NumHask.Algebra.Multiplicative, base-compat-batteries Data.Monoid.Compat Data.Semigroup.Compat, ghc-internal GHC.Internal.Data.Monoid GHC.Internal.Data.Semigroup.Internal, rebase Rebase.Prelude
module Data.Bifunctor.Product
bifunctors
The product of two bifunctors.
data Product f g a b
bifunctors Data.Bifunctor.Product
Form the product of two bifunctors
newtype () => Product a
base-compat Data.Monoid.Compat Data.Semigroup.Compat, ihaskell IHaskellPrelude, base-compat-batteries Data.Monoid.Compat Data.Semigroup.Compat, rebase Rebase.Prelude
Monoid under multiplication. 
>>> getProduct (Product 3 <> Product 4 <> mempty)
12
class (Num e, Element e) => Product e
hmatrix Numeric.LinearAlgebra
Matrix product and related functions
newtype Product a
optparse-generic Options.Generic, base-prelude BasePrelude
Monoid under multiplication. 
>>> getProduct (Product 3 <> Product 4 <> mempty)
12
module TextShow.Data.Functor.Product
text-show
TextShow instance for Product. Since: 3
module Data.Bifunctor.Product
rerebase
module Data.Functor.Product
rerebase
newtype Product v c
ghc-typelits-natnormalise GHC.TypeLits.Normalise.SOP
type family Product (arg :: t a) :: a
singletons-base Data.List.Singletons
data () => Product a
lens-family-core Lens.Family
Monoid under multiplication. 
>>> getProduct (Product 3 <> Product 4 <> mempty)
12
newtype Product a
numhask NumHask.Algebra.Multiplicative
A wrapper for an Multiplicative which distinguishes the multiplicative structure
module Optics.TH.Internal.Product
optics-th
Product :: Operation
hvega Graphics.Vega.VegaLite
Product of field values to be used in an aggregate operation. This was added in Vega-Lite 4.6.0.
module Data.Profunctor.Product
product-profunctors
data () => Product (f :: k -> Type) (g :: k -> Type) (a :: k)
rank2classes Rank2
Lifted product of functors.
module Rebase.Data.Bifunctor.Product
rebase
module Rebase.Data.Functor.Product
rebase
Product :: NonEmpty (Lateral, PrimQuery' a) -> [PrimExpr] -> PrimQuery' a
opaleye Opaleye.Internal.PrimQuery
module Data.CategoryObject.Product
constrained-categories
module HaskellWorks.Data.Product
hw-prim