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

Copilot.Core.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.