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 |