data-elevator

Coerce between unlifted boxed and lifted types.

Version0.3
CategoryData
LicenceMIT
AuthorSebastian Graf
Maintainersgraf1337@gmail.com
Pinned byhackage data-elevator 0.3
Sourcehackage.haskell.org/package/data-elevator-0.3

Modules

2 modules

Data.Elevator8Near zero-cost coercions between lifted and boxed unlifted types. Turn any lifted type into an unlifted boxed type with Strict, eagerly

Internal modules · 1

Data.Elevator.Internal13This module doesn't respect the PVP!

Description

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.

Depends on

1 package

base-4.22.0.0with GHC

Used by in this set · 0

Nothing in this set depends on it.