automata-0.1.0.0: automata.cabal
cabal-version: 2.2
name: automata
version: 0.1.0.0
synopsis: automata
description:
This package implements the following:
.
Deterministic Finite State Automata (DFSA)
.
Non-Deterministic Finite State Automata (NFSA)
.
Deterministic Finite State Transducers (DFST)
.
Non-Deterministic Finite State Transducers (NFST)
category: Data, Math
homepage: https://github.com/andrewthad/automata
bug-reports: https://github.com/andrewthad/automata/issues
author: Andrew Martin
maintainer: andrew.thaddeus@gmail.com
copyright: 2018 Andrew Martin
license: BSD-3-Clause
license-file: LICENSE
build-type: Simple
extra-source-files:
ChangeLog.md
README.md
source-repository head
type: git
location: https://github.com/andrewthad/automata
library
hs-source-dirs: src
exposed-modules:
Automata.Dfsa
Automata.Nfsa
Automata.Nfsa.Builder
Automata.Internal
Automata.Internal.Transducer
Automata.Nfst
Automata.Dfst
build-depends:
, base >=4.10.1.0 && <5
, bytestring >= 0.10.8
, primitive >= 0.6.4
, primitive-containers >= 0.3
, containers >= 0.5.9
, contiguous
, semirings >= 0.3.1.1
, transformers
ghc-options: -O2
default-language: Haskell2010
test-suite test
type: exitcode-stdio-1.0
main-is: Main.hs
hs-source-dirs:
test
ghc-options: -threaded -rtsopts -with-rtsopts=-N -O2
build-depends:
, HUnit
, QuickCheck
, automata
, base >=4.7 && <5
, containers
, enum-types >= 0.1
, leancheck
, leancheck-enum-instances >= 0.1
, primitive
, quickcheck-classes
, quickcheck-enum-instances >= 0.1
, tasty
, tasty-hunit
, tasty-leancheck
, tasty-quickcheck
default-language: Haskell2010