Language.Haskell.TH.TypeGraph.TypeInfo

Type and builders

data TypeInfo

Information collected about the graph implied by the structure of one or more Type values.

Instances

Eq TypeInfo

Ord TypeInfo

Show TypeInfo

Ppr TypeInfo

Lift TypeInfo

Monad m => HasState (Map Type (E Type)) (StateT TypeInfo m)

startTypes :: Lens' TypeInfo [Type]

fields :: Lens' TypeInfo (Map (E Type) (Set (Name, Name, Either Int Name)))

infoMap :: Lens' TypeInfo (Map Name Info)

synonyms :: Lens' TypeInfo (Map (E Type) (Set Name))

typeSet :: Lens' TypeInfo (Set Type)

makeTypeInfo :: forall m. DsMonad m => (Type -> m (Set Type)) -> [Type] -> m TypeInfo

Build a TypeInfo value by scanning the supplied types

Update

typeVertex :: MonadReader TypeInfo m => E Type -> m TGVSimple

Build a vertex from the given Type and optional Field. vertex :: forall m. (DsMonad m, MonadReader TypeInfo m) => Maybe Field -> E Type -> m TypeGraphVertex vertex fld etyp = maybe (typeVertex etyp) (fieldVertex etyp) fld

Build a non-field vertex

typeVertex' :: MonadReader TypeInfo m => E Type -> m TGV

fieldVertex :: MonadReader TypeInfo m => Field -> E Type -> m TGV

Build a vertex associated with a field

Query

fieldVertices :: MonadReader TypeInfo m => TGVSimple -> m (Set TGV)

Find the vertices that involve a particular type - if the field is specified it return s singleton, otherwise it returns a set containing a vertex one for the type on its own, and one for each field containing that type.

allVertices :: (Functor m, DsMonad m, MonadReader TypeInfo m) => Maybe Field -> E Type -> m (Set TGV)