lawz-0.1: Common mathematical laws.

Safe HaskellSafe
LanguageHaskell2010

Test.Logic

Documentation

type Rel r b = r -> r -> b 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 #