name:                singleton-dict
version:             0.1.0.0
synopsis:            Typelevel balanced search trees via a singletonized Data.Map
description:         This package provides a typelevel balanced search tree based on an ancient version of Data.Map, 
                     originating from the uulib package. I used this older version as it uses relatively "simple"
                     Haskell, and thus is singletonized relatively straightforwardly.
homepage:            https://github.com/amiddelk/singleton-dict#readme
license:             BSD3
license-file:        LICENSE
author:              Arie Middelkoop
maintainer:          amiddelk@gmail.com
copyright:           2017 Arie Middelkoop
category:            Data, Dependent Types
build-type:          Simple
extra-source-files:  README.md
cabal-version:       >=1.10
tested-with:         GHC==8.0.2
stability:           experimental

library
  hs-source-dirs:      src
  exposed-modules:     Data.Type.Dict
  build-depends:       base >= 4.7 && < 5, singletons == 2.2.*
  default-language:    Haskell2010

source-repository head
  type:     git
  location: https://github.com/amiddelk/singleton-dict