type-functions
Emulation of type-level functions
This package supports emulation of type-level functions using defunctionalization. All functions whose domain is a subkind of @*@ and whose codomain is @*@ itself can be represented. For detailed information, please refer to Subsection 3.2 of the paper /Generic Record Combinators with Static Type Checking/.
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 0.2.0.4 | 1 | 2 d | details › |