Algorithms for manipulating Product types. More...
Topics | |
| Product Type Generalized Reductions | |
| Algorithms performing reductions over product types. | |
| Product Type Generators | |
| Algorithms generating product types. | |
| Product Type Queries | |
| Algorithms querying properties from product types. | |
| Product Type Transformations | |
| Algorithms applying transformation to product types. | |
