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

Safe Haskell	Safe
Language	Haskell2010

Copilot.Core.PrettyDot

Description

A pretty printer for Copilot specifications.

Synopsis

prettyPrintDot :: Spec -> String
prettyPrintExprDot :: Bool -> Expr a -> String

Documentation

prettyPrintDot :: Spec -> String Source #

Pretty-prints a Copilot specification.

prettyPrintExprDot :: Bool -> Expr a -> String Source #

Pretty-prints a Copilot expression.