Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- forceDelay ∷ Term name uni fun a → Term name uni fun a
Documentation
forceDelay ∷ Term name uni fun a → Term name uni fun a Source #
Traverses the term, for each node applying the optimisation
detailed above. For implementation details see optimisationProcedure
.