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. 8.8.1
  2. 8.6.5
  3. 8.4.4
  4. 8.2.2
  5. 8.0.2
  6. 7.10.3

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.