name:                 dino
version:              0.1
synopsis:             A convenient tagless EDSL
description:          For more information, see the
                      <https://github.com/emilaxelsson/trackit/blob/master/README.md README>.
license:              BSD3
license-file:         LICENSE
author:               Emil Axelsson
maintainer:           78emil@gmail.com
copyright:            2019 Mpowered Business Solutions
homepage:             https://github.com/emilaxelsson/dino
bug-reports:          https://github.com/emilaxelsson/dino/issues
category:             Language
build-type:           Simple
cabal-version:        >=1.10

extra-source-files:   README.md

source-repository head
  type:     git
  location: https://github.com/emilaxelsson/dino.git

library
  exposed-modules:      Dino.Pretty
                        Dino.AST
                        Dino.AST.Diff
                        Dino.Prelude
                        Dino.Types
                        Dino.Expression
                        Dino.Interpretation
                        Dino.Verification
                        Dino
  build-depends:        base < 5,
                        ansi-wl-pprint < 0.7,
                        containers < 0.7,
                        exceptions < 0.11,
                        errors < 2.4,
                        hashable < 1.3,
                        monad-loops < 0.5,
                        mtl < 2.3,
                        text < 1.3,
                        transformers < 0.6,
                        tree-view < 0.6,
                        unordered-containers < 0.3
  hs-source-dirs:       src
  default-language:     Haskell2010
  default-extensions:   ConstraintKinds
                        DataKinds
                        DefaultSignatures
                        DeriveFoldable
                        DeriveFunctor
                        DeriveGeneric
                        DeriveTraversable
                        FlexibleContexts
                        FlexibleInstances
                        FunctionalDependencies
                        GADTs
                        InstanceSigs
                        MultiParamTypeClasses
                        NamedFieldPuns
                        NoImplicitPrelude
                        OverloadedStrings
                        Rank2Types
                        ScopedTypeVariables
                        StandaloneDeriving
                        TupleSections
                        TypeApplications
                        TypeFamilies
                        TypeOperators
  other-extensions:     GeneralizedNewtypeDeriving
                        PolyKinds
  ghc-options:          -Wall

test-suite tests
  type:                 exitcode-stdio-1.0
  hs-source-dirs:       test
  main-is:              Tests.hs
  other-modules:        DiffTest
  build-depends:        base
                      , dino
                      , tasty < 1.3
                      , tasty-quickcheck < 0.11
                      , tasty-th < 0.2
                      , text
                      , unordered-containers
  ghc-options:          -Wall -threaded -rtsopts -with-rtsopts=-N
  default-language:     Haskell2010
  default-extensions:   DefaultSignatures
                        FlexibleInstances
                        OverloadedStrings
                        ScopedTypeVariables
                        TupleSections

test-suite examples
  type:                 exitcode-stdio-1.0
  hs-source-dirs:       examples
  main-is:              Examples.hs
  other-modules:        README
  build-depends:        base >= 4.10 && < 5
                      , dino
  ghc-options:          -Wall
  default-language:     Haskell2010
  default-extensions:   NoImplicitPrelude
                        OverloadedStrings
                        Rank2Types