Language.CSPM.PrettyPrinter

This module defines functions for pretty-printing the Abstract Syntax Tree to CSPM syntax.

Documentation

class PP x where

The pretty print class used for AST types

Methods

pp :: x -> Doc

Instances

PP Const

PP RefineOp

PP TauRefineOp

PP FdrExt

PP FDRModels

PP AssertDecl

PP Decl

PP Pattern

PP BuiltIn

PP Rename

PP Link

PP LinkList

PP CommField

PP Range

PP Exp

PP (Module a)

PP x => PP (Labeled x)

prettyPrintFile :: FilePath -> IO ()

run the pretty printer on a file and write the output to | filename.ast and filename.pretty

toPrettyString :: Module a -> String