Language.CSPM.PrettyPrinter

Documentation

class PP x where

Methods

pp :: x -> Doc

Instances

PP Const

PP Constructor

PP TypeDef

PP FunCase

PP Decl

PP Pattern

PP CompGen

PP BuiltIn

PP Rename

PP Link

PP LinkList

PP CommField

PP Exp

PP Module

PP Ident

PP x => PP (Maybe x)

PP x => PP (Labeled x)

mapPP :: PP x => [x] -> [Doc]

prettyExp :: Exp -> Doc

comp_gen_list :: [LCompGen] -> Doc

to_PString :: LModule -> String

runPretty :: FilePath -> IO String

compareTrees :: FilePath -> IO Bool

simpleCompare :: FilePath -> FilePath -> IO Bool