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

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.

bestType :: TypeGraphVertex -> Type

typeVertex :: DsMonad m => Type -> m TypeGraphVertex

fieldVertex :: DsMonad m => Type -> (Name, Name, Either Int Name) -> m TypeGraphVertex

oldVertex :: DsMonad m => (Maybe Field, Type) -> m TypeGraphVertex