rest-rewrite
Rewriting library with online termination checking
| LTS Haskell 24.18: | 0.4.5@rev:1 |
| Stackage Nightly 2025-11-04: | 0.4.5@rev:1 |
| Latest on Hackage: | 0.4.5@rev:1 |
This version can be pinned in stack with:
rest-rewrite-0.4.5@sha256:cb19044b4a17ebb2c03514d5e5223f3ef45663e03b45d82747357796f3ebc496,4086Module documentation for 0.4.5
- Language
- Language.REST
- Language.REST.Core
- Language.REST.Dot
- Language.REST.ExploredTerms
- Language.REST.Internal
- Language.REST.Internal.EquivalenceClass
- Language.REST.Internal.ListT
- Language.REST.Internal.MultiSet
- Language.REST.Internal.MultisetOrder
- Language.REST.Internal.OpOrdering
- Language.REST.Internal.Orphans
- Language.REST.Internal.PartialOrder
- Language.REST.Internal.Rewrite
- Language.REST.Internal.Util
- Language.REST.Internal.WQO
- Language.REST.Internal.WorkStrategy
- Language.REST.KBO
- Language.REST.LPO
- Language.REST.MetaTerm
- Language.REST.OCAlgebra
- Language.REST.OCToAbstract
- Language.REST.Op
- Language.REST.Path
- Language.REST.RESTDot
- Language.REST.RPO
- Language.REST.Rest
- Language.REST.RewriteRule
- Language.REST.RuntimeTerm
- Language.REST.SMT
- Language.REST.Types
- Language.REST.WQOConstraints
- Language.REST
Depends on 8 packages(full list with versions):
Used by 1 package in nightly-2025-11-04(full list with versions):