Safe Haskell	None
Language	Haskell2010

Language.Haskell.TH.TypeGraph.Free

Synopsis

Documentation

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

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.

typeArity :: Quasi m => Type -> m Int Source

Compute the arity of a type - the number of type parameters that must be applied to it in order to obtain a concrete type. I'm not quite sure I understand the relationship between this and freeTypeVars.