some-1.0.6: Existential type: Some
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.
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.