Language.CoreErlang.Pretty

Pretty printer for CoreErlang.

Pretty printing

class Pretty a

Things that can be pretty-printed, including all the syntactic objects in Language.CoreErlang.Syntax.

Instances

Pretty TimeOut

Methods

pretty :: TimeOut -> Doc

prettyPrec :: Int -> TimeOut -> Doc

Pretty Guard

Methods

pretty :: Guard -> Doc

prettyPrec :: Int -> Guard -> Doc

Pretty Alias

Methods

pretty :: Alias -> Doc

prettyPrec :: Int -> Alias -> Doc

Pretty Pat

Methods

pretty :: Pat -> Doc

prettyPrec :: Int -> Pat -> Doc

Pretty Pats

Methods

pretty :: Pats -> Doc

prettyPrec :: Int -> Pats -> Doc

Pretty Alt

Methods

pretty :: Alt -> Doc

prettyPrec :: Int -> Alt -> Doc

Pretty Exp

Methods

pretty :: Exp -> Doc

prettyPrec :: Int -> Exp -> Doc

Pretty Exps

Methods

pretty :: Exps -> Doc

prettyPrec :: Int -> Exps -> Doc

Pretty Literal

Methods

pretty :: Literal -> Doc

prettyPrec :: Int -> Literal -> Doc

Pretty FunDef

Methods

pretty :: FunDef -> Doc

prettyPrec :: Int -> FunDef -> Doc

Pretty Const

Methods

pretty :: Const -> Doc

prettyPrec :: Int -> Const -> Doc

Pretty Module

Methods

pretty :: Module -> Doc

prettyPrec :: Int -> Module -> Doc

Pretty Function

Methods

pretty :: Function -> Doc

prettyPrec :: Int -> Function -> Doc

Pretty Atom

Methods

pretty :: Atom -> Doc

prettyPrec :: Int -> Atom -> Doc

Pretty a => Pretty (Ann a)

Methods

pretty :: Ann a -> Doc

prettyPrec :: Int -> Ann a -> Doc

Pretty a => Pretty (List a)

Methods

pretty :: List a -> Doc

prettyPrec :: Int -> List a -> Doc

Pretty a => Pretty (BitString a)

Methods

pretty :: BitString a -> Doc

prettyPrec :: Int -> BitString a -> Doc

prettyPrintStyleMode :: Pretty a => Style -> PPMode -> a -> String

pretty-print with a given style and mode.

prettyPrintWithMode :: Pretty a => PPMode -> a -> String

pretty-print with the default style and a given mode.

prettyPrint :: Pretty a => a -> String

pretty-print with the default style and defaultMode.

Pretty-printing styles (from -- Text.PrettyPrint.HughesPJ)

data Style :: *

A rendering style. Allows us to specify constraints to choose among the many different rendering options.

Constructors

Style

Fields

• mode :: Mode

  The rendering mode.

• lineLength :: Int

  Maximum length of a line, in characters.

• ribbonsPerLine :: Float

  Ratio of line length to ribbon length. A ribbon refers to the characters on a line excluding indentation. So a lineLength of 100, with a ribbonsPerLine of 2.0 would only allow up to 50 characters of ribbon to be displayed on a line, while allowing it to be indented up to 50 characters.

Instances

Eq Style

Methods

(==) :: Style -> Style -> Bool

(/=) :: Style -> Style -> Bool

Show Style

Methods

showsPrec :: Int -> Style -> ShowS

show :: Style -> String

showList :: [Style] -> ShowS

Generic Style

Associated Types

type Rep Style :: * -> *

Methods

from :: Style -> Rep Style x

to :: Rep Style x -> Style

type Rep Style

type Rep Style = D1 * (MetaData "Style" "Text.PrettyPrint.Annotated.HughesPJ" "pretty-1.1.3.3" False) (C1 * (MetaCons "Style" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "mode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Mode)) ((:*:) * (S1 * (MetaSel (Just Symbol "lineLength") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)) (S1 * (MetaSel (Just Symbol "ribbonsPerLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Float)))))

style :: Style

The default style (mode=PageMode, lineLength=100, ribbonsPerLine=1.5).

data Mode :: *

Rendering mode.

Constructors

PageMode

Normal rendering (lineLength and ribbonsPerLine respected').

ZigZagMode

With zig-zag cuts.

LeftMode

No indentation, infinitely long lines (lineLength ignored), but explicit new lines, i.e., text "one" $$ text "two", are respected.

OneLineMode

All on one line, lineLength ignored and explicit new lines ($$) are turned into spaces.

Instances

Eq Mode

Methods

(==) :: Mode -> Mode -> Bool

(/=) :: Mode -> Mode -> Bool

Show Mode

Methods

showsPrec :: Int -> Mode -> ShowS

show :: Mode -> String

showList :: [Mode] -> ShowS

Generic Mode

Associated Types

type Rep Mode :: * -> *

Methods

from :: Mode -> Rep Mode x

to :: Rep Mode x -> Mode

type Rep Mode

type Rep Mode = D1 * (MetaData "Mode" "Text.PrettyPrint.Annotated.HughesPJ" "pretty-1.1.3.3" False) ((:+:) * ((:+:) * (C1 * (MetaCons "PageMode" PrefixI False) (U1 *)) (C1 * (MetaCons "ZigZagMode" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "LeftMode" PrefixI False) (U1 *)) (C1 * (MetaCons "OneLineMode" PrefixI False) (U1 *))))

CoreErlang formatting modes

data PPMode

Pretty-printing parameters.

Constructors

PPMode

Fields

• altIndent :: Indent

  indentation of the alternatives in a case expression

• caseIndent :: Indent

  indentation of the declarations in a case expression

• fundefIndent :: Indent

  indentation of the declarations in a function definition

• lambdaIndent :: Indent

  indentation of the declarations in a lambda expression

• letIndent :: Indent

  indentation of the declarations in a let expression

• letrecIndent :: Indent

  indentation of the declarations in a letrec expression

• onsideIndent :: Indent

  indentation added for continuation lines that would otherwise be offside

• layout :: PPLayout

  Pretty-printing style to use

type Indent = Int

data PPLayout

Varieties of layout we can use.

Constructors

PPDefault

classical layout

PPNoLayout

everything on a single line

Instances

Eq PPLayout

Methods

(==) :: PPLayout -> PPLayout -> Bool

(/=) :: PPLayout -> PPLayout -> Bool

defaultMode :: PPMode

The default mode: pretty-print using sensible defaults.