typelits-witnesses: Existential witnesses, singletons, and classes for operations on GHC TypeLits
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
Warnings:
- These packages miss upper bounds: - dependent-sum Please add them, using `cabal gen-bounds` for suggestions. For more information see: https://pvp.haskell.org/
This library contains:
A small specialized subset of the *singletons* library as it pertains to
NatandSymbol, for when you need some simple functionality without wanting to invoke the entire *singletons* library.Operations for manipulating these singletons and
KnownNatandKnownSymbolinstances, such as addition and multiplication of singletons/KnownNatinstances.Operations for the comparison of
Nats in a way that works well withGHC.TypeLits*'s different comparison systems. This is helpful for bridging together libraries that use different systems; this functionality is not yet provided by *singletons*.
[Skip to Readme]
Properties
| Versions | 0.1.0.0, 0.1.0.1, 0.1.1.0, 0.1.2.0, 0.1.3.0, 0.2.0.0, 0.2.1.0, 0.2.2.0, 0.2.3.0, 0.3.0.0, 0.3.0.1, 0.3.0.2, 0.3.0.3, 0.4.0.0, 0.4.0.1, 0.4.0.1 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.10 && <5), dependent-sum [details] |
| License | MIT |
| Copyright | (c) Justin Le 2018 |
| Author | Justin Le |
| Maintainer | justin@jle.im |
| Category | Data |
| Home page | https://github.com/mstksg/typelits-witnesses |
| Source repo | head: git clone git://github.com/mstksg/typelits-witnesses.git |
| Uploaded | by jle at 2023-11-29T21:33:02Z |
Modules
[Index] [Quick Jump]
- GHC
Downloads
- typelits-witnesses-0.4.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees
Readme for typelits-witnesses-0.4.0.1
[back to package description]typelits-witnesses
This library contains:
- A small specialized subset of the singletons library as it pertains to
NatandSymbol, for when you need some simple functionality without wanting to invoke the entire singletons library. - Operations for manipulating these singletons and
KnownNatandKnownSymbolinstances, such as addition and multiplication of singletons/KnownNatinstances. - Operations for the comparison of
Nats in a way that works well with GHC.TypeLits's different comparison systems. This is helpful for bridging together libraries that use different systems; this functionality is not yet provided by singletons.