@hackage generic-type-functions0.1.0
Familiar functions lifted to type-level functions on generic types
Categories
License
MIT
Maintainer
Ben Orchard <thefirstmuffinman@gmail.com>
Links
Versions
- 0.1.0 Wed, 10 Apr 2024
Installation
Dependencies (2)
- base >=4.14 && <5
- defun-core >=0.1 && <0.2 Show all…
Dependents (2)
@hackage/binrep, @hackage/bytezap
generic-type-functions
Type-level functions (type families) on the generic type representation that approximate familiar term-level functions.
The type families take defunctionalization symbols that use phadej's defun library.
Too abstract to be of much use, but here it is all the same.
License
Provided under the MIT license. See LICENSE
for license text.