Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
caseReduce ∷ Term tyname name uni fun a → Term tyname name uni fun a Source #
caseReducePass ∷ (Typecheckable uni fun, GEq uni, Applicative m) ⇒ PirTCConfig uni fun → Pass m TyName Name uni fun a Source #