@hackage / type-functions

Emulation of type-level functions

Latest0.2.0.4

About

Metadata

  • Last updated , by WolfgangJeltsch
  • License BSD-3-Clause
  • Categories Type System

  • Maintained by: wolfgang@cs.ioc.ee

  • Lottery factor: 0

Links

Installation

Readme

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.