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

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

Please see

[Skip to Readme]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.1.0
Change log
Dependencies base (>=4.14 && <5), defun-core (>=0.1 && <0.2) [details]
License MIT
Author Ben Orchard
Maintainer Ben Orchard <>
Category Generics, Types, Data
Home page
Bug tracker
Source repo head: git clone
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]


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.


Provided under the MIT license. See LICENSE for license text.