generic-type-functions: Familiar functions lifted to type-level functions on generic types

[ data, generics, library, mit, types ] [ Propose Tags ]

Please see README.md.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

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>
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 clone https://github.com/raehik/generic-type-functions
Uploaded by raehik at 2024-04-10T21:19:46Z
Distributions NixOS:0.1.0, Stackage:0.1.0
Reverse Dependencies 2 direct, 1 indirect [details]
Downloads 36 total (13 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian 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 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.