@hackage typelits-witnesses0.4.1.0
Existential witnesses, singletons, and classes for operations on GHC TypeLits
Installation
Tested Compilers
Dependencies (2)
- base >=4.10 && <5
- dependent-sum Show all…
Dependents (8)
@hackage/grenade, @hackage/neural, @hackage/modular-arithmetic, @hackage/emd, @hackage/finitary, @hackage/hamilton, Show all…
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.