some

Existential type: Some

https://github.com/phadej/some

Version on this page:1.0.1@rev:1
LTS Haskell 24.16:1.0.6@rev:2
Stackage Nightly 2025-10-24:1.0.6@rev:2
Latest on Hackage:1.0.6@rev:2

See all snapshots some appears in

BSD-3-Clause licensed by James Cook, Oleg Grenrus
Maintained by Oleg Grenrus
This version can be pinned in stack with:some-1.0.1@sha256:26e5bab7276f48b25ea8660d3fd1166c0f20fd497dac879a40f408e23211f93e,2055

Module documentation for 1.0.1

Depends on 2 packages(full list with versions):
base, deepseq
Used by 1 package in lts-16.20(full list with versions):
universe-some

This library defines an existential type Some.

data Some f where
    Some :: f a -> Some f

in few variants, and utilities to work with it.

If you are unsure which variant to use, use the one in Data.Some module.

Changes

1.0.1

1.0.0.3

  • One less unsafeCoerce (thanks to David Feuer)

1.0.0.2

  • Broken release

1.0.0.1

1

  • Split out of dependent-sum
  • Have GADT, Newtype, Church variants
  • Add NFData instance