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

Hydra.Sources.Tier1.Strip

Documentation

stripDefinition :: String -> Datum a -> Definition a Source #

hydraStripModule :: Module Source #

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

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

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

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