Cryptol.Utils.PP

Documentation

class PP a where

Methods

ppPrec :: Int -> a -> Doc

Instances

PP Range

PP Position

PP Token

PP ECon

PP TFun

PP Prop

PP Type

PP TParam

PP Kind

PP Schema

PP Pattern

PP Match

PP Selector

PP TypeInst

PP Expr

PP Literal

PP Newtype

PP Pragma

PP Bind

PP TySyn

PP ImportSpec

PP Import

PP Decl

PP TopDecl

PP Module

PP Program

PP QName

PP Name

PP ModName

PP Decl

PP DeclGroup

PP Match

PP Expr

PP UserTC

PP TC

PP PC

PP TCon

PP Type

PP TParam

PP TySyn

PP Schema

PP Kind

PP Module

PP EvalError

PP Subst

PP NameOrigin

PP Error

PP ParseError

PP RenamerWarning

PP RenamerError

PP TyFunName

PP ConstraintSource

PP Error

PP Warning

PP Solved

PP ModuleWarning

PP ModuleError

PP ImportSource

PP Smoke

PP REPLException

PP a => PP (Located a)

PP (WithNames Decl)

PP (WithNames DeclGroup)

PP (WithNames Match)

PP (WithNames Expr)

PP (WithNames TVar)

PP (WithNames Type)

PP (WithNames TParam)

PP (WithNames TySyn)

PP (WithNames Schema)

PP (WithNames Module)

PP (WithNames Subst)

PP (WithNames Error)

PP (WithNames Warning)

PP (WithNames DelayedCt)

PP (WithNames Goal)

PP a => PP (TopLevel a)

PP (WithBase Value)

PP (WithBase EvalEnv)

pp :: PP a => a -> Doc

pretty :: PP a => a -> String

optParens :: Bool -> Doc -> Doc

ppInfix

Arguments

:: (PP thing, PP op)

=> Int

Non-infix leaves are printed with this precedence

-> (thing -> Maybe (Infix op thing))

pattern to check if sub-thing is also infix

-> Infix op thing

Pretty print this infix expression

-> Doc

Pretty print an infix expression of some sort.

data Assoc

Information about associativity.

Constructors

LeftAssoc

RightAssoc

NonAssoc

Instances

Eq Assoc

Show Assoc

data Infix op thing

Information about an infix expression of some sort.

Constructors

Infix

Fields

ieOp :: op

operator

ieLeft :: thing

left argument

ieRight :: thing

right argumrnt

iePrec :: Int

operator precedence

ieAssoc :: Assoc

operator associativity

module Text.PrettyPrint

ordinal :: (Integral a, Show a, Eq a) => a -> Doc

Display a numeric values as an ordinar (e.g., 2nd)

ordSuffix :: (Integral a, Eq a) => a -> String

The suffix to use when displaying a number as an oridinal

commaSep :: [Doc] -> Doc