some: Existential type: 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.

Modules

[Index] [Quick Jump]

Flags

Manual Flags

Name	Description	Default
newtype-unsafe	Use implementation using newtype and unsafe Any, instead of GADT	Enabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

• some-1.1.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• phadej

For package maintainers and hackage trustees

• edit package information

Candidates

• 1, 1.0.0.1, 1.0.0.2, 1.0.0.3, 1.0.1, 1.0.2, 1.0.3