some

Existential type: Some

https://github.com/haskellari/some

Version on this page:1.0.4.1
LTS Haskell 22.17:1.0.6
Stackage Nightly 2024-04-14:1.0.6
Latest on Hackage:1.0.6

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.4.1@sha256:f407af0368a40f21a7629dbcb2936b76400c9e8155a3898df85349619ae4302e,1985

Module documentation for 1.0.4.1

Depends on 2 packages(full list with versions):
base, deepseq

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.4.1

  • Drop support for GHC before 8.6

1.0.4

  • Add instances for (:~~:)
  • Add instances for :+: and :*:
  • Add defaultGeq :: GCompare f => f a -> f b -> Maybe (a :~: b)
  • Add defaultGshowsPrec :: Show (t a) => Int -> t a -> ShowS

1.0.3

  • Make GNFData PolyKinded.
  • Add GNFData ((:~:) a) and GNFData TypeRep instances

1.0.2

  • Explicitly mark Data.Some as Safe. It was previously inferred, yet it was Safe too, as it only re-exports other explicitly marked modules.
  • Allow base-4.15, GHC-9.0 compatibility

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