Circat is a package for expressing computations in terms of Category and friends and then extracting circuits. To visualize circuits, you'll need Graphviz (or at least dot).

See the Circat.Circuit module for examples. For instance, run outSimples to construct some simple circuits, render them to PDF (easy to change), and display the results.