witness
Version 0.7 revision 0 uploaded by AshleyYakeley.
Package meta
- Synopsis
- values that witness types
- Description
A witness is a value that witnesses some sort of constraint on some list of type variables. This library provides support for a wide variety of witness types. It also provides classes for representatives, which are values that represent types.
- Author
- Ashley Yakeley
- Bug reports
- https://github.com/AshleyYakeley/witness/issues
- Category
- Data
- Copyright
- (c) 2017-2024 Ashley Yakeley
- Homepage
- https://github.com/AshleyYakeley/witness#readme
- Maintainer
- <ashley@semantic.org>
- Package URL
- n/a
- Stability
- n/a