some: Existential type: Some

[ bsd3, data, dependent-types, library ] [ Propose Tags ] [ Report a vulnerability ]

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.

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

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

For package maintainers and hackage trustees

Candidates

Versions [RSS] 1, 1.0.0.1, 1.0.0.2, 1.0.0.3, 1.0.1, 1.0.2, 1.0.3, 1.0.4, 1.0.4.1, 1.0.5, 1.0.6 (info)
Change log ChangeLog.md
Dependencies base (>=4.3 && <4.18), deepseq (>=1.3.0.0 && <1.5), semigroups (>=0.18.5 && <0.21), transformers (>=0.3 && <0.7), transformers-compat (>=0.6 && <0.8), type-equality (>=1 && <1.1) [details]
Tested with ghc ==7.0.4 || ==7.2.2 || ==7.4.2 || ==7.6.3 || ==7.8.4 || ==7.10.3 || ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.4 || ==9.0.1 || ==9.2.4 || ==9.4.1
License BSD-3-Clause
Author James Cook <[email protected]>, Oleg Grenrus <[email protected]>
Maintainer Oleg Grenrus <[email protected]>
Revised Revision 1 made by phadej at 2022-08-10T17:14:47Z
Category Data, Dependent Types
Home page https://github.com/haskellari/some
Source repo head: git clone git://github.com/haskellari/some.git(some)
Uploaded by phadej at 2022-06-17T13:03:16Z
Distributions Arch:1.0.6, Debian:1.0.1, Fedora:1.0.6, LTSHaskell:1.0.6, NixOS:1.0.6, Stackage:1.0.6, openSUSE:1.0.6
Reverse Dependencies 37 direct, 8165 indirect [details]
Downloads 29367 total (35 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-06-17 [all 1 reports]