rest-rewrite

Rewriting library with online termination checking

LTS Haskell 24.28:0.4.5@rev:1
Stackage Nightly 2026-01-18:0.4.5@rev:1
Latest on Hackage:0.4.5@rev:1

See all snapshots rest-rewrite appears in

BSD-3-Clause licensed and maintained by Zack Grannan
This version can be pinned in stack with:rest-rewrite-0.4.5@sha256:cb19044b4a17ebb2c03514d5e5223f3ef45663e03b45d82747357796f3ebc496,4086

Module 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.WQOConstraints.ADT
        • Language.REST.WQOConstraints.Lazy
        • Language.REST.WQOConstraints.Strict
Used by 1 package in nightly-2026-01-18(full list with versions):
liquid-fixpoint

REST is a Rewriting library with online termination checking. For more details see the paper at https://arxiv.org/abs/2202.05872.