Singleraeh.Bool
data SBool b where Source #
Singleton Bool.
Bool
Constructors
Defined in Singleraeh.Bool
Associated Types
type Demote SBool Source #
Methods
demote :: forall (k1 :: k). SBool k1 -> Demote SBool Source #
demoteSBool :: SBool b -> Bool Source #
class SingBool (b :: Bool) where Source #
singBool :: SBool b Source #
singBool :: SBool 'False Source #
singBool :: SBool 'True Source #