rerefined-0.5.0: Refinement types, again
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
GHC2021
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