name: rewrite-inspector
version: 0.1.0.8
cabal-version: >=1.10
build-type: Simple
license: BSD3
license-file: LICENSE
maintainer: Orestis Melkonian <melkon.or@gmail.com>
stability: experimental
homepage: http://github.com/omelkonian/rewrite-inspector/
bug-reports: http://github.com/omelkonian/rewrite-inspector/issues
category: rewriting, inspection, terminal, user interface
synopsis: Inspection of rewriting steps
description:
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.
author: Orestis Melkonian
extra-source-files:
README.md
LICENSE
source-repository head
type: git
location: git://github.com/omelkonian/rewrite-inspector.git
library
hs-source-dirs: src
exposed-modules: RewriteInspector
Gen
Types
Pretty
BrickUI
build-depends: base >= 4.3.1.0 && < 5,
binary >= 0.8.5 && < 0.11,
hashable >= 1.2.1.0 && < 1.3,
containers >= 0.5.0.0 && < 0.7,
brick == 0.46,
vty >= 5.23.1,
prettyprinter >= 1.2.0.1 && < 2.0,
text,
microlens >= 0.3.0.0,
microlens-th,
data-default >= 0.7.1.1
default-language: Haskell2010
default-extensions: ScopedTypeVariables
ViewPatterns
LambdaCase
MultiParamTypeClasses
FunctionalDependencies
ConstraintKinds
TypeApplications
AllowAmbiguousTypes
TypeSynonymInstances
TypeOperators
DeriveGeneric
DeriveAnyClass
DefaultSignatures
TypeFamilies
FlexibleContexts
StandaloneDeriving
executable expr-example
hs-source-dirs: examples/expr
main-is: Main.hs
build-depends: base >=4.7 && <5,
prettyprinter >= 1.2.0.1 && < 2.0,
rewrite-inspector -any
ghc-options: -threaded
extra-libraries: pthread
default-language: Haskell2010
executable str-example
hs-source-dirs: examples/str
main-is: Main.hs
build-depends: base >=4.7 && <5,
prettyprinter >= 1.2.0.1 && < 2.0,
rewrite-inspector -any
ghc-options: -threaded
extra-libraries: pthread
default-language: Haskell2010