copilot-core-2.2.0: 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-prints a Copilot specification.

ppExpr :: Expr a -> Doc Source