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 - Sourcesingleton-bool-0.
1. 8 on Hackage
Modules
- Data.Singletons.BoolAdditions 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.22.0.0with GHC
- boring-0.2.2.1in this set
- dec-0.0.6in this set
- deepseq-1.5.1.0with GHC
- some-1.1in this set