name:                visualize-cbn
version:             0.1.0.1
synopsis:            Visualize CBN reduction
description:         CBN interpretation and visualization tool.
                     Exports in text format, coloured text (ANSI) or HTML/JavaScript.
license:             BSD3
license-file:        LICENSE
author:              Edsko de Vries
maintainer:          edsko@well-typed.com
copyright:           Well-Typed LLP
category:            Development
build-type:          Simple
extra-source-files:  ChangeLog.md README.md CONTRIBUTORS
cabal-version:       >=1.10

source-repository head
  type:     git
  location: https://github.com/well-typed/visualize-cbn

executable visualize-cbn
  main-is:             Main.hs
  other-modules:       CBN.Eval
                       CBN.Free
                       CBN.Heap
                       CBN.Language
                       CBN.Options
                       CBN.Parser
                       CBN.Pretty
                       CBN.Pretty.Precedence
                       CBN.Subst
                       CBN.Trace
                       CBN.Trace.JavaScript
                       CBN.Trace.Textual
                       CBN.Trace.Graph
                       CBN.Util.Doc
                       CBN.Util.Doc.Rendered
                       CBN.Util.Doc.Rendered.ANSI
                       CBN.Util.Doc.Rendered.HTML
                       CBN.Util.Doc.Rendered.String
                       CBN.Util.Doc.Style
                       CBN.Util.Map
                       CBN.Util.Snoc
  build-depends:       base                 >= 4.8  && < 4.11
                     , ansi-terminal        >= 0.6  && < 0.7
                     , blaze-html           >= 0.8  && < 0.10
                     , blaze-markup         >= 0.7  && < 0.9
                     , containers           >= 0.5  && < 0.6
                     , data-default         >= 0.7  && < 0.8
                     , optparse-applicative >= 0.12 && < 0.15
                     , parsec               >= 3.1  && < 3.2
                       -- version shipped with ghc
                     , template-haskell
                     , text
  hs-source-dirs:      src
  default-language:    Haskell2010
  default-extensions:  DeriveDataTypeable
                       ExistentialQuantification
                       FlexibleInstances
                       LambdaCase
                       RecordWildCards
                       ScopedTypeVariables
                       StandaloneDeriving
  other-extensions:    GeneralizedNewtypeDeriving
                       OverloadedStrings
                       TemplateHaskell
  ghc-options:         -Wall
                       -fno-warn-orphans
                       -rtsopts
                       "-with-rtsopts=-M128M"