@hackage some1.0.5

Existential type: Some

Categories
License
BSD-3-Clause
Maintainer
Oleg Grenrus <oleg.grenrus@iki.fi>
Links
Versions
- 1.0.6 Mon, 13 May 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 (2)
- base >=4.12 && <4.20
- deepseq >=1.4.4.0 && <1.6
Dependents (33)
@hackage/singleton-bool, @hackage/dependent-sum-template, @hackage/sqel, @hackage/morley, @hackage/reflex-gadt-api, @hackage/hnix-store-core, 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.