Rerefined.Predicate.Logical.Normalize

Documentation

type family NormLogi p :: Maybe Type where ...

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 :: Maybe Type