| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Numeric.Limp.Canon.Simplify
Description
Perform some simple optimisations on program
Documentation
simplify :: (Ord z, Ord r, Rep c) => Program z r c -> Either Infeasible (Assignment z r c, Program z r c) Source #
simplify' :: (Ord z, Ord r, Rep c) => Assignment z r c -> Program z r c -> Either Infeasible (Assignment z r c, Program z r c) Source #