singleton-bool-0.1.8: Type level booleans

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