@hackage / type-prelude

Partial port of prelude to the type level. Requires GHC 7.6.1.

Latest0.1

About

Metadata

  • Last updated , by EtienneLaurin
  • License BSD-3-Clause
  • Categories Development

  • Maintained by: Etienne Laurin <etienne@atnnn.com>

  • Lottery factor: 0

Links

Installation

Readme

This module contains functions from the prelude implemented at the type level as both type classes and type families. It comes with an Integer kind.