some: Existential type: Some

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

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.

Properties

Versions 1, 1.0.0.1, 1.0.0.2, 1.0.0.3, 1.0.1, 1.0.1, 1.0.2, 1.0.3, 1.0.4, 1.0.4.1, 1.0.5
Change log ChangeLog.md
Dependencies base (>=4.3 && <4.14), deepseq (>=1.3.0.0 && <1.5), semigroups (>=0.18.5 && <0.20), transformers (>=0.3 && <0.6), transformers-compat (>=0.6 && <0.7), type-equality (>=1 && <1.1) [details]
License BSD-3-Clause
Author James Cook <mokus@deepbondi.net>, Oleg Grenrus <oleg.grenrus@iki.fi>
Maintainer Oleg Grenrus <oleg.grenrus@iki.fi>
Category Data, Dependent Types
Home page https://github.com/phadej/some
Source repo head: git clone git://github.com/phadej/some.git(some)
Uploaded by phadej at 2019-11-21T14:12:24Z

Modules

[Index] [Quick Jump]

Flags

Manual Flags

NameDescriptionDefault
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

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees