Domain.Logic.Views

Documentation

(.<->.) :: Logic a -> Logic a -> Logic a infixr 2

(.->.) :: Logic a -> Logic a -> Logic a infixr 3

(.&&.) :: (Boolean a, CoBoolean a) => a -> a -> a infixr 5

(.||.) :: (Boolean a, CoBoolean a) => a -> a -> a infixr 4

simplify :: Logic a -> Logic a

pushNot :: Logic a -> Logic a

pushNotWith :: (a -> Logic a) -> Logic a -> Logic a

orView :: View (Logic a) [a]

andView :: View (Logic a) [a]