hobbits-1.1.1: hobbits.cabal

Name:                hobbits
Version:             1.1.1
Synopsis:            A library for canonically representing terms with binding

Description: A library for canonically representing terms with binding via a
             constructor for introducing fresh names and a restricted API that avoids the
             need for alpha-equivalence.

License:             BSD3
License-file:        LICENSE
Author:              Eddy Westbrook, Nicolas Frisby, Paul Brauner
Maintainer:          emw4@rice.edu

Category:            Data Structures

Cabal-version: >= 1.6.0.1
Build-Type:    Simple

Library
  Build-Depends: base >= 4 && < 5
  Build-Depends: template-haskell >= 2.5 && < 2.9

  Build-Depends: syb
  Build-Depends: mtl

  Build-Depends: type-equality, tagged
  Build-Depends: deepseq

  Build-Depends: haskell-src-meta >= 0.5.1.1, haskell-src-exts,
                 th-expand-syns >= 0.3 && < 0.4, transformers

  GHC-Options: -fwarn-incomplete-patterns -fwarn-unused-imports

  Extensions: CPP

  Exposed-Modules: Data.Type.List,
                   Data.Type.List.List,
                   Data.Type.List.Map,
                   Data.Type.List.Proof.Append,
                   Data.Type.List.Proof.Member,

                   Data.Binding.Hobbits,
                   Data.Binding.Hobbits.Mb,
                   Data.Binding.Hobbits.Closed,
                   Data.Binding.Hobbits.QQ,
                   Data.Binding.Hobbits.Liftable,

                   Data.Binding.Hobbits.Internal,
                   Data.Binding.Hobbits.PatternParser,
                   Data.Binding.Hobbits.NuElim,

                   Data.Binding.Hobbits.Examples.LambdaLifting,
                   Data.Binding.Hobbits.Examples.LambdaLifting.Terms,
                   Data.Binding.Hobbits.Examples.LambdaLifting.Examples

  Other-Modules: Data.Binding.Hobbits.InternalUtilities