ModuleBoolean-0.2.4Haskell98

Data.Boolean.Overload

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.

Synopsis

value &&
value ||
value not
value ifThenElse
value ==
value /=
value <
value >
value <=
value >=
value min
value max

PackageBoolean-0.2.4
Exports12
LanguageHaskell98
LicenceBSD-3-Clause
SourceOverload.hs

module Data.Boolean

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

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

valuenot :: Boolean a => a -> a

valueifThenElse :: IfB a => BooleanOf a -> a -> a -> a

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

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

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

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

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

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

valuemin :: (IfB a, OrdB a) => a -> a -> a

valuemax :: (IfB a, OrdB a) => a -> a -> a