cabal-version:       >=1.10
-- Initial package description 'unbound-kind-generics.cabal' generated by
-- 'cabal init'.  For further documentation, see
-- http://haskell.org/cabal/users-guide/

name:                unbound-kind-generics
version:             0.2.1.1
synopsis:            Support for programming with names and binders using kind-generics
description:         Specify the binding structure of your data type with an
                     expressive set of type combinators, and unbound-generics
                     handles the rest!  Automatically derives
                     alpha-equivalence, free variable calculation,
                     capture-avoiding substitution, and more. See
                     @Unbound.Generics.LocallyNameless.Kind.Derive@ to get started.
                     .
                     This is an independent re-implementation of <http://hackage.haskell.org/package/unbound-generics unbound-generics>
                     but using <https://hackage.haskell.org/package/kind-generics kind-generics>
                     instead of <https://hackage.haskell.org/package/base/docs/GHC-Generics.html GHC Generics>.
-- bug-reports:
license:             BSD3
license-file:        LICENSE
author:              Alejandro Serrano
maintainer:          trupill@gmail.com
-- copyright:
category:            Language
build-type:          Simple
extra-source-files:  CHANGELOG.md

library
  exposed-modules:     Unbound.Generics.LocallyNameless.Kind.Derive,
                       Unbound.Generics.LocallyNameless.Kind.Example
  -- other-modules:
  -- other-extensions:
  build-depends:       base >= 4.12 && < 5, unbound-generics >= 0.4, kind-generics >= 0.4, kind-generics-th
  hs-source-dirs:      src
  default-language:    Haskell2010
  ghc-options:         -Wall