DDC.Core.Collect.FreeT

Documentation

class FreeVarConT c where

Minimal complete definition

freeVarConT

Methods

freeVarConT :: Ord n => KindEnv n -> c n -> (Set (Bound n), Set (Bound n))

Collect the free type variables and constructors used in a thing.

Instances

FreeVarConT Type

Methods

freeVarConT :: Ord n => KindEnv n -> Type n -> (Set (Bound n), Set (Bound n))

freeVarsT :: Ord n => KindEnv n -> Type n -> Set (Bound n)

Collect the free type variables in a type.

Orphan instances

BindStruct (TyCon n) n

Methods

slurpBindTree :: TyCon n -> [BindTree n]

BindStruct (Type n) n

Methods

slurpBindTree :: Type n -> [BindTree n]