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

Hydra.Sources.Tier1.Strip

Documentation

stripDefinition :: String -> TTerm a -> TElement a Source #

hydraStripModule :: Module Source #

fullyStripTermDef :: TElement (Term -> Term) Source #

stripTermDef :: TElement (Term -> Term) Source #

stripTypeDef :: TElement (Type -> Type) Source #

stripTypeParametersDef :: TElement (Type -> Type) Source #