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