@hackage / data-elevator

Coerce between unlifted boxed and lifted types.

Latest0.3

About

Metadata

  • Last updated , by sgraf812
  • License MIT

  • Maintained by: sgraf1337@gmail.com

  • Lottery factor: 1

Links

Installation

Tested Compilers

  1. 9.12.1
  2. 9.10.1
  3. 9.8.2
  4. 9.6.6
  5. 9.4.8
  6. 9.2.8

Readme

Near zero-cost coercions between unlifted boxed and lifted types. There are 3 main ingredients to this library: (1) a newtype Strict :: LiftedType -> UnliftedType, (2) a newtype Lazy :: UnliftedType -> LiftedType, and (3) a coercion function levCoerce to coerce existing functions into accepting Strict wrapper.