name: type-level-bst
category: Dependent Types, Data Structures
version: 0.1
license: BSD3
license-file: LICENSE
cabal-version: >= 1.10
tested-with: GHC==7.8.3
author: Yusuke Matsushita
maintainer: Yusuke Matsushita <y.skm24t@gmail.com>
stability: provisional
homepage: https://github.com/Kinokkory/type-level-bst
bug-reports: https://github.com/Kinokkory/type-level-bst/issues
copyright: (c) Yusuke Matsushita 2014
synopsis: type-level binary search trees in haskell
description:
    An efficient implementation of type-level binary search trees and of dependently-typed extensible records and unions.
    .
    More information can be found in the <http://hackage.haskell.org/package/type-level-bst hackage's haddock> or the <http://kinokkory.github.io/type-level-bst/ updated haddock>.

build-type: Simple

source-repository head
    type: git
    location: git@github.com:Kinokkory/type-level-bst.git

library
    hs-source-dirs: src
    default-language: Haskell2010
    other-extensions:
        Safe, Trustworthy,
        TypeOperators, ScopedTypeVariables,
        PolyKinds, DataKinds, ConstraintKinds,
        RankNTypes, TypeFamilies,
        MultiParamTypeClasses, FunctionalDependencies,
        UndecidableInstances, FlexibleContexts, FlexibleInstances
    build-depends:
        base ==4.*
    exposed-modules: Type.BST
    other-modules: Type.BST.Proxy, Type.BST.Showtype, Type.BST.Item, Type.BST.Compare, Type.BST.List, Type.BST.Sum, Type.BST.BST
    ghc-options: -Wall