Copyright | (c) Brent Yorgey 2010 |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | byorgey@cis.upenn.edu |
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
Functions to manipulate and simplify species expressions according to algebraic species isomorphisms.
- simplify :: SpeciesAST -> SpeciesAST
- sumOfProducts :: SpeciesAST -> [[SpeciesAST]]
Documentation
simplify :: SpeciesAST -> SpeciesAST Source
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.