rerefined-0.5.0: Refinement types, again
Safe HaskellSafe-Inferred
LanguageGHC2021

Rerefined.Predicate.Logical.Normalize

Documentation

type family NormLogi p where ... Source #

Equations

NormLogi (Not (Not p)) = Just p 
NormLogi (Or l l) = Just l 
NormLogi (And l l) = Just l 
NormLogi (Nand l l) = Just (Not l) 
NormLogi p = Nothing