type-natural-0.7.1.4: type-natural.cabal

name: type-natural
version: 0.7.1.4
cabal-version: >=1.10
build-type: Simple
license: BSD3
license-file: LICENSE
copyright: (C) Hiromi ISHII 2013-2014
maintainer: konn.jinro_at_gmail.com
homepage: https://github.com/konn/type-natural
synopsis: Type-level natural and proofs of their properties.
description:
    Type-level natural numbers and proofs of their properties.
    .
    Version 0.6+ supports __GHC 8+ only__.
    .
    __Use 0.5.* with ~ GHC 7.10.3__.
category: Math
author: Hiromi ISHII
tested-with: GHC ==8.0.2 GHC ==8.2.2

source-repository head
    type: git
    location: git://github.com/konn/type-natural.git

library
    
    if impl(ghc >=8.0.0)
        ghc-options: -Wno-redundant-constraints
    exposed-modules:
        Data.Type.Natural
        Data.Type.Ordinal
        Data.Type.Ordinal.Builtin
        Data.Type.Ordinal.Peano
        Data.Type.Natural.Builtin
        Data.Type.Natural.Class
        Data.Type.Natural.Class.Arithmetic
        Data.Type.Natural.Class.Order
    build-depends:
        base >=4 && <4.10,
        equational-reasoning >=0.4.1.1 && <0.6,
        monomorphic >=0.0.3 && <0.1,
        template-haskell >=2.8 && <2.12,
        constraints >=0.3 && <0.10,
        ghc-typelits-natnormalise >=0.4 && <0.6,
        ghc-typelits-presburger >=0.1.1 && <0.2,
        singletons >=2.2 && <2.4
    default-language: Haskell2010
    default-extensions: DataKinds PolyKinds ConstraintKinds GADTs
                        ScopedTypeVariables TemplateHaskell TypeFamilies TypeOperators
                        MultiParamTypeClasses UndecidableInstances FlexibleContexts
                        FlexibleInstances
    other-modules:
        Data.Type.Natural.Definitions
        Data.Type.Natural.Core
        Data.Type.Natural.Compat
    ghc-options: -Wall -O2 -fno-warn-orphans