rewrite-inspector.cabal

name: rewrite-inspector
version: 0.1.0.11
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.10     && < 5,
                      binary        >= 0.8.5    && < 0.11,
                      hashable      >= 1.2.1.0  && < 1.4,
                      containers    >= 0.5.0.0  && < 0.7,
                      brick         == 0.50,
                      vty           >= 5.26,
                      prettyprinter >= 1.2.0.1  && < 2.0,
                      text,
                      microlens     >= 0.3.0.0,
                      microlens-th,
                      data-default  >= 0.7.1.1

    ghc-options:        -Wall
    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