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

Minimal complete definition

prt

Methods

prt :: Int -> a -> Doc

prtList :: Int -> [a] -> Doc

Instances

Print Char

Print Double

Print Integer

Print LocId

Print ModId

Print EnumId

Print Quant

Print Decl

Print Exp

Print Name

Print ExInteger

Print NCard

Print Card

Print GCard

Print InitHow

Print Init

Print Reference

Print Super

Print Element

Print Elements

Print Abstract

Print Goal

Print Assertion

Print Constraint

Print Clafer

Print Declaration

Print Module

Print PosChoco

Print PosAlloy

Print PosBlockComment

Print PosLineComment

Print PosIdent

Print PosString

Print PosReal

Print PosDouble

Print PosInteger

Print a => Print [a]

mkEsc :: Char -> Char -> ShowS

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