copilot-core-3.0: An intermediate representation for Copilot.

Safe Haskell	Safe
Language	Haskell2010

Copilot.Core.PrettyPrint

Description

A pretty printer for Copilot specifications.

Synopsis

prettyPrint :: Spec -> String
ppExpr :: Expr a -> Doc

Documentation

prettyPrint :: Spec -> String Source #

Pretty-prints a Copilot specification.

ppExpr :: Expr a -> Doc Source #