rerefined-0.5.1: Refinement types, again

Safe Haskell	Safe-Inferred
Language	GHC2021

Rerefined.Predicate.Normalize

Documentation

type family Norm p where ... Source #

Equations

Norm p = Norm' p (NormLogi p)

type family Norm' p mp where ... Source #

Equations

Norm' p Nothing = p
Norm' p (Just p') = Norm p'