@hackage / generic-type-functions

Familiar functions lifted to type-level functions on generic types

Latest0.1.0

Metadata

Last updated 10 Apr 2024, by raehik
License MIT
Categories Generics, Type System
Maintained by: Ben Orchard <thefirstmuffinman@gmail.com>
Lottery factor: 0

Links

Installation

Add this line in your cabal file

Readme

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.