rerefined-0.3.0: src/Rerefined/Predicate/Logical/Equivalences.hs

-- | Logical equivalences.

module Rerefined.Predicate.Logical.Equivalences where

{-

-- TODO
rerefineDeMorgans1
    :: Refined (Not (Logical Or  l r))       a
    -> Refined (Logical And (Not l) (Not r)) a
rerefineDeMorgans1 = unsafeRerefine

-- TODO
rerefineDeMorgans2
    :: Refined (Not (Logical And l r))       a
    -> Refined (Logical Or  (Not l) (Not r)) a
rerefineDeMorgans2 = unsafeRerefine

-}