Boolean-0.2.4: Generalized booleans and numbers

License | BSD3
Maintainer | conal@conal.net
Stability | experimental
Safe Haskell | Safe-Inferred
Language | Haskell98

Data.Boolean.Overload

Description

Definitions of Prelude function names in terms of their corresponding Data.Boolean generalised implementation. This can then be used as part of a partial or complete Prelude replacement.

Also exports ifThenElse for use with RebindableSyntax.

# Documentation

module Data.Boolean

(&&) :: Boolean a => a -> a -> a infixr 3 Source #

(||) :: Boolean a => a -> a -> a infixr 2 Source #

not :: Boolean a => a -> a Source #

ifThenElse :: IfB a => BooleanOf a -> a -> a -> a Source #

(==) :: EqB a => a -> a -> BooleanOf a infix 4 Source #

(/=) :: EqB a => a -> a -> BooleanOf a infix 4 Source #

(<) :: OrdB a => a -> a -> BooleanOf a infix 4 Source #

(>) :: OrdB a => a -> a -> BooleanOf a infix 4 Source #

(<=) :: OrdB a => a -> a -> BooleanOf a infix 4 Source #

(>=) :: OrdB a => a -> a -> BooleanOf a infix 4 Source #

min :: (IfB a, OrdB a) => a -> a -> a Source #

max :: (IfB a, OrdB a) => a -> a -> a Source #