Data.Singletons.Bool

Documentation

data SBool b where

Constructors

STrue :: SBool True

SFalse :: SBool False

class SBoolI b where

Minimal complete definition

sbool

Methods

sbool :: SBool b

Instances

SBoolI False

Methods

sbool :: SBool False

SBoolI True

Methods

sbool :: SBool True

Data.Type.Bool

These are only defined with base >= 4.7

sboolAnd :: SBool a -> SBool b -> SBool (a && b)

sboolOr :: SBool a -> SBool b -> SBool (a || b)

sboolNot :: SBool a -> SBool (Not a)