Language.Haskell.TH.TypeGraph.Free

Function to compute free type variable set for a Type. (I took this from somewhere, I really need to credit it. Now when I search all I can find is myself.)

Documentation

freeTypeVars :: (FreeTypeVars t, Quasi m) => t -> m (Set Name)

Return the names of the type variables that are free in x. I.e., type variables that appear in the type expression but are not bound by an enclosing forall or by the type parameters of a Dec.