Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
A pretty printer for Copilot specifications as GraphViz/dot graphs.
Synopsis
- prettyPrintDot :: Spec -> String
- prettyPrintExprDot :: Bool -> Expr a -> String
Documentation
prettyPrintDot :: Spec -> String Source #
Pretty-print a Copilot specification as a GraphViz/dot graph.
:: Bool | Mark externs with the prefix |
-> Expr a | The expression to pretty print. |
-> String |
Pretty-print a Copilot expression as a GraphViz/dot graph.