hydra-pg package
API
Generated with
hydra-pg/hydra/hydra.graphviz/hydra.graphviz.coder

hydra.graphviz.coder

package hydra.graphviz.coder

Members list

Value members

Concrete methods

def graphToSubtermDotGraph(graph: Graph): Graph
def graphToSubtermDotStmts(namespaces: Map[ModuleName, String])(graph: Graph): Seq[Stmt]
def labelAttr(lab: String): EqualityPair
def labelAttrs(style: String)(lab: String): AttrList
def termLabel(compact: Boolean)(namespaces: Map[ModuleName, String])(term: Term): (String, String)
def termToDotGraph(term: Term): Graph
def termToDotStmts(namespaces: Map[ModuleName, String])(term: Term): Seq[Stmt]
def toEdgeStmt(i1: Id)(i2: Id)(attrs: Option[AttrList]): Stmt
def toNodeId(i: Id): NodeId

Concrete fields

lazy val nodeStyleElement: String
lazy val nodeStylePrimitive: String
lazy val nodeStyleSimple: String
lazy val nodeStyleVariable: String
lazy val standardNamespaces: Map[ModuleName, String]
Generated with