Language.Clafer.Front.Printclafer

Documentation

printTree :: Print a => a -> String

type Doc = [ShowS] -> [ShowS]

doc :: ShowS -> Doc

render :: Doc -> String

parenth :: Doc -> Doc

concatS :: [ShowS] -> ShowS

concatD :: [Doc] -> Doc

replicateS :: Int -> ShowS -> ShowS

class Print a where

Methods

prt :: Int -> a -> Doc

prtList :: [a] -> Doc

Instances

Print Char

Print Double

Print Integer

Print LocId

Print ModId

Print EnumId

Print Quant

Print Decl

Print SetExp

Print Exp

Print Name

Print ExInteger

Print NCard

Print Card

Print GCard

Print InitHow

Print Init

Print SuperHow

Print Super

Print Element

Print Elements

Print Abstract

Print Goal

Print SoftConstraint

Print Constraint

Print Clafer

Print Declaration

Print Module

Print PosIdent

Print PosString

Print PosDouble

Print PosInteger

Print a => Print [a]

mkEsc :: Char -> Char -> ShowS

prPrec :: Int -> Int -> Doc -> Doc