@hackage / monomorphic

Library to convert polymorphic datatypes to/from its monomorphic represetation

Version Deprecated package0.0.3.3

About

Metadata

  • Last updated , by HiromiIshii
  • License BSD-3-Clause
  • Maintained by: konn.jinro_at_gmail.com

  • Lottery factor: 0

Links

Installation

This package has been deprecated in favour of

Readme

This library provides the type-class and functions to convert between polymorphic data-types and its monomorphic representation type, such as length-indexed vectors, singletons for type-level natural numbers, etc.