@hackage some1
Existential type: Some
Installation
Tested Compilers
Dependencies (6)
- base >=4.3 && <4.6 || >=4.8 && <4.14
- deepseq >=1.3.0.0 && <1.5
- semigroups >=0.18.5 && <0.20
- transformers >=0.3 && <0.6
- transformers-compat >=0.6 && <0.7
- type-equality >=1 && <1.1 Show all…
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.