Copyright	(c) Ivaylo Dobrikov 2010
License	BSD
Maintainer	Ivaylo Dobrikov (me@dobrikov.biz)
Stability	experimental
Portability	GHC-only
Safe Haskell	None
Language	Haskell2010

Language.CSPM.PrettyPrinter

Contents

Orphan instances

Description

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

Documentation

pPrint :: Pretty a => a -> Doc #

Orphan instances

Pretty Const Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> Const -> Doc # pPrint :: Const -> Doc # pPrintList :: PrettyLevel -> [Const] -> Doc #
Pretty RefineOp Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> RefineOp -> Doc # pPrint :: RefineOp -> Doc # pPrintList :: PrettyLevel -> [RefineOp] -> Doc #
Pretty TauRefineOp Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> TauRefineOp -> Doc # pPrint :: TauRefineOp -> Doc # pPrintList :: PrettyLevel -> [TauRefineOp] -> Doc #
Pretty FdrExt Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> FdrExt -> Doc # pPrint :: FdrExt -> Doc # pPrintList :: PrettyLevel -> [FdrExt] -> Doc #
Pretty FDRModels Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> FDRModels -> Doc # pPrint :: FDRModels -> Doc # pPrintList :: PrettyLevel -> [FDRModels] -> Doc #
Pretty AssertDecl Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> AssertDecl -> Doc # pPrint :: AssertDecl -> Doc # pPrintList :: PrettyLevel -> [AssertDecl] -> Doc #
Pretty Decl Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> Decl -> Doc # pPrint :: Decl -> Doc # pPrintList :: PrettyLevel -> [Decl] -> Doc #
Pretty Pattern Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> Pattern -> Doc # pPrint :: Pattern -> Doc # pPrintList :: PrettyLevel -> [Pattern] -> Doc #
Pretty BuiltIn Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> BuiltIn -> Doc # pPrint :: BuiltIn -> Doc # pPrintList :: PrettyLevel -> [BuiltIn] -> Doc #
Pretty Rename Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> Rename -> Doc # pPrint :: Rename -> Doc # pPrintList :: PrettyLevel -> [Rename] -> Doc #
Pretty Link Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> Link -> Doc # pPrint :: Link -> Doc # pPrintList :: PrettyLevel -> [Link] -> Doc #
Pretty LinkList Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> LinkList -> Doc # pPrint :: LinkList -> Doc # pPrintList :: PrettyLevel -> [LinkList] -> Doc #
Pretty CommField Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> CommField -> Doc # pPrint :: CommField -> Doc # pPrintList :: PrettyLevel -> [CommField] -> Doc #
Pretty Range Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> Range -> Doc # pPrint :: Range -> Doc # pPrintList :: PrettyLevel -> [Range] -> Doc #
Pretty Exp Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> Exp -> Doc # pPrint :: Exp -> Doc # pPrintList :: PrettyLevel -> [Exp] -> Doc #
Pretty (Module a) Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> Module a -> Doc # pPrint :: Module a -> Doc # pPrintList :: PrettyLevel -> [Module a] -> Doc #
Pretty x => Pretty (Labeled x) Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> Labeled x -> Doc # pPrint :: Labeled x -> Doc # pPrintList :: PrettyLevel -> [Labeled x] -> Doc #