@hackage / some

Existential type: Some

Latest1.0.6

About

Metadata

  • Last updated , by phadej
  • License BSD-3-Clause

  • Maintained by: Oleg Grenrus <oleg.grenrus@iki.fi>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.12.2
  2. 9.10.2
  3. 9.8.4
  4. 9.6.7
  5. 9.4.8
  6. 9.2.8
  7. 9.0.2
  8. 8.10.4
  9. 8.8.4
  10. 8.6.5

Package Flags

Use the -f option with cabal commands to enable flags

    newtype-unsafe (on by default)

    Use implementation using newtype and unsafe Any, instead of GADT

Readme

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.