Specifies a name for ports (used also in record-based and
HTML-like labels). Note that it is not valid for a PortName
value to contain a colon (:) character; it is assumed that it
doesn't.
Instances8Eq, Ord, Read, Show, ParseDot, PrintDot, …
Eq PortNameDefined in graphviz-2999.20.2.0 · Data.GraphViz.Attributes.InternalOrd PortNameDefined in graphviz-2999.20.2.0 · Data.GraphViz.Attributes.InternalRead PortNameDefined in graphviz-2999.20.2.0 · Data.GraphViz.Attributes.InternalShow PortNameDefined in graphviz-2999.20.2.0 · Data.GraphViz.Attributes.InternalLabellable PortNameDefined in graphviz-2999.20.2.0 · Data.GraphViz.AttributesA shorter variant than using
PortNamefrom RecordField.ParseDot PortNameDefined in graphviz-2999.20.2.0 · Data.GraphViz.Attributes.InternalPrintDot PortNameDefined in graphviz-2999.20.2.0 · Data.GraphViz.Attributes.InternalLabellable (PortName, EscString)Defined in graphviz-2999.20.2.0 · Data.GraphViz.AttributesA shorter variant than using LabelledTarget.