Verismith.Circuit.Internal

Internal helpers for generation.

Documentation

fromNode :: Int -> Text

Convert an integer into a label.

>>> fromNode 5
"w5"

filterGr :: Graph gr => gr n e -> (Node -> Bool) -> [Node]

General function which runs filter over a graph.

only :: Graph gr => gr n e -> (gr n e -> Node -> Int) -> (gr n e -> Node -> Int) -> Node -> Bool

Takes two functions that return an Int, and compares there results to 0 and not 0 respectively. This result is returned.

inputs :: Graph gr => gr n e -> [Node]

Returns all the input nodes to a graph, which means nodes that do not have an input themselves.

outputs :: Graph gr => gr n e -> [Node]

Returns all the output nodes to a graph, similar to the inputs function.