Codec.TPTP.Pretty

Mainly just Pretty instances

Documentation

prettySimple :: Pretty a => a -> String

data WithEnclosing a

Carries information about the enclosing operation (for the purpose of printing stuff without parentheses if possible).

Constructors

WithEnclosing Enclosing a

Instances

Pretty (WithEnclosing (F DiffResult))

Defined in Codec.TPTP.Diff

Methods

pretty :: WithEnclosing (F DiffResult) -> Doc

prettyList :: [WithEnclosing (F DiffResult)] -> Doc

Pretty (WithEnclosing Formula)

Defined in Codec.TPTP.Pretty

Methods

pretty :: WithEnclosing Formula -> Doc

prettyList :: [WithEnclosing Formula] -> Doc

(Pretty (WithEnclosing t), Pretty (WithEnclosing f)) => Pretty (WithEnclosing (Formula0 t f))

Defined in Codec.TPTP.Pretty

Methods

pretty :: WithEnclosing (Formula0 t f) -> Doc

prettyList :: [WithEnclosing (Formula0 t f)] -> Doc

Pretty (WithEnclosing (T DiffResult))

Defined in Codec.TPTP.Diff

Methods

pretty :: WithEnclosing (T DiffResult) -> Doc

prettyList :: [WithEnclosing (T DiffResult)] -> Doc

Pretty (WithEnclosing Term)

Defined in Codec.TPTP.Pretty

Methods

pretty :: WithEnclosing Term -> Doc

prettyList :: [WithEnclosing Term] -> Doc

Pretty (WithEnclosing t) => Pretty (WithEnclosing (Term0 t))

Defined in Codec.TPTP.Pretty

Methods

pretty :: WithEnclosing (Term0 t) -> Doc

prettyList :: [WithEnclosing (Term0 t)] -> Doc

Pretty (WithEnclosing F0Diff)

Defined in Codec.TPTP.Diff

Methods

pretty :: WithEnclosing F0Diff -> Doc

prettyList :: [WithEnclosing F0Diff] -> Doc

Pretty (WithEnclosing T0Diff)

Defined in Codec.TPTP.Diff

Methods

pretty :: WithEnclosing T0Diff -> Doc

prettyList :: [WithEnclosing T0Diff] -> Doc

data Enclosing

Constructors

EnclBinOp BinOp

EnclQuant

EnclNeg

EnclInfixPred InfixPred

EnclNothing

Instances

Data Enclosing

Defined in Codec.TPTP.Pretty

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Enclosing -> c Enclosing

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Enclosing

toConstr :: Enclosing -> Constr

dataTypeOf :: Enclosing -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Enclosing)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Enclosing)

gmapT :: (forall b. Data b => b -> b) -> Enclosing -> Enclosing

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Enclosing -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Enclosing -> r

gmapQ :: (forall d. Data d => d -> u) -> Enclosing -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Enclosing -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Enclosing -> m Enclosing

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Enclosing -> m Enclosing

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Enclosing -> m Enclosing

Read Enclosing

Defined in Codec.TPTP.Pretty

Methods

readsPrec :: Int -> ReadS Enclosing

readList :: ReadS [Enclosing]

readPrec :: ReadPrec Enclosing

readListPrec :: ReadPrec [Enclosing]

Show Enclosing

Defined in Codec.TPTP.Pretty

Methods

showsPrec :: Int -> Enclosing -> ShowS

show :: Enclosing -> String

showList :: [Enclosing] -> ShowS

Eq Enclosing

Defined in Codec.TPTP.Pretty

Methods

(==) :: Enclosing -> Enclosing -> Bool

(/=) :: Enclosing -> Enclosing -> Bool

Ord Enclosing

Defined in Codec.TPTP.Pretty

Methods

compare :: Enclosing -> Enclosing -> Ordering

(<) :: Enclosing -> Enclosing -> Bool

(<=) :: Enclosing -> Enclosing -> Bool

(>) :: Enclosing -> Enclosing -> Bool

(>=) :: Enclosing -> Enclosing -> Bool

max :: Enclosing -> Enclosing -> Enclosing

min :: Enclosing -> Enclosing -> Enclosing

Orphan instances

Pretty Annotations

Methods

pretty :: Annotations -> Doc

prettyList :: [Annotations] -> Doc

Pretty AtomicWord

Methods

pretty :: AtomicWord -> Doc

prettyList :: [AtomicWord] -> Doc

Pretty BinOp

Methods

pretty :: BinOp -> Doc

prettyList :: [BinOp] -> Doc

Pretty Formula

Methods

pretty :: Formula -> Doc

prettyList :: [Formula] -> Doc

Pretty GData

Methods

pretty :: GData -> Doc

prettyList :: [GData] -> Doc

Pretty GTerm

Methods

pretty :: GTerm -> Doc

prettyList :: [GTerm] -> Doc

Pretty InfixPred

Methods

pretty :: InfixPred -> Doc

prettyList :: [InfixPred] -> Doc

Pretty Quant

Methods

pretty :: Quant -> Doc

prettyList :: [Quant] -> Doc

Pretty TPTP_Input

Methods

pretty :: TPTP_Input -> Doc

prettyList :: [TPTP_Input] -> Doc

Pretty Term

Methods

pretty :: Term -> Doc

prettyList :: [Term] -> Doc

Pretty UsefulInfo

Methods

pretty :: UsefulInfo -> Doc

prettyList :: [UsefulInfo] -> Doc

Pretty V

Methods

pretty :: V -> Doc

prettyList :: [V] -> Doc

Pretty a => Pretty (Identity a)

Methods

pretty :: Identity a -> Doc

prettyList :: [Identity a] -> Doc

Pretty (Term0 Term)

Methods

pretty :: Term0 Term -> Doc

prettyList :: [Term0 Term] -> Doc

Pretty (Formula0 Term Formula)

Methods

pretty :: Formula0 Term Formula -> Doc

prettyList :: [Formula0 Term Formula] -> Doc