@hackage some1.0.6

Existential type: Some

Categories
License
BSD-3-Clause
Maintainer
Oleg Grenrus <oleg.grenrus@iki.fi>
Links
Versions
- 1.0.6 Sun, 22 Dec 2024
- 1.0.5 Wed, 11 Oct 2023
- 1.0.4.1 Wed, 5 Oct 2022
- 1.0.4 Wed, 10 Aug 2022
- 1.0.3 Sat, 20 Nov 2021
- 1.0.2 Sat, 9 Jan 2021

Installation
In your cabal file:
Tested Compilers
Dependencies (3)
- base >=4.12 && <4.23
- base-orphans >=0.9.1 && <0.10
- deepseq >=1.4.4.0 && <1.6
Dependents (44)
@hackage/ghc-debug-brick, @hackage/fb-util, @hackage/singleton-bool, @hackage/dependent-sum-template, @hackage/sqel, @hackage/morley, Show all…

Package Flags

newtype-unsafe

(on by default)

Use implementation using newtype and unsafe Any, instead of GADT

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.