cabal-version:   3.0
name:            dependent-enummap
version:         0.1.0.0
synopsis:        A generalisation of IntMap to dependent types
description:     A generalisation of IntMap to dependent key and value types. The key type needs to be an instance of class Enum1, which is a generalisation of class Enum, in turn. Most of the API of IntMap is supported, usually by wrapping IntMap operations in cheap coercions and/or not so cheap optional runtime checks expressed as assertions.
license:         BSD-3-Clause
author:          Tom Smeding
category:        Data, Dependent Types
build-type:      Simple

library
  exposed-modules:
    Data.Dependent.EnumMap.Strict
    Data.Dependent.EnumMap.Strict.Internal
    -- Data.Dependent.EnumMap.Strict.Unsafe
  build-depends:
    base >= 4.15 && < 4.22,
    containers >= 0.6 && < 0.9,
    dependent-sum >= 0.7 && < 0.8,
    some >= 1 && < 2,
  hs-source-dirs: src
  default-language: Haskell2010
  ghc-options: -Wall

test-suite test
  type: exitcode-stdio-1.0
  main-is: Main.hs
  build-depends:
    base,
    dependent-enummap,
    dependent-sum,
    some,
  hs-source-dirs: test
  default-language: Haskell2010
  ghc-options: -Wall