name: type-combinators
version: 0.1.2.1
category: Data
synopsis: A collection of data types for type-level programming
cabal-version: >=1.10
build-type: Simple
license: BSD3
license-file: LICENSE
maintainer: kylcarte@gmail.com
author: Kyle Carter
homepage: https://github.com/kylcarte/type-combinators

Source-Repository head
    type: git
    location: git://github.com/kylcarte/type-combinators.git

library
    exposed-modules:
        Data.Type.Combinator
        Data.Type.Conjunction
        Data.Type.Disjunction
        Data.Type.Fin
        Data.Type.Index
        Data.Type.Index.Quote
        Data.Type.Length
        Data.Type.Nat
        Data.Type.Nat.Quote
        Data.Type.Option
        Data.Type.Product
        Data.Type.Product.Dual
        Data.Type.Sum
        Data.Type.Sum.Dual
        Data.Type.Quantifier
        Data.Type.Vector
        Type.Class.HFunctor
        Type.Class.Known
        Type.Class.Witness
        Type.Family.Constraint
        Type.Family.List
        Type.Family.Maybe
        Type.Family.Monoid
        Type.Family.Nat
        Type.Family.Tuple
    build-depends:
        base >=4.8 && <4.9,
        containers,
        template-haskell,
        transformers,
        mtl
    default-language: Haskell2010
    hs-source-dirs: src