newtype

A typeclass and set of functions for working with newtypes.

Version on this page:0.2.2.0@rev:1
LTS Haskell 24.16:0.2.2.0@rev:3
Stackage Nightly 2025-10-24:0.2.2.0@rev:3
Latest on Hackage:0.2.2.0@rev:3

See all snapshots newtype appears in

BSD-3-Clause licensed by Herbert Valerio Riedel, Darius Jahandarie, Conor McBride
Maintained by [email protected]
This version can be pinned in stack with:newtype-0.2.2.0@sha256:44435da250d96ab3a5a861425739f6af523495d1a3943f783df4b053b8a4c108,1354

Module documentation for 0.2.2.0

Depends on 1 package(full list with versions):
base
Used by 1 package in lts-16.29(full list with versions):
detour-via-sci

Per Conor McBride, the Newtype typeclass represents the packing and unpacking of a newtype, and allows you to operate under that newtype with functions such as ala. See Control.Newtype for documentation and examples.

Changes

See also https://pvp.haskell.org/faq

0.2.2.0 (minor)

  • Provide safe Coercible-based default-methods for pack/unpack (#1)

0.2.1.0 (minor)

  • Added Newtype instances for
    • Data.Fixed.Fixed
    • Data.Functor.Compose.Compose
    • Data.Functor.Identity.Identity
    • Data.Monoid.Alt
    • Data.Monoid.Ap
    • Data.Monoid.Dual
    • Data.Ord.Down
  • Declare Control.Newtype explicitly as Trustworthy under SafeHaskell