Language.Prolog.GraphViz

Documentation

type Graph = Gr HtmlText HtmlText

newtype GraphGenT m a

Constructors

GraphGenT (StateT Graph m a)

Instances

MonadTrans GraphGenT

MonadError e m => MonadError e (GraphGenT m)

Monad m => MonadState Graph (GraphGenT m)

Monad m => Monad (GraphGenT m)

Functor m => Functor (GraphGenT m)

MonadFix m => MonadFix (GraphGenT m)

MonadPlus m => MonadPlus (GraphGenT m)

(Monad m, Functor m) => Applicative (GraphGenT m)

Monad m => MonadGraphGen (GraphGenT m)