name:               structural-induction
category:           Theorem Provers, Logic
version:            0.2.0.1
license:            LGPL-3
license-file:       LICENSE
author:             Dan Rosén
maintainer:         Dan Rosén <danr@chalmers.se>
homepage:           http://www.github.com/danr/structural-induction
bug-reports:        http://www.github.com/danr/structural-induction/issues
build-type:         Simple
cabal-version:      >= 1.8
tested-with:        GHC == 7.4.2, GHC == 7.6.3, GHC == 7.8.3, GHC == 7.10.1
synopsis:           Instantiate structural induction schemas for algebraic data types
description:        See documentation for Induction.Structural
extra-source-files: changelog test/Env.hs test/EnvTypes.hs test/Walk.hs test/Util.hs test/Trace.hs test/Nat.hs

source-repository head
  type: git
  location: git://github.com/danr/structural-induction.git

library
  ghc-options:    -Wall -fno-warn-unused-imports

  exposed-modules:
    Induction.Structural,
    Induction.Structural.Auxiliary,
    Induction.Structural.Utils

  other-modules:
    Induction.Structural.Types,
    Induction.Structural.Subterms,
    Induction.Structural.Linearise

  build-depends:
    base                      >= 4 && < 5,
    genifunctors,
    mtl,
    containers,
    pretty,
    safe

test-suite walk
  type:           exitcode-stdio-1.0
  main-is:        Main.hs
  hs-source-dirs: test
  ghc-options:    -Wall -fno-warn-unused-imports

  build-depends:
    structural-induction,
    base,
    pretty,
    QuickCheck                >= 2.8,
    mtl                       >= 2.1.2,
    language-haskell-extract,
    testing-feat              >= 0.4,
    geniplate                 >= 0.6,
    safe