@hackage kind-rational0.5.0

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

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

Installation
In your cabal file:
Tested Compilers
- 9.6.1
- 9.4.5
Dependencies (4)
- base >=4 && <5
- kind-integer >=0.6
- singletons
- singletons-base
Dependents (1)
@hackage/i

kind-rational

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