generic-type-functions

Familiar functions lifted to type-level functions on generic types

https://github.com/raehik/generic-type-functions#readme

Stackage Nightly 2024-11-23:0.1.0
Latest on Hackage:0.1.0

See all snapshots generic-type-functions appears in

MIT licensed by Ben Orchard
Maintained by Ben Orchard
This version can be pinned in stack with:generic-type-functions-0.1.0@sha256:2501ac7c7be31127feff7573e830d66a259153761fd7419df0f0526c1fda9ae4,1294

Module documentation for 0.1.0

Depends on 2 packages(full list with versions):
base, defun-core
Used by 1 package in nightly-2024-11-21(full list with versions):
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.

Changes

0.1.0 (2024-04-10)

Initial release.

  • generic type-level foldMap