name:                extended-categories
version:             0.1.0
synopsis:       Extended Categories
description:    An implementation of category theory which makes use of GHC's enriched kind system.
homepage:            github.com/ian-mi/extended-categories
license:             BSD3
license-file:        LICENSE
author:              Ian Milligan
maintainer:          ianmllgn@gmail.com
-- copyright:           
category:            Math
build-type:          Simple
-- extra-source-files:  
cabal-version:       >=1.10
stability: experimental

source-repository head
        type: git
        location: git@github.com:ian-mi/extended-categories.git

source-repository this
        type: git
        location: git@github.com:ian-mi/extended-categories.git
        tag: 0.1.0

library
  exposed-modules:     Category, Category.Product, Functor, Product, Terminal, TerminalMorphism, NaturalTransformation, Monoidal
  -- other-modules:       
  default-extensions:    PolyKinds, DataKinds, TypeFamilies, ConstraintKinds, InstanceSigs, ScopedTypeVariables, MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts, FlexibleInstances, UndecidableInstances, TypeOperators, GADTs, NoImplicitPrelude, RankNTypes
  build-depends:       base >=4.7 && <4.8, constraints >=0.3 && <0.5, tagged >=0.7 && <0.8, ghc-prim >=0.3 && <0.4
  -- hs-source-dirs:      
  default-language:    Haskell2010