Copyright	(c) 2017 2018 N Steenbergen
License	GPL-3
Maintainer	ns@slak.ws
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Logic.Judge.Writer.Plain

Description

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

Synopsis

Documentation

class Printable a where Source #

Instances of this class can be prettyprinted.

Minimal complete definition

pretty

Methods

pretty :: a -> Doc Source #

Produce a Doc representing LaTeX code.

prettyEmbedded :: a -> Doc Source #

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 Source #

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

Instances

Printable Bool Source #
Methods pretty :: Bool -> Doc Source # prettyEmbedded :: Bool -> Doc Source # prettyRecursive :: Bool -> Doc Source #
Printable Int Source #
Methods pretty :: Int -> Doc Source # prettyEmbedded :: Int -> Doc Source # prettyRecursive :: Int -> Doc Source #
Printable String Source #
Methods pretty :: String -> Doc Source # prettyEmbedded :: String -> Doc Source # prettyRecursive :: String -> Doc Source #
Printable Text Source #
Methods pretty :: Text -> Doc Source # prettyEmbedded :: Text -> Doc Source # prettyRecursive :: Text -> Doc Source #
Printable Justification Source #
Methods pretty :: Justification -> Doc Source # prettyEmbedded :: Justification -> Doc Source # prettyRecursive :: Justification -> Doc Source #
Printable Modality Source #
Methods pretty :: Modality -> Doc Source # prettyEmbedded :: Modality -> Doc Source # prettyRecursive :: Modality -> Doc Source #
Printable Quantifier Source #
Methods pretty :: Quantifier -> Doc Source # prettyEmbedded :: Quantifier -> Doc Source # prettyRecursive :: Quantifier -> Doc Source #
Printable PrimitiveStaticTerms Source #
Methods pretty :: PrimitiveStaticTerms -> Doc Source # prettyEmbedded :: PrimitiveStaticTerms -> Doc Source # prettyRecursive :: PrimitiveStaticTerms -> Doc Source #
Printable PrimitiveDynamicTerms Source #
Methods pretty :: PrimitiveDynamicTerms -> Doc Source # prettyEmbedded :: PrimitiveDynamicTerms -> Doc Source # prettyRecursive :: PrimitiveDynamicTerms -> Doc Source #
Printable a => Printable [a] Source #
Methods pretty :: [a] -> Doc Source # prettyEmbedded :: [a] -> Doc Source # prettyRecursive :: [a] -> Doc Source #
Printable a => Printable (Maybe a) Source #
Methods pretty :: Maybe a -> Doc Source # prettyEmbedded :: Maybe a -> Doc Source # prettyRecursive :: Maybe a -> Doc Source #
Printable a => Printable (Tree a) Source #
Methods pretty :: Tree a -> Doc Source # prettyEmbedded :: Tree a -> Doc Source # prettyRecursive :: Tree a -> Doc Source #
Printable term => Printable (Ambiguous term) Source #
Methods pretty :: Ambiguous term -> Doc Source # prettyEmbedded :: Ambiguous term -> Doc Source # prettyRecursive :: Ambiguous term -> Doc Source #
Printable ext => Printable (Term ext) Source #
Methods pretty :: Term ext -> Doc Source # prettyEmbedded :: Term ext -> Doc Source # prettyRecursive :: Term ext -> Doc Source #
Printable f => Printable (Marked f) Source #
Methods pretty :: Marked f -> Doc Source # prettyEmbedded :: Marked f -> Doc Source # prettyRecursive :: Marked f -> Doc Source #
Printable ext => Printable (Formula ext) Source #
Methods pretty :: Formula ext -> Doc Source # prettyEmbedded :: Formula ext -> Doc Source # prettyRecursive :: Formula ext -> Doc Source #
Printable ext => Printable (RuleUninstantiated ext) Source #
Methods pretty :: RuleUninstantiated ext -> Doc Source # prettyEmbedded :: RuleUninstantiated ext -> Doc Source # prettyRecursive :: RuleUninstantiated ext -> Doc Source #
Printable ext => Printable (TableauSystem ext) Source #
Methods pretty :: TableauSystem ext -> Doc Source # prettyEmbedded :: TableauSystem ext -> Doc Source # prettyRecursive :: TableauSystem ext -> Doc Source #
Printable ext => Printable (Tableau ext) Source #
Methods pretty :: Tableau ext -> Doc Source # prettyEmbedded :: Tableau ext -> Doc Source # prettyRecursive :: Tableau ext -> Doc Source #
(Printable a, Printable b) => Printable (Either a b) Source #
Methods pretty :: Either a b -> Doc Source # prettyEmbedded :: Either a b -> Doc Source # prettyRecursive :: Either a b -> Doc Source #
(Printable a, Printable b) => Printable (a, b) Source #
Methods pretty :: (a, b) -> Doc Source # prettyEmbedded :: (a, b) -> Doc Source # prettyRecursive :: (a, b) -> Doc Source #
Printable a => Printable (HashMap String a) Source #
Methods pretty :: HashMap String a -> Doc Source # prettyEmbedded :: HashMap String a -> Doc Source # prettyRecursive :: HashMap String a -> Doc Source #
Printable a => Printable (Map String a) Source #
Methods pretty :: Map String a -> Doc Source # prettyEmbedded :: Map String a -> Doc Source # prettyRecursive :: Map String a -> Doc Source #
(Printable ext, Printable primitive) => Printable (Terms primitive ext) Source #
Methods pretty :: Terms primitive ext -> Doc Source # prettyEmbedded :: Terms primitive ext -> Doc Source # prettyRecursive :: Terms primitive ext -> Doc Source #
(Printable ext, Printable primitive) => Printable (Constraint primitive ext) Source #
Methods pretty :: Constraint primitive ext -> Doc Source # prettyEmbedded :: Constraint primitive ext -> Doc Source # prettyRecursive :: Constraint primitive ext -> Doc Source #
(Printable input, Printable ext) => Printable (Result input (Tableau ext)) Source #
Methods pretty :: Result input (Tableau ext) -> Doc Source # prettyEmbedded :: Result input (Tableau ext) -> Doc Source # prettyRecursive :: Result input (Tableau ext) -> Doc Source #
Printable b => Printable (Ref Int b) Source #
Methods pretty :: Ref Int b -> Doc Source # prettyEmbedded :: Ref Int b -> Doc Source # prettyRecursive :: Ref Int b -> Doc Source #

pretty :: Printable a => a -> Doc Source #

Produce a Doc representing LaTeX code.

prettyEmbedded :: Printable a => a -> Doc Source #

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 Source #

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