Popularity
8.1
Stable
Activity
3.4
-
33
5
13

Monthly Downloads: 421
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Data     Dependent Types    
Latest version: v1.0.1

some alternatives and similar packages

Based on the "Data" category.
Alternatively, view some alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of some or a related project?

Add another 'Data' Package

README

some

This library defines several versions of an existential type 'Some', which works like this datastructure:

data Some f where
    Some :: f a -> Some f

and operations to work with it.

However, due to GHC issue #1965, the direct implementation of this datastructure is less efficient than it could be. As a result, this library uses a more complex approach that implements it as a newtype, so there's no runtime overhead associated with wrapping and unwrapping Some values.

To use the recommended implementation, import Data.Some. If you need to ensure that you are definitely using the newtype implementation, import Data.Some.Newtype. By default, these are the same, but this can be changed via a Cabal flag.