Product is:module
Products, lifted to functors.
The product of two bifunctors.
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).
This module defines an open product type. This is used in the
case-analysis handler for the open sum type (
catchesUnion).
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.
Solves a simple linear optimization problem
This is the integrated interface module for product restricted
functors.
The coproduct of two monoids.
Creation date: Tue Nov 19 15:07:09 2019.
Use of standard input is not supported.