Logic.Judge.Writer.Plain

This module provides instances for prettyprinted output in Doc-format.

Documentation

class Printable a where

Instances of this class can be prettyprinted.

Minimal complete definition

pretty

Methods

pretty :: a -> Doc

Produce a Doc representing LaTeX code.

prettyEmbedded :: a -> Doc

In some cases, the representation for a type must be embellished with some other symbols when it occurs as part of a representation of a different type, but not when it occurs on its own. This printer allows us to specify this alternative.

prettyRecursive :: a -> Doc

Prettyprinting below the top level can optionally have a different procedure - for adding parentheses, for example.

Instances

Printable Bool

Methods

pretty :: Bool -> Doc

prettyEmbedded :: Bool -> Doc

prettyRecursive :: Bool -> Doc

Printable Int

Methods

pretty :: Int -> Doc

prettyEmbedded :: Int -> Doc

prettyRecursive :: Int -> Doc

Printable String

Methods

pretty :: String -> Doc

prettyEmbedded :: String -> Doc

prettyRecursive :: String -> Doc

Printable Text

Methods

pretty :: Text -> Doc

prettyEmbedded :: Text -> Doc

prettyRecursive :: Text -> Doc

Printable Justification

Methods

pretty :: Justification -> Doc

prettyEmbedded :: Justification -> Doc

prettyRecursive :: Justification -> Doc

Printable Modality

Methods

pretty :: Modality -> Doc

prettyEmbedded :: Modality -> Doc

prettyRecursive :: Modality -> Doc

Printable Quantifier

Methods

pretty :: Quantifier -> Doc

prettyEmbedded :: Quantifier -> Doc

prettyRecursive :: Quantifier -> Doc

Printable PrimitiveStaticTerms

Methods

pretty :: PrimitiveStaticTerms -> Doc

prettyEmbedded :: PrimitiveStaticTerms -> Doc

prettyRecursive :: PrimitiveStaticTerms -> Doc

Printable PrimitiveDynamicTerms

Methods

pretty :: PrimitiveDynamicTerms -> Doc

prettyEmbedded :: PrimitiveDynamicTerms -> Doc

prettyRecursive :: PrimitiveDynamicTerms -> Doc

Printable a => Printable [a]

Methods

pretty :: [a] -> Doc

prettyEmbedded :: [a] -> Doc

prettyRecursive :: [a] -> Doc

Printable a => Printable (Maybe a)

Methods

pretty :: Maybe a -> Doc

prettyEmbedded :: Maybe a -> Doc

prettyRecursive :: Maybe a -> Doc

Printable a => Printable (Tree a)

Methods

pretty :: Tree a -> Doc

prettyEmbedded :: Tree a -> Doc

prettyRecursive :: Tree a -> Doc

Printable term => Printable (Ambiguous term)

Methods

pretty :: Ambiguous term -> Doc

prettyEmbedded :: Ambiguous term -> Doc

prettyRecursive :: Ambiguous term -> Doc

Printable ext => Printable (Term ext)

Methods

pretty :: Term ext -> Doc

prettyEmbedded :: Term ext -> Doc

prettyRecursive :: Term ext -> Doc

Printable f => Printable (Marked f)

Methods

pretty :: Marked f -> Doc

prettyEmbedded :: Marked f -> Doc

prettyRecursive :: Marked f -> Doc

Printable ext => Printable (Formula ext)

Methods

pretty :: Formula ext -> Doc

prettyEmbedded :: Formula ext -> Doc

prettyRecursive :: Formula ext -> Doc

Printable ext => Printable (RuleUninstantiated ext)

Methods

pretty :: RuleUninstantiated ext -> Doc

prettyEmbedded :: RuleUninstantiated ext -> Doc

prettyRecursive :: RuleUninstantiated ext -> Doc

Printable ext => Printable (TableauSystem ext)

Methods

pretty :: TableauSystem ext -> Doc

prettyEmbedded :: TableauSystem ext -> Doc

prettyRecursive :: TableauSystem ext -> Doc

Printable ext => Printable (Tableau ext)

Methods

pretty :: Tableau ext -> Doc

prettyEmbedded :: Tableau ext -> Doc

prettyRecursive :: Tableau ext -> Doc

(Printable a, Printable b) => Printable (Either a b)

Methods

pretty :: Either a b -> Doc

prettyEmbedded :: Either a b -> Doc

prettyRecursive :: Either a b -> Doc

(Printable a, Printable b) => Printable (a, b)

Methods

pretty :: (a, b) -> Doc

prettyEmbedded :: (a, b) -> Doc

prettyRecursive :: (a, b) -> Doc

Printable a => Printable (HashMap String a)

Methods

pretty :: HashMap String a -> Doc

prettyEmbedded :: HashMap String a -> Doc

prettyRecursive :: HashMap String a -> Doc

Printable a => Printable (Map String a)

Methods

pretty :: Map String a -> Doc

prettyEmbedded :: Map String a -> Doc

prettyRecursive :: Map String a -> Doc

(Printable ext, Printable primitive) => Printable (Terms primitive ext)

Methods

pretty :: Terms primitive ext -> Doc

prettyEmbedded :: Terms primitive ext -> Doc

prettyRecursive :: Terms primitive ext -> Doc

(Printable ext, Printable primitive) => Printable (Constraint primitive ext)

Methods

pretty :: Constraint primitive ext -> Doc

prettyEmbedded :: Constraint primitive ext -> Doc

prettyRecursive :: Constraint primitive ext -> Doc

(Printable input, Printable ext) => Printable (Result input (Tableau ext))

Methods

pretty :: Result input (Tableau ext) -> Doc

prettyEmbedded :: Result input (Tableau ext) -> Doc

prettyRecursive :: Result input (Tableau ext) -> Doc

Printable b => Printable (Ref Int b)

Methods

pretty :: Ref Int b -> Doc

prettyEmbedded :: Ref Int b -> Doc

prettyRecursive :: Ref Int b -> Doc

pretty :: Printable a => a -> Doc

Produce a Doc representing LaTeX code.

prettyEmbedded :: Printable a => a -> Doc

In some cases, the representation for a type must be embellished with some other symbols when it occurs as part of a representation of a different type, but not when it occurs on its own. This printer allows us to specify this alternative.

prettyRecursive :: Printable a => a -> Doc

Prettyprinting below the top level can optionally have a different procedure - for adding parentheses, for example.