homepage: http://github.com/omelkonian/rewrite-inspector/
changelog-type: ''
hash: 9574c3ddd4c7793d94bedd5bb9bd0d8565cb15f50cadd22429acc6f14ae0d9e5
test-bench-deps: {}
maintainer: Orestis Melkonian <melkon.or@gmail.com>
synopsis: Inspection of rewriting steps
changelog: ''
basic-deps:
  rewrite-inspector: -any
  microlens-th: -any
  base: ! '>=4.7 && <5'
  text: -any
  vty: ! '>=5.23.1'
  data-default: ! '>=0.7.1.1'
  containers: ! '>=0.5.0.0 && <0.7'
  binary: ! '>=0.8.5 && <0.11'
  prettyprinter: ! '>=1.2.0.1 && <2.0'
  microlens: ! '>=0.3.0.0'
  brick: ! '>=0.40'
all-versions:
- 0.1.0.0
- 0.1.0.1
author: Orestis Melkonian
latest: 0.1.0.1
description-type: markdown
description: |+
  # Rewrite Inspector

  A terminal UI for inspecting steps taken by a rewriting process.
  Useful for the optimization phase of a compiler,
  or even evaluators of small languages.

  To use the library, the user's type of language expressions
  must be an instance of the `Diff` typeclass (see `app/Main.hs` for an example).



license-name: BSD-3-Clause

Update from Hackage at 2019-05-29T19:37:59Z
Update from Hackage at 2019-05-29T19:37:59Z
