unlifted

Unlifted and levity-polymorphic types

LTS Haskell 24.50:	0.2.3.0
Stackage Nightly 2026-07-15:	0.2.4.0
Latest on Hackage:	0.2.4.0

See all snapshots unlifted appears in

BSD-3-Clause licensed by Andrew Martin

Maintained by [email protected]

This version can be pinned in stack with:unlifted-0.2.4.0@sha256:15e0b92c995642f9d462581324172931e2e6d16f87e3bbb814d041167e984f61,1160

Module documentation for 0.2.4.0

Control
- Control.Monad
  - Control.Monad.IO
    - Control.Monad.IO.Unlifted
Data
- Data.Either
  - Data.Either.Void
- Data.Maybe
  - Data.Maybe.Void
  - Data.Maybe.Word16
- Data.Text
  - Data.Text.Short
    - Data.Text.Short.Unlifted
- Data.Unlifted

Depends on 3 packages(full list with versions):

base, bytestring, text-short

Used by 1 package in nightly-2026-07-15(full list with versions):

natural-arithmetic

unlifted

Sadly, the library cannot define types like Maybe# because of GHC issue #17178. However, there are other fun things like Bool# and ShortText# that we are able to provide. This is intended for use with vext.

Changes

Revision history for unlifted

0.2.4.0 – 2026-07-14

Add Show#
Add equalsSingletonChar for ShortText
Add a type constructor Lifted for lifting unlifted types
Add Word128#

0.2.3.0 – 2025-04-07

Add IO# and MaybeWord16#.

0.2.2.0 – 2024-02-07

Export Text# in Data.Unlifted.

0.2.1.1 – 2024-02-06

Update package metadata.

0.2.1.0 – 2023-08-31

0.2.0.0 – 2023-08-22

Add Text#. Change Bool# to use Word# instead of Int#.

0.1.0.0 – 2023-05-31

First version.