Util.MonadicPrettyPrint

Documentation

module Util.MonadicPrettyPrintInternal

class (Applicative m, Monad m) => MonadicPrettyPrintable m a where

Methods

prettyPrint :: a -> m Doc

prettyPrintBrief :: a -> m Doc

As prettyPrint, but yields a briefer description.

Instances

(Applicative m, Monad m) => MonadicPrettyPrintable m Name

(Applicative m, Monad m) => MonadicPrettyPrintable m UnRenamedName

(Applicative m, Monad m) => MonadicPrettyPrintable m OccName

(Applicative m, Monad m, MonadicPrettyPrintable m TCExp, MonadicPrettyPrintable m UProc, MonadicPrettyPrintable m UProcOperator, MonadicPrettyPrintable m ValueSet) => MonadicPrettyPrintable m Value

(Applicative m, Monad m, MonadicPrettyPrintable m Value) => MonadicPrettyPrintable m ScopeIdentifier

(Applicative m, Monad m, MonadicPrettyPrintable m Value) => MonadicPrettyPrintable m ProcName

(Applicative m, Monad m, MonadicPrettyPrintable m Value) => MonadicPrettyPrintable m Event

(Applicative m, Monad m) => MonadicPrettyPrintable m TCExp

(Applicative m, CSPMMonad m, MonadicPrettyPrintable EvaluationMonad a) => MonadicPrettyPrintable m a

MonadicPrettyPrintable Identity ValueSet

MonadicPrettyPrintable EvaluationMonad ValueSet

(Applicative m, Monad m) => MonadicPrettyPrintable m (Exp Name)

Foldable f => MonadicPrettyPrintable Identity (f Event)

Foldable f => MonadicPrettyPrintable EvaluationMonad (f Event)

(Applicative m, Foldable seq, Monad m, MonadicPrettyPrintable m evs) => MonadicPrettyPrintable m (ProcOperator seq evs)

(Applicative m, Foldable seq, Functor seq, Monad m, MonadicPrettyPrintable m ev, MonadicPrettyPrintable m evs) => MonadicPrettyPrintable m (CSPOperator seq ev evs (seq (ev, ev)))

(Foldable seq, Functor seq, MonadicPrettyPrintable m pn, MonadicPrettyPrintable m ev, MonadicPrettyPrintable m evs) => MonadicPrettyPrintable m (Proc seq CSPOperator pn ev evs (seq (ev, ev)))

prettyPrintPrec :: (MonadicPrettyPrintable m a, Precedence a) => a -> a -> m Doc

prettyPrintBriefPrec :: (MonadicPrettyPrintable m a, Precedence a) => Int -> a -> m Doc

ppBinaryOp :: (MonadicPrettyPrintable m a, Precedence a) => a -> m Doc -> a -> a -> m Doc

ppBinaryOp' :: (MonadicPrettyPrintable m a, Precedence a) => a -> m Doc -> a -> a -> m Doc

tabWidth :: Int

The width, in spaces, of a tab character.

tabIndent :: (Monad m, Applicative m) => m Doc -> m Doc

Indent a document by tabWidth characters, on each line (uses nest).

shortDouble :: (Monad m, Applicative m) => Int -> Double -> m Doc

Show a double d printing only places places after the decimal place.

commaSeparatedInt :: (Monad m, Applicative m) => Int -> m Doc

Pretty prints an integer and separates it into groups of 3, separated by commas.

angles :: (Monad m, Applicative m) => m Doc -> m Doc

Surrounds a Doc with < and >.

bars :: (Monad m, Applicative m) => m Doc -> m Doc

Surrounds a Doc with '|'.

list :: (Monad m, Applicative m) => m [Doc] -> m Doc

Separates a list of Docs by ','.

dotSep :: (Monad m, Applicative m) => m [Doc] -> m Doc

Separates a list of Docs by ..

speakNth :: (Monad m, Applicative m) => Int -> m Doc

Converts a number into first, second etc.

punctuateFront :: (Monad m, Applicative m) => m Doc -> m [Doc] -> m [Doc]

Equivalent to [d1, sep d2, sep d3, ...].

ellipsis :: (Applicative m, Monad m) => m Doc