@hackage some1.0.0.2

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

Deprecated
This release has been deprecated in favour of: @hackage/some-1.0.6
Tested Compilers
Dependencies (6)
- base <0
- deepseq >=1.3.0.0 && <1.5
- transformers >=0.3 && <0.6
- semigroups >=0.18.5 && <0.20
- transformers-compat >=0.6 && <0.7
- type-equality >=1 && <1.1
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.