Hackage :: [Package]

rest-rewrite: Rewriting library with online termination checking

[ bsd3, library, rewriting ] [ Propose Tags ] [ Report a vulnerability ]

Rewriting library with online termination checking.

library rest-rewrite

Modules

[Last Documentation]

  • Language
    • Language.REST
      • Language.REST.Core
      • Language.REST.Dot
      • Language.REST.ExploredTerms
      • Internal
        • Language.REST.Internal.EquivalenceClass
        • Language.REST.Internal.MultiSet
        • Language.REST.Internal.MultisetOrder
        • Language.REST.Internal.OpOrdering
        • 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

library rest-rewrite:testlib

Modules

[Last Documentation]

  • Arith
  • DSL
  • Language
    • REST
      • Language.REST.ConcreteOC
      • Language.REST.ProofGen
  • MultisetOrdering
  • Nat
  • Set

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.1.1, 0.2.0, 0.3.0, 0.4.0, 0.4.1, 0.4.2, 0.4.3, 0.4.4
Dependencies base (>=4.7 && <5), containers (>=0.6.2 && <0.7), hashable (>=1.3.0 && <1.3.4), monad-loops (>=0.4.3 && <0.5), mtl (>=2.2.2 && <2.3), parsec (>=3.1.14 && <3.2), process (>=1.6.9 && <1.7), QuickCheck, rest-rewrite, text (>=1.2.4 && <1.3), time (>=1.9.3 && <1.10), unordered-containers (>=0.2.13 && <0.3) [details]
License BSD-3-Clause
Author Zack Grannan <zgrannan@cs.ubc.ca>
Maintainer Zack Grannan <zgrannan@cs.ubc.ca>
Revised Revision 1 made by Bodigrim at 2022-10-11T19:28:22Z
Category Rewriting
Source repo head: git clone https://github.com/zgrannan/rest
Uploaded by zgrannan at 2022-02-08T23:33:39Z
Distributions LTSHaskell:0.4.4, NixOS:0.4.4, Stackage:0.4.4
Reverse Dependencies 2 direct, 22 indirect [details]
Downloads 2231 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2022-02-09 [all 2 reports]