some: Existential type: Some

[ bsd3, data, dependent-types, library ] [ Propose Tags ]

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.

Versions [faq] 1, 1.0.0.1, 1.0.0.2, 1.0.0.3, 1.0.1 (info)
Change log ChangeLog.md
Dependencies base (>1 && <1), deepseq (>=1.3.0.0 && <1.5), semigroups (>=0.18.5 && <0.20), transformers (>=0.3 && <0.6), transformers-compat (==0.6.*), 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>
Revised Revision 1 made by phadej at 2019-09-12T17:54:01Z
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-09-12T17:46:18Z
Distributions NixOS:1.0.1
Downloads 1948 total (126 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2019-09-12 [all 3 reports]

Modules

  • Data
    • GADT
      • Data.GADT.Compare
      • Data.GADT.DeepSeq
      • Data.GADT.Show
    • Data.Some
      • Data.Some.Church
      • Data.Some.GADT
      • Data.Some.Newtype

Flags

NameDescriptionDefaultType
newtype-unsafe

Use implementation using newtype and unsafe Any, instead of GADT

EnabledManual

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

For package maintainers and hackage trustees