| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Camfort.Transformation.EquivalenceElim
Documentation
refactorEquivalences :: ProgramFile A -> EquivalenceRefactoring (ProgramFile A) Source #
| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Camfort.Transformation.EquivalenceElim
refactorEquivalences :: ProgramFile A -> EquivalenceRefactoring (ProgramFile A) Source #