@hackage / ghc-typelits-knownnat

Derive KnownNat constraints from other KnownNat constraints

Latest0.8.3

Dependencies

library:ghc-typelits-knownnat (8 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.9 && <5
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.5.2.0 && <0.7
- License: BSD-3-Clause
@hackage / ghc-tcplugin-api An API for type-checker plugins.
- Version: >=0.18.1.0 && <0.19
- License: BSD-3-Clause
@hackage / ghc-bignum GHC BigNum library
- Version: >=1.0 && <1.6
- License: BSD-3-Clause
@hackage / template-haskell Support library for Template Haskell
- Version: >=2.11.0.0 && <2.26
- License: BSD-3-Clause
@hackage / integer-gmp Integer library based on GMP
- Version: >=1.0 && <1.1
- License: BSD-3-Clause
@hackage / ghc The GHC API
- Version: >=8.0.1 && <9.17
- License: BSD-3-Clause
@hackage / ghc-typelits-natnormalise GHC typechecker plugin for types of kind GHC.TypeLits.Nat
- Version: >=0.9.0 && <0.10
- License: BSD-2-Clause

test:unittests (7 dependencies)