Idris2Doc : Graphics.DOT.Utils.Filters

Graphics.DOT.Utils.Filters

(source)
Definitions
dotidIsStyle : DOTID -> Bool
  Returns `True` iff the `DOTID` was a `NameID` or a `StringID` containing the
  value 'style.

  Totality: total
  Visibility: export
dotidIsInvis : DOTID -> Bool
  Returns `True` iff the `DOTID` was a `NameID` or a `StringID` containing the
  value 'invis'.

  Totality: total
  Visibility: export
removeInvisAssign : List Assign -> List Assign
  Remove any assignment which assigns to the value "invis".

  Totality: total
  Visibility: export
isInvisEdge : Stmt -> Bool
  Returns `True` iff the given Edge is explicitly invisible.

  Totality: total
  Visibility: export
removeInvisEdges : Graph -> Graph
  Remove all invisible edges from the given `Graph`.

  Totality: total
  Visibility: export
dotidIsCluster : DOTID -> Bool
  Returns `True` iff the `DOTID` is either a `StringID` or a `NameID`, whose
  value starts with the word "cluster".

  Totality: total
  Visibility: export
graphIsCluster : Graph -> Bool
  Returns `True` iff the `Graph` is a named subgraph, whose name starts with
  the word "cluster".

  Totality: total
  Visibility: export
subgraphIsCluster : Subgraph -> Bool
  Returns `True` iff the `Subgraph` is a named subgraph, whose name starts
  with the word "cluster".

  Totality: total
  Visibility: export
edgeRHSHasCluster : EdgeRHS -> Bool
  Returns `True` iff the `EdgeRHS` connects to a cluster subgraph.

  Totality: total
  Visibility: export
stmtHasCluster : Stmt -> Bool
  Returns `True` iff the given `Stmt` contains a cluster subgraph.

  Totality: total
  Visibility: export
removeClusters : Graph -> Graph
  Remove any cluster subgraphs from the given `Graph`.

  Totality: total
  Visibility: export