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 - Sourcesome-1.
1 on Hackage
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.22.0.0with GHC
- deepseq-1.5.1.0with GHC