Language.Haskell.TH.TypeGraph.Vertex

Documentation

class TypeGraphVertex v where

Methods

typeNames :: v -> 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 :: v -> Type

Instances

TypeGraphVertex TGVSimple

TypeGraphVertex TGV

data TGV

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

Constructors

TGV

Fields

_field :: Maybe Field

The record field which contains this type

_vsimple :: TGVSimple

Instances

Eq TGV

Ord TGV

Show TGV

Ppr TGV

Lift TGV

TypeGraphVertex TGV

field :: Lens' TGV (Maybe Field)

vsimple :: Lens' TGV TGVSimple

data TGVSimple

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

Constructors

TGVSimple

Fields

_syns :: Set Name

All the type synonyms that expand to this type

_etype :: E Type

The fully expanded type

Instances

Eq TGVSimple

Ord TGVSimple

Show TGVSimple

Ppr TGVSimple

Lift TGVSimple

TypeGraphVertex TGVSimple

syns :: Lens' TGVSimple (Set Name)

etype :: Lens' TGVSimple (E Type)

simpleVertex :: TGV -> TGVSimple