hobbits.cabal

Name:                hobbits
Version:             1.4
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:          westbrook@galois.com

Category:            Data Structures

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

extra-source-files: CHANGELOG

Library
  build-depends:
      base >= 4.7 && < 5
    , template-haskell >= 2.11 && < 3
    , syb
    , mtl
    , tagged
    , deepseq
    , haskell-src-exts >= 1.17.1 && < 2
    , haskell-src-meta
    , th-abstraction >= 0.6 && < 0.8
    , th-expand-syns >= 0.3 && < 0.5
    , transformers
    , containers
    , vector

  GHC-Options: -Wall

  hs-source-dirs: src

  default-language: Haskell2010

  Exposed-Modules: Data.Type.RList,

                   Data.Binding.Hobbits,
                   Data.Binding.Hobbits.Mb,
                   Data.Binding.Hobbits.Closed,
                   Data.Binding.Hobbits.QQ,
                   Data.Binding.Hobbits.Liftable,
                   Data.Binding.Hobbits.MonadBind,
                   Data.Binding.Hobbits.NameMap,
                   Data.Binding.Hobbits.NameSet,

                   Data.Binding.Hobbits.PatternParser,
                   Data.Binding.Hobbits.NuMatching,
                   Data.Binding.Hobbits.NuMatchingInstances,

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

  Other-Modules: Data.Binding.Hobbits.Internal.Utilities,
                   Data.Binding.Hobbits.Internal.Name
                   Data.Binding.Hobbits.Internal.Mb
                   Data.Binding.Hobbits.Internal.Closed