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.

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.tar.gz [browse] (Cabal source package)
• Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

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