cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.33.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: b4a2c9232ca43b64c02fc5bd936fda1c23ff88e928a128aeda1ed33a6ff0c5c1

name:           typecheck-plugin-nat-simple
version:        0.1.0.2
synopsis:       Simple type check plugin which calculate addition, subtraction and less-or-equal-than
description:    Please see the README on GitHub at <https://github.com/YoshikuniJujo/typecheck-plugin-nat-simple#readme>
category:       Compiler Plugin
homepage:       https://github.com/YoshikuniJujo/typecheck-plugin-nat-simple#readme
bug-reports:    https://github.com/YoshikuniJujo/typecheck-plugin-nat-simple/issues
author:         Yoshikuni Jujo
maintainer:     yoshikuni.jujo.pc@gmail.com
copyright:      Yoshikuni Jujo
license:        BSD3
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md
    ChangeLog.md
data-files:
    lengthed_tail.hs
    plus1minus1.hs
    two_equations.hs
    minus1plus1.hs
    complex.hs
    mplus1_nplus1.hs
data-dir:       sample

source-repository head
  type: git
  location: https://github.com/YoshikuniJujo/typecheck-plugin-nat-simple

library
  exposed-modules:
      Plugin.TypeCheck.Nat.Simple
      Plugin.TypeCheck.Nat.Simple.TypeCheckWith
      Plugin.TypeCheck.Nat.Simple.Decode
      Data.Derivation.CanDerive
      Data.Derivation.Expression
      Data.Derivation.Parse
      Control.Monad.Try
      Data.Log
  other-modules:
      Control.Monad.StateT
      Data.Derivation.Constraint
      Data.Derivation.Expression.Internal
      Data.Parse
      Plugin.TypeCheck.Nat.Simple.UnNomEq
      Paths_typecheck_plugin_nat_simple
  hs-source-dirs:
      src
  build-depends:
      base >=4.7 && <5
    , containers
    , ghc
  default-language: Haskell2010

test-suite typecheck-plugin-nat-simple-test-log
  type: exitcode-stdio-1.0
  main-is: log.hs
  other-modules:
      Paths_typecheck_plugin_nat_simple
  hs-source-dirs:
      test
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base >=4.7 && <5
    , containers
    , ghc
    , typecheck-plugin-nat-simple
  default-language: Haskell2010

test-suite typecheck-plugin-nat-simple-test-spec
  type: exitcode-stdio-1.0
  main-is: spec.hs
  other-modules:
      Paths_typecheck_plugin_nat_simple
  hs-source-dirs:
      test
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base >=4.7 && <5
    , containers
    , ghc
    , typecheck-plugin-nat-simple
  default-language: Haskell2010

test-suite typecheck-plugin-nat-simple-test-tryLog
  type: exitcode-stdio-1.0
  main-is: tryLog.hs
  other-modules:
      Paths_typecheck_plugin_nat_simple
  hs-source-dirs:
      test
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base >=4.7 && <5
    , containers
    , ghc
    , typecheck-plugin-nat-simple
  default-language: Haskell2010