hydra-0.5.1: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Strip

Description

Several functions for stripping annotations from types and terms.

Synopsis

Documentation

fullyStripTerm :: Term -> Term Source #

Strip all annotations from a term, including first-class type annotations

stripTerm :: Term -> Term Source #

Strip all annotations from a term

stripType :: Type -> Type Source #

Strip all annotations from a term

stripTypeParameters :: Type -> Type Source #

Strip any top-level type lambdas from a type, extracting the (possibly nested) type body