Index
| discreteBool | Data.Singletons.Bool |
| eqCast | Data.Singletons.Bool |
| eqToRefl | Data.Singletons.Bool |
| fromSBool | Data.Singletons.Bool |
| reflectBool | Data.Singletons.Bool |
| reifyBool | Data.Singletons.Bool |
| SBool | Data.Singletons.Bool |
| sbool | Data.Singletons.Bool |
| sboolAnd | Data.Singletons.Bool |
| sboolEqRefl | Data.Singletons.Bool |
| SBoolI | Data.Singletons.Bool |
| sboolNot | Data.Singletons.Bool |
| sboolOr | Data.Singletons.Bool |
| SFalse | Data.Singletons.Bool |
| STrue | Data.Singletons.Bool |
| trivialRefl | Data.Singletons.Bool |
| withSomeSBool | Data.Singletons.Bool |