@hackage kind-integer0.6.0

Type-level integers. Like KnownNat, but for integers.

Categories
- Type System
License
BSD-3-Clause
Maintainer
renλren.zone
Links
Versions
- 0.6.0 Wed, 9 Aug 2023
- 0.5 Tue, 11 Apr 2023
- 0.4 Wed, 5 Apr 2023
- 0.3 Sat, 18 Mar 2023
- 0.2 Fri, 17 Mar 2023
- 0.1 Tue, 14 Mar 2023

Installation
In your cabal file:
Tested Compilers
- 9.4.3
Dependencies (3)
- base >=4 && <5
- singletons
- singletons-base
Dependents (2)
@hackage/i, @hackage/kind-rational

kind-integer

Haskell type-level Integers. Like KnownNat, but for Integers.