@hackage / kind-integer

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

Latest0.6.0

Dependencies

library:kind-integer (3 dependencies)

@hackage / singletons Basic singleton types and definitions
- Version:
- License: BSD-3-Clause
@hackage / singletons-base A promoted and singled version of the base library
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause

test:test (4 dependencies)

@hackage / kind-integer Type-level integers. Like KnownNat, but for integers.
- Version:
- License: BSD-3-Clause
@hackage / singletons-base A promoted and singled version of the base library
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / singletons Basic singleton types and definitions
- Version:
- License: BSD-3-Clause