name:                turingMachine
-- PVP summary:      +-+------- breaking API changes
--                   | | +----- non-breaking API additions
--                   | | | +--- code changes with no API change
version:             1.0.0.0
synopsis:            An implementation of Turing Machine and Automaton
description:         An implementation of Turing Machine and Automaton for
                     language theory
homepage:            https://github.com/sanjorgek/turingMachine
license:             GPL-3
license-file:        LICENSE
author:              Jorge Santiago Alvarez Cuadros
maintainer:          sanjorgek@ciencias.unam.mx
bug-reports:         https://github.com/sanjorgek/turingMachine/issues
copyright:           (c) Jorge Santiago Alvarez Cuadros
category:            Math
build-type:          Simple
extra-source-files:  README.md
cabal-version:       >=1.10

source-repository head
  type:                git
  location:            git@github.com:sanjorgek/turingMachine.git

library
  exposed-modules:     Data.Delta
                       , Data.Helper
                       , Data.Numerable
                       , Data.Sigma
                       , Data.Label
                       , Math.Model.Automaton.Finite
                       , Math.Model.Automaton.Stack
                       , Math.Model.Turing
                       , Math.Model.Turing.TwoWays
                       , Math.Model.Turing.FourWays
  -- other-modules:
  other-extensions:    TypeSynonymInstances
                       , TypeOperators
                       , MultiParamTypeClasses
                       , GADTSyntax
                       , GADTs
                       , ExistentialQuantification
                       , TypeFamilies
                       , FlexibleInstances
  build-depends:       base >=4.6 && <5
                       , containers >= 0.5.6.2
                       , mtl >= 2 && < 2.3
  hs-source-dirs:      src
  default-language:    Haskell2010


test-suite state
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test
  main-is:             LabelTest.hs
  --other-modules:
  build-depends:       base
                       , containers
                       , hspec
                       , hspecVariant >=1 && <2
                       , QuickCheck
                       , QuickCheckVariant >=1 && <2
                       , turingMachine
  default-language:    Haskell2010

test-suite sigma
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test
  main-is:             SigmaTest.hs
  --other-modules:
  build-depends:       base
                       , hspec
                       , hspecVariant >=1 && <2
                       , QuickCheck
                       , QuickCheckVariant >=1 && <2
                       , QuickCheck
                       , containers
                       , turingMachine
  default-language:    Haskell2010

test-suite finite
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test
  main-is:             FiniteTest.hs
  --other-modules:
  build-depends:       base
                       , hspec
                       , hspecVariant >=1 && <2
                       , QuickCheck
                       , QuickCheckVariant >=1 && <2
                       , containers
                       , turingMachine
  default-language:    Haskell2010