name:                constraint
version:             0.1.0.0
synopsis:            Reified constraints
-- description:         
license:             BSD3
license-file:        LICENSE
author:              M Farkas-Dyck
maintainer:          m.farkasdyck@gmail.com
-- copyright:           
category:            Constraint
build-type:          Simple
cabal-version:       >=1.10

library
  exposed-modules:     Data.Constraint
  -- other-modules:       
  -- other-extensions:    
  build-depends:       base >=4.10 && <4.12
                     , category >=0.1.2
  -- hs-source-dirs:      
  default-language:    Haskell2010
  default-extensions:  TypeOperators
                     , RankNTypes
                     , PolyKinds
                     , ConstraintKinds
                     , MultiParamTypeClasses
                     , GADTs
                     , StandaloneDeriving