generic-type-functions:Familiar functions lifted to type-level functions on generic types
Downloads
- generic-type-functions-0.1.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions[RSS] | 0.1.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.14 && <5),defun-core (>=0.1 && <0.2) [details] |
| License | MIT |
| Author | Ben Orchard |
| Maintainer | Ben Orchard <thefirstmuffinman@gmail.com> |
| Uploaded | byraehik at2024-04-10T21:19:46Z |
| Category | Generics,Types,Data |
| Home page | https://github.com/raehik/generic-type-functions#readme |
| Bug tracker | https://github.com/raehik/generic-type-functions/issues |
| Source repo | head: git clonehttps://github.com/raehik/generic-type-functions |
| Distributions | LTSHaskell:0.1.0, NixOS:0.1.0, Stackage:0.1.0 |
| Reverse Dependencies | 2 direct, 3 indirect [details] |
| Downloads | 101 total (3 in the last 30 days) |
| Rating | (no votes yet)[estimated byBayesian average] |
| Your Rating |
|
| Status | Docs uploaded by user Build status unknown[no reports yet] |
Readme for generic-type-functions-0.1.0
[back to package description]generic-type-functions
Type-level functions (type families) on the generic type representation thatapproximate familiar term-level functions.
The type families take defunctionalization symbols that use phadej'sdefun library.
Too abstract to be of much use, but here it is all the same.
License
Provided under the MIT license. SeeLICENSE for license text.