Stability | experimental |
---|---|

Maintainer | byorgey@cis.upenn.edu |

Functions to manipulate and simplify species expressions according to algebraic species isomorphisms.

- simplify :: SpeciesAST -> SpeciesAST
- sumOfProducts :: SpeciesAST -> [[SpeciesAST]]

# Documentation

simplify :: SpeciesAST -> SpeciesASTSource

Given a species expression `s`

, return a species expression
in normal form which represents a species isomorphic to `s`

.

sumOfProducts :: SpeciesAST -> [[SpeciesAST]]Source

Simplify a species and decompose it into a sum of products.