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
- Data.EqP
- Data.GADT.Compare
- Data.GADT.DeepSeq
- Data.GADT.Show
- Data.OrdP
- Data.SomeAn existential type. The constructor is exported only on GHC-8 and later.
- Data.Some.Church
- Data.Some.GADT
- Data.Some.Newtype
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.23.0.0with GHC
- deepseq-1.5.2.0with GHC