logic-TPTP-0.1: Import, export and other utilities for TPTP, a syntax for first-order logic Source code Contents Index

Codec.TPTP.Pretty

Description

Mainly just Pretty instances

Synopsis

prettySimple :: Pretty a => a -> String data WithEnclosing a = WithEnclosing Enclosing a data Enclosing = EnclBinOp BinOp | EnclQuant | EnclNeg | EnclInfixPred InfixPred | EnclNothing

Documentation

prettySimple :: Pretty a => a -> String Source

data WithEnclosing a Source

Carries information about the enclosing operation (for the purpose of printing stuff without parentheses if possible). Constructors WithEnclosing Enclosing a Instances Pretty (WithEnclosing (FormulaFix DiffResult)) Pretty (WithEnclosing (TermFix DiffResult)) Pretty (WithEnclosing t) => Pretty (WithEnclosing (Term0 t)) (Pretty (WithEnclosing t), Pretty (WithEnclosing f)) => Pretty (WithEnclosing (Formula0 t f)) Pretty (WithEnclosing Term) Pretty (WithEnclosing Formula) Pretty (WithEnclosing F0Diff) Pretty (WithEnclosing T0Diff)

data Enclosing Source

Constructors EnclBinOp BinOp EnclQuant EnclNeg EnclInfixPred InfixPred EnclNothing Instances Eq Enclosing Data Enclosing Ord Enclosing Read Enclosing Show Enclosing Typeable Enclosing

Produced by Haddock version 2.4.2