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

Methods

prt :: Int -> Char -> Doc

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

Print Double

Methods

prt :: Int -> Double -> Doc

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

Print Integer

Methods

prt :: Int -> Integer -> Doc

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

Print LocId

Methods

prt :: Int -> LocId -> Doc

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

Print ModId

Methods

prt :: Int -> ModId -> Doc

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

Print EnumId

Methods

prt :: Int -> EnumId -> Doc

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

Print Quant

Methods

prt :: Int -> Quant -> Doc

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

Print Decl

Methods

prt :: Int -> Decl -> Doc

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

Print Exp

Methods

prt :: Int -> Exp -> Doc

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

Print Name

Methods

prt :: Int -> Name -> Doc

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

Print ExInteger

Methods

prt :: Int -> ExInteger -> Doc

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

Print NCard

Methods

prt :: Int -> NCard -> Doc

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

Print Card

Methods

prt :: Int -> Card -> Doc

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

Print GCard

Methods

prt :: Int -> GCard -> Doc

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

Print InitHow

Methods

prt :: Int -> InitHow -> Doc

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

Print Init

Methods

prt :: Int -> Init -> Doc

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

Print Reference

Methods

prt :: Int -> Reference -> Doc

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

Print Super

Methods

prt :: Int -> Super -> Doc

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

Print Element

Methods

prt :: Int -> Element -> Doc

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

Print Elements

Methods

prt :: Int -> Elements -> Doc

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

Print Abstract

Methods

prt :: Int -> Abstract -> Doc

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

Print Goal

Methods

prt :: Int -> Goal -> Doc

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

Print Assertion

Methods

prt :: Int -> Assertion -> Doc

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

Print Constraint

Methods

prt :: Int -> Constraint -> Doc

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

Print Clafer

Methods

prt :: Int -> Clafer -> Doc

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

Print Declaration

Methods

prt :: Int -> Declaration -> Doc

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

Print Module

Methods

prt :: Int -> Module -> Doc

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

Print PosChoco

Methods

prt :: Int -> PosChoco -> Doc

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

Print PosAlloy

Methods

prt :: Int -> PosAlloy -> Doc

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

Print PosBlockComment

Methods

prt :: Int -> PosBlockComment -> Doc

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

Print PosLineComment

Methods

prt :: Int -> PosLineComment -> Doc

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

Print PosIdent

Methods

prt :: Int -> PosIdent -> Doc

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

Print PosString

Methods

prt :: Int -> PosString -> Doc

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

Print PosReal

Methods

prt :: Int -> PosReal -> Doc

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

Print PosDouble

Methods

prt :: Int -> PosDouble -> Doc

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

Print PosInteger

Methods

prt :: Int -> PosInteger -> Doc

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

Print a => Print [a]

Methods

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

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

mkEsc :: Char -> Char -> ShowS

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