Package1.1DataDependent Types
some
Existential type: Some
- Version1.1
- CategoryData, Dependent Types
- LicenceBSD-3-Clause
- AuthorJames Cook <mokus@deepbondi.net>, Oleg Grenrus <oleg.grenrus@iki.fi>
- MaintainerOleg Grenrus <oleg.grenrus@iki.fi>
- Homepagegithub.com/haskellari/some
- Pinned byhackage some 1.1
- Sourcehackage.haskell.org/package/some-1.1
Modules
9 modules- Data.EqP1
- Data.GADT.Compare7
- Data.GADT.DeepSeq1
- Data.GADT.Show11
- Data.OrdP1
- Data.Some8An existential type. The constructor is exported only on GHC-8 and later.
- Data.Some.Church6
- Data.Some.GADT7
- Data.Some.Newtype8
Description
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.
Depends on
2 packages- base-4.22.0.0with GHC
- deepseq-1.5.1.0with GHC