Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Oberon.Pretty

Contents

Orphan instances

Description

This module exports the instances of the Pretty type class necessary for printing of an Oberon abstract syntax tree. Note that the AST cannot be ambiguous to be pretty-printed, so it must be resolved after parsing.

Documentation

data Precedence e Source #

Constructors

Precedence Int e

Instances

Instances details

(Pretty (Precedence (Expression l l Identity Identity)), Pretty (Expression l l Identity Identity), Pretty (Element l l Identity Identity), Pretty (Designator l l Identity Identity), Pretty (QualIdent l), Pretty (Value l l Identity Identity)) => Pretty (Precedence (Expression λ l Identity Identity)) Source #
Instance details Defined in Language.Oberon.Pretty Methods pretty :: Precedence (Expression λ l Identity Identity) -> Doc ann # prettyList :: [Precedence (Expression λ l Identity Identity)] -> Doc ann #

Orphan instances

Pretty RelOp Source #
Instance details Methods pretty :: RelOp -> Doc ann # prettyList :: [RelOp] -> Doc ann #
Pretty (IdentDef l) Source #
Instance details Methods pretty :: IdentDef l -> Doc ann # prettyList :: [IdentDef l] -> Doc ann #
Pretty (QualIdent l) Source #
Instance details Methods pretty :: QualIdent l -> Doc ann # prettyList :: [QualIdent l] -> Doc ann #
(Pretty (Declaration l l Identity Identity), Pretty (StatementSequence l l Identity Identity)) => Pretty (Block λ l Identity Identity) Source #
Instance details Methods pretty :: Block λ l Identity Identity -> Doc ann # prettyList :: [Block λ l Identity Identity] -> Doc ann #
(Pretty (CaseLabels l l Identity Identity), Pretty (ConstExpression l l Identity Identity), Pretty (StatementSequence l l Identity Identity)) => Pretty (Case λ l Identity Identity) Source #
Instance details Methods pretty :: Case λ l Identity Identity -> Doc ann # prettyList :: [Case λ l Identity Identity] -> Doc ann #
Pretty (ConstExpression l l Identity Identity) => Pretty (CaseLabels λ l Identity Identity) Source #
Instance details Methods pretty :: CaseLabels λ l Identity Identity -> Doc ann # prettyList :: [CaseLabels λ l Identity Identity] -> Doc ann #
(Pretty (Expression l l Identity Identity), Pretty (StatementSequence l l Identity Identity)) => Pretty (ConditionalBranch λ l Identity Identity) Source #
Instance details Methods pretty :: ConditionalBranch λ l Identity Identity -> Doc ann # prettyList :: [ConditionalBranch λ l Identity Identity] -> Doc ann #
(Nameable l, Pretty (IdentDef l), Pretty (Type l l Identity Identity), Pretty (Declaration l l Identity Identity), Pretty (Expression l l Identity Identity), Pretty (FormalParameters l l Identity Identity), Pretty (ProcedureHeading l l Identity Identity), Pretty (Block l l Identity Identity)) => Pretty (Declaration λ l Identity Identity) Source #
Instance details Methods pretty :: Declaration λ l Identity Identity -> Doc ann # prettyList :: [Declaration λ l Identity Identity] -> Doc ann #
(Pretty (QualIdent l), Pretty (Designator l l Identity Identity), Pretty (Expression l l Identity Identity)) => Pretty (Designator λ l Identity Identity) Source #
Instance details Methods pretty :: Designator λ l Identity Identity -> Doc ann # prettyList :: [Designator λ l Identity Identity] -> Doc ann #
Pretty (Expression l l Identity Identity) => Pretty (Element λ l Identity Identity) Source #
Instance details Methods pretty :: Element λ l Identity Identity -> Doc ann # prettyList :: [Element λ l Identity Identity] -> Doc ann #
(Pretty (Precedence (Expression l l Identity Identity)), Pretty (Expression l l Identity Identity), Pretty (Element l l Identity Identity), Pretty (Designator l l Identity Identity), Pretty (Value l l Identity Identity), Pretty (QualIdent l)) => Pretty (Expression λ l Identity Identity) Source #
Instance details Methods pretty :: Expression λ l Identity Identity -> Doc ann # prettyList :: [Expression λ l Identity Identity] -> Doc ann #
Pretty (Type l l Identity Identity) => Pretty (FPSection λ l Identity Identity) Source #
Instance details Methods pretty :: FPSection λ l Identity Identity -> Doc ann # prettyList :: [FPSection λ l Identity Identity] -> Doc ann #
(Pretty (IdentDef l), Pretty (Type l l Identity Identity)) => Pretty (FieldList λ l Identity Identity) Source #
Instance details Methods pretty :: FieldList λ l Identity Identity -> Doc ann # prettyList :: [FieldList λ l Identity Identity] -> Doc ann #
(Pretty (FPSection l l Identity Identity), Pretty (ReturnType l)) => Pretty (FormalParameters λ l Identity Identity) Source #
Instance details Methods pretty :: FormalParameters λ l Identity Identity -> Doc ann # prettyList :: [FormalParameters λ l Identity Identity] -> Doc ann #
(Pretty (Import l), Pretty (Block l l Identity Identity)) => Pretty (Module λ l Identity Identity) Source #
Instance details Methods pretty :: Module λ l Identity Identity -> Doc ann # prettyList :: [Module λ l Identity Identity] -> Doc ann #
(Pretty (IdentDef l), Pretty (FormalParameters l l Identity Identity), Pretty (Type l l Identity Identity)) => Pretty (ProcedureHeading λ l Identity Identity) Source #
Instance details Methods pretty :: ProcedureHeading λ l Identity Identity -> Doc ann # prettyList :: [ProcedureHeading λ l Identity Identity] -> Doc ann #
(Pretty (ConstExpression l l Identity Identity), Pretty (Designator l l Identity Identity), Pretty (Case l l Identity Identity), Pretty (ConditionalBranch l l Identity Identity), Pretty (WithAlternative l l Identity Identity), Pretty (StatementSequence l l Identity Identity)) => Pretty (Statement λ l Identity Identity) Source #
Instance details Methods pretty :: Statement λ l Identity Identity -> Doc ann # prettyList :: [Statement λ l Identity Identity] -> Doc ann #
Pretty (Statement l l Identity Identity) => Pretty (StatementSequence λ l Identity Identity) Source #
Instance details Methods pretty :: StatementSequence λ l Identity Identity -> Doc ann # prettyList :: [StatementSequence λ l Identity Identity] -> Doc ann #
(Pretty (FormalParameters l l Identity Identity), Pretty (FieldList l l Identity Identity), Pretty (ConstExpression l l Identity Identity), Pretty (Type l l Identity Identity), Pretty (BaseType l)) => Pretty (Type λ l Identity Identity) Source #
Instance details Methods pretty :: Type λ l Identity Identity -> Doc ann # prettyList :: [Type λ l Identity Identity] -> Doc ann #
Pretty (Value Language l Identity Identity) Source #
Instance details Methods pretty :: Value Language l Identity Identity -> Doc ann # prettyList :: [Value Language l Identity Identity] -> Doc ann #
(Pretty (QualIdent l), Pretty (StatementSequence l l Identity Identity)) => Pretty (WithAlternative λ l Identity Identity) Source #
Instance details Methods pretty :: WithAlternative λ l Identity Identity -> Doc ann # prettyList :: [WithAlternative λ l Identity Identity] -> Doc ann #