Safe Haskell	None

Language.Eiffel.PrettyPrint

Documentation

ttext :: Text -> Doc Source

defaultIndent :: Int Source

nestDef :: Doc -> Doc Source

renderWithTabs :: Doc -> String Source

newline :: Doc Source

emptyLine :: Doc Source

ups :: Text -> Text Source

toDoc :: Clas -> Doc Source

toInterfaceDoc :: ClasInterface -> Doc Source

interfaceBodyDoc :: EmptyBody -> Doc Source

toDocWith :: Ord body => Bool -> (body -> Doc) -> AbsClas body Expr -> Doc Source

inheritance :: [Inheritance] -> Doc Source

inheritanceClauses :: Inheritance -> Doc Source

inheritClause :: InheritClause -> Doc Source

createClause :: CreateClause -> Doc Source

convertClause :: [ConvertClause] -> Doc Source

featureClauses :: Ord body => Bool -> (body -> Doc) -> FeatureMap body Expr -> [Doc]Source

vsep :: [Doc] -> Doc Source

commaSep :: [Doc] -> Doc Source

vCommaSep :: [Doc] -> Doc Source

angles :: Doc -> Doc Source

langle :: Doc Source

rangle :: Doc Source

squareQuotes :: Doc -> Doc Source

anyStringLiteral :: Text -> Doc Source

stringLiteral :: Text -> Doc Source

procDoc :: Proc -> Doc Source

genericsDoc :: [Generic] -> Doc Source

notes :: [Note] -> Doc Source

note :: Note -> Doc Source

invars :: [Clause Expr] -> Doc Source

procGenDoc :: [Proc] -> Doc Source

decl :: Decl -> Doc Source

typeDoc :: Typ -> Doc Source

frozen :: Bool -> Doc Source

require :: Contract Expr -> Doc Source

ensure :: Contract Expr -> Doc Source

constDoc :: Constant Expr -> Doc Source

attrDoc :: Bool -> Attribute Expr -> Doc Source

type' :: Typ -> Doc Source

routineDoc :: (body -> Doc) -> AbsRoutine body Expr -> Doc Source

routineBodyDoc :: RoutineBody Expr -> Doc Source

locals :: RoutineBody exp -> Doc Source

procExprs :: AbsRoutine body exp -> Doc Source

($?$) :: Doc -> Doc -> Doc Source

(<?>) :: Doc -> Doc -> Doc Source

clausesDoc :: [Clause Expr] -> Doc Source

clause :: Clause Expr -> Doc Source

stmt :: Stmt -> Doc Source

stmt' :: AbsStmt Expr -> Doc Source

expr :: Expr -> Doc Source

exprPrec :: Int -> Expr -> Doc Source

expr' :: Int -> UnPosExpr -> Doc Source

quant :: Quant -> Doc Source

condParens :: Bool -> Doc -> Doc Source

unop :: IsString a => UnOp -> aSource

opList :: [(BinOp, (Text, Int))]Source

binop :: BinOp -> (Text, Int)Source

relop :: IsString a => ROp -> aSource

actArgs :: [Expr] -> Doc Source

formArgs :: [Decl] -> Doc Source

genDoc :: [Typ] -> Doc Source

procExprD :: ProcExpr -> Doc Source

locks :: [Proc] -> Doc Source

procs :: [Proc] -> Doc Source

proc :: Proc -> Doc Source

procM :: Maybe Proc -> Doc Source

sepDoc :: Doc Source