lawz-0.0.1: Common mathematical laws.

Safe HaskellSafe
LanguageHaskell2010

Test.Util

Documentation

type Rel r = r -> r -> Bool Source #

xor :: Bool -> Bool -> Bool Source #

xor3 :: Bool -> Bool -> Bool -> Bool Source #

(==>) :: Bool -> Bool -> Bool infixr 0 Source #

iff :: Bool -> Bool -> Bool Source #

(<==>) :: Bool -> Bool -> Bool infixr 1 Source #