Safe Haskell | Safe |
---|---|
Language | Haskell98 |
DDC.Core.Collect.FreeT
Contents
Documentation
class FreeVarConT c where Source #
Minimal complete definition
Methods
freeVarConT :: Ord n => KindEnv n -> c n -> (Set (Bound n), Set (Bound n)) Source #
Collect the free type variables and constructors used in a thing.
Instances
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 # | |