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

Familiar functions lifted to type-level functions on generic types
https://github.com/raehik/generic-type-functions

Last synced: 11 days ago
JSON representation

Familiar functions lifted to type-level functions on generic types

• Host: GitHub
• URL: https://github.com/raehik/generic-type-functions
• Owner: raehik
• License: mit
• Created: 2024-04-10T20:40:02.000Z (10 months ago)
• Default Branch: main
• Last Pushed: 2024-04-14T16:08:30.000Z (9 months ago)
• Last Synced: 2024-06-11T18:31:31.523Z (8 months ago)
• Language: Nix
• Size: 7.81 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

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](https://hackage.haskell.org/package/defun-core) 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.