Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Hydra.Strip
Description
Several functions for stripping annotations from types and terms.
Documentation
fullyStripTerm :: Term -> Term Source #
Strip all annotations from a term, including first-class type annotations
stripTypeParameters :: Type -> Type Source #
Strip any top-level type lambdas from a type, extracting the (possibly nested) type body