| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.TH.TypeGraph.Info
- data TypeGraphInfo hint
- emptyTypeGraphInfo :: TypeGraphInfo hint
- typeGraphInfo :: forall m hint. (DsMonad m, HasVertexHints hint) => [(Maybe Field, Name, hint)] -> [Type] -> m (TypeGraphInfo hint)
- fields :: forall hint. Lens' (TypeGraphInfo hint) (Map (E Type) (Set (Name, Name, Either Int Name)))
- hints :: forall hint hint. Lens (TypeGraphInfo hint) (TypeGraphInfo hint) [(Maybe Field, Name, hint)] [(Maybe Field, Name, hint)]
- infoMap :: forall hint. Lens' (TypeGraphInfo hint) (Map Name Info)
- synonyms :: forall hint. Lens' (TypeGraphInfo hint) (Map (E Type) (Set Name))
- typeSet :: forall hint. Lens' (TypeGraphInfo hint) (Set Type)
Documentation
data TypeGraphInfo hint Source
Information collected about the graph implied by the structure of
one or more Type values.
Instances
| Eq hint => Eq (TypeGraphInfo hint) | |
| Ord hint => Ord (TypeGraphInfo hint) | |
| Show hint => Show (TypeGraphInfo hint) | |
| Ppr hint => Ppr (TypeGraphInfo hint) | |
| Lift hint => Lift (TypeGraphInfo hint) |
emptyTypeGraphInfo :: TypeGraphInfo hint Source
typeGraphInfo :: forall m hint. (DsMonad m, HasVertexHints hint) => [(Maybe Field, Name, hint)] -> [Type] -> m (TypeGraphInfo hint) Source
Build a TypeGraphInfo value by scanning the supplied types and hints.
fields :: forall hint. Lens' (TypeGraphInfo hint) (Map (E Type) (Set (Name, Name, Either Int Name))) Source