Package0.1.8Dependent Types
singleton-bool
Type level booleans
- Version0.1.8
- CategoryDependent Types
- LicenceBSD-3-Clause
- AuthorOleg Grenrus <oleg.grenrus@iki.fi>
- MaintainerOleg Grenrus <oleg.grenrus@iki.fi>
- Homepagegithub.com/phadej/singleton-bool#readme
- Pinned byhackage singleton-bool 0.1.8
- Sourcehackage.haskell.org/package/singleton-bool-0.1.8
Modules
1 module- Data.Singletons.Bool14Additions to Data.Type.Bool.
Description
Type level booleans.
singletons package provides similar functionality, but it has tight dependency constraints.
Depends on
5 packages- base-4.20.2.0with GHC
- boring-0.2.2in this set
- dec-0.0.6in this set
- deepseq-1.5.0.0with GHC
- some-1.0.6in this set