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