Package1.0.6DataDependent Types
some
Existential type: Some
- Version1.0.6
- 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.0.6
- Sourcehackage.haskell.org/package/some-1.0.6
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.20.2.0with GHC
- deepseq-1.5.0.0with GHC