Boolean-0.2.3: Generalized booleans and numbers

LicenseBSD3
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Boolean.Overload

Description

Author : Alex Horsman (aninhumer) Maintainer : conal@conal.net Stability : experimental

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

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

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

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

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

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

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

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

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

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

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

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

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