@hackage / typelits-witnesses

Existential witnesses, singletons, and classes for operations on GHC TypeLits

Latest0.4.1.0

Dependencies

library:typelits-witnesses (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.10 && <5
- License: BSD-3-Clause
@hackage / dependent-sum Dependent sum type
- Version:
- License: LicenseRef-PublicDomain