Test.Logic

Documentation

type Rel r b = r -> r -> b

type (+) = Either

xor :: Bool -> Bool -> Bool

xor3 :: Bool -> Bool -> Bool -> Bool

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

iff :: Bool -> Bool -> Bool

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

rgt :: (a -> b) -> (a + b) -> b

rgt' :: (Void + b) -> b

lft :: (b -> a) -> (a + b) -> a

lft' :: (a + Void) -> a

eswap :: (a1 + a2) -> a2 + a1

fork :: a -> (a, a)

join :: (a + a) -> a

eval :: (a, a -> b) -> b

apply :: (b -> a, b) -> a