rerefined-0.6.0: Refinement types, again
Safe HaskellNone
LanguageGHC2021

Rerefined.Predicate.Normalize

Documentation

type family Norm p where ... Source #

Equations

Norm p = Norm' p (NormLogi p) 

type family Norm' p (mp :: Maybe Type) where ... Source #

Equations

Norm' p ('Nothing :: Maybe Type) = p 
Norm' p ('Just p') = Norm p'