Data.TypeLevel.Bool

Type-level boolean values

class Bool b
data False
data True

Type-level boolean operations

class Not b1 b2
class And b1 b2 b3
class Or b1 b2 b3
class Xor b1 b2 b3
class Imp b1 b2 b3
class Eq b1 b2 b3