Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
class FreeVarConT c where Source #
freeVarsT :: Ord n => KindEnv n -> Type n -> Set (Bound n) Source #
Collect the free type variables in a type.
Orphan instances
BindStruct (TyCon n) n Source # | |
BindStruct (Type n) n Source # | |