collapse | Control.Applicative.SubZero |
flatten | Control.Applicative.SubZero |
keep | Control.Applicative.SubZero |
points | Control.Applicative.SubZero |
reveal | Control.Applicative.SubZero |
simplify | Control.Applicative.SubZero |
SubZero | Control.Applicative.SubZero |
Superposition | Control.Applicative.SubZero |