Data.Bool.Class
Description
class Boolean b where Source #
Generalization of boolean operators
Methods
false :: b Source #
true :: b Source #
(&&*) :: b -> b -> b Source #
(||*) :: b -> b -> b Source #
notB :: b -> b Source #
Defined in Data.Bool.Class
false :: Bool Source #
true :: Bool Source #
(&&*) :: Bool -> Bool -> Bool Source #
(||*) :: Bool -> Bool -> Bool Source #
notB :: Bool -> Bool Source #
false :: a -> b Source #
true :: a -> b Source #
(&&*) :: (a -> b) -> (a -> b) -> a -> b Source #
(||*) :: (a -> b) -> (a -> b) -> a -> b Source #
notB :: (a -> b) -> a -> b Source #
class Boolean b => BooleanIf b where Source #
Booleans that can be evaluated
Boolean
bIf :: b -> a -> a -> a Source #
bIf :: Bool -> a -> a -> a Source #
boolean :: BooleanIf b => a -> a -> b -> a Source #
Generalization of bool using bIf
bool
bIf