singleton-bool-0.1.5: 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