Documentation

module Data.Boolean

(&&) :: Boolean a => a -> a -> aSource

(||) :: Boolean a => a -> a -> aSource

not :: Boolean a => a -> aSource

ifThenElse :: IfB a => BooleanOf a -> a -> a -> aSource

(==) :: EqB a => a -> a -> BooleanOf aSource

(/=) :: EqB a => a -> a -> BooleanOf aSource

(<) :: OrdB a => a -> a -> BooleanOf aSource

(>) :: OrdB a => a -> a -> BooleanOf aSource

(<=) :: OrdB a => a -> a -> BooleanOf aSource

(>=) :: OrdB a => a -> a -> BooleanOf aSource

min :: (IfB a, OrdB a) => a -> a -> aSource

max :: (IfB a, OrdB a) => a -> a -> aSource