copilot-prettyprinter-3.12: A prettyprinter of Copilot Specifications.
Safe HaskellSafe
LanguageHaskell2010

Copilot.PrettyPrint

Description

A pretty printer for Copilot specifications.

Synopsis

Documentation

prettyPrint :: Spec -> String Source #

Pretty-print a Copilot specification.

ppExpr :: Expr a -> Doc Source #

Pretty-print a Copilot expression.

The type is ignored, and only the expression is pretty-printed.