Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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.
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