Language.Haskell.TH.TypeGraph.Vertex

Documentation

data TypeGraphVertex

For simple type graphs always set _field and _synonyms to Nothing.

Constructors

TypeGraphVertex

Fields

_field :: Maybe (Name, Name, Either Int Name)

The record filed which contains this type

_syns :: Set Name

All the type synonyms that expand to this type

_etype :: E Type

The fully expanded type

Instances

Eq TypeGraphVertex

Ord TypeGraphVertex

Show TypeGraphVertex

Ppr TypeGraphVertex

Ppr TypeGraphEdges

Lift TypeGraphVertex

field :: Lens' TypeGraphVertex (Maybe (Name, Name, Either Int Name))

syns :: Lens' TypeGraphVertex (Set Name)

etype :: Lens' TypeGraphVertex (E Type)

typeNames :: TypeGraphVertex -> Set Name

Return the set of Name of a type's synonyms, plus the name (if any) used in its data declaration. Note that this might return the empty set.