Data.Bool.Class

Documentation

class Boolean b where

Generalization of boolean operators

Methods

false :: b

true :: b

(&&*) :: b -> b -> b

(||*) :: b -> b -> b

notB :: b -> b

Instances

Boolean Bool

Defined in Data.Bool.Class

Methods

false :: Bool

true :: Bool

(&&*) :: Bool -> Bool -> Bool

(||*) :: Bool -> Bool -> Bool

notB :: Bool -> Bool

Boolean b => Boolean (a -> b)

Defined in Data.Bool.Class

Methods

false :: a -> b

true :: a -> b

(&&*) :: (a -> b) -> (a -> b) -> a -> b

(||*) :: (a -> b) -> (a -> b) -> a -> b

notB :: (a -> b) -> a -> b

class Boolean b => BooleanIf b where

Booleans that can be evaluated

Methods

bIf :: b -> a -> a -> a

Instances

BooleanIf Bool

Defined in Data.Bool.Class

Methods

bIf :: Bool -> a -> a -> a

boolean :: BooleanIf b => a -> a -> b -> a

Generalization of bool using bIf