copilot-core-3.3: An intermediate representation for Copilot.
Safe HaskellSafe
LanguageHaskell2010

Copilot.Core.PrettyDot

Description

A pretty printer for Copilot specifications as GraphViz/dot graphs.

Synopsis

Documentation

prettyPrintDot :: Spec -> String Source #

Pretty-print a Copilot specification as a GraphViz/dot graph.

prettyPrintExprDot Source #

Arguments

:: Bool

Mark externs with the prefix externV:.

-> Expr a

The expression to pretty print.

-> String 

Pretty-print a Copilot expression as a GraphViz/dot graph.